Formalizando a existência dos números reais. -

The aim of this work is to formalize the real numbers set existence as a complete ordered field. We will construct R using the Dedekind cuts and show the main properties of this set. Besides, we will point out the basic ideas of the Cantor's construction by Cauchy Sequences and another equivalent ways. The last part, consists of an example of how teachers can apply this concept in middle education classes

Resumo (português)

Este trabalho busca formalizar a existência do conjunto dos números reais como um corpo ordenado completo. Mostraremos a construção de R a partir dos cortes de Dedekind e apresentaremos as principais propriedades deste conjunto. Apontaremos também as ideias básicas da construção de R através das Sequências de Cauchy, proposta por Cantor, e outras formas equivalentes. E, por fim, exemplificaremos como este conceito poderá ser aplicado em sala de aula pelos professores da Educação Básica

Palavras-chave

Dedekind, Richard 1831-1916 , Mathematics , Matemática , Numeros reais , Conjuntos num

Idioma

Português

Citação

PEREIRA, Rafael Falco. Formalizando a existência dos números reais. -. 2014. 45 f. Dissertação - (mestrado) - Universidade Estadual Paulista, Instituto de Geociências e Ciências Exatas, 2014.