[¯|¯] Dato un sottoinsieme del prodotto cartesiano di due insiemi, determinare la corrispondenza tra gli insiemi

martedì, Luglio 3rd, 2018

insiemi,corrispondenza,prodotto cartesiano
Fig. 1


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':
insiemi,corrispondenza,prodotto cartesiano

rappresentato in fig. 1.

Soluzione
Per la proposizione dimostrata in questa lezione, F è il grafico della corrispondenza

insiemi,corrispondenza,prodotto cartesiano

data da
insiemi,corrispondenza,prodotto cartesiano

essendo π1 e π2 rispettivamente prima e seconda proiezione del prodotto cartesiano S×S':

insiemi,corrispondenza,prodotto cartesiano









Per x=1
insiemi,corrispondenza,prodotto cartesiano

Per x=2

insiemi,corrispondenza,prodotto cartesiano

Per x=3
insiemi,corrispondenza,prodotto cartesiano

Ne concludiamo che il sottoinsieme assegnato è il grafico della seguente corrispondenza da {1,2,3} verso {4,5,6,7}:

insiemi,corrispondenza,prodotto cartesiano

così definita:

insiemi,corrispondenza,prodotto cartesiano



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



[¯|¯] Le proprietà di una relazione si traducono in proprietà del grafico

giovedì, Giugno 28th, 2018

insiemi,relazione,grafico


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è
insiemi,relazione,grafico

Dimostrazione

insiemi,relazione,grafico

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è

insiemi,relazione,grafico

ove G-1(ρ) è il simmetrico di G(ρ).

Dimostrazione
Premettiamo

insiemi,relazione,grafico

Segue
insiemi,relazione,grafico

D'altra parte
insiemi,relazione,grafico

Cioè
insiemi,relazione,grafico

Proposizione 3

insiemi,relazione,grafico

Dimostrazione

insiemi,relazione,grafico








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è

insiemi,relazione,grafico

Dimostrazione

insiemi,relazione,grafico

Proposizione 4
Il grafico della relazione identica in S, è la diagonale di S×S.

Dimostrazione

insiemi,relazione,grafico

Vai alla lezione successiva

Vai alla lezione precedente

Indice delle lezioni