O CORPO ORDENADO COMPLETO DOS NÚMEROS REAIS
Neste trabalho são apresentados os resultados de um estudo envolvendo a formalização do conjunto dos números reais como um corpo ordenado completo, que foi motivado pela ausência dessa formalização em alguns livros clássicos de Análise Real.
O CORPO ORDENADO COMPLETO DOS NÚMEROS REAIS
-
DOI: 10.22533/at.ed.97122200610
-
Palavras-chave: números reais; Análise Real; cortes de Dedekind
-
Keywords: real numbers; real analysis; Dedekind cuts
-
Abstract:
This work presents the results of a study involving the formalization of the set of real numbers as a complete ordered field, which was motivated by the absence of this formalization in some classical textbooks
-
Número de páginas: 6
- Juliana Hazt
- Ceni Rafaele da Cruz
- Marlon Soares
