Duebelstäresystem Relatiounen an hire Besëtz

Eng breet Palette vun Relatiounen zB Liewe vun enger grousser Zuel vun Konzepter zanter hir Definitiounen an analytesch Analyse vun gedronk Paradox begleet. A ville Konzepter fir ëmmer an den Artikel iwwert d'Formatioun diskutéiert. Obwuel, wann iwwert d'duebel Typ schwätzen, duerch dat ass en Duebelstäresystem Relatioun tëscht puer Verännerlechen gemengt. An och tëscht Objeten oder Wuertmeldung.

Als Regel, sinn der Duebelstäresystem Relatioune vun R uginn, dat ass, wann xRx fir all Wäert vun x am Beräich vun R, esou eng Propriétéit reflexive genannt ass, wou x an x - ass Objete vun geduecht huet, an R ass en Zeechen vun e puer Form vu Relatioun tëschent Persounen . An der selwechter Zäit, wann der auszedrécken oder xRy® yRx, schwätzt et iwwer Briechung Staat wou ® - de deemno Zeechen, ähnlech zu der Unioun vun "wann ... dann ..." An endlech, Inskriptiounen (xRy Uy Décauville) deciphering. ®xRz soen iwwer vill falsch Relatioun, mat dem Zeechen vun u - dëst ass eng verzweifelt.

En Duebelstäresystem Relatioun datt souwuel reflexive ass, de grousse, a falsch ass eng Relatioun Relatioun genannt. D'Verhältnis vun f - eng Funktioun, a vun ech f an ech f beinhalt d'Gläichheet y = Z. Einfach Duebelstäresystem Funktioun kann einfach op de zwee einfach Argumenter an engem bestëmmte Fir arrangéiert applizéiert ginn, an nëmmen an dësem Fall gëtt et e Wäert fir et, ënner deenen zwee Ausstralung an engem bestëmmte Fall geholl.

Et soll soen, datt f Kaarten x bis y, Wann f ass eng Funktioun vun der Zone Definitioun Beräich Wäerter x an y. Allerdéngs, wann f x op y, an y ech Z extrapolates, da féiert dat zu der Tatsaach, datt f weist an x Z. Eng einfach Beispill: wann f (x) = 2x fir éischter arbiträr ganz x valabel ass, da soe mer, datt f Kaarten engem ënnerschriwwen Set vun all ze vill vun dem selwechten ganz bekannt integers, mä dës Kéier och Zuelen. Wéi uewen ernimmt, d'Duebelstäresystem Relatioun datt gläichzäiteg reflexive, de grousse, a falsch, ass d'Relatioun vun Relatioun.

Baséiert op der uewen, d'Relatioun vun Relatioun vun den Eegeschafte vun Duebelstären Relatiounen alles:

• reflexivity - d'Verhältnis (M ~ N);
• Briechung - wann Gläichheet M ~ N, wäert et N ~ M ginn;
• transitivity - wann zwee Gläichheet an M ~ N N ~ P, d'Resultat M ~ P.

Nodeems d'Applikatioun Eegeschafte vun Duebelstären Relatioune méi am Detail considéréiert. Reflexivity - ass ee vun de Charakteristiken vun e puer Links, wou all Element vum Test baut an dësem Gläichheet selwer ass. Zum Beispill, tëscht dem Zuelen engem = c an a³ mat - reflexive Kommunikatioun, well et ëmmer eng = c = c ass, an a³, s³ mat. An der selwechter Zäit, d'Verhältnis vun Ongläichheet engem> c - antireflexive well vun der Onméiglechkeet vun der Ongläichheet engem> engem. D'axiom vun dëser Propriétéit ass Zeeche encoded: aRc® Ara U CRC, hei d'Symbol ® bedeit d'Wuert "beinhalt" (oder "beinhalt") an U Zeechen - steet vun "a" (oder verzweifelt). Vun dëser Ausso folgendermoossen et, wann d'Wourecht vun engem PROPOSITIOUN als richteg an Arc Ausdrock Ara an CRC.

Briechung gehéiert der Existenz vun der Relatioun an wann der mental Objete réckgängeg, dh e Ru Relatioun Emplazéiren vun Objete net un der Transformatioun vun der Form an der "Duebelstären Relatiounen." Zum Beispill, ass d'Relatioun vun Gläichheet engem = c Ru wéinst der Relatioun tëscht Relatioun c = e; och gläich a¹s a Uerteel, well et meets der Kommunikatioun s¹a.

Vill falsch Formatioun - et ass e Verméigen an déi folgend Noutwendegkeete treffen: bei ech x, y Z ech ® Z ech x, wou ® Akten als Zeechen d'Wierder ersat: "wann ... dann ...". also esouwéi Formule gelies wéi: ". Wann onofhängeg vun x, y Z gehéiert, Z als Funktioun vun x"