No mundo da matemática, o infinito é frequentemente retratado como um assunto fascinante. Entretanto, quando se trata de "números transfinitos", a profundidade e a amplitude desse conceito muitas vezes confundem muitas pessoas. Números transfinitos são aqueles números "infinitos" que são maiores do que todos os números finitos. Eles incluem cardinais transfinitos (números usados para quantificar o tamanho de conjuntos infinitos) e ordinais transfinitos (números usados para representar conjuntos infinitos). números ordenados). Este artigo explorará esses conceitos em profundidade e lhe dará uma ideia do charme dos números transfinitos.
O termo "transfinito" foi cunhado pela primeira vez em 1895 pelo matemático Georg Cantor, que queria evitar as conotações ambíguas da palavra "infinito", embora esses números não sejam inerentemente finitos.
Por definição matemática, qualquer número natural finito pode ser usado de pelo menos duas maneiras: como um número ordinal e como uma cardinalidade. A cardinalidade é usada para especificar o tamanho de um conjunto, por exemplo, "cinco bolinhas de gude", enquanto os números ordinais são usados para especificar a posição de um membro de um conjunto ordenado, como "terceiro da esquerda" ou "o primeiro membro de Janeiro". Vigésimo sétimo dia". Quando esses conceitos são estendidos aos números transfinitos, não há mais uma correspondência um-para-um entre os dois. Uma cardinalidade transfinita descreve o tamanho de um conjunto infinito, enquanto um ordinal transfinito descreve a posição de um número em um conjunto grande ordenado.
Os ordinais e cardinais mais famosos entre os inteiros transfinitos são ω (Ômega) e ℵ₀ (Aleph-nulo), que representam o ponto de partida do infinito.
Primeiro, ω é o ordinal transfinito mais baixo, que geralmente é usado para representar o tipo ordinal de números naturais. ℵ₀ é a primeira cardinalidade transfinita e também é a cardinalidade dos números naturais. Se o Axioma da Escolha for válido, então a próxima cardinalidade mais alta é ℵ₁. Se isso não for verdade, então pode haver cardinalidades maiores que ℵ₁, mas não iguais a ℵ₀. Vale ressaltar que a hipótese do contínuo propõe que não há cardinalidade intermediária entre ℵ₀ e a cardinalidade do conjunto dos números reais. Esta suposição não pode ser provada na teoria dos conjuntos de Zermelo-Frankel, nem por si só nem por sua negação.
Vejamos alguns exemplos concretos. Na teoria dos números ordinais de Cantor, todo número inteiro tem seu sucessor. O primeiro inteiro infinito depois de todos os inteiros regulares é chamado ω. Mais especificamente, ω+1 é maior que ω, e ω·2, ω² e ω^ω também são números maiores. Nesses contextos, expressões aritméticas envolvendo ω especificam um número ordinal que pode ser visto como o conjunto de todos os inteiros até esse número.
Para a representação de inteiros infinitos, o formato padrão de Cantor fornece uma sequência de dados finita para representá-lo, mas nem todos os inteiros infinitos podem ser representados usando este formato padrão.
Para complicar ainda mais as coisas, alguns inteiros infinitos não podem ser representados na forma de Cantor, e o primeiro desses inteiros é ω^(ω^(ω...)), chamado ε₀. Este é um número auto-recursivo, onde cada solução ε₁, ..., εₖ, etc. torna o número ordinal maior. Este processo pode ser continuado até que um limite seja atingido, ou seja, ε_(ε_(ε...)), que é a primeira solução de ε_α=α, o que significa que ao especificar todos os inteiros transfinitos, um nome infinito deve ser imaginado. sequência.
Em resumo, o conceito de números transfinitos desafia nossa compreensão dos números e nos faz pensar sobre a natureza do infinito. Não se trata apenas do uso de ferramentas matemáticas, mas também envolve um profundo pensamento filosófico. Não podemos deixar de perguntar, quando nos deparamos com o infinito, até que ponto os limites do nosso pensamento podem alcançar?