Esercizio Assegnati gli insiemi S={1,2,3} e S'={4,5,6,7}, determinare la corrispondenza da S verso S', il cui grafico è il seguente sottoinsieme di S×S':
rappresentato in fig. 1.
Soluzione
Per la proposizione dimostrata in questa lezione, F è il grafico della corrispondenza
data da
essendo π1 e π2 rispettivamente prima e seconda proiezione del prodotto cartesiano S×S':
Per x=1
Per x=2
Per x=3
Ne concludiamo che il sottoinsieme assegnato è il grafico della seguente corrispondenza da {1,2,3} verso {4,5,6,7}:
così definita:
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.
Dimostriamo alcune proposizioni che traducono le proprietà (riflessiva, simmetrica, etc.) in proprietà del grafico di una relazione. Proposizione 1 Condizione necessaria e sufficiente affinché una relazione ρ:S->P(S) sia riflessiva, è che la diagonale Δ del prodotto cartesiano S×S sia un sottoinsieme del grafico G(ρ). Cioè
Dimostrazione
Proposizione 2 Condizione necessaria e sufficiente affinché una relazione ρ:S->P(S) sia simmetrica, è che il suo grafico sia simmetrico rispetto alla diagonale del prodotto cartesiano S×S. Cioè
Proposizione 3 Condizione necessaria e sufficiente affinché una relazione ρ:S->P(S) sia antisimmetrica, è che l'intersezione del grafico con il suo simmetrico sia un sottoinsieme della diagonale del prodotto cartesiano S×S. Cioè
Dimostrazione
Proposizione 4 Il grafico della relazione identica in S, è la diagonale di S×S.