Conjunt no numerable
conjunt infinit que no es pot dotar d'una bijecció amb el conjunt dels nombres naturals
Un conjunt no numerable[1] és un conjunt que no pot ser enumerat, és a dir, un conjunt tal que no existeix una funció exhaustiva del conjunt dels nombres naturals a eixe conjunt. És a dir, un conjunt és no numerable si no existeix cap funció f tal que:
L'argument diagonal de Cantor és una demostració senzilla que existeixen conjunts infinits que no són numerables.
Caracteritzacions alternatives
modifica- Un conjunt és no numerable si no existeix una funció injectiva:
- Un conjunt és no numerable si el seu cardinal és major que Àlef-zero:
Exemples
modifica- L'exemple més conegut d'un conjunt incomptable és el conjunt de tots els nombres reals; L'argument diagonal de Cantor mostra que aquest conjunt és incomptable. La tècnica de prova de diagonalització també es pot utilitzar per demostrar que diversos altres conjunts són innombrables, com ara el conjunt de totes les seqüències infinites de nombres naturals i el conjunt de tots els subconjunts del conjunt de nombres naturals. La cardinalitat de R se sol anomenar cardinalitat del continu i es denota amb ,[2] o , o . En general, tot interval de nombres reals no és numerable.
- El conjunt dels nombres irracionals no és numerable.
- El conjunt de Cantor és un conjunt totalment discontinu i no numerable.
- El conjunt de tots els subconjunts de nombres naturals, anomenat conjunt potència d' és un conjunt no numerable.
Referències
modifica- ↑ Weisstein, Eric W. «Uncountably Infinite» (en anglès). mathworld.wolfram.com. [Consulta: 5 setembre 2020].
- ↑ «Comprehensive List of Set Theory Symbols» (en anglès americà). Math Vault, 11-04-2020. [Consulta: 5 setembre 2020].