Cardinal inacessível – Wikipédia, a enciclopédia livre

Em matemática, especialmente em teoria dos conjuntos, um número cardinal é denominado inacessível se é um cardinal regular, não enumerável e limite forte. Essa propriedade é chamada as vezes de fortemente inacessível e é considerada uma propriedade de grande cardinal.

Definição formal

[editar | editar código-fonte]

Um cardinal é inacessível se satisfaz as seguintes três propriedades[1]:

1) não é enumerável:

onde é o cardinal do conjunto dos números naturais .

2) é regular:

onde é a cofinalidade de .[2]

3) é limite forte:

Um cardinal é fracamente inacessível ou inacessível no sentido fraco se satisfaz "1)" e "2)" acima, mas "3)" é substituída por:

3*) é cardinal limite:[3]

Na literatura mais antiga, o termo "inacessível" já foi usado para se referir aos cardinais fracamente inacessíveis, criando uma certa ambiguidade.[4]

Em ZF mais a Hipótese Generalizada do Contínuum as propriedades "inacessível" e "fracamente inacessível" são equivalentes.[5]

Cardinais inacessíveis e modelos de ZF

[editar | editar código-fonte]

Em ZFC, se é a hierarquia cumulativa de von Neumann, então, se é inacessível, então é um modelo de ZFC.[6] Em particular, se é o primeiro inacessível, então é um modelo de ZFC + "não existem cardinais inacessíveis", demonstrando a consistência relativa enunciado "não existem cardinais inacessíveis",ou seja, a existência de cardinais inacessíveis não pode ser demonstrada em ZFC, se ZFC é consistente.[7] Mas isso também implica que a consistência de ZFC + "existem cardinais inacessíveis" não pode ser demonstrada em ZFC, ao menos que ZFC seja inconsistente.[8]

Com relação à cardinalidade do contínuo, se supormos a consistência de ZFC mais "existe um cardinal fracamente inacessível", então ZFC mais " é fracamente inacessível" também é consistente.[9]

Cardinais inacessíveis e teoria de números

[editar | editar código-fonte]

Se denominarmos ZFCI à ZFC mais o enunciado "existe um cardinal inacessível", devido a que a consistência de ZFC pode ser demonstrada em ZFCI, essa última teoria demonstra mais enunciados de teoria de números, se ZFC é consistente:

a afirmação (mas não a negação) do axioma [sobre a existência de cardinais inacessíveis] implica novos teoremas sobre inteiros[10]

A demonstração do Teorema de Fermat efetuada por Wiles usa como pressuposto a existência de Universos de Grothendieck:

Grothendieck dá uma prova do que os pesquisadores de teoria dos conjuntos já sabiam: a definição de um universo em ZFC é o mesmo que dizer U é o conjunto de todos os conjuntos tomando valores menores que para algum cardinal não enumerável fortemente inacessível .[11]

Em outras palavras, a demonstração de Wiles é realizada numa teoria mais forte que ZFC, como quando acrescentamos a existência de um cardinal inacessível. Entretanto, Mc Larty expressa a esperança de que essas hipóteses possam ser eliminadas e que o Teorema de Fermat possa ser demonstrado num fragmento da Aritmética de Peano, mas não propõe nenhuma linha demonstrativa de fazer isso, só possíveis caminhos.[12]

Referências

  1. KUNEN (1980), p. 34.
  2. JECH (2006), p. 31.
  3. DRAKE(1974), p. 67.
  4. Por exemplo, ERDÖS TARSKI (1943), p. 316.
  5. HRBACEK JECH (2006), p. 168.
  6. DRAKE (1974), p. 109.
  7. KUNEN (1980), p. 133.
  8. KUNEN (1980), p. 145.
  9. KUNEN (1980), p. 281.
  10. GÖDEL (1990), p. 267.
  11. MAC LARTY (2010), p. 360.
  12. MAC LARTY (2010), p. 374.