Hubungan binar lan situs sing

A sawetara saka sudhut sesambetan kanggo Conto set diiringi nomer akeh konsep wiwit ukara lan analisis analitis saka pungkasan paradoks. A macem-macem konsep rembugan ing artikel ing pesawat ing salawas-lawase. Senajan nalika ngomong bab jinis dual, dening iki temenan hubungan binar antarane saperangan variabel. Lan uga ing antarané obyèk utawa utterances.

Minangka aturan, hubungan binar dituduhake dening R, sing, yen xRx kanggo Nilai saka x ing lapangan R, property kuwi diarani tanggapan, ngendi x lan x - digawe obyek saka pamikiran, lan R iku tandha sawetara wangun hubungan antarane individu . Ing wektu sing padha, yen nyebut utawa xRy® yRx, iku ngandika bab negara simetri ngendi ® - tandha akibat, padha Uni "yen ... banjur ..." Lan pungkasanipun, deciphering prasasti (xRy UY Rz). ®xRz marang bab sesambetan transitive, karo tandha u - iki magepokan a.

A hubungan binar sing loro tanggapan, simetris, lan transitive diarani sesambetan padanan. Ing aspek f - fungsi, lan saka Réunion Î f lan Réunion Î f gawe katut ing podo y = z. fungsi binar prasaja bisa gampang Applied kanggo loro bantahan prasaja disusun ing urutan, lan mung ing kasus iki, menehi nilai kanggo iku, katuntun loro ungkapan iki, dijupuk ing kasus tartamtu.

Sampeyan ngirim wong f maps x kanggo y, Yen f arupa fungsi saka zona area definisi angka x lan y. Nanging, nalika extrapolates f x ing y, lan y aku z, banjur iki ndadékaké kanggo kasunyatan sing f nuduhake ing x z. Conto prasaja: yen f (x) = 2x bener kanggo nyedhaki kasepakatan ongko x, banjur kita ngomong sing f maps pesawat mlebu kabeh wilangan bulat dikenal kanggo akeh saka kabèh padha, nanging wektu iki malah nomer. Kaya kasebut ing ndhuwur, ing sesambetan sepasang sing bebarengan tanggapan, simetris, lan transitive, punika sesambetan ing padanan.

Adhedhasar ndhuwur, sesambetan ing padanan ditemtokake dening sifat hubungan binar:

• reflexivity - rasio (M ~ N);
• simetri - yen podo M ~ N, bakal ana N ~ M;
• transitivity - yen loro podo lan M ~ N N ~ P, asil M ~ P.

Duwe dianggep situs aplikasi saka hubungan binar ing liyane rinci. Reflexivity - iku salah siji karakteristik saka sawetara pranala, ngendi saben unsur saka mranata uji podo dhewe. Contone, antarane nomer a = c lan a³ karo - Komunikasi tanggapan, amarga ana tansah = c = c, lan a³, s³ karo. Ing wektu sing padha, ing aspek saka ketimpangan a> c - antireflexive amarga Leave ketimpangan a> a. The axiom saka sifat iki wis dikode karakter: aRc® Ara U CRC, kene simbol ® nuduhake tembung "nggadahi" (utawa "nggadahi") lan u tandha - stands "lan" (utawa magepokan). Saka statement iki nderek yen bebener rencana bener lan Arc Ara expression lan CRC.

Simetri entails wontenipun sesambetan lan yen obyek mental ngowahi, IE hubungan rearrangement asalipun obyek ora mimpin kanggo pepindahan ing wangun "hubungan binar." Contone, sesambetan ing podo a = c tansah simètris, amarga padanan hubungan c = a; uga merata a¹s lan paukuman, minangka meets s¹a komunikasi.

Transitive pesawat - iku property kang nyukupi kabutuhan ing ngisor iki: ing Réunion Î x, z Réunion Î y ® z Réunion Î x, ngendi ® tumindak minangka tandha ngganti tembung: "yen ... banjur ...". Sacara lisan rumus mangkono maca minangka: ". Yen sawijining x, z belongs y, z minangka fungsi saka x"