Conjunto infinito
Origem: Wikipédia, a enciclopédia livre.
Na teoria dos conjuntos, um conjunto infinito é todo conjunto em que se pode estabelecer uma função bijetora entre um dos seus subconjuntos e ele. Um conjunto infinito pode ser enumerável ou não.
[editar] Exemplos
- O conjunto de todos os números inteiros é um conjunto infinito enumerável.
- O conjunto de todos os números reais é um conjunto infinito não-enumerável.
[editar] Teoria dos Conjuntos
Dentre os Axiomas de Zermelo-Fraenkel, o axioma do infinito garante a existência de (pelo menos) um conjunto infinito. É possível conceber sistemas de axiomas onde a sua negação é explícita, ou seja, em que todos os conjuntos são finitos.
