una relazione d’ordine totale

una relazione d’ordine totale

Relazione d'ordine ma non totale: (1,2) ∉R, idem (1,4) ∉R

Una relazione è totale se due qualsiasi elementi dell'insieme sono confrontabili. Cioè ogni coppia di elementi deve apparire nella relazione.
L'esempio classico è la relazione "≤" tra numeri reali: presi due numeri reali qualsiasi a e b, vale a ≤ b oppure b ≤ a.
Un altro esempio è la relazione "essere multiplo di" sull'insieme A = {1, 2, 4, 8, 16}. Presi due elementi qualsiasi a, b ∈ A, è sempre vero che a è multiplo di b o viceversa. Nota che questo non è vero se A = ℕ (insieme dei numeri naturali), per esempio né 2 non è multiplo di 3 né 3 è multiplo di 2.
In questo esercizio, come già detto prima, ci sono coppie di elementi non confrontabili, per esempio né (1,3) né (3,1) ∈ R₃, quindi 1 e 3 non sono in relazione tra loro.

About Post Author

pasquale.clarizio

error: Content is protected !!
Advertisment ad adsense adlogger