Teoria degli insiemi

La teoria degli insiemi è una teoria matematica posta ai fondamenti della matematica stessa, collocandosi nell'ambito della logica matematica.

Prima della prima metà del XIX secolo la nozione di insieme veniva considerata solo come qualcosa di intuitivo e generico. La nozione è stata sviluppata nella seconda metà del XIX secolo dal matematico tedesco Georg Cantor, è stata al centro dei dibattiti sui fondamenti dal 1890 al 1930 ed ha ricevuto le prime sistemazioni assiomatiche per merito di Ernst Zermelo, Adolf Fraenkel, Paul Bernays, Kurt Gödel, John von Neumann e Thoralf Skolem, Gottlob Frege (le convenzioni linguistico-formali, come il quantificatore universale ed esistenziale) e Giuseppe Peano (notazione e sintassi). In questo periodo si sono assestati due sistemi di assiomi chiamati sistema assiomatico di Zermelo-Fraenkel e sistema assiomatico di Von Neumann-Bernays-Gödel.

Successivamente si sono affrontate le tematiche riguardanti il problema della completezza dei sistemi di assiomi (v. teorema di incompletezza di Gödel), i rapporti con la teoria della calcolabilità (vedasi anche macchina di Turing) e la compatibilità dei sistemi di assiomi con l'assioma della scelta e con assiomi equivalenti o simili. Accanto a differenti consolidate teorie formali degli insiemi (vedi anche teoria assiomatica degli insiemi) esistono esposizioni più intuitive che costituiscono la cosiddetta teoria ingenua degli insiemi.

Nozioni di base

Un insieme è definito ingenuamente come una collezione di elementi. Gli elementi possono essere qualsiasi cosa tra cui numeri, persone, o altri insiemi. Il numero di elementi in un insieme può essere finito (l'insieme dei residenti in una città) o infinito (l'insieme dei numeri pari). L' insieme vuoto ($\emptyset$) è quello che non contiene alcun elemento. Un elemento può o non può appartenere ad un insieme: Se l'elemento $a$ appartiene all'insieme $A$, allora si indica che $a\in A$ ( $a$ appartiene ad $A$), altrimenti $a\notin A$. Se tutti gli elementi di un insieme $A$ appartengono ad un insieme più grande $B$, si afferma che $A\subseteq B$ ($A$ è un sottoinsieme di $B$), in caso contrario $A\nsubseteq B$. Se due insiemi $A$ e $B$ contengono esattamente gli stessi elementi, $A=B$.

La cardinalità ($|A|$) di un insieme è la misura del numero di elementi contenuti in quell'insieme.

Come con le operazioni aritmetiche, sono definite alcune operazioni binarie fra insiemi, che prendono in considerazione due insiemi e restituiscono un terzo insieme basato sull'operazione insiemistica:

• L'unione $\cup$ (o disgiunzione logica $\lor$) fra due insiemi $A$ e $B$ è l'insieme che contiene tutti gli elementi di entrambi gli insiemi, presi una sola volta. Ad esempio, se $A=\{1,2,3\}$ e $B=\{3,4,5\}$, $A\cup B=\{1,2,3,4,5\}$.
• L'intersezione $\cap$ (o congiunzione logica $\land$) fra due insiemi $A$ e $B$ è l'insieme che contiene tutti gli elementi in comune tra i due insiemi. Ad esempio, se $A=\{2,3,4\}$ e $B=\{3,4,5\}$, $A\cup B=\{3,4\}$.
• La differenza $\setminus$ fra due insiemi $A$ e $B$ è l'insieme che contiene tutti gli elementi di $A$ che non appartengono a $B$.
• La differenza simmetrica $\Delta$ (o disgiunzione inclusiva ${\dot {\lor }}$) fra due insiemi $A$ e $B$ è l'insieme che contiene gli elementi di $A$ e $B$, ma non quelli in comune, può anche essere definito come $(A\setminus B)\cup (B\setminus A)$.
• Il prodotto cartesiano $\times$.
• La somma disgiunta $+$.

Esistono inoltre altre operazioni che agiscono su un solo insieme:

• Il complemento $^{C}A$ (o negazione logica $\neg$), anche indicato con $A'$, è l'insieme che contiene tutti gli elementi che non appartengono in $A$.
• L' insieme delle parti (o insieme potenza) ${\mathcal {P}}(A)$ è l'insieme di tutti i possibili sottoinsiemi di $A$. Quindi, se $A=\{2,3,4\}$, ${\mathcal {P}}(A)=\{\emptyset ,\{2\},\{3\},\{4\},\{2,3\},\{3,4\},\{2,4\},A\}$.

Insiemi delle diverse cardinalità e controllabilità

• Insieme numerabile

• Insieme ricorsivo

• Insieme ricorsivamente enumerabile

• Insieme con la potenza del continuo

• Numero transfinito

Insiemi numerici

• numeri naturali
• numeri interi o numeri relativi
• numeri razionali
• numeri reali
• numeri irrazionali
• numeri algebrici
• numeri complessi
• numeri costruibili
• numeri trascendenti
• numero transifiniti

Bibliografia

• Alexander Abian, La teoria degli insiemi e l'aritmetica transfinita, Feltrinelli, 1972
• (EN) Paul Bernays, Axiomatic Set Theory, Dover, 1991
• (FR) Nicolas Bourbaki, Théorie des ensembles, Hermann, 1970
• Paul J. Cohen, La teoria degli insiemi e l'ipotesi del continuo, Feltrinelli, 1973
• Frank R. Drake e Dasharath Singh, Intermediate set theory, Wiley, 1996, ISBN 978-0-471-96494-0.
• (EN) Robert E. Edwards, A formal Background to Mathematics Ia Ib. Logic, sets and Numbers, Springer, 1979, ISBN 3-540-90431-X
• (EN) Abraham H. Fraenkel, Abstract set theory, North-Holland, 1961
• Paul Halmos, Teoria elementare degli insiemi, Feltrinelli, 1976
• Gabriele Lolli, Teoria assiomatica degli insiemi, Boringhieri, 1974
• J. Donald Monk, Introduzione alla teoria degli insiemi, Boringhieri, 1972
• Patrick Suppes, Axiomatic set theory, collana Dover books on advanced mathematics, 1. Dover ed, Dover Publ, 1972, ISBN 978-0-486-61630-8.

Voci correlate

• Teoria ingenua degli insiemi
• Teoria assiomatica degli insiemi
• Insieme sfocato o fuzzy set
• Luogo geometrico
• Teoria delle categorie
• Teoria dei tipi
• Analisi non standard

Altri progetti

Altri progetti

• Wikiversità
• Wikimedia Commons

• Wikiversità contiene risorse sulla teoria degli insiemi
• Wikimedia Commons contiene immagini o altri file sulla teoria degli insiemi

Collegamenti esterni

• Gabriele Lolli, La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi, su Treccani.it – Enciclopedie on line, Istituto dell'Enciclopedia Italiana, 2004.
• insiemi, teoria degli, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
• (EN) Robert R. Stoll e Herbert Enderton, set theory, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
• (EN) Daniel Cunningham, Set Theory, su Internet Encyclopedia of Philosophy.
• (EN) Bagaria, Joan, Set Theory, su Stanford Encyclopedia of Philosophy, 8 ottobre 2014.
• (EN) Ferreirós, José, The Early Development of Set Theory, su Stanford Encyclopedia of Philosophy, 10 aprile 2007.
• (EN) Eric W. Weisstein, Set Theory, su MathWorld, Wolfram Research.
• (EN) Set theory, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.
• (EN) Denis Howe, set theory, in Free On-line Dictionary of Computing. Disponibile con licenza GFDL