I fondamenti dell'insiemistica: gli insiemi e le operazioni con questi
Poco conosciuta è la teoria degli insiemi, ovvero quella teoria alla base della matematica stessa, come abbiamo visto nel post sui numeri naturali, che si occupa degli insiemi. La teoria è relativamente recente: prima del XIX secolo il concetto di insieme era considerato primitivo e intuitivo. Soltanto nella seconda metà del XIX secolo la nozione di insieme ha ricevuto la sua prima formalizzazione dal matematico Georg Cantor, mentre la teoria degli insiemi ha ricevuto i suoi fondamenti assiomatici nella prima metà del XX secolo grazie a matematici tra cui Ernst Zermelo e Adolf Fraenkel (a cui si deve il sistema assiomatico di Zermelo-Fraenkel) e Paul Bernays, Kurt Gödel e John von Neumann (a cui si deve il sistema assiomatico di Von Neumann-Bernays-Gödel) [1]. A Giuseppe Peano si deve, invece, la notazione e la sintassi.
In questo post vedremo gli argomenti essenziali della teoria degli insiemi, quali le nozioni fondamentali, le operazioni tra insiemi e le relazioni tra questi.
Sommario
- Le nozioni base
- Operazioni con gli insiemi
- Unione
- Intersezione
- Differenza o complemento
- Differenza simmetrica
- Prodotto cartesiano
- Riferimenti
- Immagini
Le nozioni base
Le nozioni alla base della teoria degli insiemi sono l'elemento e l'insieme. L'insieme è un concetto primitivo, poiché non derivabile da concetti più elementari, e intuitivo, perché derivante dall'esperienza quotidiana della mente umana. Intuitivamente, un insieme viene definito come una scatola. Gli oggetti che possono essere contenuti nella scatola si chiamano, invece, elementi. Formalmente, un insieme è un raggruppamento di oggetti legati tra loro da un criterio univoco di appartenenza a quell'insieme.
Esistono sostanzialmente due modi per definire un insieme:
- Definizione per elencazione o in estensione: consiste nello scrivere uno ad uno gli elementi dell'insieme, separati da virgole, all'interno di parentesi graffe. Ad esempio, l'insieme dei primi tre numeri naturali è
. - Definizione per proprietà caratteristica o in comprensione: consiste nello scrivere la proprietà che caratterizza l'appartenenza al determinato insieme all'interno di parentesi graffe. Ad esempio, l'insieme dei primi tre numeri naturali è
. Il simbolo " " si legge "tale che" e a volte viene indicato con la notazione .
Ciò che caratterizza l'insieme da altre strutture matematiche sono le seguenti proprietà:
- Un elemento
o appartiene, o non appartiene all'insieme . Nel primo caso si scrive (secondo la notazione di Peano) , mentre nel secondo caso . Ad esempio, il gatto appartiene all'insieme dei felini, quindi scriveremo . - Un elemento compaiono una sola volta in un insieme. Ad esempio, gli insiemi
e sono uguali. Ciò significa che un insieme è caratterizzato dai suoi elementi: due insiemi sono uguali se e solo se i loro elementi sono uguali. - Gli elementi di un insieme non sono ordinati. Ad esempio, gli insiemi
e sono uguali. Tuttavia, a volte si scrive per indicare l'insieme dei numeri naturali dal -esimo all' -esimo. Ad esempio, l'insieme contiene i numeri .
Attenzione! Come hai notato, un elemento non dev'essere per forza un numero. Informalmente, qualsiasi concetto può essere l'elemento di un insieme.
Si chiama cardinalità di un insieme il numero di elementi contenuti nell'insieme.
Il diagramma di Eulero-Venn è un metodo grafico per la rappresentazione degli insiemi. Un insieme è rappresentato da una linea chiusa che non s'intreccia e gli elementi dell'insieme sono rappresentati come punti. Ad esempio, se vogliamo rappresentare l'insieme delle vocali
Figura 1: diagramma di Eulero-Venn dell'insieme |
Due particolari insiemi sono l'insieme vuoto
Operazioni con gli insiemi
Con gli insiemi si possono definire operazioni, di cui elencheremo in questo post le più importanti.
Unione
Dati due insiemi
(ricordo che "
Vediamo un esempio: se
Figura 2: unione di insiemi con i diagrammi di Eulero-Venn. |
In generale, data un insieme di
L'unione gode delle seguenti proprietà:
- Commutatività:
. - Associatività:
Esercizio 1: Le dimostrazioni sono banali e ti invito a provare a scriverle nei commenti ;)
Intersezione
Dati due insiemi
(ricordo che "
Vediamo un esempio: se
Figura 3: intersezione di insiemi con i diagrammi di Eulero-Venn. |
In generale, data un insieme di
L'unione gode delle seguenti proprietà:
- Commutatività:
. - Associatività:
Esercizio 2: Anche queste dimostrazioni sono banali. Prova a scriverle nei commenti ;)
Differenza o complemento
Dati due insiemi
Vediamo un esempio: se
Figura 4: differenza di insiemi con i diagrammi di Eulero-Venn. |
Siano
. In particolare,
Attenzione! Per la differenza non valgono le proprietà commutativa e associativa, quindi devi far attenzione all'ordine delle operazioni.
Esercizio 3: Sapresti dire perché? Scrivilo nei commenti!
Diverso ancora è il complemento assoluto
dove
Siano
- Teoremi (o leggi) di De Morgan:
- Leggi di complementarità:
, da cui segue che , da cui segue che- Legge del doppio complemento:
Ed ecco, infine, quali sono le due relazioni che sussistono tra il complemento relativo e il complemento assoluto:
Esercizio 4: Prova a dimostrare nei commenti perché
Differenza simmetrica
Dati due insiemi
Sono due definizioni equivalenti di
Vediamo un esempio: se
Figura 5: differenza di insiemi con i diagrammi di Eulero-Venn. |
La differenza simmetrica gode delle proprietà
- commutativa:
- associativa:
Esercizio 5: Prova a dimostrare queste due proprietà per la differenza simmetrica nei commenti ;)
Vediamo, invece, la dimostrazione di una proprietà meno banale della differenza simmetrica: la differenza simmetrica di differenze simmetriche. Si ha
Quindi:
Quest'ultima costituisce una proprietà transitiva per la differenza simmetrica.
Prodotto cartesiano
Dati due insiemi
La definizione potrebbe sembrare ermetica e forse un po' strana, ma vediamone un esempio per chiarire il concetto. Se
Un altro esempio è il piano cartesiano
Il prodotto cartesiano di
In particolare, il prodotto cartesiano di un insieme
Vediamo le proprietà del prodotto cartesiano
- Se e solo se
e sono distinti, allora e sono distinti e in corrispondenza biunivoca. - La cardinalità di
è il prodotto delle cardinalità di e di .
Esercizio 6: Prova a dimostrare queste proprietà per il prodotto cartesiano nei commenti.
Riferimenti
[1] Teoria degli insiemi - Wikipedia
Immagini
Figure 1, 2, 3, 4, 5 e 6: generate con Microsoft Paint.
Commenti
Posta un commento