Algebra 1/Insiemi Logica Relazioni/Relazioni: differenze tra le versioni

Wikibooks, manuali e libri di testo liberi.
Contenuto cancellato Contenuto aggiunto
Riga 85: Riga 85:


=== Proprietà riflessiva ===
=== Proprietà riflessiva ===

{{Algebra1/Esempio1|

Nell’insieme <math>T = \{\text{4, 7, 8, 12, 35, 100}\}</math> è introdotta la relazione <math>\mathfrak{R}</math>: “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 <math>\mathbb{N}</math> dei numeri naturali la relazione “essere divisibile per” non è riflessiva poiché zero non è divisibile per se stesso. }}

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

=== Proprietà antiriflessiva ===

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

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

=== Proprietà simmetrica ===

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

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

=== Proprietà antisimmetrica ===

Versione delle 17:09, 16 mag 2016

Indice del libro

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à!”, “ è 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 , 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 un predicato binario che lega due elementi dell’insieme.


Esempio:

Nell’insieme  è introdotto il predicato binario “essere multiplo di”; con esso formiamo le proposizioni vere scegliendo soggetto e complemento nell’insieme :
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 una relazione matematica. Esso non è il solo che permette di collegare tra loro due elementi di quell’insieme.

Se chiamiamo con il predicato binario che definisce la relazione introdotta nell’insieme, per indicare sinteticamente la proposizione avente come soggetto , come complemento e come predicato , scriviamo e diremo che è in relazione con .

Esempio:


Con riferimento all’esempio precedente si ha: e : “essere multiplo di”. Allora scriviamo: per qualunque e appartenenti ad , se e solo se è multiplo di , in simboli:

Abbiamo così formato un insieme di coppie ordinate di elementi tra loro in relazione: può anche essere indicata con la coppia ordinata .

Definizione: Chiamiamo insieme della relazione 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 con se stesso. Si rappresenta per proprietà caratteristica nel seguente modo .


Grafico di una relazione

Dal momento che una relazione in un insieme determina un sottoinsieme del prodotto cartesiano , è 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 indica la cella annerita.

Matrice di una relazione
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 rappresentiamo la relazione “essere multiplo di” collegando, mediante una freccia, gli argomenti delle proposizione vere.

Grafo di una relazione
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 la proposizione “ è multiplo di ” risulta vera.

Proprietà delle relazioni

Proprietà riflessiva

Esempio:


Nell’insieme è introdotta la relazione : “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 dei numeri naturali la relazione “essere divisibile per” non è riflessiva poiché zero non è divisibile per se stesso.

Definizione: Una relazione in un insieme gode della proprietà riflessiva quando ogni elemento è in relazione con se stesso, ossia per qualunque dell’insieme si ha . In simboli: .


Proprietà antiriflessiva

Esempio:

Nell’insieme delle persone  è data la relazione : “essere più alto di”. Nessun elemento è in relazione con se stesso, infatti nessuno può essere più alto di se stesso. 

Definizione: Una relazione in un insieme gode della proprietà antiriflessiva quando nessun elemento è in relazione con se stesso, ossia per nessun elemento di si ha . In simboli: .


Proprietà simmetrica

Esempio:

Nella relazione : “essere concorde con” nell’insieme dei numeri  si può osservare che se un elemento dell’insieme è in relazione con un altro allora anche quest’ultimo è in relazione con il primo: , ma anche ; , ma anche  e così via. 

Definizione: Una relazione in un insieme gode della proprietà simmetrica quando risultano vere le due proposizioni che si ottengono scambiando soggetto e complemento; ossia per qualunque e appartenenti all’insieme se vale allora vale anche . In simboli:


Proprietà antisimmetrica