UNIVERSIDAD DE PLAYA ANCHA DE LAS CIENCIAS DE LA EDUCACIN FACULTAD DE CIENCIAS NATURALES Y EXACTAS DEPARTAMENTO DE MATEMTICA Y FSICA CARRERA DE PEDAGOGA

EN MATEMTICA Y COMPUTACIN

DE LOS NATURALES A LOS ENTEROS: UNA MIRADA AXIOMTICA

Tesis para optar al Ttulo de Profesor de Matemtica y Computacin Y al Grado Acadmico de Licenciado en Educacin

HCTOR RODRIGO LORCA SOTO

Profesor gua: Eduardo Cabrera de Arrizabalaga

Valparaso, Chile 2008

ii

iii

iv

TABLA DE CONTENIDOS

Resumenpg viii Abstract...pg ix Introduccinpg x

Captulo 1: Construccin de los Nmeros Naturales.....................pg 12 1.1.- Introduccin.pg 12 1.2.- Construccin Segn Charles S. Peirce...pg 15 1.3.- Construccin Segn Gottlob Frege.pg 19 1.4.- Construccin Segn Richard Dedekind..pg 26 1.5.- Construccin Segn Giuseppe Peano (Inserto: Hctor Merklen)...pg 38 1.6.- Construccin Segn William Lawvere.pg 43 1.7.- Construccin Segn Hermann Weyl...pg 48 1.8.- Construccin Segn Paul Lorenzen...........pg 55

Captulo 2: Comparacin Entre Axiomatizaciones...pg 63 2.1.- Introduccin.pg 63 2.2.- Comparacin con la teora de Peano..pg 64 2.2.1.- Charles Peirce....pg 64 2.2.2.- Gottlob Frege ....pg 67 2.2.3.- Richard Dedekind .pg 68 2.2.4.- William Lawvere.pg 75

Captulo 3: Operaciones Y Propiedades De Los Nmeros Naturales..pg 81 3.1.- Introduccin.pg 81 3.2.- Suma en ..pg 81 pg 81

3.3.- Producto en

3.4.- Principio De Induccin Parcial..pg 82 3.5.- Teorema: 3.6.- Teorema:

,

Es Monoide Abeliano...pg 85 Es Monoide Abelianopg 89

3.7.- Distributividad Del Producto Respecto De La Sumapg 92 3.8.- Orden En ..pg 94

Captulo 4: Construccin de los Nmeros Enteros......pg 97 4.1.- Introduccin.....pg 97 4.2.- Qu Es Un Nmero Entero...pg 97 4.3.- Construccin De Los Nmeros Enterospg 100 4.3.1.- Relacin De Equivalencia..pg 100 4.3.2.- Definicin de Nmeros Enteros.pg 101 4.3.3.- Suma De Nmeros Enteros...pg 102 4.3.4.- Producto De Nmeros Enteros.pg 103

Captulo 5: Propiedades Y Teoremas De Los Nmeros Enterospg 106 5.1., , ,

Es Un Dominio De Integridad..pg 106 es un Grupo Abeliano.pg 106 es un Monoide Abeliano..pg 108

5.1.1.5.1.2.-

5.1.3.- Distributividad Producto respecto de la Sumapg 110

vi

5.1.4.- Es una Estructura Sin Divisores de Ceropg 110 5.2.- Inmersin De 5.3.- Orden En En .pg 112

..pg 115

5.4.- Cancelatividad de Suma y producto.pg 122 5.5.- Propiedades De Los Nmeros Enterospg 123 5.6.- Valor Absoluto En pg 126

Captulo 6 Conclusionespg 133

Captulo 7 Bibliografapg 136 Lincografapg 138 ndice Alfabtico de Tpicos.pg 139

vii

RESUMEN

El presente trabajo fue creado con el propsito de dar a los alumnos de pedagoga en matemtica y especialmente a aquellos futuros profesores de matemtica y computacin de nuestra universidad, un texto en donde encontrar los principales fundamentos y axiomtica de los nmeros naturales y enteros, y sus propiedades y teoremas. El texto expone siete construcciones para los nmeros naturales, tomando como eje central la solucin entregada por Giuseppe Peano, debido a su gran importancia dentro de la tarea de axiomatizar la aritmtica. Seguidamente se construyen los nmeros enteros basados en los nmeros naturales y la teora de conjuntos, sin dejar de lado la demostracin de los teoremas y propiedades de ambos conjuntos de nmeros. Del escrito, se puede volver a reafirma que Peano con su trabajo, es la ms importante solucin para la axiomatizacin de la aritmtica, debida a su simpleza y elegancia. Como conclusin final, aunque cada construccin de los nmeros naturales entregada por cada autor tiene sus propias ventajas y desventajas, Peano sigue siendo considerado el padre de la aritmtica, puesto que hasta ahora nadie ha superado la funcionalidad de su concisa teora.

viii

ABSTRACT

The present work was created with the purpose of giving to the young pedagogy students in mathematical and especially to those future mathematics professors and computation of our university, a text where to find the main basicses and axiomatic of the natural and whole numbers, and its properties and theorems. The text exposes seven constructions for the natural numbers, taking as central axis the solution surrendered by Giuseppe Peano, due to its great importance inside the axiomatic task the arithmetic. Subsequently the whole numbers are built based on the natural numbers and the theory of groups, without leaving aside the demonstration of the theorems and properties of both groups of numbers. Of the writing, it can become to it reaffirms that Peano with its work, is the most important solution for the axiomatictation of the arithmetic, due to its simplicity and elegance. As final conclusion, although each construction of the natural numbers surrendered by each author has its own advantages and disadvantages, Peano continues being considered the father of the arithmetic, since up to now nobody has overcome the functionality of its concise theory.

ix

INTRODUCCIN

El objetivo de este trabajo es dar una herramienta de estudio a los futuros profesores de nuestra universidad para la asignatura de Sistemas Numricos, parte de la malla curricular de nuestra carrera. Aqu se pueden encontrar las axiomatizaciones de los nmeros enteros y una variedad de autores que trabajaron en la axiomatizacin de los nmeros naturales. En el primer captulo del texto encontramos cinco axiomatizaciones de los naturales, dadas por autores dedicados a la parte matemtica del problema con sus teoras, similitudes y diferencias entre ellas; adems cuenta con dos autores que dieron sus soluciones pero de un modo constructivo, asumiendo el V Postulado de Peano, y a partir de ello construyen el conjunto de los nmeros naturales. En el segundo captulo se muestra una comparacin de cuatro de los autores (los basados en un enfoque matemtico) con la teora que tiene una mayor relevancia histrica, la de Peano. Esto es hecho para dar cuenta de la importancia de Peano como padre de la aritmtica y la cercana con las otras teoras, independiente de cmo, dnde y cundo fueron creadas. En el tercer captulo se mencionan y demuestran todos los teoremas y propiedades del conjunto basadas en las operaciones que se definen en el

conjunto, a saber, la suma y la multiplicacin, para realizar dichas demostraciones se usar el principio de induccin o V Postulado de Peano. De esta manera aseguramos que tanto
,

como

son monoides abelianos.

En el cuarto captulo se deja el tema de los nmeros naturales, pero no completamente, lo que aqu se presenta es una construccin de los nmeros enteros basados en los naturales y en la teora de conjuntos, con nfasis en las

clases de equivalencia (lo que a la postre sern cada uno de los nmeros enteros). Tambin incluye la definicin y demostracin de sus operaciones bsicas. Por ltimo, en el quinto captulo se presenta la demostracin de los teoremas y propiedades extradas de que inmersin de en

, ,

es un dominio de integridad, la

, con la definicin y demostracin del homomorfismo

correspondiente para esta tarea y sus conclusiones, la relacin de orden definida en el conjunto y sus propiedades, la cancelatividad de la suma y el producto en , otras propiedades de los enteros como el cero absorbente y la junto con

multiplicacin de enteros de distinto signo y el valor absoluto de sus propiedades ms importantes.

Para finalizar, las conclusiones del trabajo, la bibliografa y la cincografa

xi