Binary dangantakar da dũkiyõyinsu

A fadi da kewayon dangantaka for Example sets tare da wani babban yawan Concepts tun da ma'anar da kuma hikimar tantance bincike na kawo karshen paradox. A iri-iri na Concepts tattauna a cikin labarin a kan sa har abada. Ko da yake a lokacin da magana game da dual type, da wannan yake nufi a binary dangantaka tsakanin dama da canji. Kuma ma tsakanin abubuwa ko furtawa.

Matsayin mai mulkin, da binary dangantakar suna nuna R, cewa shi ne, idan xRx ga wani darajar x a fagen R, irin wannan dukiyar da aka kira da turawa yanzu, inda x da kuma x - An yi abubuwa na tunani, da kuma R ne wata ãyã daga wasu nau'i na dangantaka a tsakanin mutane . A lokaci guda, idan da kar ko xRy® yRx, shi yayi magana game da fasali jihar inda ® - abinda ãyã, kama da ƙungiyar na "idan ... sa'an nan ..." Kuma a karshe, deciphering inscriptions (xRy Ùy Rz). ®xRz gaya game tsallakawa dangantaka, tare da alamar u - wannan shi ne tare da.

A binary aboki da yake da turawa yanzu, fasali, da kuma tsallakawa aka kira wani daidaitawa dangantaka. A rabo daga f - wani aiki, kuma na I f kuma na f yakan haifar da daidaito y = z. Simple binary aiki za a iya sauƙi amfani da biyu sauki muhawara shirya a wani tsari, da kuma kawai a cikin wannan harka, shi na samar da wani darajar da shi, directed wadannan biyu maganganu, dauka a cikin wani batu.

Ya kamata ka ce cewa f maps x to y, Idan f ne mai aiki na zone definition yanki dabi'u x da kuma y. Duk da haka, a lokacin da extrapolates f x a kan y, kuma y i z, to, wannan take kaiwa zuwa da cewa f nuna a x z. A sauki misali: idan f (x) = 2x yana aiki ga fairly sabani lamba x, sa'an nan mu ce cewa f maps a hannu sa na duk integers da aka sani ga mãsu yawa daga wannan duka, amma wannan lokacin ko da lambobi. Kamar yadda aka ambata a sama, da binary dangantaka cewa lokaci guda turawa yanzu, fasali, da kuma tsallakawa, ne dangantakar daidaitawa.

Bisa ga sama, da dangantakar daidaitawa ƙaddara da kaddarorin binary dangantakar:

• reflexivity - da rabo (M ~ N).
• fasali - idan daidaici M ~ N, za a N ~ M;
• transitivity - idan biyu daidaito da kuma M ~ N N ~ P, sakamakon M ~ P.

Bayan dauke da aikace-aikace Properties na binary dangantakar a more daki-daki. Reflexivity - shi ne daya daga cikin halaye na wasu links, inda kowane kashi na gwajin sets ne a cikin wannan daidaici kanta. Alal misali, tsakanin lambobin mai = c kuma a³ da - turawa yanzu sadarwa, saboda akwai da yaushe wani = c = c, kuma a³, s³ tare. A lokaci guda, da rabo daga rashin daidaito a> c - antireflexive saboda da rashin yiwuwar da rashin daidaito a> wani. A axiom wannan dukiya da aka shigar wanda ke aiki haruffa: aRc® Ara u CRC, nan da alama ® nuna da kalmar "yakan haifar da" (ko "na nufin") da kuma u alamar - tsaye da "da" (ko tare da). Daga wannan bayani shi ya bi da cewa idan da gaskiya da wani shawara a matsayin gaskiya da kuma Arc magana Ara da CRC.

Fasali entails da wanzuwar zumunci da kuma idan shafi tunanin mutum da abubuwa juyawa, watau a tsakaitã dangantaka rearrangement na abubuwa ba ya haifar da canji na form "binary Sin." Alal misali, da dangantakar daidaici da wani = c ne tsakaitã saboda da daidaitawa dangane c = a. kuma daidai da a¹s da shari'a, kamar yadda ya gana da sadarwa s¹a.

Tsallakawa sa - shi ne mai dukiya a wadda hadu da wadannan umurni: a ina x, z i y ® z na x, inda ® ayyukan a matsayin wata ãyã maye gurbin kalmomi: "idan ... sa'an nan ...". Verbally dabara haka karanta kamar: "Idan mai zaman kanta da x, z nasa y, z matsayin aiki na x."