Un insieme è un concetto fondamentale della matematica. Un insieme è determinato unicamente dai suoi membri (detti anche elementi): se l'insieme X e l'insieme Y hanno gli stessi membri, allora X = Y (questa proprietà è chiamata assioma di estensionalità). L'appartenenza di un elemento a un insieme si indica con il simbolo (ad esempio a ∈ A), mentre la non appartenenza con . Un insieme non può contenere lo stesso elemento più di una volta: la nozione di molteplicità non ha senso per gli insiemi ordinari (per insiemi con ripetizioni si parla di multinsiemi).

Notazione e modi di definire un insieme

  • Forma per elencazione (o "roster"): {1, 2, 3} indica l'insieme che contiene 1, 2 e 3.
  • Forma descrittiva (o "set-builder"): {x ∈ ℕ | x è pari} indica l'insieme di tutti i numeri naturali pari.
  • Simboli speciali: l'insieme vuoto è il simbolo e non contiene membri.
  • Un singleton è un insieme con un solo elemento, ad esempio {a}.

Operazioni tra insiemi

  • Unione (A ∪ B): elementi che appartengono ad A o a B (o a entrambi).
  • Intersezione (A ∩ B): elementi comuni a A e B.
  • Differenza (A \ B): elementi di A che non sono in B.
  • Complementare (rispetto a un universo U): U \ A o Ac.
  • Prodotto cartesiano (A × B): insieme degli ordered pair (a, b) con a ∈ A e b ∈ B.
  • Insieme delle parti o power set (ℙ(A)): insieme di tutti i sottinsiemi di A. Se A ha n elementi finiti, allora |ℙ(A)| = 2n.

Sottinsiemi e relazioni tra insiemi

  • B ⊆ A significa che B è un sottinsieme di A (ogni elemento di B è in A). Se inoltre B ≠ A si scrive B ⊂ A (sottinsieme proprio).
  • La distinzione tra appartenenza () e sottinsieme () è importante: ad esempio, 1 ∈ {1,2} ma 1 ⊆ {1,2} è falso; invece {1} ⊆ {1,2} è vero.

Cardinalità e tipi di insiemi

  • La cardinalità |A| indica il numero di elementi di A (se finito). Esempio: |{a,b,c}| = 3.
  • Un insieme può essere finito o infinito. Tra gli infiniti si distinguono insiemi numerabili (ad esempio ℕ, ℤ) e non numerabili (ad esempio ℝ).
  • Tipici insiemi numerici: ℕ (naturali), ℤ (interi), ℚ (razionali), ℝ (reali), ℂ (complessi).

Esempi pratici

  • {x ∈ ℕ | x ≤ 5} = {0,1,2,3,4,5} (a seconda della convenzione sull'inclusione dello zero).
  • ℙ({1,2}) = {∅, {1}, {2}, {1,2}}.
  • Il prodotto cartesiano {1,2} × {a,b} = {(1,a),(1,b),(2,a),(2,b)}.
  • Un insieme può contenere altri insiemi come elementi: ad esempio {1,{2,3}} contiene l'elemento 1 e l'insieme {2,3}.

Rappresentazione e visualizzazione

Diagrammi di Venn sono uno strumento grafico comune per rappresentare relazioni tra insiemi (unione, intersezione, differenza). In molte dimostrazioni si fanno ragionamenti simbolici basati su proprietà formali degli insiemi.

Paradossi e teoria assiomatica

La trattazione ingenua degli insiemi può condurre a contraddizioni famose: ad esempio, se si concede che qualsiasi collezione definibile sia un insieme, si arriva al paradosso di Russell. Per evitare questi problemi la teoria degli insiemi moderna si basa su sistemi assiomatici (come la teoria degli insiemi di Zermelo–Fraenkel con l'assioma della scelta, ZFC) che delimitano quali collezioni si considerano insiemi e impongono regole per l'esistenza degli stessi.

Osservazioni finali

Gli insiemi sono la base di gran parte della matematica: concetti come funzioni, relazioni, strutture algebriche e spazi topologici si definiscono in termini di insiemi. La chiarezza su notazione, proprietà e distinzione tra concetti (appartenenza vs sottinsieme, ordine vs insieme, insieme vs multinsieme) è fondamentale per evitare ambiguità.