Insiemi
Un
insieme può essere inteso come una
collezione di oggetti (detti
membri o
elementi dell'insieme): il concetto di insieme e quello di elemento di un insieme sono
concetti primitivi, ossia non definibili tramite concetti più semplici.
Un insieme
[math]A[/math]
risulta definito quando esiste una "regola" specifica che permette di stabilire se un qualunque elemento x appartiene o meno all'insieme
[math]A[/math]
.
Esempi di insiemi:
- insieme delle consonanti dell'alfabeto italiano
- insieme degli stati europei
- insieme dei numeri relativi
- insieme delle frazioni
Definizioni
Due insiemi
[math]A[/math]
e
[math]B[/math]
sono
uguali quando contengono gli stessi elementi.
L'insieme vuoto è un insieme privo di elementi. Un esempio di insieme vuoto è l'insieme dei numeri naturali dispari divisibili per due: nessun numero naturale dispari può essere diviso per due.
L'insieme ambiente o universo (indicato con
[math]U[/math]
) contiene la totalità dei possibili elementi. L'insieme delle vocali dell'alfabeto italiano ha come universo
[math]U[/math]
proprio l'alfabeto italiano.
Corrispondenze tra insiemi
Dati due insiemi
[math]A[/math]
e
[math]B[/math]
, se esiste un criterio che permette di associare elementi di
[math]A[/math]
con elementi di
[math]B[/math]
, si dice che i due insieme sono legati da una corrispondenza (o relazione).
Dati gli insiemi
[math]A = \{1,2,3,4,5...\}[/math]
e
[math]B = \{0,1...\}[/math]
un esempio di corrispondenza è: associare a ogni numero dispari di
[math]A[/math]
l'elemento
[math]0[/math]
di
[math]B[/math]
e a ogni numero pari di
[math]A[/math]
l'elemento
[math]1[/math]
di
[math]B[/math]
.
Corrispondenza univoca Tra due insiemi
[math]A[/math]
e
[math]B[/math]
vi è corrispondenza univoca (da
[math]A[/math]
a
[math]B[/math]
) quando a ogni elemento
[math]a[/math]
di
[math]A[/math]
corrisponde uno e un solo elemento
[math]b \in B[/math]
.
Tra due insiemi
[math]A[/math]
e
[math]B[/math]
vi è una corrispondenza univoca quando esiste una legge che permette di decidere, preso un qualunque elemento
[math]a \in A[/math]
, qual è il corrispondente elemento
[math]b \in B[/math]
. La corrispondenza univoca fra gli elementi di A e quelli di B viene anche detta
funzione o
applicazione.
Corrispondenza biunivoca Tra due insiemi vi è una corrispondenza biunivoca quando a ogni elemento di un insieme corrisponde uno e un solo elemento dell'altro insieme e viceversa.
Per affermare che tra due insiemi
[math]A[/math]
e
[math]B[/math]
vi è una corrispondenza biunivoca, è necessario che sia definita una legge che associa a ogni elemento
[math]a \in A[/math]
, uno e un solo elemento
[math]b \in B[/math]
, e viceversa a ogni
[math]b \in B[/math]
uno e un solo elemento
[math] a \in A [/math]
.
La corrispondenza biunivoca fra gli elementi di
[math]A[/math]
e quelli di
[math]B[/math]
viene anche detta funzione invertibile da
[math]A[/math]
a
[math]B[/math]
.
Operazioni con gli insiemi
Intersezione
L'insieme intersezione di
[math]A[/math]
e
[math]B[/math]
è l'insieme degli elementi appartenenti contemporaneamente ad
[math]A[/math]
e a
[math]B[/math]
, ossia a entrambi gli insiemi.
Unione
L'insieme unione di
[math]A[/math]
e
[math]B[/math]
è l'insieme degli elementi appartenenti ad
[math]A[/math]
oppure a
[math]B[/math]
, ossia ad almeno uno dei due insiemi.
Uno dei primi obiettivi da perseguire è quello di essere in grado di classificare i numeri, ossia conoscere i differenti insiemi numerici (insieme dei naturali, insieme degli interi relativi, insieme dei razionali...). Partendo dai numeri naturali, con successivi ampliamenti delle classi numeriche, si arriva fino ai numeri reali.