Infinito contável

Infinito contável refere-se a teoria dos conjuntos. Um conjunto é dito infinito se contém um subconjunto próprio que possa ser posto em correspondência biunívoca consigo mesmo. Um conjunto é dito infinito contável se pode ser posto em correspondência biunívoca com os naturais, ou seja, ser numerado.

Por exemplo, os números pares são um subconjunto próprio dos naturais mas cada número par pode ser posto em correspondência com um número natural.

Alguns conjuntos não podem ser postos nesta correspondência, um exemplo é o conjunto dos reais (conforme o argumento de diagonalização de Cantor).

Quando existe uma função bijectiva entre os naturais e um conjunto, esta função se chama uma enumeração do conjunto, e representa-se por sendo i o índice. Normalmente não é importante se o índice começa no zero ou no um.

ExemplosEditar

f(n) = n/2 se n é par
f(n) = -(n+1)/2 se n é ímpar
  • O produto cartesiano de dois conjuntos contáveis é um conjunto contável. Para isto, basta mostrar uma função bijectiva de  , por exemplo:
 
  • O conjunto dos números racionais é infinito contável. Temos que existe uma função injectiva de   no conjunto infinito contável  , definida por  . Temos também que existe uma função injectiva de   em  , que é a função inclusão. Portanto, pelo teorema de Cantor-Bernstein-Schroeder, existe uma enumeração de  


  Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.