Archive for the ‘Algebra’ Category

[¯|¯] Esercizio 1 sul grafico di una relazione

sabato, Giugno 30th, 2018

relazioni in un insieme,esercizi svolti
Fig. 1


Esercizio
Studiare il grafico della relazione seguente:

relazioni in un insieme,esercizi svolti

dove
S={1,2,3,4}.


Soluzione
Abbiamo

relazioni in un insieme,esercizi svolti

da cui il grafico di ρ
relazioni in un insieme,esercizi svolti









che può essere riportato in un piano cartesiano (Oxy) come mostrato in fig. 1, mentre la figura seguente riporta il simmetrico G-1(ρ) rispetto alla diagonale Δ={(1,1),(2,2),(3,3),(4,4)} di S2

relazioni in un insieme,esercizi svolti
Fig. 2. Grafico della relazione assegnata confrontato con il suo simmetrico (pallini red) rispetto alla diagonale



Sostienici

Puoi contribuire all’uscita di nuovi articoli ed e-books gratuiti che il nostro staff potrà mettere a disposizione per te e migliaia di altri lettori.


Indice degli esercizi



[¯|¯] Relazioni di equivalenza. Classi di equivalenza

venerdì, Giugno 29th, 2018

relazioni di equivalenza,classi di equivalenza


Definizione
Una relazione ρ in un insieme S, si dice relazione di equivalenza se è riflessiva, simmetrica e transitiva.

Osservazione
Per quanto visto nel numero precedente, le proprietà di una relazione di equivalenza si traducono in proprietà del suo grafico. Precisamente, il grafico G(ρ) di una relazione di equivalenza è tale che

relazioni di equivalenza,classi di equivalenza

Proposizione 1
Comunque prendiamo una relazione di equivalenza ρ in S, si ha:
relazioni di equivalenza,classi di equivalenza

Dimostrazione

relazioni di equivalenza,classi di equivalenza









Proposizione 2
Comunque prendiamo una relazione di equivalenza ρ in S, si ha:
relazioni di equivalenza,classi di equivalenza

Dimostrazione
Implicazione diretta
Osserviamo innanzitutto che

relazioni di equivalenza,classi di equivalenza

Segue
relazioni di equivalenza,classi di equivalenza

Scomponiamo la doppia implicazione <=>
relazioni di equivalenza,classi di equivalenza

onde l'asserto.
Implicazione inversa
Per ipotesi
relazioni di equivalenza,classi di equivalenza

Per la proposizione precedente
relazioni di equivalenza,classi di equivalenza

Proposizione 3
Comunque prendiamo una relazione di equivalenza ρ in S, si ha:

relazioni di equivalenza,classi di equivalenza

Dimostrazione
Implicazione inversa>
Per ipotesi

relazioni di equivalenza,classi di equivalenza

Per una proposizione dimostrata in una lezione precedente:
relazioni di equivalenza,classi di equivalenza

onde
relazioni di equivalenza,classi di equivalenza

da cui l'asserto.
Implicazione diretta
Ipotesi
relazioni di equivalenza,classi di equivalenza

Segue
relazioni di equivalenza,classi di equivalenza

Per quanto precede, se ρ è una relazione di equivalenza in S, comunque prendiamo x in S si ha che ρ(x) è non vuoto e contiene x come elemento.
Definizione
Il sottoinsieme ρ(x) di S, si dice classe di equivalenza rispetto a ρ.

Per la proposizione 2 comunque prendiamo y in ρ(x) si ha ρ(x)=ρ(y). Cioè, le due classi di equivalenza ρ(x) e ρ(y) coincidono per ogni y in ρ(x). In altri termini, ogni elemento di una assegnata classe di equivalenza determina la medesima classe. Ne consegue che una classe di equivalenza è univocamente determinata da un suo elemento preso ad arbitrio.

In virtù della proposizione 3, se y non appartiene a ρ(x) cioè se x e y individuano due classi ρ(x) e ρ(y) distinte, necessariamente queste ultime sono disgiunte.
D'altra parte, se se y non appartiene a ρ(x) significa che x e y non sono in relazione.
Conclusione
Elementi che non sono in relazione di equivalenza tra loro, determinano classi di equivalenza disgiunte.



Sostienici

Puoi contribuire all’uscita di nuovi articoli ed e-books gratuiti che il nostro staff potrà mettere a disposizione per te e migliaia di altri lettori.


Vai alla lezione precedente

Indice delle lezioni