Mimari-droa ny fifandraisana sy ny fananany

Isan-karazany ny fifandraisana ohatra milentika miaraka amin'ny maro ny foto-kevitra satria ny famaritana sy ny fanadihadiana ny mifarana poto-mifanohitra. Ny foto-kevitra isan-karazany ny noresahina tao amin'ny lahatsoratra teo amin'ny napetraka mandrakizay. Na dia rehefa miresaka momba ny lafiny roa karazana, noho izany dia natao ny fifandraisana misy eo mimari-droa hiovaova maro. Ary koa eo amin'ny zavatra na ny teniny.

Amin'ny maha-fitsipika, ny mimari-droa ny fifandraisana dia asehon'ny R, izany hoe, raha xRx na inona na inona ilaina ny X eo amin'ny sehatry ny R, toy izany fananana atao hoe taitaitra, izay X ary X - dia nanao zavatra ny heviny, ary R no famantarana sasany endriky ny fifandraisana eo amin'ny olona . Mandritra izany fotoana izany, raha maneho na xRy® yRx, dia miresaka momba ny symmetry fanjakana izay ® - ny tian'ny famantarana, mitovy amin'ny sendika ny "raha ... avy eo ..." Ary farany, deciphering soratra (xRy Uy Rz). ®xRz hilaza momba ny: transitive fifandraisana, ny famantarana ny U - izany no mitohy.

Ny fifandraisana mimari-droa izay dia sady taitaitra, symmetric, ary: transitive atao hoe ny equivalence fifandraisana. Ny tahan'ny ny F - ny asa, ary ny m sy Izaho dia midika ampy ny fitoviana Y = Z. Mimari-droa tsotra asa mora ampiharina amin'ny roan-hevitra tsotra ao amin'ny fandaharana mba anankiray, ary ihany amin'ity tranga ity, dia manome zava-dehibe ho azy, nitarika ireo teny roa hoe, nalaina tao amin'ny tranga manokana.

Tsy milaza fa tsy ampy ny sarintany X y, Raha tsy ampy ny asa dia ny faritra famaritana X faritra soatoavina sy ny y. Na izany aza, rehefa tsy ampy X extrapolates amin'ny y, ary ny Y Z Í, avy eo izany dia mitarika ho amin'ny zava-misy fa tsy ampy X mampiseho amin'ny Z. A ohatra tsotra: Raha F (x) = 2x dia manan-kery ho an'ny somary jadona integer X, dia isika no milaza fa tsy ampy ny sonia Manapa napetraka ny rehetra integers fantatry ny maro ihany ny rehetra, saingy tamin'ity indray mitoraka ity na dia isa. Araka ny voalaza etsy ambony, ny fifandraisana mimari-droa miaraka izay taitaitra, symmetric, ary: transitive, dia ny fifandraisana ny equivalence.

Miorina amin'ny ny etsy ambony, ny fifandraisana ny equivalence tapa-kevitra ny fananan 'mimari-droa fifandraisana:

• reflexivity - ny tahan'ny (M ~ N);
• symmetry - raha fitoviana M ~ N, hisy N ~ M;
• transitivity - raha roa fitoviana sy ny M ~ N N ~ P, ny vokatry M ~ P.

Rehefa avy nandinika ny fampiharana ny mimari-droa fananana fifandraisana amin'ny an-tsipiriany. Reflexivity - dia iray amin'ireo mampiavaka ny rohy sasany, izay singa tsirairay avy ny fitsapana milentika ao fitoviana io mihitsy. Ohatra, eo amin'ny isa iray = d sy a³ amin'ny - taitaitra fifandraisana, satria misy foana = d = d, sy a³, s³ miaraka. Mandritra izany fotoana izany, ny tahan'ny ny tsy fitoviana a> C - antireflexive noho ny tanteraka ny tsy fitoviana a> a. Ny axiom ity dia voafango fananana anjara: aRc® Ara U CRC, eto ny famantarana ® manondro ny teny hoe "dia midika" (na "dia midika") sy ny famantarana U - mijoro ny "sy" (na mitohy). Avy izany fanambarana izany manaraka fa raha ny fahamarinan'Andriamanitra kosa ny tolo-kevitra toy ny marina sy maneho hevitra Arc Ara sy ny CRC.

Symmetry mitaky ny fisian'ny ny fifandraisana sy ny ara-tsaina raha zavatra nofoanana, izany hoe ny fifandraisana symmetrical mifanaraka amin'ny zavatra tsy mitondra ho amin'ny fanovana ny teny "mimari-droa ny fifandraisana." Ohatra, ny fifandraisana ny fitoviana misy = C dia symmetrical noho ny fifandraisana equivalence d = a; koa a¹s sy fitsarana koa, araka ny mihaona ny fifandraisana s¹a.

: Transitive napetraka - dia fananana izay hihaona takiana manaraka ireto: amin'ny í X, Y Z aho ® Z í X, izay asa ® ho famantarana fanoloana ny teny: "... avy eo ... raha". Am-bava toy ny rijan izao no namaky: "Raha tsy miankina ny X, Y Z an'i, Z toy ny asa ny X."