Algebra 1/Insiemi Logica Relazioni/Relazioni

Proposizioni e predicati

In matematica frasi come “19 è maggiore di 5” o “Giove ruota intorno alla Terra” sono considerate proposizioni perché ad esse si può attribuire un preciso valore di verità, cioè si può stabilire se sono vere oppure false: la prima è una proposizione vera, la seconda è falsa.

Non sono proposizioni in senso matematico “Cosa stai studiando?”, “domani pioverà!”, “$x$ è un numero primo”: infatti la prima non è un’affermazione ma pone una domanda, la seconda è una esclamazione e quindi non possiamo stabilire se è vera o falsa; l’ultima contiene un elemento indeterminato e finché non si fissa il valore da attribuire a $x$, non si può decidere se la frase che lo riguarda è vera o falsa.

Ogni proposizione è formata da un predicato (verbo) e dai suoi argomenti (cose o persone alle quali il verbo si riferisce).

Analizzando le proposizioni sopra enunciate si ha:

Soggetto	Predicato	Complemento
19	è maggiore di	5
Giove	ruota attorno alla	Terra

Il soggetto e il complemento sono gli argomenti ai quali il predicato si riferisce. In alcune proposizioni il predicato si riferisce a due argomenti (il soggetto e il complemento) in altre ad un solo argomento: ad esempio, il predicato “essere numero primo” stabilisce semplicemente una caratteristica del numero 5 senza porre alcuna connessione con un altro argomento.

Definizione: Si dice predicato binario un predicato che si riferisce a due argomenti.

Relazioni in un insieme

Il termine relazione entra molto spesso in frasi del linguaggio naturale, lo usiamo per esprimere un generico legame tra due persone o tra due oggetti, anche senza specificarne la natura: “si è conclusa la relazione tra Anna e Paolo”, “l’allungamento di una sbarretta di ferro è in relazione con il calore fornito”, “la frana del terreno è in relazione con il disboscamento della zona e l’abusivismo edilizio”, “domani consegnerò la relazione di fisica”. Sono tutte espressioni che ci danno informazioni di un qualche collegamento tra gli argomenti (persone, cose) ai quali il termine relazione si riferisce.

Dal punto di vista matematico diamo la seguente definizione.

Definizione: Si dice relazione in un insieme $A$ un predicato binario che lega due elementi dell’insieme.

Esempio:

Nell’insieme $A=\{3{\text{, }}5{\text{, }}6{\text{, }}9{\text{, }}30\}$ è introdotto il predicato binario “essere multiplo di”; con esso formiamo le proposizioni vere scegliendo soggetto e complemento nell’insieme $A$:

30 è multiplo di 6;

9 è multiplo di 3;

30 è multiplo di 5;

3 è multiplo di 3;

9 è multiplo di 9;

…

Il predicato “essere multiplo” genera nell’insieme $A$ una relazione matematica. Esso non è il solo che permette di collegare tra loro due elementi di quell’insieme.

Se chiamiamo con ${\mathfrak {R}}$ il predicato binario che definisce la relazione introdotta nell’insieme, per indicare sinteticamente la proposizione avente come soggetto $a$, come complemento $b$ e come predicato ${\mathfrak {R}}$, scriviamo $a\,{\mathfrak {R}}\,b$ e diremo che $a$ è in relazione con $b$.

Esempio:

Con riferimento all’esempio precedente si ha: $A=\{3{\text{, }}5{\text{, }}6{\text{, }}9{\text{, }}30\}$ e ${\mathfrak {R}}$: “essere multiplo di”. Allora scriviamo: per qualunque $a$ e $b$ appartenenti ad $A$, $a\,{\mathfrak {R}}\,b$ se e solo se $a$ è multiplo di $b$, in simboli: $\forall a,b\in A\Leftrightarrow a{\text{ è multiplo di }}b$

$30\,{\mathfrak {R}}\,6;\quad 9\,{\mathfrak {R}}\,3;\quad 30\,{\mathfrak {R}}\,3;\quad 6\,{\mathfrak {R}}\,3;\quad 30\,{\mathfrak {R}}\,5;\quad 3\,{\mathfrak {R}}\,3;\quad 5\,{\mathfrak {R}}\,5;\quad 6\,{\mathfrak {R}}\,6;\quad 9\,{\mathfrak {R}}\,9;\quad 30\,{\mathfrak {R}}\,30.$

Abbiamo così formato un insieme di coppie ordinate di elementi tra loro in relazione: $30\,{\mathfrak {R}}\,5$ può anche essere indicata con la coppia ordinata $(30;5)$.

Definizione: Chiamiamo insieme della relazione $G_{\mathfrak {R}}$ l’insieme delle coppie ordinate i cui elementi sono gli argomenti del predicato binario, ossia sono in relazione tra di loro. Esso risulta essere un sottoinsieme del prodotto cartesiano dell’insieme $A$ con se stesso. Si rappresenta per proprietà caratteristica nel seguente modo $G_{\mathfrak {R}}=\{(a;b)\in A\times A\mid a\,{\mathfrak {R}}\,b\}$.

Grafico di una relazione

Dal momento che una relazione in un insieme $Y$ determina un sottoinsieme del prodotto cartesiano $Y\times Y$, è comodo rappresentare una relazione nello stesso diagramma usato per rappresentare il prodotto cartesiano. Una relazione può quindi essere rappresentata attraverso un grafico cartesiano.

Matrice o tabella di una relazione

Nella figura è rappresentata la classica griglia per il gioco della battaglia navale. Ogni cella è individuata da una coppia ordinata il cui primo elemento (una lettera dell’alfabeto) indica la riga, il secondo (un numero) indica la colonna; così la coppia $(D;5)$ indica la cella annerita.

Matrice di una relazione

Grafo di una relazione

Definizione: Un grafo è un insieme di punti, detti nodi, e di archi che uniscono coppie di punti.

Esempio:

Nel diagramma di Eulero-Venn della figura, relativo all’insieme $A=\{3,5,6,9,30\}$ rappresentiamo la relazione ${\mathfrak {R}}=$ “essere multiplo di” collegando, mediante una freccia, gli argomenti delle proposizione vere.

Grafo di una relazione

Come puoi osservare, l’elemento 30 è collegato con una freccia all’elemento 6 in quanto la proposizione “30 è multiplo di 6” è vera, ma non all’elemento 9 poiché la proposizione “30 è multiplo di 9” è falsa; inoltre la punta della freccia è sul numero 6 in quanto complemento del predicato “essere multiplo di” (si parla in tal caso di grafo orientato); infine su ciascun elemento abbiamo messo un “anello” o “cappio” per indicare che ogni elemento è in relazione con se stesso visto che per ogni elemento $a\in A$ la proposizione “$a$ è multiplo di $a$” risulta vera.

Proprietà delle relazioni

Proprietà riflessiva

Esempio:

Nell’insieme $T=\{{\text{4, 7, 8, 12, 35, 100}}\}$ è introdotta la relazione ${\mathfrak {R}}$: “essere divisore di”. Puoi verificare che ogni numero è divisore di se stesso, cioè ogni elemento dell’insieme è in relazione con se stesso. Una relazione di questo tipo si dice che gode della proprietà riflessiva. Osserva, però, che nell’insieme $\mathbb {N}$ dei numeri naturali la relazione “essere divisibile per” non è riflessiva poiché zero non è divisibile per se stesso.

Definizione: Una relazione ${\mathfrak {R}}$ in un insieme $A$ gode della proprietà riflessiva quando ogni elemento è in relazione con se stesso, ossia per qualunque $x$ dell’insieme $A$ si ha $x\,{\mathfrak {R}}\,x$. In simboli: $\forall x\in A:x\,{\mathfrak {R}}\,x$.

Proprietà antiriflessiva

Esempio:

Nell’insieme delle persone $P=\{{\text{Marco, Antonio, Carlo}}\}$ è data la relazione ${\mathfrak {R}}$: “essere più alto di”. Nessun elemento è in relazione con se stesso, infatti nessuno può essere più alto di se stesso. 

Definizione: Una relazione ${\mathfrak {R}}$ in un insieme $A$ gode della proprietà antiriflessiva quando nessun elemento è in relazione con se stesso, ossia per nessun elemento $x$ di $A$ si ha $x\,{\mathfrak {R}}\,x$. In simboli: $\nexists x\in A:\,x\,{\mathfrak {R}}\,x$.

Proprietà simmetrica

Esempio:

Nella relazione ${\mathfrak {R}}$: “essere concorde con” nell’insieme dei numeri $A=\{-1{\text{, }}+3{\text{, }}-7{\text{, }}+5{\text{, }}-2{\text{, }}+4{\text{, }}+10\}$ si può osservare che se un elemento dell’insieme è in relazione con un altro allora anche quest’ultimo è in relazione con il primo: $-1\;{\mathfrak {R}}\,-7$, ma anche $-7\;{\mathfrak {R}}\,-1$; $+3\;{\mathfrak {R}}\,+5$, ma anche $+5\;{\mathfrak {R}}\,+3$ e così via. 

Definizione: Una relazione ${\mathfrak {R}}$ in un insieme $A$ gode della proprietà simmetrica quando risultano vere le due proposizioni che si ottengono scambiando soggetto e complemento; ossia per qualunque $x$ e $y$ appartenenti all’insieme $A$ se vale $x\,{\mathfrak {R}}\,y$ allora vale anche $y\,{\mathfrak {R}}\,x$. In simboli: $\forall x,y\in A:\,x\,{\mathfrak {R}}\,y\rightarrow \,y\,{\mathfrak {R}}\,x$

Proprietà antisimmetrica

Esempio:

Il diagramma di Venn nella figura sottostante rappresenta un insieme $U$ e alcuni suoi sottoinsiemi.

Sottoinsiemi di un insieme

Consideriamo ora l’insieme di insiemi $S=\{U{\text{, }}A{\text{, }}B{\text{, }}C{\text{, }}D{\text{, }}E{\text{, }}F\}$ e la relazione ${\mathfrak {R}}$: “essere sottoinsieme proprio di”. Completa il grafo della relazione.

Certamente nel completare il grafo non avrai usato archi poiché è evidente che le proposizioni “$B$ è sottoinsieme proprio di $C$” e “$C$ è sottoinsieme proprio di $B$” non possono essere entrambe vere. Anzi, la verità della prima implica necessariamente la falsità della seconda.

La relazione "essere sottoinsieme proprio di"

Definizione: Una relazione ${\mathfrak {R}}$ in un insieme $A$ gode della proprietà antisimmetrica quando non possono essere vere contemporaneamente le proposizioni che si ottengono scambiando il soggetto con il complemento, se soggetto e complemento sono diversi tra loro; ossia per qualunque $x$ e $y$ dell’insieme $A$ se $x\neq y$ e se $x\,{\mathfrak {R}}\,y$ non è vero che $y\,{\mathfrak {R}}\,x$.

Proprietà transitiva

Definizione: Una relazione ${\mathfrak {R}}$ in un insieme $A$ gode della proprietà transitiva quando se $a\,{\mathfrak {R}}\,b$ e $b\,{\mathfrak {R}}\,c$ allora risulta anche $a\,{\mathfrak {R}}\,c$, con $a$, $b$, $c$ elementi qualsiasi dell’insieme $A$. In simboli

$\forall a,b,c\in A:\,a\,{\mathfrak {R}}\,b\,\wedge \,b\,{\mathfrak {R}}\,c\,\rightarrow \,a\,{\mathfrak {R}}\,c$.

Relazioni di equivalenza

Completa la seguente tabella segnando le proprietà di cui gode (R=riflessiva, S=simmetrica, T=transitiva, AS=antisimmetrica, AR=antiriflessiva) ciascuna relazione.

Relazione	Insieme	Proprietà
Avere lo stesso perimetro	poligoni	[R] [S] [T] [AS] [AR]
Essere fratello di	persone	[R] [S] [T] [AS] [AR]
Essere figlio di	persone	[R] [S] [T] [AS] [AR]
Essere più alto di	persone	[R] [S] [T] [AS] [AR]
Avere gli angoli rispettivamente congruenti	triangoli	[R] [S] [T] [AS] [AR]
Iniziare con la stessa lettera	parole	[R] [S] [T] [AS] [AR]
Giocare nella stessa squadra	calciatori	[R] [S] [T] [AS] [AR]
$a\,{\mathfrak {R}}\,b$ se e solo se $a$ è nato nello stesso anno di $b$	persone	[R] [S] [T] [AS] [AR]
$x\,{\mathfrak {R}}\,y$ se e solo se $x$ ha lo stesso numero di cifre di $y$	$\mathbb {N} \times \mathbb {N}$	[R] [S] [T] [AS] [AR]
$x\,{\mathfrak {R}}\,y$ se e solo se $x$ ha la stessa ultima cifra di $y$	$\mathbb {N} \times \mathbb {N}$	[R] [S] [T] [AS] [AR]
$x\,{\mathfrak {R}}\,y$ se e solo se $x$ è multiplo di $y$	$\mathbb {N} \times \mathbb {N}$	[R] [S] [T] [AS] [AR]
$x\,{\mathfrak {R}}\,y$ se e solo se $x+y$ è pari	$\mathbb {N} \times \mathbb {N}$	[R] [S] [T] [AS] [AR]
Avere lo stesso segno zodiacale	persone	[R] [S] [T] [AS] [AR]
$(a;b)\,{\mathfrak {R}}\,(x;y)$ se e solo se $a+b=x+y$	$\mathbb {N} \times \mathbb {N}$	[R] [S] [T] [AS] [AR]

Svolgimento: La prima relazione gode delle tre proprietà riflessiva, simmetrica e transitiva; infatti:

• “il poligono $P$ ha lo stesso perimetro di se stesso” è vera per qualunque poligono (proprietà riflessiva);
• “il poligono $P_{1}$ ha lo stesso perimetro del poligono $P_{2}$” implica la verità della proposizione “il poligono $P_{2}$ ha lo stesso perimetro di $P_{1}$”, qualunque siano i due poligoni $P_{1}$ e $P_{2}$ (proprietà simmetrica);
• se “il poligono $P_{1}$ ha lo stesso perimetro di $P_{2}$” e “$P_{2}$ ha lo stesso perimetro di $P_{3}$” allora si ha anche che “$P_{1}$ ha lo stesso perimetro di $P_{3}$”, qualunque siano i poligoni $P_{1}$, $P_{2}$, $P_{3}$ (proprietà transitiva).

Verifica tu se anche le altre relazioni godono delle tre proprietà riflessiva, simmetrica, transitiva, come “essere fratello di”, “avere gli angoli rispettivamente uguali”, “iniziare con la stessa lettera”.

Definizione: Chiamiamo relazione d’equivalenza una relazione che gode delle tre proprietà riflessiva, simmetrica e transitiva.

Premettiamo le definizioni:

Definizione: Dato un insieme $A$, suddividiamolo in un numero di sottoinsiemi $A_{1}$, $A_{2}$, …, $A_{n}$, detti classi, tali che

1. nessun sottoinsieme è vuoto;
2. a due a due sono disgiunti (non hanno tra loro alcun elemento in comune);
3. la loro unione è l’insieme $A$.

L’insieme $P(A)=\{A_{1}$, $A_{2}$, …, $A_{n}\}$ è detto partizione di $A$.

Definizione: In un insieme $A$ dove sia stata definita una relazione d’equivalenza ${\mathfrak {R}}$, si chiama classe d’equivalenza ogni sottoinsieme di $A$ contenente tutti e soli gli elementi tra loro in relazione secondo ${\mathfrak {R}}$.

Si viene così a determinare una partizione dell’insieme $A$ in classi d’equivalenza, ognuna delle quali è indicata racchiudendo tra parentesi quadrate uno degli elementi della classe considerata.

Definizione: Si chiama insieme quoziente di un insieme $A$ rispetto alla relazione di equivalenza ${\mathfrak {R}}$ in esso definita, l’insieme i cui elementi sono le classi d’equivalenza determinate dalla relazione ${\mathfrak {R}}$, ovvero la partizione di $A$ definita da ${\mathfrak {R}}$. L’insieme quoziente si indica con il simbolo $A/{\mathfrak {R}}$.

Osservazione: Ogni volta che si ha una relazione d’equivalenza ${\mathfrak {R}}$ in un insieme $A$, possiamo stabilire la seguente catena di passaggi:

${\text{insieme }}A\rightarrow {\mathfrak {R}}\rightarrow {\text{ partizione }}\wp (A)={\text{ insieme quoziente }}A/{\mathfrak {R}}.$

Esempio:

Nell’insieme $A=\{x\in \mathbb {N} \mid 0\leq x\leq 20\}$ è data la relazione ${\mathfrak {R}}=$ “avere lo stesso resto nella divisione per 5”. Vediamo alcuni numeri che sono in relazione: 

• 0 : 5   quoziente 0 resto 0;
• 1 : 5   quoziente 0 resto 1;
• 2 : 5   quoziente 0 resto 2;
• 3 : 5   quoziente 0 resto 3;
• 4 : 5   quoziente 0 resto 4;
• 5 : 5   quoziente 1 resto 0;
• 6 : 5   quoziente 1 resto 1;
• 7 : 5   quoziente 1 resto 2;
• 8 : 5   quoziente 1 resto 3;
• 9 : 5   quoziente 1 resto 4;
• 10 : 5   quoziente 2 resto 0;
• 11 : 5   quoziente 2 resto 1;
• 12 : 5   quoziente 2 resto 2;
• ……

Sono quindi in relazione:

• $0\,{\mathfrak {R}}\,5$,  $5\,{\mathfrak {R}}\,10$,  $10\,{\mathfrak {R}}\,15$,  $15\,{\mathfrak {R}}\,20\;\ldots$;
• $1\,{\mathfrak {R}}\,6$,  $6\,{\mathfrak {R}}\,11$,  $11\,{\mathfrak {R}}\,16$,  $21\,{\mathfrak {R}}\,26\;\ldots$;
• $2\,{\mathfrak {R}}\,7$,  $7\,{\mathfrak {R}}\,12$,  $12\,{\mathfrak {R}}\,17$,  $27\,{\mathfrak {R}}\,32\;\ldots$
• $\ldots \ldots \ldots \ldots \ldots$

Vediamo quali proprietà verifica la relazione ${\mathfrak {R}}$:

• Riflessiva: perché ogni numero ha lo stesso resto di se stesso nella divisione per 5. $0\,{\mathfrak {R}}0$, $1\,{\mathfrak {R}}1$, $2\,{\mathfrak {R}}2$, …;
• Simmetrica: Se $m\,{\mathfrak {R}}\,n$ significa che ${resto}(m:5)={resto}(n:5)$ allora vale anche ${resto}(n:5)={resto}(m:5)$ e quindi $n\,{\mathfrak {R}}\,m$;
• Transitiva: Se $m\,{\mathfrak {R}}\,n$ e $n\,{\mathfrak {R}}\,p$ significa che ${resto}(m:5)={resto}(n:5)={resto}(p:5)$ e quindi $m\,{\mathfrak {R}}\,p$.

Possiamo concludere che ${\mathfrak {R}}$ è una relazione di equivalenza.

Rappresentiamo la partizione dell’insieme $A$ secondo la relazione ${\mathfrak {R}}$.

Partizione di un insieme

Le classi di equivalenza sono:

• $[0]=\{0{\text{, }}5{\text{, }}10{\text{, }}15{\text{, }}20\}$;
• $[1]=\{1{\text{, }}6{\text{, }}11{\text{, }}16\}$;
• $[2]=\{2{\text{, }}7{\text{, }}12{\text{, }}17\}$;
• $[3]=\{3{\text{, }}8{\text{, }}13{\text{, }}18\}$;
• $[4]=\{4{\text{, }}9{\text{, }}14{\text{, }}19\}$.

Relazioni di ordine

Nel linguaggio di ogni giorno avrai certamente spesso usato espressioni come “devo mettere in ordine i miei libri” oppure “qui non c’è ordine” e altre espressioni simili. Anche in matematica, fin dalla scuola elementare, hai imparato a ordinare gli elementi dell’insieme dei numeri naturali: dati due numeri naturali hai imparato infatti a stabilire quale dei due è il maggiore.

Definizione: Una relazione ${\mathfrak {R}}$, introdotta in un insieme $A$, si chiama relazione d’ordine se è antisimmetrica e transitiva.

Riguardando le varie relazioni introdotte sin qui, possiamo stabilire che esistono relazioni d’ordine di vario tipo, schematizzate nel seguente diagramma:

Relazioni d'ordine

Attraverso alcuni esempi, vogliamo chiarire le differenze tra i diversi tipi. A questo scopo introduciamo la seguente definizione.

Definizione: Data una relazione d’ordine ${\mathfrak {R}}$ definita in un insieme $A$, due elementi distinti $x$ e $y$ sono confrontabili se rispetto a ${\mathfrak {R}}$ si ha $x\,{\mathfrak {R}}\,y$ oppure $y\,{\mathfrak {R}}\,x$.

Definizione: Una relazione d’ordine si dice parziale quando esistono almeno due elementi che non sono confrontabili.

Definizione: Una relazione d’ordine si dice totale quando due qualsiasi elementi possono essere messi in relazione, cioè sono confrontabili.

Definizione: Una relazione d’ordine è detta in senso largo quando essa gode della proprietà riflessiva.

Definizione: Una relazione d’ordine è detta in senso stretto quando essa gode della proprietà antiriflessiva.

Tipi di relazioni d'ordine

Esempio:

Nell’insieme degli alunni della tua classe considera la relazione $A\,{\mathfrak {R}}\,B$ se il numero di lettere del nome di A è minore del numero di lettere del nome di B. Verifichiamo le proprietà della relazione:

1. Antiriflessiva: perché ogni alunno non può avere un nome con meno lettere del suo nome;
2. Antisimmetrica: se A ha il nome più corto del nome di B, non può accadere l’inverso e cioè che anche B abbia il nome più corto del nome di A;
3. Transitiva: perché se A ha il nome più corto di B e B ha il nome più corto di C allora anche $A\,{\mathfrak {R}}\,C$.

Si tratta quindi di una relazione d’ordine parziale in senso stretto. È parziale perché ci possono essere due alunni che avendo il nome con lo stesso numero di lettere non sono confrontabili nella relazione considerata.

Relazioni tre due insiemi diversi

Nei paragrafi precedenti abbiamo analizzato relazioni con predicato binario che si riferisce a due elementi dello stesso insieme, consideriamo ora relazioni con predicato binario in cui soggetto e complemento appartengono a due insiemi diversi.

Definizione: Si chiama relazione ${\mathfrak {R}}$ fra due insiemi $A$ e $B$, il predicato binario avente come soggetto un elemento di $A$ e come complemento un elemento di $B$. Essa definisce un sottoinsieme $G_{\mathfrak {R}}$ del prodotto cartesiano $A\times B$, costituito dalle coppie ordinate di elementi corrispondenti: $G_{\mathfrak {R}}=\{(a;b)\in A\times B\mid a\,{\mathfrak {R}}\,b\}.$

Definizione: Si chiama dominio ${\mathcal {D}}$ di una relazione l’insieme $A$ in cui si trova il soggetto della proposizione vera costruita con il predicato ${\mathfrak {R}}$ e codominio ${\mathcal {C}}$ l’insieme $B$ degli elementi che costituiscono il complemento della stessa proposizione.

Definizione: Definita una relazione ${\mathfrak {R}}:A\rightarrow B$, nella coppia $(a;b)$ di elementi corrispondenti, $b$ si chiama immagine di $a$ nella relazione ${\mathfrak {R}}$. L’insieme delle immagini degli elementi del dominio ${\mathcal {D}}$ è un sottoinsieme del codominio ${\mathcal {C}}$ chiamato insieme immagine e Verrà indicato con ${\text{IM.}}$. Quindi ${\text{IM.}}\subseteq {\mathcal {C}}$.

Definizione: Chiamiamo insieme di definizione della relazione ${\mathfrak {R}}$, indicato con ${\text{I.D.}}$, il sottoinsieme del dominio ${\mathcal {D}}$ i cui elementi hanno effettivamente un corrispondente nel codominio ${\mathcal {C}}$.

Esempio:

Consideriamo gli insiemi $A=\{$Parigi, Roma, Atene, Firenze, Barcellona$\}$ e $B=\{$Italia, Francia, Grecia, Spagna$\}$.

Il predicato binario ${\mathfrak {R}}$: “essere la capitale di”, introdotto nell’insieme $A\times B$, determina il sottoinsieme $G_{\mathfrak {R}}$ i cui elementi sono le coppie (Parigi; Francia), (Roma; Italia), (Atene; Grecia). Il dominio della corrispondenza è ${\mathcal {D}}=\{$Parigi, Roma, Atene, Firenze, Barcellona$\}$, il codominio è ${\mathcal {C}}=\{$Italia, Francia, Grecia, Spagna$\}$, ${\text{I.D.}}=\{$Parigi, Roma, Atene$\}$ e ${\text{IM.}}=$Italia, Francia, Grecia$\}$.

Relazione tra due insiemi

Caratteristiche della relazione tra insiemi

Esempio:

Tra gli insiemi $D=\{$persone italiane viventi$\}$ e $C=\{$gli anni dal 1900 al 2012$\}$ consideriamo la relazione “è nato nell’anno”.

Evidentemente ogni persona ha un determinato anno di nascita, ma più persone sono nate nello stesso anno. Il grafico sagittale di questa relazione è del tipo rappresentato nella figura.

Relazione molti a uno

Questo tipo di relazione è detta di tipo molti a uno perché più elementi di $D$ sono in relazione con lo stesso elemento di $C$.

Esempio:

Analizziamo la relazione ${\mathfrak {R}}:R\rightarrow M$ “essere bagnata/o da” tra l’insieme delle regioni d’Italia $R$ e l’insieme dei mari $M$.

Alcune regioni non sono bagnate da alcun mare. Molte regioni sono bagnate dallo stesso mare, ma succede che alcune regioni siano bagnate da due mari. Un mare bagna almeno una regione. Il grafico sagittale di questa corrispondenza è del tipo rappresentato nella figura.

Relazione molti a molti

Si tratta di una relazione molti a molti perché più regioni sono bagnate da uno stesso mare e più mari possono bagnare una stessa regione.

Esempio:

Consideriamo la relazione ${\mathfrak {R}}$: “essere la capitale di” tra il dominio ${\mathcal {D}}=\{$città d’Europa$\}$ e il codominio ${\mathcal {C}}=\{$stati d’Europa$\}$. È evidente che non tutte le città sono capitali, mentre ogni stato ha la sua capitale; inoltre due città diverse non possono essere capitali dello stesso stato. Il grafico sagittale di questa corrispondenza è del tipo rappresentato nella figura.

Relazione uno a uno

Si tratta di una relazione uno a uno.

Esempio:

Consideriamo, tra l’insieme $\mathbb {N} _{0}$ dei numeri naturali diversi da zero e l’insieme $\mathbb {Z} _{0}$ degli interi relativi diversi da zero, la relazione ${\mathfrak {R}}$: “essere il valore assoluto di”. Poiché due numeri opposti hanno lo stesso valore assoluto, ogni elemento di $\mathbb {N} _{0}$ ha due immagini, per cui il grafico sagittale di questa corrispondenza è come nella figura.

Relazione uno a molti

Si tratta di una relazione uno a molti.

Definizione: Le relazioni di tipo molti a uno e uno a uno sono dette univoche; in esse ogni elemento dell’insieme di partenza ha una sola immagine nell’insieme di arrivo.

Esempio:

Consideriamo la relazione ${\mathfrak {R}}$ che associa ad ogni persona il suo codice fiscale: ogni persona ha il proprio codice fiscale, persone diverse hanno codice fiscale diverso. Il grafico sagittale di questa relazione è del tipo uno a uno. È di questo tipo il grafico sagittale della relazione che associa ad ogni automobile la sua targa, ad ogni moto il suo numero di telaio, ad ogni cittadino italiano maggiorenne il suo certificato elettorale, …

In tutti questi casi la relazione è di tipo uno a uno.