La cardinalità di un insieme è una misura del numero di elementi che lo compongono. Per un insieme finito A, la cardinalità (indicata con |A| o \#A) corrisponde semplicemente al numero naturale di elementi.
Cardinalità degli Insiemi Infiniti
Per gli insiemi infiniti, la cardinalità non può essere espressa con numeri naturali, ma tramite i numeri cardinali transfiniti introdotti da Georg Cantor:
- Numerabilità (\aleph_0 - Aleph zero): È la cardinalità dell’insieme dei numeri naturali \mathbb{N}. Un insieme è numerabile se i suoi elementi possono essere messi in corrispondenza biunivoca con \mathbb{N}. Anche \mathbb{Z} (interi) e \mathbb{Q} (razionali) hanno cardinalità \aleph_0.
- Potenza del Continuo (c): È la cardinalità dell’insieme dei numeri reali \mathbb{R}. È dimostrato che c = 2^{\aleph_0}, rendendo il continuo “più grande” della numerabilità.
Teorema di Cantor
Il teorema di Cantor afferma che per ogni insieme A, la cardinalità del suo insieme delle parti è strettamente maggiore della cardinalità di A: |\mathcal{P}(A)| > |A|. Questo implica l’esistenza di un’infinità di “grandi infiniti” diversi.
Significato Ingegneristico
- Teoria della Computazione: La cardinalità è usata per dimostrare che esistono problemi non risolvibili algoritmicamente. Poiché l’insieme di tutti i possibili programmi (stringhe finite) è numerabile (\aleph_0), ma l’insieme di tutte le funzioni decisionali è incontabile (2^{\aleph_0}), devono necessariamente esistere funzioni per le quali non può essere scritto un programma.
- Telecomunicazioni e Teoria dei Canali: La capacità di un canale di comunicazione è legata alla cardinalità dello spazio dei segnali e alla cardinalità dell’alfabeto trasmesso.
- Data Science: Il concetto di cardinalità è fondamentale nell’analisi dei database per descrivere il numero di valori distinti in una colonna (es. colonne ad alta cardinalità come gli ID utente vs bassa cardinalità come il genere).
Vedi anche: Insieme delle Parti, Insiemi Numerabili.