Rilazzioni binariu è a so pruprietà

Una larga gamma di rilazione di gruppi di esempio accumpagnata da un gran numaru di li cuncetti dipoi a so definizione è analisi logica di calà paradossu. A variità di li cuncetti discutitu in i articulu di u gruppu per sempre. Puru quannu capisciu u tippu duale, da issu hè vulia dì un raportu binariu trà diversa variàbbili. È dinù frà uggetti o utterance.

Comu regula, l 'industria binariu, sò sempri ndicata câ R, chì hè, s'ellu xRx per ogni valore di x in u campu di R, un tali duminiu hè chjamata riflissiva, induve X è x - hè fattu uggetti di pensamentu, è R hè un signu di quarchi forma di rilazioni trà ghjenti . À u listessu tempu, se lu pattu, o xRy® yRx, si parla di statu aid induve ® - u segnu cunchiùdiri, simili à u sindicatu di "se ... allura ..." È infini, deciphering èbbuca (xRy Et rz). ®xRz dì circa rapportu verbo, cù u segnu di u - sta hè una cunghjunzione.

A rilazzioni binariu chì hè à tempu riflissiva, symétrique, è verbo si chjama un rapportu sautari. U prezzu di f francese - una funzione, è di I f francese è I f francese significa la parità Y =, z. Simple funzione binariu pò facirmenti si rifiriscinu a li dui sèmplice argumenti almanaccatu in un certu ordine, è solu in stu casu, si dà un valori à quessa, diriggiuti sti dui sprissioni, pigliata in un casu particulare.

Si avissi a diri ca m Stemma.png X à canta, Sè m hè una funzione di u spaziu privatu definizione valori X è Y. Tuttavia, quannu extrapolates m X u Y è Y Í z, tandu sta porta a lu fattu ca mostra f francese in ex, z. Un sèmplice esempiu: s'ellu f (x) = 2x hè valevule per abbastanza arbitrarie nteru x, allura avemu dì chì m hè sottumessu à una firmata di tutte e integers cunnisciutu à parechji di u listessu tuttu, ma sta vota ancu numari. Facirmenti, u rapportu binariu chì simultaneously riflissiva, symétrique, è verbo, hè u rapportu di sautari.

Basatu nantu à u sopra, u rapportu di sautari ditarminatu da a proprietà di li rilazzioni binariu:

• reflexivity - u prezzu (M ~ N);
• aid - se ugualità M ~ N, ci hà da esse N ~ M;
• transitivity - siddu dui ugualità è M ~ N N ~ P, u risultatu M ~ P.

Avè riflittutu a proprietà di dumanda di rilazzioni binari in più tecnica. Reflexivity - hè unu di i carattaristichi di qualchi ligami, induva ogni elementu di i gruppi testu hè in stu ugualità stessa. Per esempiu, frà i numeri à = c 'è a³ cun - cumunicazioni riflissiva, perchè ci hè sempre una = c' = c 'è a³, s³ cù. À u listessu tempu, u prezzu di inuguaglianza un> c '- antireflexive a causa di l' impussibilità di l 'inuguaglianza un> un. A Canzone di stu duminiu hè cudificatu caratteri: aRc® Ara Ù CRC, quì u simbulu ® indica a parolla "significa" (o "significa") è Ù signu - leva da "è" (o cunghjunzione). Da sta frasi, lu seguita chì si la verità, di un discursu è veru e Arcu Fra sprissioni è Patricia.

Aid s'agisce l 'esistenza di u raportu è s'ellu l' uggetti mintali ripresa, pruposta un rapportu rearrangement curripondentzia di uggetti ùn porta à i trasfurmazioni di u furmulariu "rilazzioni binariu." Per esempiu, u rapportu di parità un = c 'hè curripondentzia duvuta a l' sautari trattendu c = una; dinù smetti a¹s e giudiziu, comu si ritrova u s¹a cumunicazzioni.

Verbo, set - hè una pruprietà in cui scuntrà i seguenti esigenza: à I X, z I Y ® mit I x, induve ® atti cum'è un segnu sustituì e parolle: "se ... allura ...". Verbally fòrmula cusì leghje cum'è: "Sè nnipinnenza di x, z apparteni canta, z comu funziunava di x."