Conjunto não-enumerável
Origem: Wikipédia, a enciclopédia livre.
Um conjunto é não enumerável quando ele tem mais elementos que o conjuntos dos números naturais. A noção de mais elementos para conjuntos infinitos é definida precisamente no contexto da cardinalidade dos conjuntos.
[editar] Exemplos
- Como o conjunto das partes de qualquer conjunto X tem mais elementos que X, se X for um conjunto infinito, então P(X) será um conjunto não-enumerável.
- O argumento de diagonalização de Cantor prova que
, o conjunto dos números reais, é não-enumerável.
