[¯|¯] Grafico di una relazione

mercoledì, Giugno 27th, 2018

relazione,insieme,grafico,diagonale
Fig. 1


Sia S un insieme non vuoto e ρ una relazione in S:

relazione,insieme,grafico,diagonale

Definizione
Dicesi grafico della relazione ρ il seguente sottoinsieme del prodotto cartesiano S×S:
relazione,insieme,grafico,diagonale

Definizione
Dicesi diagonale del prodotto cartesiano S×S, il sottoinsieme:

relazione,insieme,grafico,diagonale

Definizione
Dicesi simmetrico rispetto alla diagonale di un elemento (x,y) del prodotto cartesiano S×S, l'elemento (y,x).










Proposizione
Un elemento (x,y) del prodotto cartesiano S×S coincide con il proprio simmetrico, se e solo se appartiene alla diagonale di S×S.


Dimostrazione.

Discende direttamente dalla definizione di simmetrico.

Definizione
Assegnato un sottoinsieme T di S×S, dicesi simmetrico di T rispetto alla diagonale di S×S, l'insieme:

relazione,insieme,grafico,diagonale

cioè l'insieme i cui elementi sono i simmetrici rispetto a Δ degli elementi di T.

Definizione
Un sottoinsieme T di S×S è simmetrico rispetto alla diagonale di S×S se T=T-1.

Consideriamo, ad esempio, il prodotto cartesiano R×R=R² quale insieme di punti di un piano α dello spazio ordinario. Introducendo in α un riferimento cartesiano ortogonale Rα(Oxy), si ha

relazione,insieme,grafico,diagonale

Cioè la diagonale di R×R è la bisettrice del primo e terzo quadrante. Sia

relazione,insieme,grafico,diagonale

il cui simmetrico rispetto a Δ è:

relazione,insieme,grafico,diagonale

come illustrato in fig. 1.

Vai alla lezione successiva

Vai alla lezione precedente

Indice delle lezioni



[¯|¯] Grafico di un'applicazione

mercoledì, Giugno 20th, 2018

grafico,applicazione


Definizione
Dicesi grafico di un'applicazione f:S->S', l'insieme
grafico,applicazione


Lemma
Comunque prendiamo un'applicazione f:S->S', l'insieme
grafico,applicazione

è costituito da un solo elemento.

Dimostrazione
La controimmagine di π1 è:

grafico,applicazione

Segue
grafico,applicazione

onde l'asserto.









In base a tale lemma, si ha la seguente proposizione la cui dimostrazione è immediata:
Proposizione
Un qualunque sottoinsieme Γ di S×S' tale che
grafico,applicazione

è costituito da un solo elemento, è il grafico di un'applicazione.



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 successiva

Vai alla lezione precedente

Indice delle lezioni