Uma revisao abrangente sobre a caracterizacao dos números reais
DOI:
https://doi.org/10.17268/sel.mat.2024.02.08Palavras-chave:
Axioma do supremo, sequencias de Cauchy, corpo ordenado completo, corpo ArquimedianoResumo
Os números reais sao uma ferramenta fundamental para demonstracoes rigorosas de resultados do cálculo diferencial e integral. Mesmo após um século da sua formalizacao em bases sólidas, discussoes sobre a construcao deste corpo sao muitas vezes omitidas em cursos avancados como Análise Real. No presente trabalho, apresentamos uma revisao detalhada sobre a construcao e caracterizacao do corpo dos números reais. A apresentacao tem como foco a construcao por meio de sequencias de Cauchy de números racionais. A nocao de completude é delimitada de forma diferente da completude quando a construcao por cortes de Dedekind é utilizada. Os resultados indicam que a condicao de que Q e R sejam Arquimedianos é necessária para que estas duas nocoes de completude sejam equivalentes. Para ilustrar isso, inspirados no trabalho de Leon W. Cohen e Gertrude Ehrlich, apresentamos um exemplo de um corpo ordenado nao Arquimediano do tipo Cauchy-completo no qual o axioma do supremo nao é equivalente ao princípio dos intervalos encaixantes.
Referências
References
Ferreira J. A Construcao dos Números. Textos Universitários - SBM. 4. ed., Rio de Janeiro, 2022.
Courant R, Robbins H. O que é Matemática?. Editora Ciencia Moderna Ltda, Rio de Janeiro, 2000.
Mortari CA. Introducao a Lógica. Editora UNESP, Sao Paulo, 2016.
Bishop E, Bridges D. Constructive Analysis. Springer-Verlag, Berlin Heidelberg GmbH, 1985.
Cohen LW, Ehrlich G. The Structure of the Real Number System. 1. ed. The University Series in Undergraduate Mathematics. Van Nostrand Reinhold Company, New York, 1963.
Cohen LW, Goffman C. A theory of transfinite convergence. Trans. Amer. Math. Soc. 66 (1949), no. 1, 65-74.
Lima EL. Curso de Análise. Projeto Euclides - IMPA, 12. ed., Rio de Janeiro, 2009.
Bloch ED. The Real Numbers and Real Analysis. Springer-Verlag, New York, 2011.
Graeff M. Construcao dos Conjuntos Numéricos: N, Z, Q e R. Trabalho de Conclusao de Curso (Matemática - Licenciatura) - Universidade Federal da Integracao Latino-Americana, Paraná, 2023.
Moreira CN, Cabral MAP. Curso de Análise Real. Editora Instituto de Matemática. 2. ed. Rio de Janeiro, 2021.
Oliveira AL. Equivalencias do axioma do supremo. Trabalho de Conclusao de Curso (Matematica - Licenciatura)-Universidade Federal da Integracao Latino-Americana, Paraná, 2023.
Ruggiero MAG, Lopes VLR. Cálculo Numérico: Aspectos teóricos e computacionais. PEARSON, 2. ed, Sao Paulo, 1997.
Lima EL. Análise Real volume 1. Funcoes de uma variável. Colecao Matemática Universitária - IMPA. 12. ed., Rio de Janeiro, 2014.
Figueiredo DG. Números Irracionais e Transcedentes. Colecao iniciacao científica - SBM. 4. ed., Rio de Janeiro, 2011.
Calder A. O infinito: teste decisivo para o construtivismo. Scientific American Brasil, edicao especial, DUETTO (2006), no. 15, 48-55.
Downloads
Publicado
Como Citar
Edição
Seção
Licença
Este trabalho está licenciado sob uma licença Creative Commons Attribution 4.0 International License.
Os autores que publicam nesta revista aceitam as seguintes condições:
Os autores mantêm os direitos autorais e atribuem à revista o direito da primeira publicação, com o trabalho registrado com a licença de atribuição Creative Commons Atribución 4.0 Internacional (CC BY 4.0), que permite que terceiros usem o material publicado sempre que mencionarem a autoria do trabalho e os direitos autorais. Primeira publicação nesta revista.
Os autores podem fazer outros acordos contratuais independentes e adicionais para a distribuição não exclusiva da versão do artigo publicada nesta revista (por exemplo, incluí-la em um repositório institucional ou publicá-la em um livro), desde que afirme claramente que o trabalho Foi publicado nesta revista.
É permitido e recomendado aos autores que publiquem seus trabalhos na Internet (por exemplo, em páginas institucionais ou pessoais) antes e durante o processo de revisão e publicação, pois isso pode levar a trocas produtivas e a uma disseminação maior e mais rápida do trabalho. publicado (Consultar: efeito do acesso aberto).
