The purpose of this paper was to prove the equivalence of the following completeness axioms. This purpose was carried out by first defining an ordered field and developing some basic theorems relative to it, then proving that lim [(u+u)*]^n = z (where u is the multiplicative identity, z is the additive identity, and * indicates the multiplicative inverse of an element), and finally proving the equivalence of the five axioms.

The purpose of this thesis is to study the concept of completeness in an ordered field. Several conditions which are necessary and sufficient for completeness in an ordered field are examined. In Chapter I the definitions of a field and an ordered field are presented and several properties of fields and ordered fields are noted. Chapter II defines an Archimedean field and presents several conditions equivalent to the Archimedean property. Definitions of a complete ordered field (in terms of a least upper bound) and the set of real numbers are also stated. Chapter III presents eight conditions which are equivalent to completeness in an ordered field. These conditions include the concepts of nested intervals, Dedekind cuts, bounded monotonic sequences, convergent subsequences, open coverings, cluster points, Cauchy sequences, and continuous functions.

CoordenaÃÃo de AperfeÃoamento de Pessoal de NÃvel Superior / Este trabalho tem como objetivo mostrar que o conjunto dos nÃmeros reais à um corpo ordenado completo e que, a menos de um isomorfismo, à Ãnico. Este trabalho à voltado para todos aqueles que tenham interesse em MatemÃtica, sobretudo, para os professores de MatemÃtica do ensino mÃdio que utilizam as propriedades do conjunto dos nÃmeros reais sem conhecer a teoria matemÃtica envolvida. Para tanto, à necessÃrio caracterizar o conjunto dos reais a fim de provar suas propriedades. Aqui, utilizamos duas construÃÃes, a saber: os reais via sequÃncias de Cauchy devido a Cantor e os reais via Cortes de Dedekind. A partir dessas caracterizaÃÃes, conseguimos construir um corpo K munido das operaÃÃes de soma e multiplicaÃÃo onde mostramos que ele cumpre as condiÃÃes da definiÃÃo de corpo. Definida uma relaÃÃo de ordem em K, mostramos que tal corpo à ordenado e, alÃm disso, conseguimos mostrar que todo subconjunto de K admite supremo, o que quer dizer que tal corpo à completo. Finalmente, mostramos que qualquer outro corpo ordenado completo que possa, por ventura, existir à uma mera caracterizaÃÃo de ℝ, o que quer dizer que ℝ à Ãnico, a menos dessas possÃveis outras caracterizaÃÃes. Tal caracterizaÃÃo serà chamada de isomorfismo que à uma funÃÃo bijetora de ℝ para K. / This work aims to show that the set of real numbers is a complete ordered field that, within an isomorphism, is unique. This work is aimed at all those who are interested in mathematics, especially for that high school math teacher who uses the real numbers of the set of properties without knowing the mathematical theory involved. Therefore, it is necessary to characterize the set of the real in order to prove their properties. Here, we use two buildings, namely: the real via Cauchy sequences due to Cantor and the real via Dedekind cuts. From these characterizations, we can build a field K equipped with the addition and multiplication operations which show that it meets the definition of field conditions. Set an order relation in K, we show that such a body is ordered and in addition, we show that every subset of K admits supreme, which means that such a field is complete. Finally, we show that any complete ordered field that can, perchance appear is a mere characterization of ℝ, which means that ℝ is unique, unless these possible other characterizations. This characterization will be called isomorphism which is a function bijetora of ℝ to K.

Submitted by Erika Demachki (erikademachki@gmail.com) on 2014-08-28T17:49:12Z No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Numeros Reais Um Corpo Ordenado Completo.pdf: 4328358 bytes, checksum: 5062827ca2822fd04229310850171740 (MD5) / Made available in DSpace on 2014-08-28T17:49:12Z (GMT). No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Numeros Reais Um Corpo Ordenado Completo.pdf: 4328358 bytes, checksum: 5062827ca2822fd04229310850171740 (MD5) Previous issue date: 2013-03-22 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / This paper aims to expand knowledge about the real numbers, providing a new perspective on their conceptual construction. Initially, covers up some historical facts that were of utmost importance in the process of conceptual evolution of the real numbers. Secondly, through the development of theories of abstract algebra, sets and mathematical analysis, is used a axiomatic method to expose the complete ordered field of real, stating and proving some of its properties. Finally, we discuss some relevant aspects of the correspondence between the real field and line, and also the correspondence between the real field and decimals. / Este trabalho tem como objetivo ampliar os conhecimentos sobre os números reais, proporcionando uma nova perspectiva sobre sua construção conceitual. Inicialmente, aborda-se alguns fatos históricos que foram de maior importância no processo da evolução conceitual dos números reais. Posteriormente, por meio do desenvolvimento das teorias de álgebra, de conjuntos e de análise matemática, utiliza-se de um método axiomático para expor uma construção do corpo ordenado e completo dos reais, enunciando e provando algumas de suas propriedades. Finalmente, abordam-se alguns aspectos relevantes da correspondência entre o corpo dos reais e a reta, e ainda da correspondência entre o corpo dos reais e os decimais.

Este trabalho tem como foco principal estabelecer condições gerais suficientes para que uma expansão do corpo ordenado dos reais por funções com domínio em Rn seja modelo completa e o-minimal. Para tanto, faremos uma abordagem sob o ponto de vista de estruturas fracas o-minimais, conforme o trabalho de Charbonnel e Wilkie. Além disso, ao analisar condições adicionais, podemos obter a seguinte generalização de um trabalho de Gabrielov: uma expansão o-minimal do corpo ordenado dos reais por funções C infinito restritas, que é polinomialmente limitada e fechada sob diferenciação parcial, é modelo completa. / The main focus of this dissertation lies in establishing some general sufficient conditions for an expansion of the real ordered field by functions with domains Rn to be model complete and o-minimal. We approach this subject from the point of view of the o-minimal weak structures, by following the work of Charbonnel and Wilkie. Furthermore, when considering additional conditions, we are able to obtain the following generalization of a Gabrielovs result: an expansion of the real ordered field by restricted smooth functions, which is polynomially bounded and closed under partial differentiation, is model complete.

Este trabalho tem como foco principal estabelecer condições gerais suficientes para que uma expansão do corpo ordenado dos reais por funções com domínio em Rn seja modelo completa e o-minimal. Para tanto, faremos uma abordagem sob o ponto de vista de estruturas fracas o-minimais, conforme o trabalho de Charbonnel e Wilkie. Além disso, ao analisar condições adicionais, podemos obter a seguinte generalização de um trabalho de Gabrielov: uma expansão o-minimal do corpo ordenado dos reais por funções C infinito restritas, que é polinomialmente limitada e fechada sob diferenciação parcial, é modelo completa. / The main focus of this dissertation lies in establishing some general sufficient conditions for an expansion of the real ordered field by functions with domains Rn to be model complete and o-minimal. We approach this subject from the point of view of the o-minimal weak structures, by following the work of Charbonnel and Wilkie. Furthermore, when considering additional conditions, we are able to obtain the following generalization of a Gabrielovs result: an expansion of the real ordered field by restricted smooth functions, which is polynomially bounded and closed under partial differentiation, is model complete.