Ortiz Concha Macarena PDF

Universidad del Bío-Bío.
Sistema de Bibliotecas – Chile
UNIVERSIDAD DEL BÍO-BÍO

FACULTAD DE EDUCACIÓN Y HUMANIDADES
DEPARTAMENTO DE CIENCIAS DE LA EDUCACIÓN
ESCUELA DE PEDAGOGÍA EN MATEMÁTICA
REVISIÓN DE LOS FUNDAMENTOS

DE LOS SISTEMAS NUMÉRICOS
MEMORIA PARA OPTAR AL TÍTULO DE PROFESOR DE EDUCACIÓN

MEDIA EN EDUCACIÓN MATEMÁTICA
AUTORES: ORTIZ CONCHA, MACARENA FRANCISCA.

AHUMADA FUENTES, PATRICIO GREGORIO
Profesor Guía: Friz Roa, Luis A.
CHILLÁN 2016
Universidad del Bío-Bío. Sistema de Bibliotecas – Chile
Índice general
1. PRELIMINARES 2
1.1. FORMULACIÓN DEL PROBLEMA. . . . . . . . . . . . . . . . 2
1.2. OBJETIVOS. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2.1. OBJETIVOS GENERALES . . . . . . . . . . . . . . . . . 3
1.2.2. OBJETIVOS ESPECÍFICOS. . . . . . . . . . . . . . . . . 3
1.3. ANTECEDENTES HISTÓRICOS. . . . . . . . . . . . . . . . . . 3
1.4. MARCO TEÓRICO. . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.5. NÚMEROS NATURALES. . . . . . . . . . . . . . . . . . . . . . 6
1.6. NÚMEROS ENTEROS. . . . . . . . . . . . . . . . . . . . . . . . 7
1.7. NÚMEROS RACIONALES. . . . . . . . . . . . . . . . . . . . . . 9
2. REFLEXIONES ACERCA DE LOS NÚMEROS NATURA-

LES 10
2.1. Reexiones del pensamiento numérico primitivo. . . . . . . . . . 10
3. LOS NÚMEROS NATURALES 12

3.0.1. RESUMEN . . . . . . . . . . . . . . . . . . . . . . . . . . 25
4. LOS NÚMEROS ENTEROS. 27

5. LOS NÚMEROS RACIONALES. 41
1
Capítulo 1
PRELIMINARES
Las matemáticas junto con sus propiedades más básicas, son una verdad que
muchos no cuestionan y suele ser para la mayoría de las personas, una amalgama
de números y símbolos extraños.
A pesar de su complejidad, esta área del conocimiento es considerada un
lenguaje, el que bien utilizado, ha servido para describir y predecir fenómenos
que poseen intricados dinamismos en el espacio, como lo son los movimientos
de los planetas, los movimientos de las masas de viento sobre la esfera terrestre
o predecir comportamientos de grupos de población, dinámica de la economía
mundial, etcétera.
El presente anteproyecto de tesis, hará un breve análisis de los Axiomas
Matemáticos y sus consecuencias, ellos son los pilares sobre los que se funda-
menta esta ciencia. Esto es, revisaremos aquellas verdades matemáticas que la
gran mayoría de las personas han aceptado sin cuestionar, verdades que son
armaciones relativamente claras y que por ende, no tienen demostración.
Este anteproyecto tendrá una descripción en cuatro partes, tres de las cuales
fueron extraídas del texto de profesor Raúl Bravo Flores Fundamentos de los
Sistemas Numéricos y de profesor Mohan Kumar en su texto Construction of
Number Systems.
Una primera parte contendrá una breve reseña histórica, una segunda par-
te, describirá la construcción de los números Naturales, para luego describir la
construcción de los números Enteros y nalizar con la descripción de la cons-
trucción de los números Racionales.
1.1. FORMULACIÓN DEL PROBLEMA.

El libro Fundamento de los Sistemas Numéricos del profesor Raúl Bravo
Torres es un texto que fue impreso en el año 1971, el cual fue elaborado con una
matemática avanzada e intrincada. Se desea entonces hacer una revisión y una
actualización de los contenidos y explicaciones aparecidas en el tomo.
2
CAPÍTULO 1. PRELIMINARES 3
Al mismo tiempo se quiere abordar el problema de la enseñanza universitaria

en lo que concierne a la introducción a los números reales.
Muchos autores de libros matemáticos no explicitan claramente el problema
que implica fundamentar los sistemas numéricos, ello predispone a los estu-
diantes a aceptar principios matemáticos sin demostraciones, dejando con un
sentimiento de vacío e insatisfacción a los estudiantes. Pensamos que el estu-
dio de las formas en que se construyen y fundamentan los sistemas numéricos
pueden ayudar al universitario a enfrentarse con otras formas de pensamiento
matemático, donde el raciocinio y la abstracción pura se maniestan en mayor
grado.
Entonces en la presente actividad de titulación se estudiará, analizará, revi-
sará y reescribirán las principales demostraciones aparecidas en el texto de Raúl
Bravo, demostraciones que incluyen nociones de teoría de conjuntos, inducción
matemática, además de abordar el concepto de estructuras algebraicas, entre
otros. Estos resultados clásicos adaptados serán de utilidad para los primeros
cursos universitarios de matemática, ingeniería, pedagogía, o alguna otra carre-
ra que desee profundizar en el tema.
1.2. OBJETIVOS.
1.2.1. OBJETIVOS GENERALES
Analizar y denir una nueva descripción que abordará la construcción y

fundamentación de los sistemas numéricos, especícamente el de los números
naturales, los enteros y los racionales.
1.2.2. OBJETIVOS ESPECÍFICOS.
Analizar los axiomas de Peano
Investigar y profundizar la teoría de conjuntos, lógica de relaciones, leyes

de composición interna y estructuras algebraicas.
Examinar y estudiar la construcción de los números enteros en base a las

relaciones de equivalencia.
Estudiar la construcción de los números racionales como conjunto de cla-

ses de equivalencia
1.3. ANTECEDENTES HISTÓRICOS.

Desde tiempos muy remotos, el ser humano ha tenido la necesidad de contar
tanto objetos inertes como seres vivos. De esta forma, dentro su cotidianeidad y
rodeado en muchas ocasiones de grandes cantidades de cosas que contar, surgió

la necesidad de representar estos números por medios de distintos símbolos.
La diversidad cultural existente entre los pueblos de este mundo, hizo que
cada civilización concibiera sistemas de numeración y símbolos distintos para
cada cantidad, los que fueron cambiando a lo largo de la historia, perpetuándose
algunos y perdiéndose otros. (María Macías, 2010).
Pero no fue hasta pasado el siglo XVIII, que se comenzó la inquietud para
hacer una construcción de los sistemas numéricos.
El Análisis Matemático dio grandes pasos a mediados del siglo XIX y la
teoría de funciones tuvo una rápida expansión con su aritmetización rigurosa,
que va de Bolzano a Weierstrass. Todo ello resultó en un nuevo álgebra, que ya
había cambiado a nales del siglo XIX.
Consecuencia de esta gran transformación, existieron innumerables intentos

de fundamentar el álgebra sobre bases sólidas. En esos tiempos ya los números
complejos se denían sobre la base de los números reales, los que a su vez se
denían en términos de números racionales y estos sobre los números enteros.
El problema es que varios matemáticos (entre ellos F. L. G. Frege) se sentían
insatisfechos con la denición de los números enteros pues estos estaban sobre
bases que consideraban imprecisas. (Boyer, 1969).
Ante esta inquietud, Giuseppe Peano (Matemático italiano 1858 1932)

desarrolló un lenguaje formalizado el cual nos dejó a través de su lógica mate-
mática una de las mayores contribuciones sobre las que se han apoyado muchas
construcciones rigurosas del álgebra y del análisis. (Boyer, 1969).
De esta forma a comienzos del silgo XX, se logró concebir la fundamentación

lógica- matemática de los números naturales N, los enteros Z , los racionales Q
y los reales R . Para ello se utilizaron aportes de autores (no menos importan-
tes) como Cantor, Cauchy, Gauss, Euler, Krönecker y Dedekind. Este esfuerzo
en conjunto fue determinante a la hora de realizar este trabajo de construcción
denitiva de la Aritmética Elemental. (María Macías, 2010) En la mayor parte
de las ciencias una generación derriba lo que otra había construido, y lo que uno
parecía haber demostrado rmemente otro lo deshace. Sólo en la matemática
cada generación construye un nuevo piso sobre la vieja estructura. (Hermann
Hankel ,1839-1873).
De esta forma la matemática muchas veces se la ha comparado con un ár-

bol, que crece en una estructura que se ramica hacia arriba y que a la vez se
extiende hacia el suelo. Así, vemos como sus raices se adentran cada vez más en
las profundidades del pensamiento humano y en resolución de problemas cada
vez más delicados.
Mientras que las ramas con sus hojas serían las distintas facetas de las mate-
máticas, que presentándose a simple vista, son caminos que nos conducen hacia
aquellas raíces que nos permiten esclarecer, mediante elegancia matemática, las
soluciones más recónditas.
1.4. MARCO TEÓRICO.

Como se mencionó anteriormente, no fue hasta el siglo XIX en el que la rigu-
rosidad matemática impulsó la creación de un sistema de axiomas que pudiera
explicar de manera lógica el fundamento de todo el sistema numérico sobre el
cual se basan la matemáticas. Dicho de otra forma, que todo el cuerpo tradicio-
nal de las matemáticas puras pudieran ser construidas rigurosamente empezando
por la teoría de los números naturales (Dasgupta, 2014).
Es sabido que en existen desarrollos bastante cuidadosos que prueban mu-

chas de las proposiciones y teoremas en matemáticas. Por ejemplo el teorema
de aproximación de Weierstrass. Ellas nos sirven como herramientas para ex-
presar resultados que sabemos que son ciertos. Sin embargo estos teoremas que
tomamos por ciertos deben ser probados como tal en algún punto. Esas arma-
ciones, por supuesto están basadas sobre otras armaciones verdaderas. Así, si
continuamos yendo hacia atrás en esas pruebas matemáticas, llegaremos a un
punto en el que nos daremos cuenta que existen un conjunto inicial de armacio-
nes verdaderas que no pueden ser probadas. Esas armaciones se conocen como
axiomas, ellas son el punto de partida de toda la teoría matemática. (Pelayo,
2010).
Hermann Grassmann, fue uno de los pioneros al mostrar en 1860, que mu-
chos elementos de la aritmética se derivaban de elementos aún más básicos, en
1881, Charles Sanders Peirce entregó una axiomatización de la aritmética de los
números naturales y en 1888, Richard Dedekind propuso otra axiomatización
de la aritmética de este conjunto numérico.
Así en 1889, Peano publico una versión más precisa que reformulaba este con-
junto de propuestas como una colección de axiomas en su libro Arithmetices
principia, nova methodo expósita. De este modo los principios de la aritmética
fueron presentados con un Nuevo método. (Shields, 1997).
Dedekind con sus trabajos profundos y Peano con su desarrollo axiomático

bastante moderno y claro, nos mostraba como la teoría entera de los números
naturales podía derivarse de unos cuantos axiomas básicos y nociones primitivas
(Pelayo, 2010).
La teoría resultante se conoce como hoy como Aritmética de Peano. Se ex-

plicarán a continuación desarrollos de la aritmética de Peano tratando las pro-
piedades de los números naturales.
Asumiremos en esta sección que solamente las nociones y axiomas de Dedekind-

Peano están dadas y que ningún otro tipo de número o su propiedades son co-
nocidas.
Todas las nociones familiares como adición, serán explicadas formalmente y

sus propiedades se derivarán de esos axiomas. Diversos autores plantean deni-
ciones desde diferentes puntos de 7 vista de los axiomas de Peano. Estos autores
revisados son:
Raúl Bravo Flores, profesor de Matemáticas de la Universidad de Chile
N. Mohan Kumar, profesor de Matemáticas y Director de Estudios Gra-

duados. Universidad de Washington en San Luis USA.
Estos axiomas nos ayudarán a entender la manera en que se construyen estos

sistemas numéricos.
Durante el desarrollo de nuestra tesis se deseará obtener una formulación

rigurosa para un conjunto que tenga suma y producto manejable y que se
verique el principio de inducción. La construcción que se hará de los números
naturales no se hará mediante teoremas o de conceptos primitivos anteriores,
como lo son las deniciones de conjunto, sino que se denirá mediante un siste-
ma de axiomas.
1.5. NÚMEROS NATURALES.

Así el trabajo de Peano postula la existencia de un conjunto N no vacío. Se
dene entonces N como un conjunto con las siguientes propiedades.
(1) N tiene un elemento distintivo, al que llamaremos 1
(2) Existe una función s tal que s : N → N . Esto quiere decir que cada número
natural n tiene un único sucesor (n) el que también es un número
natural.
(3) σ es uno a uno (inyectiva).
(4) No existe un elemento n∈N tal que σ(n) = 1. (1 no es sucesor de ningún

número natural)
(5) (Principio de inducción) Sea M ⊂N tal que
a) 1∈M
b) Si n∈M , luego s(n) ∈ N . Entonces M =N .(Kumar, 2012)
De estos axiomas se derivan una serie de teoremas que irán permitiendo de la

construcción del conjunto N así como sus operaciones aritméticas.
Para entender más acerca de los elementos matemáticos que usaremos en el
desarrollo de nuestra tesis, hablaremos previamente de los siguientes conceptos
útiles.
1.6. NÚMEROS ENTEROS.

Para denir los números enteros necesitamos los conceptos de relación de
equivalencia.
DEFINICIÓN 1: Una relación de equivalencia en el conjunto X = φes una

relación ∼⊂ X × X que satisface:
1. ∼ es reeja. Esto es ∀a ∈ X tenemos (a.a) ∈ X .

2. ∼ es simétrica. Esto es si (a, b) ∈ X entonces (b, a) ∈ X .
3. ∼ es transitiva. Esto es si (a, b) ∈ X y (b, c) ∈ X entonces (a, c) ∈ X .
Daremos un ejemplo no trivial de relación de equivalencia.
En X =N×N denimos la relación.
(a, b) ∼ (c, d) ⇔ a + d = b + c
Problemos que la relación ∼ así denida es una relación de equivalencia.
1. Reeja. Se cumple que ∀ (a, b) ∈ X que (a, b) ∼ (a, b) ya que a+b = b+a
2. Simétrica. Si (a, b) ∼ (c, d) entonces a + d = b+c o lo que es lo mismo que
c + d = b + a, luego (c, d) ∼ (a, b).
3. Transitiva. Suponemos que (a, b) ∼ (c, d) y que (c, d) ∼ (e, f ).
a+d = b+c y c+f = d+e luego,

a+d = b+c /+f tenemos,
(a + d) + f = (b + c) + f = a + (d + f ) =
b + (c + f ) = b + (d + e) = (b + e) + d concluimos
(a + d) + f = a+d+f = (a + f ) + d = (b + e) + d esto es,
a+f =b+e
Lo que implica que (a, b) ∼ (e, f ).
Estos resultados son parte del engranaje matemático que nos permitirán de-
mostrar la construcción lógica de los tres sistemas numéricos que trataremos en
nuestra tesis N, Z, Q.
Una vez construidos y denidos los números naturales, comenzará a esta-

blecerse un nuevo conjunto Z , llamado el conjunto de los números enteros. Así
los números naturales los usaremos como apoyo para contar y comparar otros
conjuntos, ya que la relación de orden denida enN permite en cierta forma
medir el tamaño de un conjunto.
Sin embargo N adolece de ciertos defectos. Por ejemplo m + n 6= m ∀ n ∈ N

. Se tiene entonces que no hay un elemento neutro para la suma, menos pensar
en inversos aditivos.
Ambas fallas se corrigen creando un nuevo conjunto con estructura algebraica

que extiende la estructura de N en el sentido que el nuevo conjunto Z contiene
a N y a su estructura algebraica en un sentido que se explicará más adelante en
la elaboración de nuestra tesis.
\
De este modo, el punto de partida será el conjunto S = N × N, producto
cartesiano de N por N , en el que se dene la siguiente relación.
(i) (a, b) ∼ (c, d) ⇔ a + d = b + c
Como es usual, anotaremos a un elemento de S como un par ordenado de nú-

meros naturales.
Obsérvese que esta es una relación de equivalencia en S , dicho de otro modo
N×N es un conjunto de clases de equivalencia, y le llamaremos conjunto de los
números enteros.
De esta forma denimos una nueva notación que es la siguiente. S=Z para
N×N
Que es lo mismo decir que de ahora en adelante Zel conjunto de clases equi-
valentes bajo la relación (i)
Para construir una estructura algebraica se denirá la operación de adición

en Z como sigue:
[a, b] ⊕ [c, d] = [a + c, b + d]
[a, b] ⊗ [c, d] = [ac + bd, ad + bc]
Se observa que esta armación adolece de un defecto potencial, que consiste
en denir operaciones entre clases mediante operaciones con ciertos elementos
particulares de clase (representantes). Debemos asegurarnos que las operaciones
⊕ y ⊗ deben estar bien denidas.
Se supone que la operación de la suma debe ser una función que va desde
Z×Z→Z , dando dos números enteros, pues al realizar esta suma deberemos
obtener un entero bien denido. (Kumar, 2012)
En nuestra tesis probaremos que las operaciones ⊕ y ⊗ se encuentran bien

denidas en Z. Demostraremos que los resultados serán independientes de los
representantes que se elijan para los elementos de Z y que participan en las
operaciones.
1.7. NÚMEROS RACIONALES.

Con los enteros se resuelve el problema de encontrar una solución para la
ecuaciónx + a = b . Sin embargo aún no tenemos una solución para la ecuación
cx + a = b , con lo cual el problema de escribir operaciones con fracciones de
una unidad no está a nuestro alcance. Para ello es necesario denir los núme-
ros racionales, de tal manera que incluyan a los enteros y respete su estructura
algebraica y de orden. La idea en este capítulo será la misma realizar una cons-
trucción de un nuevo conjunto numérico a partir de un conjunto Q = Z × Z∗ ,
∗
donde Z = Z − {0} es el conjunto de los enteros no nulos. (Bravo, 1971).
∗
El conjunto Z × Z se dene de la siguiente relación.
(a, b) ∼ (c, d) ⇔ ad = bc
De esta forma la relación ∼ en Z × Z∗ es una relación de equivalencia en Q
. A esta se le llamará números racionales y se denotará con Q .
Se deberá comprobar si la suma como la multimplicación de racionales están
bien denidas y cumplen con todas las propiedades estándar.
Veremos que tenemos una función uno a uno, pues f : Z → Q dado por
f (a) = [(a, 1)] y luego f : (a + b) = f (a) ⊕ f (b) y f (ab) = f (a) ⊗ f (b). (Kumar,
2012).
Usando f , podemos identicar de manera usual a Z como un subconjunto
de Q . En este nuevo conjunto tenemos una nueva operación, la división, que es
a
usualmente anotada como para a, b ∈ Q y b 6= 0. (Kumar, 2012)
b
Los diversos teoremas derivados de estar armaciones así como de sus de-
mostraciones se profundizarán en cada capítulo a continuación, para caer en
la cuenta de que tanto N, Q y Z en realidad, son conjuntos que cumplen con
todas las propiedades de estructuras algebraicas y poseen operaciones de suma
y multiplicación bien denidas.
Capítulo 2
REFLEXIONES ACERCA
DE LOS NÚMEROS
NATURALES
2.1. Reexiones del pensamiento numérico pri-

mitivo.
Hagamos la construcción desde la psicología del pensamiento primitivo.
Una etapa humana se vivió en las cavernas, estas personas deseaban contar
cosas, y la primera herramienta que usaron para contar fueron sus dedos. Si
deseaban contar, asociaban la cantidad de esa cosa con el número de sus dedos.
De esta forma automáticamente se crea un orden en los números, aunque
sea que estos estén representados por la cantidad de dedos.
Se sabe que hay un primero , un primer elemento, el que es uno, la cantidad
primigenea.
Después está el que viene después del primero , el que está al lado del
primero, el Segundo, el número Dos. El que se cuenta con el siguiente dedo.
¾Qué pasa si hay uno más? Simplemente se cuenta con un tercer dedo.
Muchas veces las cantidades eran mayores y los primitivos preferían registrar
sus cuentas marcando palitos en las murallas de sus cuevas.
Dibujando una línea vertical para la primera cantidad, luego agregaban otro
más hasta completar lo deseado.
|||||||||| |||||||||| ||. Actualmente esto se representa como 22.
Continuando con el pensamiento matemático riguroso, tenemos que el pen-
samiento primitivo operó de esta forma.
1+1+1+1+1+1+1+1+1+1+1+1+1+1+1+1+1+1+1+1+1+1 = 22.
Dicho de otra forma, primeramente tenían 1 ∈ N, luego aplicó s(1) = 1 + 1,
luego, s(s(1)), s(s(s(1))), hasta completar 22.
10
CAPÍTULO 2. REFLEXIONES ACERCA DE LOS NÚMEROS NATURALES11
Para efectos de aplicar el principio de inducción vamos a establecer un orden

en N.
Sea N = {1, 2, 3, 4, 5, 6, 7, ...}, hasta el innito.
¾ Qué quiere decir innito? En este contexto arcaico, una cantidad muy
grande, mucho más que todos los granos de arena del desierto y de las playas.
¾Cómo contaban los primitivos? ¾Decían acaso desordenadamente, este es el
uno, este es el cinco, este es el tres, este es el ocho?
Es claro que no, los siete primeros días del universo del génesis tienen un
orden.
Volvamos al principio de inducción.
Se tiene que 1 ∈ N, luego s(1) pertenece a los naturales y se sabe que s(s(1))
también pertenece a N, de esta forma se repetirá el procedimiento hasta donde
se desee para crear a los naturales.
Demostraremos la unicidad de este conjunto.
Creamos entonces un conjunto M ⊂ N tal que M tenga ese primer elemento
ó en lenguaje matemático 1 ∈ M.
Si tenemos un primer elemento, habrá un segundo, o el que viene después,
esto es s(1).
Ahora bien, no sabemos el símbolo de ese segundo elemento. Sea s(1) = n
segundo elemento tal que n ∈ M. Luego s(n), también pertenecerá a M , de
esta forma si tomamos sus siguientes, hasta el innito, se tendrá nalmente que
el conjunto M que elegimos inicialmente podrá ser igual de numeroso o tener
los mismos elementos que N, es por ello que tarde o temprano efectuando los
cálculos tendremos que M = N.
Este principio de inducción (el que tiene un orden implícito) se utilizará
para demostrar que dado un número natural n con una propiedad P, tendrá
que todos sus siguientes tendrán también esa propiedad.
Capítulo 3
LOS NÚMEROS
NATURALES
Teorema 3.0.1 Hay una única función f : N×N→N que verica lo siguien-
te
1. f (x, 1) = s(x)
2. f (x, s(y)) = s(f (x, y)), para todo x, y ∈ N
Esta única aplicación se llama suma y f (x, y) se denota x + y, o sea,
x + 1 = s(x)
x + s(y) = s(x + y)
Lo que hemos hecho es denir una de las operaciones más básicas para los
números naturales, este es sin duda un gran paso para la construcción de las
matemáticas. El lector sabe que este libro trata acerca de los fundamentos de
las matemáticas. Todos sabemos sumar números, pero ¾Qué pasa si empezamos
a construir las matemáticas sobre la nada?. Acá el razonamiento lógico ocupado
se basa en considerar a LA SUMA como una función. Este es el pilar del resto de
las operaciones y la construcción del resto de los sistemas numéricos que iremos
deniendo conforme avanzamos en los próximos capítulos.
Ahora bien, se han denido los enunciados 1 y 2, pero necesitamos que esta
conjetura sea sólida para seguir avanzando en el proceso de esta construcción, de
lo contrario estaremos fundamentando nuestras matemáticas sobre bases inesta-
bles. Para asegurarnos de su rigurosidad, haremos las siguientes demostraciones.
Demostraciones:
12
CAPÍTULO 3. LOS NÚMEROS NATURALES 13
(1) Unicidad: O sea, demostraremos que no existen multiplicidad de funcio-

nes (dadas las condiciones 1 y 2) en los naturales, y si hay dos o más, estas
terminan siendo las mismas. Además se denirá una propiedad para un conjun-
to M supuestamente distinto a N, pero se terminará la demostración usando
principio de inducción y comprobando nalmente que M = N, comencemos.
Sean dos funcionesf, g : N × N → N y que verican las condiciones 1 y 2.
Sea x ∈ N, y creamos un conjunto M = {y ∈ N; f (x, y) = g(x, y)}.
Es claro que f (x, 1) = x + 1 = s(x) = g(x, 1) ⇒ 1 ∈ M.
Además si tomamos un y ∈ M , entonces f (x, y) = g(x, y).
O sea f (x, s(y)) = s(f (x, y)) = g(x, s(y)). (Por enunciado 2.)
Luego, por principio de inducción s(y) ∈ M . Por tanto M = N. Es decir se
prueba que f = g dentro de los números naturales.
(2) Existencia: SeaL = {x ∈ N; existe f : N × N → N con condiciones 1 y 2} .

En primer lugar, 1 ∈ L, entonces s(x) ∈ L, ya que la función f (1, y) = s(y)
satisface ambas condiciones.
Esto es tomar un elemento 1∈L

f (1, y) = 1 + y = s(y). Esto es así, pues si suponemos por la denición
(i)
anterior que f (1, y) = s(1) estaremos ante un error, pues s(1) = 1+1 6= f (1, y),
además y ∈ N es un valor cualquiera dando un resultado arbitrario. Se tiene
pues, por lógica que f (1, y) = f (y, 1).
(ii) f (1, s(y)) = s(s(y)) = s(f (1, y)), lo que satisface ambas condiciones.
Para la operación (ii) se toma la operación (i) para poder demostrar que
f (1, s(y)) = s(f (1, y)), pues se reemplaza s(s(y)) = f (1, s(y)).
Si x ∈ L entonces s(x) ∈ L, de esta forma se dene una nueva función
h : N × N → N. Se tiene que h : (s(x), y) = s(x) + y = s(x + y) = s(f (x, y))

que satisface las condiciones 1 y 2 del teorema.
Teorema 3.0.2 N con respecto a la suma es un semigrupo abeliano. Es decir,
la suma es asociativa y conmutativa.
Probemos primeramente la asociatividad
1) Sean x, y números naturales y M = {z ∈ N; (x + y) + z = x + (y + z)}

Se sabe que 1∈M ya que
Se tiene entonces
(x + y) + 1 = s(x + y) = x + s(y) = x + (y + 1)
Como se aprecia, solamente se están utilizando (y se utilizarán) propiedades

derivadas del teorema 3.0.1. Luego se tiene que:
(x + y) + 1 = x + (y + 1)
Más generalmente si z ∈ M ⇒ s(z) ∈ M pues z ∈ M ⇒ (x + y) + z =

x + (y + z)
Luego (para ampliar la propiedad al resto de los números usamos s(z), para
ocupar de esta forma el principio de inducción.
(x + y) + s(z) = s((x + y) + z) = s(x + (y + z)) = x + s(y + z) = x + (y + s(z))
Con todo esto se tiene nalmente que M = N quedando demostrada la
asociatividad.
Se prueba ahora la conmutatividad
2) Sean x, y ∈ N y L = {x ∈ N; x + y = y + x}
Desde luego 1 ∈ L. Además si x = 1 e y = 1entonces 1 + 1 = 1 + 1. (Lo que
es obvio)
Ahora bien, para 1∈L y x∈N se tiene que
1 + s(x) = s(1 + x)
= s(x + 1) pues x∈L
= s(s(x))
= s(x) + 1
Ahora si y ∈ L ⇒ s(y) ∈ L (por principio de inducción)
Para x ∈ L se tiene
x + s(x) = x + (y + 1)
= (x + y) + 1
= (y + x) + 1
= 1 + (y + x)
= (1 + y) + x
= s(y) + x
Se tiene entonces que L=N quedando demostrada la conmutatividad
Teorema 3.0.3
Sean x, y, z ∈ N. Entonces
(1) y 6= x + z
(2) y 6= z ⇒ x + y 6= x + z
Esto quiere decir que no existe un neutro aditivo en N
Demostracion de (1): Considerando x jo, poner M = {y ∈ N; y 6= x + y}.
Se sabe que s(x) 6= 1, es decir, 1 6= x + 1. Luego 1 ∈ M. Además, si y ∈ M ,
entonces y 6= x + y y, por tanto, s(y) 6= s(x + y) = x + s(y), es decir, s(y) ∈ M .
Luego al igual que en los casos anteriores, por el principio de inducción se tiene
M = N.
Demostracion de (2): Consideramos y, z jos, tales que y 6= z y sea L =
{x ∈ N; a + y 6= x + z}.
[...] Por lo tanto L = N
Observación 3.0.1
(1) El principio de inducción puede formularse ahora así: Si A ⊆ Nverica:
(i) 1∈A
(ii) x ∈ A ⇒ x + 1 ∈ A, entonces A=N
(2) Los teoremas anteriores permiten armar que si x ∈ N, entonces la traslación
fx : N → N
y 7→ x + y
es inyección sin punto jo, es decir, fx (y) 6= y ∀y ∈ N
Teorema 3.0.4 En esta parte vamos a crear la multiplicación y denir algunas

de sus propiedades más básicas.
Diremos que hay una única función F: N×N→N que verica
(1)F (x, 1) = x
(2)F (x, s(y)) = F (x, y) + x, ∀x, y ∈ N.
Esta única aplicación se llama producto y F (x, y) se puede escribir xy o x·y ,
separados por un punto.
Demostración: 1) Unicidad: Sean F, G : N × N → N satisfaciendo 1 y 2. Sea

x∈N M = {y ∈ N; F (x, y) = G(x, y)}.
y
Es claro que 1 ∈ M y que y ∈ M ⇒ s(y) ∈ M.
Luego M = Ny así F = G
Esta demostración bastante corta, deja en claro que todos los ”y” pasan a
pertenecer al conjunto M y por principio de inducción se tiene que los siguientes
de y M . De esta forma se llega a la igualdad de M con N.
también pertenecen a
Al ser iguales los conjuntos, la armaciónM = {y ∈ N; F (x, y) = G(x, y)}pasa
a ser válida para N, esto es N = {F (x, y) = G(x, y), ∀x, y ∈ N}. Finalmente
por razonamiento lógico, si se armó anteriormente que F (x, y) = G(x, y), para
el conjunto M , se tiene que F = G para el conjunto N.
2) Existencia: Vamos a probar la existencia del teorema, esto es demostrar
que existen elementos del conjunto N con esta propiedad. Pero primero deni-
remos un conjunto L arbitrario.
Sea L = {x ∈ N, existe F : N × N → N con condición 1 y 2}.
Se tiene que x = 1 ∈ L, ya que 1 es el resultado de la función F , pues
F : N×N → N
(1, y) 7→ y satisface (1)
Esto es verdadero y nuevamente nos encontramos con la fuerte lógica mate-

mática, pues si seguimos estrictamente (2) tendremos que F (1, y) = 1, lo que es
verdadero sólo para un caso, pero esto no sirve de mucho pues estamos en estos
momentos generalizando para todos los números naturales. También de manera
implícita estamos viendo que F (x, 1) = F (1, x).
Así F (x, 1) = F (1, 1) = 1 = x además
F (x, s(y)) = F (1, s(y))= (Pues se está desarrollando con x = 1)

s(y) = y + 1 = 1 · y + 1 = xy + x = F (x, y) + x
También x ∈ L ⇒ s(x) ∈ L implica que hay F con condición (1) y (2). En
otras palabras tenemos a x ∈ L y a sus siguientes que también cumplen con la
condición, por ende la validez de esta función se extiende para para el resto de
los números.
Vamos a generalizar por inducción al resto de los números. Recordemos que
estos aún no tienen asignado un orden y simplemente ellos existen dentro de
una categoría que llamamos N.
Consideremos ahora una nueva función
G: N×N → N
s((x), y) 7→ xy + y
cuyas propiedades y operaciones también satisfacen (1) y (2). El lector está en la
libertad de comprobar la validez de esta función G asignando valores numéricos
a los coecientes literales. Luego s(x) ∈ L. En resumen L = N.
Obsérvese que hemos creado la multiplicación, la que además queda denida

con las siguientes propiedades:
x · 1 = x,
x · (y + 1) = xy + x y
(x + 1) · y = xy + y, ∀x, y ∈ N
Todas ellas están demostradas y hemos vericado que no existen contradic-

ciones ni elementos ambiguos.
Teorema 3.0.5 N con respecto al producto, es un semigrupo abeliano con uni-

dad. además la multiplicación es distributiva con respecto a la suma, es decir:
x(y + z) = xy + xz
(y + z)x = yx + zx
Demostración. 1) Conmutatividad de la multiplicación: Demostrare-

mos ahora una de las propiedades más usadas en matemáticas y que casi prác-
ticamente ninguna persona se cuestiona. Todos sabemos que 2·5 = 5·2 es
verdadero, pero ahora demostrémoslo de una marea elegante y que sirve para
cualquier número.
Sea un y ∈ N, e inventemos un conjunto M con la siguiente propiedad M =
{x ∈ N; yx = xy}. ¾Será cierto y lógico armar que xy = yx? Vemos que con el
número 1 no hay problemas pues se tiene que 1 ∈ M , además ya probamos que
y · 1 = y y 1 · y = y por tanto y · 1 = 1 · y , lo que cumple.
También como x ∈ M implica obviamente que yx = xy . Luego para aplicar
ley de inducción tomamos los siguientes de x y · s(x) = y(x + 1) = yx + y =
xy + y = (x + 1)y = s(x) · y . Nótese que todo esto ha sido realizado con las
propiedades que hemos estado construyendo de a poco en este capítulo.
Así s(x) ∈ M . Por tanto la ley de inducción extiende la propiedad para el
resto de los números y nalmente M = N.
Nótese que probada la conmutatividad, basta con demostrar solo una de las
reglas de distributividad.
2) Distributividad y asociatividad: Sean x, y números naturales.
M = {z ∈ N; x(y + z) = xy + xz}
L = {z ∈ N; (xy)z = z(xy)}
Exactamente igual que en los casos anteriores, se prueba que M =L=N
3) Es claro que la unidad es el 1∈N
Comentario Cuando en un conjunto E se tiene una ley asociativa, podemos

escribir abc, sin paréntesis, para denotar el producto (ab)c = a(bc).
Del mismo modo si hay cuatro factores a, b, c, d se tiene:
a(bcd) = (ab)(cd) = (abc)d = a(bc)d

y podemos entonces utilizar para este valor el símbolo abcd. Si además la ley
es conmutativa se tiene que:
abcd = abdc = acbd = acdb
= bacd = badc = bcad = bcda
= cabd = cadb = cbad = cbda
= dabc = dacb = dbac = dbca

Luego el símbolo abcd puede representar el producto en cualquier orden de
los factores. Consensuaremos que para cualquier producto que involucre factores
literales, estos de preferencia serán ordenados de forma alfabética y es de libre
uso para el matemático separarlos por puntos según convenga.
Observación 3.0.2
1) Considerar, para z ∈ N, la función z̄ donde:
z̄ : N → N
x 7→ zx
Si z = 1, entonces z̄ es la función idéntica. Si z 6= 1, entonces z̄ es inyección

respetuosa de la estructura aditiva de N, es decir,
z̄(x + y) = z̄(x) + z̄(y)

También se dice que la función z̄ es compatible con la estructura aditiva de
N.
2) Hasta el momento, el conjunto N con sus dos operaciones, suma y produc-
to, tiene todas las propiedades deseables para un conjunto numérico. Ahora hay
que tratar de dar respuesta al problema de comparación de números naturales,
es decir, hay que introducir en N una estructura de orden. El orden a introducir
será respetuoso de la estructura algebraica de N.
Denición. Deniremos un nuevo concepto dentro de las matemáticas, y es

cuando un número es igual, más grande o pequeño que otro, comencemos.
Sean x, y ∈ N.
1) x es mayor que y ⇐⇒ x = y + n, para algún n ∈ N.
Su notación de ahora en adelante será: x > y.
2) x es menor que y ⇐⇒ y es mayor que x. Su notación será x < y.
Teorema 3.0.6 Si x, y ∈ N, entonces se cumple una y solo una de las

siguientes posibilidades.
I) x=y o II) x<y o III) y<x

Esta se llamará Ley de tricotomı́a de la desigualdad.
Demostración: Ahora bien, del teorema 3.0.3 se desprende que si intentamos

tomar las condiciones I y II a la vez, veremos que son incompatibles, lo mismo
si intentamos aplicar I y III así como II y III.
Recordemos que estamos construyendo las matemáticas. Signos como ≤ y ≥
no están aún denidos.
La ley de la tricotomía de la desigualdad nos está diciendo que si tomamos
dos números cualesquiera del conjunto de los naturales, tendremos alguna de las
tres condiciones, pero no dos simultáneamente. Un par de números no pueden
ser iguales y a la vez uno menor que otro, mucho menos que uno de esos números
sea menor que el otro y viceversa, es decir, x<y y a la vez y < x.
Continuemos.
II) ⇒y =x+n
III) ⇒ x = y + m, para cierto m, n ∈ N
Luego si II y III rigen simultáneamente:
y = x + n = (y + m) + n = y + (m + n) = (m + n) + y
⇒ y = (m + n) + y
Vamos a suponer que si y = (m + n) + y entonces estamos viendo que m + n

es neutro aditivo o que m = n = 0, lo que no puede ser, pues aún no hemos
creado el número cero y 0 ∈
/ N, además no tiene sentido que si II) x < y se tenga
que y = x + n, pero como dijimos n = 0, eso implicaría que x = y , es decir la
armación I).
Claramente si hacemos II y III es una contradicción con el Teorema 3.0.3.
Es decir, está probado que a lo sumo uno de los casos I, II o III puede regir.
Vemos que la Ley de la Tricotomía de la Desigualdad tiene una lógica sólida
y prácticamente no se puede refutar, a menos que deseemos incorporar algún
principio o axioma que hagan ciertas propiedades relativas, pero este no es el
caso.
Ahora bien, para x ∈ N, deniremos y consideraremos el conjunto M con
esta tricotomía (la que nos parece un interesante elemento) y que deseamos
agregar como propiedad a nuestro conjunto de los números naturales.
Sea M = {x, y ∈ N; x = y o x < y o y < x}. Sabemos que 1 ∈ M, y hay

dos posibilidades para x ∈ N ⇒ x = 1 o x 6= 1.
Para la primera ley de tricotomía puede ocurrir que x = y = 1.
Si y = 1, sabemos que debe existir un z∈N tal que
x = s(z) = 1 + z = y + z
⇒x=y+z o sea y < x,

¾Que signica esto?, dice para que y pueda igualar a x necesariamente se
debe sumar un número z.
Además si y∈M entonces y + 1 ∈ M. En efecto si x = y, entonces
y + 1 = x + 1, es decir, x<y+1
Para la segunda ley de tricotomía x < y, entonces y = x + n, para algún n
número natural, luego si sumamos 1 en ambos lados a la derecha:
y + 1 = (x + n) + 1 = x + (n + 1), y así x<y+1

Explicaremos esto: Si y + 1 = x + (n + 1) nos dice que si x quiere igualar
a y + 1 se debe sumar un número natural n + 1, por esta razón se tiene que
x < y + 1.
Para la tercera Ley de Tricotomía, si y < x, entonces x=y+n para algún
n número natural, luego separamos en dos casos:
i) Sin = 1, entonces x = y + 1 y todo está bien.
n 6= 1, entonces n = s(t) = t + 1 para algún t ∈ N.
ii) Si
Por tanto: x = y + (t + 1) = (y + 1) + t, o sea, y + 1 < x.
Con todo esto, M satisface el postulado de inducción y se tiene que M = N.
Observación 3.0.3
Ahora deniremos el símbolo ≤.
1) Si para x, y números naturales se pone x ≤ y ⇐⇒ x < y o x = y, el
teorema 3.0.6 arma que x, y ∈ N, entonces x≤y oy≤x
2) El símbolox ≤ y se lee x es menor o igual que y ( o y es mayor o igual
que x ). Cuando sea x < y diremos que se tiene una desigualdad estricta.
3) Como x + y = y + x, se tiene que para todo x, y en N: x < x + y , está
claro que x es menor que la suma de sí mismo con otro número y . Está demás
decir que y 6= 0 pues 0 ∈
/ N.
4) u ∈ N ⇒ u ≥ 1. Es decir, 1 es el menor elemento de N.
Teorema 3.0.7
La relación x≤y es una relación de orden total sobre N
Demostración: Demostraremos que este nuevo símbolo cumple con las

propiedades de reexividad, antisimetría y transitividad.
1) x = x ⇒ x ≤ x, es decir se cumple la reexividad.
2) x ≤ y e y ≤ x ⇒ x = y, porque si x 6= y , entonces x<y e y < x, lo cual
es imposible por la ley de tricotomía. Esto prueba la la antisimetría.
3) La transitividad x ≤ y , y ≤ z ⇒ x ≤ z.
Caso 1. Si x = y, entonces x puede escribirse en lugar de y . Luego x ≤ z.
Análogamente, si y = z .
Caso 2. Si x 6= y, y 6= z , se tiene x < y e y < z , o sea y = x + u, z = y + v ,
para u, v ∈ N. De aquí que z = y + v = (x + u) + v = x + (u + v). Luego x < z ,
pues a x se le debe sumar u + v para igualar a z, y nalmente se tiene que x ≤ z.
Con esto N está parcialmente ordenado por ≤. El teorema 3.0.6 garantiza la
estructura de orden total del conjunto de los naturales.
Teorema 3.0.8
El orden ≤ sobre N es estable con respecto a la estructura algebraica de N,
es decir:
1) x ≤ y, z ∈N ⇒ x+z ≤y+z
2) x ≤ y, z ∈ N ⇒ xz ≤ yz
Demostración Es claro que si en la hipótesis se verica x = y, las conclusio-

nes se cumplen obviamente. Luego es suciente demostrar que:
x < y, z ∈ N ⇒ x + z < y + z y
xz < yz
Pero x < y ⇒ y = x + u, para algún u ∈ N, entonces
y+z = (x + u) + z
y+z = (x + z) + u
⇒ x+z <y+z
Segunda conlusión.
Si x < y ⇒ y = x + u, para algún u ∈ N, esto implica que
yz = (x + u)z
yz = xz + uz
⇒ xz < yz
esto signica que para que xz sea igual a yz , se debe sumar uz ∈ N.

Por ende está probada una relación de orden para x, y, z, u perteneciente a
los naturales.
Observación 3.0.4
1) La demostración anterior implica.
i) x<y ⇒x+z <y+z
ii) x=y ⇒x+z =y+z
iii) x > y ⇒ x + z > y + z
Con esto es inmediato entonces que todas las recíprocas de las implicaciones
anteriores son válidas, es decir:
x+z <y+z ⇒x<y

x+z =y+z ⇒x=y (ley de cancelación aditiva)
x+z >y+z ⇒x>y
Ya que por el teorema 2.0.6 vale la ley de tricotomía de la desigualdad.
2) Análoga observación para el producto, es decir, x, y, z son números na-
turales se tiene:
xz < yz ⇒x<y
xz = yz ⇒x=y (ley de cancelación multiplicativa)
xz > yz ⇒x>y
3) El caso 2 de la demostración del Teorema 3.0.7 dice:
x<y e y<z⇒x<z
Luego es claro que (x ≤ y e y < z) o (x < y e y ≤ z) ⇒ x < z
Teorema 3.0.9
Sean x, y, z, u números naturales. 1.
1) Si x<y y z < u, entonces
x+z < y+u

(es decir, dos desigualdades estrictas del mismo sentido pueden sumarse
miembro a miembro, obteniéndose una desigualdad estricta del mismo senti-
do).
2) Si x≤y y z<u
x<y y z≤u
entonces x+z < y+u
Lo anterior es, dos desigualdades con una de ellas estricta pueden sumarse
miembro a miembro, el resultado será una desigualdad estricta.
x≤y
3) Si y z≤u
⇒x+z ≤ y+u
Demostración 1) x < y, z < u, entonces
x+z < y + z, así
y+z < y+u

Luego x+z <y+u
2) Si no hay igualdad, estamos en el caso 1 recién tratado. Si hay igualdad,
nuevamente la parte i) de la observación 3.0.4 demuestra la armación.
3) Si x=y y z = u, entonces x+z = y+u y el teorema queda demostrado.
Si no son ambos iguales, la armación se reduce al caso 2 recién tratado.
Teorema 3.0.10
Sean x, y números naturales.
1. Si x < y, entonces x + 1 ≤ y
2. Si y < x + 1, entonces y ≤ x
Demostración 1) x < y ⇒ y = x + u, para algún u perteneciente a los

naturales, el que verica u ≥ 1. Luego x + u ≥ x + 1, es decir, x + 1 ≤ y .
2) Se demostrará este enunciado por contradicción, esto es vamos a negar
y <x+1⇒y ≤x , y negar una implicancia p⇒q equivale a escribir p∧ ∼ q ,
lo que se traduce a :
y <x+1∧y >x
Desarrollando y < x+y ⇒ y+u = x+1 para algún u ≥ 1. De esto se
desprenden dos casos.
i) u = 1 ⇒ y + 1 = x + 1 ⇒ y = x lo que se contradice con nuestro enunciado
de que y > x, por lo tanto es verdadero para y < x + 1entonces y ≤ x. En el
segundo caso ocurre algo parecido.
ii) u > 1 ⇒ y + u = x + 1 ⇒ y < x ⇒⇐
Observación 3.0.5
1) Las propiedades establecidas en el Teorema 3.0.9 surgieron, esencialmen-
te de las propiedades anotadas en la parte 1 de la observación anterior. Pero
también quedó establecida allí la validez de la propiedad análoga para la multi-
plicación, luego rigen propiedades como las siguientes:

x<y
1. ⇒ xz < yu
z<u

x≤y
2. ⇒ xz < yu
z<u
x≤y
3. ⇒ xz ≤ yu
z≤u
2) Anteriormente se notó que 1 es el menor elemento de N .
Es claro que si un conjunto de M de números naturales contiene al 1, entonces
1 es el menor elemento de M.
Ahora presentaremos una de las más importantes propiedades de los números
naturales.
Teorema 3.0.11
N con el orden ≤ es un conjunto bien ordenado, es decir, dado un conjunto
no vacío M de números naturales, entonces M tiene un menor elemento.
Demostración: Sea L un subconjunto de N, denido por
x∈L si y sólo si, x ≤ m, para todo m∈M

Desde luego, 1 ∈ L. Además L 6= N ya que si y está en M , entonces y + 1 ∈
/L
porque y + 1 > y. Por el postulado de inducción, esto implica que hay t en L
tal que t+1∈ 6 / L.
Armación: t ∈ M y t ≤ m ∀m ∈ M, se tendría t < m ∀m ∈ M . Luego

t + 1 ≤ m para todo m en M, con lo cual t + 1 ∈ L contradiciendo la forma de
elgir t. Con esto t = mı́n M y el teorema está demostrado.
Observación 3.0.6
El teorema 3.0.11 se llama a veces teorema del número minimal. Como apli-
cación mostraremos que:
2 = 1 + 1 = s(1), entonces no hay números naturales entre 1 y 2, es decir,
Si
no hay m∈ N tal que 1 < m < 2
En efecto, si los hubiera entonces el conjunto M = {m ∈ N; 1 < m < 2}
sería no vacío y tendría un menor elemento p, es decir p sería el menor número
natural tal que 1 < p < 2. Luego p = 1 + q para cierto q ∈ N, con q < p < 2,
es decir 1 ≤ q < 2, y como p ya que era el menor satisfaciendo la desiguldad
estricta, se tiene que q = 1. Por tanto p = 2 lo que es una contradicción.
Es claro que la armación también se mostrará el Segundo Principio de
Inducción. Para ello se dene para cada n número natural el segmento incial In
como el conjunto de los números naturales menores o iguales que n.
Teorema 3.0.12
Sea M ⊆N
Si i) 1∈M y
ii) In ⊆ N ⇒n + 1 ∈ M, entonces M = N.
Demostración: Si fuera M 6= N, habrían números naturales r que no estarían

en M. Sea n el menor de ellos, es decir
In−1 ⊆ M y n∈
/M
contradiciento la hipótesis ii)
Observación 3.0.7
Existen dos principios de inducción, los que hemos utilizando y que seguire-
mos utlizando a lo largo de esta tesis.
Uno de ellos es el de la observación 3.0.1 y el otro del teorema 3.0.12. A modo
de explicación estos dos principios se suelen presentar de la siguiente manera:
1. Sea Pn una proposición donde n es número natural.
Si i) P1 es verdadera y
ii) Pn verdadera ⇒ Pn+1 verdadera, entonces Pn es verdadera para todo n.
2. Sea Pn una proposición donde n es número natural.
Si i) P1 es verdadera y
ii) Pr verdadera para todo r < n ⇒ Pn verdadera, entonces:
Pn es verdadera para todo n.
3.0.1. RESUMEN
Partiendo de los postulados de Peano, se ha demostrado que en el conjunto

N de los números naturales hay una suma y un producto bien denidos tales
que:
1. La suma es asociativa y conmutativa.
2. El producto es asociativo, conmutativo, tiene elemento neutro 1 y es dis-
tributivo con respecto a la suma
3. Hay un orden ≤ en N que es respetuoso de la estructura algebraica de N
(ver el Teorema 3.0.8)
4. Rige el principio de inducción.
5. Cada conjunto no vacío de números naturales tiene un menor elemento.
DEFINICIÓN:
2 = s(1) = 1+1
3 = s(2) = 2+1
4 = s(3) = 3+1
5 = s(4) = 4+1
7 = s(5) = 5+1
8 = s(6) = 6+1
9 = s(7) = 7+1
10 = s(9) = 9+1
Observación 3.0.8 (1.10)
En el conjunto N, la desigualdad x < 10 es equivalente con la desigual-

dad x ≤ 9 y se verica sólo para los números del siguiente conjunto C =
{1, 2, 3, 4, 5, 6, 7, 8, 9}.
PROPIEDADES COMPLEMENTARIAS
Se desea probar que una función de N → A queda bien denida por f (1) y
por una regla que permite obtener f (n + 1) conociendo f (n). Más precisamente.
Teorema 3.0.13
(de denición recursiva). Sea A conjunto no vacío y g : A → A. Dado un

a ∈ A hay una única función f : N → A tal que f (1) = a y que hace conmutativo
el diagrama:
Es decir, tal que f (1) = a y g(f (n)) = f (n + 1) para todo n ∈ N.
Demostración: Unicidad. Si h : N →A satisfacen condiciones, y fueran

f y
distintas habría un menor número natural r tal que f (r) 6= h(r). Luego r 6= 1.
0 0 0 0
Entonces, f (r ) = h(r ) ⇒ f (r) = h(r), donde r es tal que r = r + 1. Lo que
es una contradicción. Esto quiere decir entonces que f = h.
Existencia. Para ello es necesario especicar el conjunto F ⊆ N×A tal que
b = f (n) ⇐⇒ (n, b) ∈ F.
Llamemos conjunto a -recursivo a un conjunto T ⊆ N×A. Que verique:
1. (1, a) ∈ T
2. (n, b) ∈ T ⇒ (s(n), g(b)) ∈ T . Es claro que N×A mismo es un conjunto
a -recursivo, e intersecciones arbitrarias de conjunto a -recursivo son conjuntos
a -recursivos. Poniendo F =intersección de todos los conjuntos a -recursivos, se
puede demostrar que F es una función que satisface la conclusión del teorema.
Observación 3.0.9
1) Nótese que las deniciones de suma y producto son, estrictamente ha-
blando, deniciones recursivas.
2) Usando el teorema 3.0.13 puede denirse para cada elemento a de un
anillo A, y cada número natural n :
1. an : mediante a1 = a
an+1 = an · a y
2. n·a: mediante 1·a=a
(n + 1)a = n · a + a
Con esto se tiene, por ejemplo:
a2 = a·a
a3 = a·a·a
2a = a+a
3a = a+a+a
Capítulo 4
LOS NÚMEROS ENTEROS.
Más adelante se verá que los números naturales sirven para contar en el
sentido de servir como conjunto básico para la comparación con otros con-
juntos y que la relación de orden denida en N permite medir el porte de un
conjunto.
Sin embargo, N adolece de ciertos defectos, por ejemplo como m + n 6= m
para todo n ∈ N, se tiene que no hay un elemento neutro para la suma y menos
podrá haber entonces opuestos aditivos de los números naturales.
Ambas fallas se corrigen creando un nuevo conjunto con estructura algebrai-
ca que extiende la estructura de N , en el sentido que el nuevo conjunto Z,
contiene a N y a su estructura algebraica, en un sentido que aparece claro más
adelante. (véase teorema 2.5).
El punto de partida es el conjunto N × N, que es el producto cartesiano de
N por N, o dicho de otra forma el conjunto de todos las combinaciones posibles
de los pares ordenados de la forma (a, b) tales que a, b ∈ N.
Observación 4.0.1
Se dene entonces la siguiente relación:
(a, b) ∼ (c, d) ⇐⇒ a + d = b + c (4.1)
Se están tomando cuatro elementos del conjunto de los números naturales y

se los está relacionando mediante una suma. Suma que los matemáticos encon-
traron que tenían ciertas propiedades útiles.
Antes de continuar y para mayor claridad, se detallará a continuación una
denición de la Relación de Equivalencia y Clase de Equivalencia.
Relación de Equivalencia Una relación de equivalencia sobre un conjunto

X es un subconjunto X×X ≥ C de pares ordenados con elementos de X,
los cuales satisfacen ciertas propiedades. Estas propiedades permiten establecer
una relación entre elementos del conjunto, los cuales pueden ser reagrupados en
Clases de Equivalencia, es decir agrupados en subconjuntos de elementos
27
CAPÍTULO 4. LOS NÚMEROS ENTEROS. 28
similares. Es de esta forma que vamos a construir un nuevo conjunto numérico

juntando a todos los elementos de esta misma clase de equivalencia y convir-
tiéndolos en un solo elemento que los representará.
Se escribe xRy para representar (x, y) ∈ C, y decimos que x está relacionado
con y, y sus propiedades son.
1. Reexiva: aRa ∀a ∈ X
2. Simétrica: aRb implica bRa para todo a, b ∈ X
3. Transitiva: Si aRb y bRc implica que aRc ∀a, b, c ∈ X
Donde estas tres propiedades son completamente independientes. Otras notacio-
nes son usadas para indicar una relación, por ejemplo a ≡ b o a ∼ b, esta última
es la usada en esta tesis. Denamos ahora lo que son las clases de equivalencia.
Clases de Equivalencia Una clase de equivalencia se dene como un subcon-

junto de la forma {x ∈ X : xRa} , donde a es un elemento de X y la notación
xRy es usada para denotar que hay una relación de equivalencia entre x e y. Se
puede demostrar que dos clases de equivalencias pueden ser iguales o disjuntas.
De ahí una colección de clases de equivalencias forman una partición de X .
Para todo a, b ∈ X , tenemos que aRb si y solo si a y b pertenecen a la misma
clase de equivalencia.
Un conjunto de clase representativa es un subconjunto de X que contiene
exactamente un elemento de cada clase de equivalencia.
Ejemplo: Para a, b ∈ Z y n entero positivo, considérese la congruencia
a ≡ b(mod n). Luego las clases de equivalencia para n = 1, 2, ...etc son los
conjuntos {..., −2n, −n, 0, n, 2n...} , {..., −1 − 2n, 1 − n, 1, 1 + n, 1 + 2n, ...} , etc.
Los elementos representativos a considerar de cada conjunto descrito anterior-
mente serían el 0, 1, 2, ..., n − 1.
Continuemos con el siguiente teorema.
Teorema 4.0.1
La relación (1) denida hace poco ∼ en N×N , es una relación de equiva-
lencia. O sea que cumple con las propiedades reexiva, simétrica y transitiva.
Demostración: i) (a, b) ∼ (a, b) ya que a + b = b + a

(a, b) ∼ (a1 , b1 ) ⇒ (a1 , b1 ) ∼ (a, b)
ii)
En efecto: (a, b) ∼ (a1 , b1 ) ⇒ (a1 , b1 ) ∼ (a, b) ⇒ a + b1 = b + a1 ⇒ a1 + b =
b1 + a ⇒ (a1 , b1 ) ∼ (a, b)
iii) (a, b) ∼ (a1 , b1 ) y (a1 , b1 ) ∼ (a2 , b2 ) ⇒ (a, b) ∼ (a2 , b2 )
En efecto, la hipótesis implica que:
a + b1 = b + a1 y a1 + b2 = b1 + a2
Luego a + b1 + a1 + b2 = b + a1 + b1 + a2
es decir a + b2 + a1 + b1 = b + a2 + a1 + b1
por tanto a + b2 = b + a2
con lo cual se tiene que (a, b) ∼ (a2 , b2 ), cumpliendo con la transitividad.
DEFINICIÓN
El conjunto de pares ordenados N×N con la relación ” ∼ ”, es Conjunto
de Clases de Equivalencia, se llamará conjunto de los números enteros y
cada clase de equivalencia se llamará número entero.
Sépase que puede existir una clase de equivalencia que contenga una innidad
de elementos y este conjunto único puede representar a un solo número entero.
Notación: Z paraN × N/ ∼
[a, b] para la clase de equivalencia
C(a, b) = {(x, y) ∈ N × N; (x, y) ∼ (a, b)}

Sabemos que el conjunto Z posee tanto números negativos como positi-
vos. Unas de las formas que se encontró para dar una estructura algebraica
a este conjunto o entregarle propiedades fue mediante la relación de clases de
equivalencia. En términos sencillos se está diciendo que por ejemplo el número
−5 se relaciona con (a, b) para algún (o algunos) a, b ∈ N.
Así, se están creando pares ordenados con propiedades para que más tarde
exista una biyección que va desde N × N → Z, desde otra forma podemos armar
que el conjunto de N×N con sus clases de equivalencia, es igual aZ.
Entonces, para dar a Z una estructura algebraica, denimos (creamos, in-
ventamos) una adición y un producto entre clases de equivalencia de la siguiente
manera
[a, b] + [c, d] = [a + c, b + d]
[a, b] · [c, d] = [ac + bd, ad + bc]
Se observa de inmediato que esta denición adolece de un defecto poten-

cial, que consiste en denir operaciones entre clases mediante operaciones con
ciertos elementos particulares de clase (representantes). Es perfectamente conce-
bible que tomando otros representantes los resultados puedan ser esencialmente
distintos. Probaremos que esto no es así, o sea, que las operaciones + y · en Z
están bien denidas. En buenas cuentas, hay que demostrar que los resultados
son independientes de los representantes que se elijan para los elementos de Z
que participan en la operación.
Más precisamente:
Teorema 4.0.2
Sean ai , bi , ci , di ∈ N, i = 1, 2. Si:
[a1 , b1 ] = [a2 , b2 ]
[c1 , d1 ] = [c2 , d2 ]
en Z entonces,
i) [a1 , b1 ] + [c1 , d1 ] = [a2 , b2 ] + [c2 , d2 ] y
ii) [a1 , b1 ] · [c1 , d1 ] = [a2 , b2 ] · [c2 , d2 ]
Demostración: Por denición de clases de equivalencia: [x, y] = [x1 , y1 ] en Z ⇐⇒

(x, y) ∈ N × N ⇐⇒ x + y1 = x1 + y ∈ N.
Con esto se tiene que la hipótesis del teorema implica que:
a1 + b2 = a2 + b1 y c1 + d2 = c2 + d1 (º)
Pero el caso i) se quiere probar que
[a1 + c1 , b1 + d1 ] = [a1 , b1 ] + [c1 , d1 ] = [a2 , b2 ] + [c2 , d2 ] = [a2 + c2 , b2 + d2 ]
y para ello es suciente mostrar que a1 + c1 + b2 + d2 = a2 + c2 + b1 + d1 .
Esto último se obtiene simplemente sumando miembro a miembro los núme-
ros que aparecen en (º).
Con esto se completa i).
Para ii) se quiere probar que:
[a1 · c1 + b1 · d1 , a1 · d1 + b1 · c1 ] = [a1 , b1 ]·[c1 , d1 ] = [a2 , b2 ]·[c2 , d2 ] = [a2 c2 + b2 d2 , a2 d2 + b2 c2 ]
Para ello mostraremos que:
[a1 , b1 ] · [c1 , d1 ] = [a2 , b2 ] · [c1 , d1 ]

y que [a2 , b2 ] · [c1 , d1 ] = [a2 , b2 ] · [c2 , d2 ]
Naturalmente que con esto se completa la armación de ii). Para demostrar
la primera, es suciente probar que:
[a1 · c1 + b1 · d1 , a1 · d1 + b1 · c1 ] = [a2 c1 + b2 d1 , a2 d1 + b2 c1 ]
lo cual es equivalente con
a1 c1 + b1 d1 + a2 d1 + b2 c1 = a1 d1 + b1 c1 , a2 c1 + b2 d1
y esta se reduce a
(a1 + b2 ) · c1 + (b1 + a2 ) · d1 = (a1 + b2 ) · d1 + (b1 + a2 ) · c1

Pero para comprobar esta última nótese que
a1 + b2 = a2 + b1 = b1 + a2 luego
(a1 + b2 ) (c1 + d1 ) = (a1 + b2 ) (d1 + c1 ) y entonces
(a1 + b2 ) · c1 + (b1 + a2 ) · d1 = (a1 + b2 ) · d1 + (b1 + a2 ) · c1

Análogo procedimiento para la segunda ecuación completa el resultado desea-
do.
Ahora probaremos que Z con estas dos leyes de composición interna satisface
todas las propiedades deseables para la suma y el producto de números. Más
precisamente:
Teorema 4.0.3
Z con la suma y producto denidos antes, es un anillo conmutativo unitario.
Demostración: Por lo dicho en la primera parte, es necesario vericar que:
1. La suma es asociativa y conmutativa, tiene neutro y cada elemento tiene

opuesto aditivo.
2. El producto es asociativo y distributivo con respecto a la suma.
Además es conmutativo y tiene neutro, vamos entonces por partes:
Asociatividad
([a, b] + [a1 , b1 ]) + [a2 , b2 ] = [a + a1 , b + b1 ] + [a2 , b2 ]
= [(a + a1 ) + a2 , (b1 + b1 ) + b2 ] = [a + (a1 + a2 ) , b + (b1 + b2 )]
= [a, b] + [a1 + a2 , b1 + b2 ] = [a, b] + ([a1 , b1 ] + [a2 , b2 ])
lo cual prueba que la suma es asociativa. Nótese que se usa esencialmente la

asociatividad de los naturales.
Para la asociatividad del producto se tiene
([a, b] · [a1 , b1 ]) · [a2 , b2 ] = [aa1 + bb1 , ab1 + ba1 ] · [a2 , b2 ]

= [(aa1 + bb1 ) · a2 + (ab1 + ba1 ) · b2 , (aa1 + bb1 ) · b2 + (ab1 + ba1 ) · a2 ]
= [aa1 a2 + bb1 a2 + ab1 b2 + ba1 b2 , aa1 b2 + bb1 b2 + ab1 a2 + ba1 a2 ]
= [aa1 a2 + ab1 b2 + ba1 b2 + bb1 a2 , aa1 b2 + ab1 a2 + ba1 a2 + bb1 b2 ]
= [a (a1 a2 + b1 b2 ) + b (a1 b2 + b1 a2 ) , a (a1 b2 + b1 a2 ) + b (a1 a2 + b1 b2 )]
= [a, b] · [a1 a2 + b1 b2 , a1 b2 + b1 a2 ]
= [a, b] · ([a1 , b1 ] · [a2 , b2 ])
Por lo tanto ([a, b] · [a1 , b1 ]) · [a2 , b2 ] = [a, b] · ([a1 , b1 ] · [a2 , b2 ]), probándose la
asociatividad.
Conmutatividad La de la suma es bastante sencilla pues se desea probar que

(a, b) + (c, d) = (c, d) + (a, b), entonces:
(a, b) + (c, d) = (a + c, b + d)
= (c + a, d + b) (por conmutatividad de los naturales)
por ende se tiene que (a, b) + (c, d) = (c, d) + (a, b) cumpliéndose la conmutatividad de la suma para Z
Para el producto algo similar:

[a, b] · [c, d] = [ac + bd, ad + +bc] = [ca + db, da + cb] = [c, d] · [a, b]
Neutros Por observación 4.0.1, se sabe que (a, b) ∼ (c, d) ⇐⇒ (a + d) =

(b + c).
Ejemplicando numéricamente (4, 3) ∼ (3, 2) pues 4 + 2 = 3 + 3.
Entonces para la suma nótese que n + m = m + n ⇒ [n, n] = [m, m] ∀ m, n ∈
N.
[1, 1] es el neutro aditivo, ya que [a, b] + [1, 1] = [a + 1, b + 1] =
Luego la clase
[a, b] [a, b] ∈ Z.
para todo
Esto es [a + 1, b + 1] ∼ [a, b] pues a + 1 + b = b + 1 + a.
Ejemplo: [5, 7] + [1, 1] = [6, 8]. Y [6, 8]=[5, 7] pues 6 + 7 = 8 + 5.
Para el producto, nótese que para todo m y n naturales, se tiene [m+1, m] =
[n + 1, n] y que la clase [2, 1] es la unidad de Z ya que
[a, b] · [2, 1] = [2a + b, 2b + a] = [a, b]

de esta forma [2a + b, 2b + a] = [a, b] pues por observación 4.0.1 2a + b + b =
2b + a + a así 2a + 2b = 2b + 2a
Opuesto aditivo Para encontrar el opuesto aditivo debemos sumar dos ele-
mentos de la forma [a, b] de tal forma que su resultado sea el elemento neutro
de la suma, o sea el [1, 1] el que se corresponde con el 0.
Entonces, el opuesto aditivo de [a, b] en Z es el entero [b, a] ya que
[a, b] + [b, a] = [a + b, b + a] = [1, 1]

Para mayor claridad, ejemplicaremos con elementos numéricos
[7, 3] + [3, 7] = [10, 10] y [10, 10] = [1, 1] pues 10 + 1 = 10 + 1
En resumen todos los elementos de la forma [a, a] ∀a ∈ N serán iguales a [1, 1].
[a, b] · {[x1 , y1 ] + [x2 , y2 ]} = [a, b] · [x1 + x2 , y1 + y2 ]

= [a {x1 + x2 } + b {y1 + y2 } , a {y1 + y2 } + b {x1 + x2 }]
Distributividad = [ax1 + ax2 + by1 + by2 , ay1 + ay2 + bx1 + bx2 ]
= [ax1 + by1 , ay1 + bx1 ] + [ax2 + by2 , ay2 + bx2 ]
= [a, b] · [x1 , y1 ] + [a, b] · [x2 , y2 ]
Notar que en la demostración anterior debió probarse la neutralidad de los
neutros a la izquierda y a la derecha y lo mismo debió hacerse con la distributi-
vidad. Sin embargo esto no fue necesario porque poco antes fue demostrada la
conmutatividad de las operaciones.
Observación 4.0.2
Z por el simple hecho de ser anillo, goza de algunas propiedades que conviene
destacar. Como de costumbre, 0 representa al neutro aditivo y 1 a la unidad de
Z . Si a es un entero, de denota por −a el opuesto aditivo de a, es decir, por
denición −a satisface:
(−a) + a = a + (−a) = 0
Además −a es claramente el único entero que satisface dicha igualdad. En

efecto, si b ∈ Z es tal que b + a = 0, entonces
b + a + (−a) = 0 + (−a) = −a
es decir, −a = b + (a + (−a)) = b + 0 = b
Luego b = −a. Es inmediato entonces que −(−a) = a. El entero b + (−a) se
denota b − a.
A continuación se añadirán más propiedades numéricas al conjunto Z.
Teorema 4.0.4
Sean a, b, c, d números enteros. Entonces:
1. b − a es el único entero que verica (b − a) + a = b, es decir, x = b − a ⇐⇒

x + a = b.

 a − (b + c) = a − b − c

2. a − (−b) = a + b (propiedades del paréntesis)

a + (b − c) = a + b − c

3. 0·a=0 y a·0=0
4. a(b − c) = ab − ac
5. a(−b) = (−a)b = −ab
6. (−a)(−b) = ab
Demostración
1.
(b − a) + a = b + (−a) + a
= b + ((−a) + a)
= b
y b−a es el único entero que satisface la ecuación x + a = b, ya que si n

es solución se tiene n + a = b, luego
n = n + 0 = n + a + (−a) = b − a es decir n=b−a
2. i)
a − b − c + (b + c) = a + (−c) + (−b) + b + c
= a + (−c) + 0 + c
= a, es decir
a = a − b − c + (b + c) y en virtud de 1, esto signica que
a − (b + c) = a−b−c
ii) Por i) se tiene que
a − (b − c) = a − (b + (−c))
= a − b − (−c)
= a−b+c
iii) a − ((−b)) = a + (−(−b)) = a + b
iv) a + (b − c) = a + b − c
a + (b − c) = a + (b + (−c))
= a + b + (−c)
= a+b−c
3.
b · a = (b + 0) · a
= ba + 0a ...luego
0a = (−ba) + ba + 0a
= −(ba) + ba
= 0, es decir 0a = 0
Por conmutatividad de la multiplicación a · 0 = 0 · a = 0.
4. a(b − c) + ac = a((b − c) + c) = a(b + 0) = ab + a · 0 = ab.
Luego a(b − c) = ab − ac es propiedad 1.
5. a(−b) = a(0 − b) = a · 0 − ab = −ab

6. (−a)(−b) = −(a(−b)) = −(−ab) = ab
Conviene destacar, nuevamente, el hecho que las propiedades 1, 2, 3, 4, 5 y 6
son válidas en anillos cualesquiera, es la ley de cancelación para la suma:
Si a + b = c + b, entonces a = c.
Antes se mostró que 0 = [1, 1] y que 1 = [2, 1]. Demostrar que
[p, q] = 0 ⇐⇒ p=q
[p, q] = 1 ⇐⇒ p=q+1
Ahora mostraremos que Z es efectivamente una extensión de N en el sentido
que Z contiene una copia de
N. Más precisamente, esto signica que hay una
inyección h : N → Z que respeta las operaciones en N, es decir: h : (n + m) =
h(n) + h(m) y h(n · m) = h(n) · h(m).
Esto permite traducir en Z toda la propiedad que se verique en N efectuando
todo tipo de operaciones con los f (n) en f (N) en lugar de hacerlo con todos
los n ∈ N . En buenas cuentas, esto da motivo para identicar a los n ∈ N con
f (n) ∈ Z, usando si se desea la misma notación para ambos elementos, ya que
desde el punto de vista algebraico no hay diferencia salvo la distinta notación
para cada uno de ellos.
Teorema 4.0.5
La Aplicación
h:N → Z
n → [n + 1, 1]
es una inyección respetuosa de la estructura algebraica de los naturales, o

sea,
h(n + m) = h(n) + h(m)

h(n · m) = h(n) · h(m)
Demostración: h es inyección porque si h(n) = h(m), entonces
[m + 1, 1] = [n + 1, 1]
Luego m + 1 + 1 = n + 1 + 1, por tanto m = n.
O sea, h(n) = h(m) ⇒ n = m.
h respeta la suma, ya que h(n + m) = [n + m + 1, 1] = [n + m + 1 + 1, 1 + 1] =
[n + 1, 1] + [m + 1, 1] = h(n) + h(m). Luego h(n + m) = h(n) + h(m).
h respeta el producto h(nm) = [nm+1, 1] = [nm+n+m+1+1, n+m+1+1] =
[n + 1, 1] · [m + 1, 1] = h(n) · h(m).
Existe algo que nos está incomodando en este proceso de construcción de Z,
y es que los elementos de un subconjunto tienen la forma [n + 1, 1] con n∈ N.
Esta forma compleja de notación será reemplazada por una más sencilla, y
consiste en reemplazar este elemento simplemente por un n ∈ N, dicho de otra
forma, la identicación se llevará a cabo de la siguiente manera:
Se forma entonces el conjunto Z − h(N), es decir, "sacar" de Z el conjunto
h(N), h(N) son de la forma [n + 1, 1]. Ahora en el lugar
donde los elementos de
dejado libre por h(n) en Z se pondrán elementos n ∈ N y se considerarán ahora
como elementos de Z. Ahora bien, si se desean efectuar operaciones con n y otros
elementos de Z, hacerlas como se hacían con h(n), es decir, para n ∈ N, r ∈ Z.
Sépase que las propiedades de suma y multiplicación de los elementos con la
forma[n + 1, 1] están demostradas y son bien denidas, por ende si este es reem-
plazado por un n∈N simplemente pasarán a tener también esas propiedades.
de esta forma tenemos que n + r = h(n) + r además nr = h(n) · r
Con esta identicación (igualación o correspondencia de unos elementos con

otros) N pasa a ser propiamente un subconjunto de Z, y claramente se verica
para m, n ∈ N, que m + n y m · n son elementos de N. Además si α = [p, q] para
ciertos p, q ∈ N. Luego
α = [p, q] = [p+1+1, q+1+1] = [p+1, 1]+[1, q+1] = [p+1, 1]−[q+1, 1] = h(p)−h(q) (∗)
se sabe que (a, b) ∼ (c, d) ⇐⇒ a + d = b + c, entonces en el enunciado

anterior nos está diciendo que
[p + 1, 1] + [1, q + 1] ∼ [p + 1, 1] − [q + 1, 1]
[p + 1 + 1, q + 1 + 1] ∼ [p + 1 − q, 1 − 1]
[p + 2, q + 2] ∼ [p − q, 0]
estos dos elementos son congruentes pues
p+2+0 = q+2+p−q
p + 2 = p + 2 quedando demostrada la igualdad (∗)
Para llevar a cabo la simplicación de notación podemos decir que
α=p−q
Claramente esto nos presenta un elemento nuevo ya que está dando la posi-
bilidad de que todos los elementos de Z puedan ser resultado de la resta, lo que
no ocurre siempre con N.
Por último, por la forma de denir h, es claro que la Unidad de N se identica
con la Unidad de Z, ya que h(1) = [2, 1] = 1, la unidad en Z. Resumiendo todo
esto, se tiene el
Corolario 4.0.1
Mediante la inyección
N → Z
n 7→ [n + 1, 1]
N se identica con un subconjunto de Z, tal que cada entero es el resultado

de una resta entre dos números naturales y la unidad de N se identica con la
unidad en Z. Además, para p, q ∈ N, p − q ∈ N si y solo si p > q . En tal caso
p−q es el (único) número natural d que verica p = q + d.
Demostración Es necesario comprobar sólo la segunda parte. Sea p > q en N,

es decir, p = q+d para cierto d número natural. d es único con esta propiedad,
en virtud de la ley de cancelación. Luego
p−q =d∈N
Recíprocamente, si p − q ∈ N entonces p − q = d para algún d ∈ N. Luego

p = q + d, p > q . Q.E.D.
o sea,
Nótese que dado α = [p, q]∈ Z hay sólo tres posibilidades para la pareja p, q :
i)p > q ⇒ α = h(d) = d (por reemplazo), donde p = q + d.
En este caso α ∈ N.
ii) p = q ⇒ α = [p, p] = 0 ∈ Z
p < q ⇒ α = [p, q] = [q, p] = −h(r) = −r (por reemplazo), donde r ∈ N

iii)
satisface q = p + r.
Además estas propiedades de α son independientes de la elección de repre-
sentantes para la clase de equivalencias, o sea, estas propiedades siempre se van
a cumplir independiente del elemento de la forma [p, q] = α que tomemos. En
efecto, si α = 0 ∈ Z y α tiene la representación[m, n], entonces [m, n] = [1, 1],
es decir m = n. Por otra parte si α = [p, q] = [m, n] conp > q , entonces
p + n = m + q implica que m > n, ya que en la pareja de naturales (m, n) hay
solo tres posibilidades: m = n, m < n, m > n y las dos primeras son claramente
imposibles como se explicó anteriormente. Luego se tiene el
Teorema 4.0.6
N ⊂ Z verica la siguiente propiedad:
1. a, b ∈ N ⇒ a + b ∈ N y ab ∈ N.
2. a ∈ Z ⇒ a ∈ N o a = 0 o −a ∈ N
y cada una de estas alternativas excluye las otras dos.
DEFINICIÓN: N ⊂ Z (por tener las propiedades 1 y 2 del teorema anterior)
se llama conjunto de los enteros positivos.
Observación 4.0.3
Cada vez que en un anillo se pueda denir un conjunto de positivos, se puede
denir un orden "respetuoso" de la estructura algebraica, en un sentido análogo
al del teorema 3.0.8. Para este efecto se pone: a, b ∈ Z: a < b ⇐⇒ b − a ∈ N.
Por lo dicho antes se tiene la forma inmediata.
i) a<b b < c ⇐⇒ a < c
y
ii) Para a, b ∈ Z rige una y solo una de las tres posibilidades: a < b o a=b
o b < a (ya que b − a satisface la parte 2 del teorema 4.0.6).
DEFINICIÓN: Sean a, b ∈ Z
a ≤ b ⇐⇒ a < b o a=b
a≤b se lee, a es menor o igual que b.
Teorema 4.0.7
La relación ≤ es relación de orden total sobre Z, respetuosa de la estructura
algebraica de Z, es decir,
1. x≤y z ∈Z ⇒ x+z ≤y+z
2. x≤y 0 < z ⇒ xz ≤ yz
Demostración: I Para demostrar que ≤ es de orden se demostrarán tres

propiedades, reexividad, antisimetría y transitiva.
i) x ∈ Z ⇒ x = x ⇒ x ≤ x (reexividad)
ii) x ≤ y, y ≤ x ⇒ x = y, ya que cualquier otra alternativa para la pareja
x, y es imposible. (antisimétrica)
iii) x≤y e y≤z⇒x≤z (transitividad) porque si hay un signo igual todo

es claro. Si los dos signos son < el resultado surge en forma inmediata de la
denición.
Por último, dados a y b enteros, se tiene que a−b ∈ N o a−b = 0 o b−a ∈ N,
por el Teorema 4.0.6. Luego b < a o a = b o a < b y solo una de estas alternativas
es válida. De esta forma ≤ es orden total sobre Z.
II. 1) Sea x < y, z entero. Entonces,
(y + z) − (x + z) = y − x ∈ N
x+z <y+z
Luego
x = y , entonces x+z = y+z. O sea x ≤ y , z entero ⇒ x+z ≤ y+z.
Además si
2) Si alguno de los signos ≤ es = en la hipótesis, en la conclusión el signo es
=. Si ambas son desigualdades estrictas se tiene: y − x, z ∈ N, luego zy − zx =
z(y − x) ∈ N y, por tanto, zx < zy.
Observación 4.0.4
Lo mismo que en teorema 3.0.8, la demostración anterior dice más que el
enunciado del teorema.
En efecto, la demostración arma que si x, y, z son enteros, entonces:
x<y ⇒ x+z <y+z

x=y ⇒ x+z =y+z
x>y ⇒ x+z >y+z
Luego los recíprocos (o sea ⇐ ) de cada uno de ellos son válidos, es decir,
cada implicación es realmente una doble implicación.
Análoga observación rige para el producto, es decir, si x, y son enteros y
z > 0, entonces
x < y ⇒ xy < yz
x = y ⇒ xz = yz
x > y ⇒ xz > yz
Además valen en Z propiedades análogas a las de los números naturales tales
como:
1. x ≤ y, y<z ⇒ x<z
2. x < y, y≤z ⇒ x<z
3. x < y, z<u ⇒ x+z <y+u
4. x ≤ y, z<u ⇒ x+z <y+u
5. x ≤ y, z ≤u ⇒ x+z ≤y+u
Finalmente, si se llaman positivos a los enteros mayores que cero y negativos a
los enteros menores que 0, se tiene el
Teorema 4.0.8
El orden ≤ en Z coincide en N con el orden ≤ denido en el capítulo anterior.
Demostración: Sean m, n números naturales:

m=n en N ⇒m = n en Z
m<n en N ⇒n = m + p para algún p natural ⇒ n − m = p ∈ N ⇒ m < n
en Z.
Además n ∈ N ⇐⇒ n − 0 = n ∈ N ⇐⇒ n > 0. O sea N= conjunto de los
enteros positivos.
Observación 4.0.5
1) El principio de inducción rige sobre el conjunto de los enteros positivos.
en particular, todo subconjunto no vacío de enteros positivos tiene un menor
elemento.
2) De acuerdo con la interpretación gráca para los productos cartesianos, los
enteros pueden representarse geométricamente, donde cada entero es una colec-
ción de puntos de la red N×N, sobre una recta de la misma dirección que la bisec-
triz del cuadrante. Dicha bisectriz contiene la clase 0, las rectas sobre ella contie-
nen los enteros negativos y las rectas del semiplano inferior los enteros positivos.
Si no se desea tomar en cuenta el origen de los enteros como par ordenado, es más
simple representarlos directamente en un eje, los positivos a la derecha del cero y
los negativos a la izquierda.
Demostración:
1. Probar que si x, y, z ∈ Z, z < 0, x < y ⇐⇒ xz > yz.
Si x < y ⇒x + n = y
x+n = y con n ∈ N
(x + n) · z = yz
xz + nz = yz se sabe que nz < 0 ⇒ −nz > 0
xz + nz − nz = yz − nz
xz + (nz − nz) = yz − nz
xz + 0 = yz − nz por inverso aditivo
xz = yz + m con m ∈ N
Si xz = yz + m ⇒ yz < xz
2. Probar que x2 > 0 para todo entero x 6= 0. Es decir Z no contiene divisores
de cero.
RESUMEN: Z, conjunto de los enteros, con suma y producto es un anillo con-

mutativo unitario, sin divisores de cero, que contiene a los números naturales.
Además la relación x ≤y siy − x ∈ N es un orden total sobre Z, respetuoso
de la estructura algebraica y tal que N es exactamente el conjunto de los enteros
positivos, con el que se dene una partición de Z de la siguiente manera:
Z = N ∪ {0} ∪ −N donde − N = {−n; n ∈ N}

Capítulo 5
LOS NÚMEROS
RACIONALES.
Los números racionales aparecieron para dar solución a los defectos que
presentan los números naturales y los números enteros, pero ¾cuáles eran estos
defectos?.
En el caso de los números naturales no siempre es posible realizar la resta y
la división, y en el caso de los números enteros no siempre es posible realizar la
división en este caso dar solución a la ecuación cx + a = b.
Es por esto que es necesario denir un conjunto numérico que incluya a los
números enteros y respete su estructura algebraica y de orden.
El punto de partida ahora es el conjunto Z×Z∗ , donde Z∗ = Z − {0} =conjunto
de los enteros no nulos. En el conjunto, Z × Z∗ se dene la siguiente relación
(a, b) ∼ (a1 , b1 ) ⇔ ab1 = a1 b.
Teorema 5.0.1
La relación ∼ en Z × Z∗ es relación de equivalencia.
Demostración: Se ve fácilmente que la relación es reeja pues (a, b) ∼ (a, b) ⇔

ab = ba ⇒ (a, b) ∼ (a, b).
Si es reeja se cumple que (a, b) ∼ (a1 , b1 ) ⇒ (a1 , b1 ) ∼ (a, b)
en efecto (a, b) ∼ (a1 , b1 ) ⇒ ab1 = ba1 ⇒ ba1 = ab1 ⇒ a1 b = b1 a ⇒
(a1 , b1 ) ∼ (a, b).
Finalmente para demostrar la transitividad, es cierto pues si
(a, b) ∼ (a1 , b1 )(a1 , b1 ) ∼ (a2 , b2 ) ⇒ ab1 = a1 ba1 b2 = a2 b1 ab1 b2 = a1 bb2 = a1 b2 b = a2 bb1 ab2 b1 = a2 bb1
41
CAPÍTULO 5. LOS NÚMEROS RACIONALES. 42
Esto implica que ab2 = a2 b, es decir, (a, b) ∼ (a2 , b2 ). DEFINICIÓN: Z × Z∗ / ∼,

conjunto de las clases de equivalencia. se llama conjunto de los números racio-
nales y cada clase de equivalencia se llama (número) racional.
Notación: Q para Z × Z/ ∼.
x
para la clase de equivalencia C(x,y) = {(a, b) ∈ Z × Z∗ , (a, b) ∼ (x, y)}
y
Igual que antes, se desea dar a Q una estructura algebraica, deniendo una
suma y un producto entre las clases de equivalencia. Para ello se anota:
x u xv + yu
+ =
y v yv
x u xu
· =
y v yv
Claramente y, v 6= 0. Además puede comprobarse que estas operaciones están
bien denidas, es decir, se verica:

x u
=


y v
 x x1 u u1
⇒ + = +
x1 u1  y y1 v v1
= 

y1 v1
x x1 u u1
· = ·
y y1 v v1
La primera se comprueba así:
x u x1 u1 xv − yu = 0
La hipótesis con = y = implica que
y v y1 v1 x1 v1 − y1 u1 = 0
por tanto
xv − yu = 0 ⇒ xvy1 v1 − yuy1 v1 = 0
x1 v1 − y1 u1 = 0 ⇒ x1 v1 yv − y1 u1 yv = 0
de ambas expresiones se obtiene:
vy1 v1 − yuy1 v1 + x1 v1 yv − y1 u1 yv = 0
xvy1 v1 + x1 v1 yv = yuy1 v1 + y1 u1 yv
(xy1 + yx1 )vv1 = (uv1 + u1 v)yy1
es decir:
xy1 + yx1 uv1 + u1 v
=
yy1 vv1
x x1 u u1
+ = +
y y1 v v1
La segunda se comprueba así:
xv = yu
La hipótesis implica que
x1 v1 = y1 u1
por tanto, xx1 vv1 = (xv)(x1 v1 ) = (yu)(y1 u1 ) = yy1 uu1 , es decir:
x x1 xx1 uu1 u u1
· = = = ·
y y1 yy1 vv1 v v1
Luego de quedar denida la suma y el producto en Q es necesario demostrar
que estas operaciones satisfacen nuevamente todas las propiedades deseables
y que el conjunto Q extiende a Z con su estructura algebraica y de orden.
Teorema 5.0.2
Q con la suma y producto denido antes, es un cuerpo.
Demostración: 1. Asociatividad:
!
x x1 x2 xx1 x2 (xx1 )x2 x(x1 x2 )
· · = · = =
y y1 y2 yy1 y2 (yy1 )y2 y(y1 y2 )
! !
x x1 x2 x x1 x2
= · = · ·
y y1 y2 y y1 y2
o sea, la asociatividad del producto en Q surge de la asociatividad del producto

en Z
de similar manera para la suma:
!
x x1 x2 xy1 + x1 y x2 xy1 y2 + x1 yy2 + x2 yy1
+ = + + =
y y1 y2 yy1 y2 yy1 y2
! !
x x1 x2 x x1 y2 + x2 y1 xy1 y2 + x1 y2 y + x2 y1 y
+ + = + =
y y1 y2 y y1 y2 yy1 y2
! !
x x1 x2 x x1 x2
de lo anterior se concluye + + = + +
y y1 y2 y y1 y2
.
2. Conmutatividad:
x x1 xx1 x1 x x1 x
· = = = ·
y y1 yy1 y1 y y1 y
Además
x x1 xy1 + yx1 y1 x + x1 y x1 x
+ = = = +
y y1 yy1 y1 y y1 y
3. Neutros:
0 0 1 a
1. De las deniciones de suma y producto en Q se tiene que = y = con
1 a 1 a
a 6= 0 la cuales son identidades para la suma y producto respectivamente,
la notación para estas identidades es 0 y 1.
1 x 1·x x a x a·x x
· =
Un ejemplo: = o · = =
1 y 1·y y a y a·y y
0 x 0·y+x·1 0+x x
+ = = =
1 y 1·y y y
4. Distributividad:
!
x u r x us + rv xus + xrv xuys + xryv
+ = · = =
y v s y vs yvs yvvs
xu xr x u x r
= + = · + ·
yv ys y v y s
Por conmutatividad, ya probada, resulta la distributividad por la derecha.
5. Opuestos:
x x x
El opuesto aditivo de es el elemento − y el opuesto multiplicativo de ,
y y y
y
con x 6= 0, es el elemento .
x
Observación 5.0.1
1) La elección de 0 y 1 es única, en el siguiente sentido:
x
es el neutro aditivo en Q⇒x=0
y
x
es el neutro multiplicativo en Q⇒x=y
y
2) Por ser Q cuerpo y, por tanto, anillo, se verican en él todas las propie-
dades enunciadas en el Teorema 4.0.4 . Además se tienen propiedades para la
”división”análogas a la resta establecida en el Teorema 4.0.4 a saber:
Teorema 5.0.3
Sean a,b,c racionales. Entonces:
b 6= 0 ⇒ ab−1 es el único racional que verica (ab−1 ) · b = a.
1. Es decir,
x = ab−1 si y solo si xb = a (x se llama el cociente de a por b ).
−1 −1
2. (b ) =b
(bc)−1 = b−1 c−1
a(bc) = (ab−1 )(c−1 )
Demostración: (ab−1 )b = a(b−1 b) = a · 1 = a, luego ab−1 satisface

1) la
ecuación xb = a. Además x es el único, ya que si suponemos u otra solución se
tendría
xb =ub
Luego x = x(bb−1 ) = (xb)b−1 = (ub)b−1 = u(bb−1 ) = u
b que satisface la ecuación
2) El resultado anterior deja como el único racional
xb−1 = 1. Luego b = x = (b−1 )−1 , es decir, (b−1 )−1 = b.
−1 −1
Para demostrar la segunda parte se observa que (bc)b c = (bcb−1 )c−1 =
−1 −1 −1
(bb c)c = 1 · cc = 1, es decir,
esto resulta de la asociatividad y conmutatividad
(bc)−1 = c−1 b−1 = b−1 c−1

La última a(bc)−1 = ab−1 c−1 resulta de lo anterior y por asociatividad.
Igual que en el caso de N con respecto a Z, necesitamos ahora mostrar que Q
extiende a Z con su estructura algebraica y de orden. Es decir, hay que probar
que Q contiene una copia de Z, que permite identicar Z, con un subconjunto
de los racionales.
Teorema 5.0.4
La aplicación i :Z →Q
x
x 7→ x0 =
1
es una inyección respetuosa de la estructura algebraica de los enteros, es
decir,
(x + y)0 = x0 + y 0
(xy)0 = x0 · y 0
x y
Demostración: i es inyección , porque si x0 = y 0 , entonces = . Luego
1 1
x · 1 = 1 · y, es decir, x = y.
x+y x·1+1·y x y
i respeta la suma, ya que i(x+y) = = = + = i(x)+i(y).
y 1·1 1 1
xy xy x y
i respeta el producto, ya que i(xy) = = = · = i(x)i(y).
1 1 · 1 1 10
Igual que antes, esto permite identicar x ∈ Z con x ∈ Q y considerar
entonces los enteros como un subconjunto de los racionales. Se tiene que la suma
y producto de dos enteros (en Q) es un entero. Además el cero se identica con
el cero y la unidad con la unidad.
a
Si α es un número racional se tiene α= , con a, b enteros, b 6= 0.
b
a a 1
Luego: α= = · = i(a)i(b)−1 , por lo que después de hecha la identi-
b 1 b
cación, puede escribirse simplemente así:
α = ab−1 Para encontrar la solución a la ecuación xb = a es necesario utilizar
la denición anterior pues α = ab−1 es su única solución. Se puede escribir
u
cualquier racional con u, v , enteros, v6= 0, como la solución única de cualquier
v !
u
ecuación además de que v = u = uv −1 , con u, v números enteros que
v
denen un número racional. Esta notación dene a u como el numerador y a v
u
como el denominador de la fracción , y siempre que se tenga esta fracción, para
v
no redundar en la notación se supondrá implícitamente desde ahora en adelante
que v 6= 0. En otras palabras, en este punto podemos cambiar fácilmente el
a
sentido de la representación α = para un número racional. En efecto, en
b
a
virtud de los dicho antes α= = ab−1 será la única solución de la ecuación
b
xb = a. Podemos, entonces, consensuar en escribir, para cualquier u, v racional
u u
como , esta será la solución única de la ecuación y v = u. Es decir, = uv −1 .
v v
Teorema 5.0.5
Sean u, v, u1 , v1 racionales en que v y v1 son distintos de cero.
Entonces:
u u1
1) = ⇔ uv1 = u1 v
v v1
u u1 uv1 + u1 v
2) + =
v v1 vv1
u u1 uu1 u nu
3) · = en particular si n es entero n· =
v v1 vv1 v v
Teorema 5.0.6
Mediante la inyección i :Z →Q
n
n 7→
1
Se identica Z como un subconjunto de Q, en el que cada número racional es
cociente de dos números enteros, además la unidad en Z se identica con la
unidad en Q y el cero en Z con el cero en Q. Además para p, q enteros, q 6= 0,
p
es entero si, y sólo si, p = rq para algún r entero.
q
Demostración: La primera parte es un resumen de lo dicho despúes del Teo-

rema 5.0.4
La segunda parte es obvia. Se debe mostrar que Q posee una estructura de
orden que prolongue el orden de Z(⊆ Q) . Para ello, empezamos por denir el
conjunto Q+ de los racionales positivos de la siguiente manera; racional:
x
∈ Q+ ⇔ xy > 0 en Z
y
u x
La denición no es ambigua, ya que si = y xy > 0 en Z, entonces
v y
uy = vx. Luego (uv)(xy) = v 2 x2 > 0 por el ejercicio del Teorema 4.0.3, ya que
x 6= 0. (por ser xy > 0 ). Es decir, (uv)(xy) > 0, y como xy > 0, entonces
uv 0, es decir, uv > 0.
Teorema 5.0.7
Q+ ⊆ Q verica las siguientes propiedades:
+ +
1. a, b ∈ Q ⇒ a + b, a · b ∈ Q .
+ +
2. a ∈ Q ⇒ a ∈ Q o a = 0 o −a ∈ Q .
De estas últimas cada una excluye a las otras.
x1
Demostración: Sean a = xy , b = en Q
y1
1. Si a y b son racionales positivos, entoncesxy > 0, x1 y1 > 0 en Z.
xy1 + x1 y xyy12 + x1 y1 y 2
Luego a + b = = es positivo, ya que
yy1 y 2 y12
(xyy12 + x1 y1 y 2 )y 2 y12 > 0 en Z.
xx1
Por otro lado ab = es positivo, ya que (xx1 )yy1 = (xy)(x1 y1 ) > 0 en Z
yy1
x
2. a = . Se sabe que xy en Z verica por ley de tricotomía, solo una de las
y
siguientes alternativas.
i) xy > 0, luego a ∈ Q+
ii) xy = 0, luego x = 0 porque y 6= 0. Así a = 0 en Q
−x +
iii) xy < 0, luego (−x)y = −(xy) > 0,o sea, −a =
y ∈Q .
Observación 5.0.2
En el caso de los enteros se denió un orden en base a un conjunto de positivos
N que satisfacía exactamente las condiciones 1 y 2 del teorema anterior.
Luego, por analogía, podemos escribir para a, b números naturales
a<b ⇔ b−a ∈ Q+
a≤b ⇔ a<b o a=b
Como en el caso de Z se probaron todas las propiedades de orden basándose
exclusivamente en la estructura de anillo y en las propiedades 1 y 2 del conjunto
de los positivos, podemos, por simple repetición de los procedimientos y métodos
allí empleados, garantizar la validez inmediata de la primera parte del
Teorema 5.0.8
La relación ≤ es la relación de orden total sobre el conjunto de los racionales,
respetuosa de la estructura algebraica de Q, es decir, para x, y, z racionales se
verica:
1. x ≤ y ⇒ x + z < y + z.
2. x ≤ y, 0 ≤ z ⇒ xz ≤ yz
Además, después de efectuar la identicación que permite hacer Z ⊆ Q, el ≤
denido antes es el único orden en Q respetuoso del algebra de Q que preserva
el orden en Z.
Demostración: Es necesario demostrar sólo la segunda parte:

i) El orden en respeta el orden en Z. En efecto, si m, n son enteros tal
Q
que m < n en Z, entonces n − m > 0 en Z. Luego (n − m) · 1 > 0 en Z, o sea,
n−m
> 0 en Q.
1
n m
Por tanto, > en Q, es decir, m < n en Q.
0
1 1
ii) Si ≤ es una relación de orden en Q que cumple las condiciones del teorema,
0 x 0 x x
se tiene 0 ≤ ⇒ 0 = 0 · y2 ≤ · y 2 = xy, ya que y 2 > 0. Es decir, 0 ≤ . El
y y y
x x
recíproco 0 ≤ ⇒ 0 ≤0 se verica análogamente. Luego:
y y
x x
0 ≤0 ⇔ 0≤
y y
es decir, el orden ≤0 coincide con el orden ≤.
Observación 5.0.3
Igual que en el caso de los enteros, rige aquí para x, y, z racionales los siguiente:
1) x < y ⇔ x+z < y+z
2) x = y ⇔ x+z = y+z
3) x > y ⇔ x+z > y+z
Si, además, x > z , tenemos:
4) x < y ⇔ xz < yz
5) x = y ⇔ xz = yz
6) x > y ⇔ xz > yz
Por último, valen en Q, propiedades ya probadas para los naturales, tales
como:
7) x ≤ y, y < z ⇒ x < z.
8) x < y, y ≤ z ⇒ x < z
9) x < y, z < u ⇒ x+z < y+u
10) x ≤ y, z < u ⇒ x+z < y+u
11) x ≤ y, z ≤ u ⇒ x+z ≤ z+u
Teorema 5.0.9
Para x, y racionales cualesquiera se verica:
1. |x| ≥ 0 y|x| = | − x|
2. |x| = 0 ⇔ x = 0
3. −|x| ≤ x ≤ |x|
4. Si x ≥ 0,entonces , para z∈Q
|z| ≤ x ⇔ −x ≤ z ≤ x
5. |x + y| ≤ |x| + |y| (desigualdad triangular).
6. |x| − |y| ≤ ||x| − |y|| ≤ |x − y|

7. |xy| = |x||y|

x |x|
8. = si y 6= 0.

y |y|
Demostración: En casi todas estas propiedades es indispensable ponerse en

las tres alternativas posibles para u ∈ Q:
u>0 o u=0 o u<0
1. x ≥ 0 ⇒ |x| = x > 0 y |x| = x = | − x|

x < 0 ⇒ |x| = −x > 0 y |x| = −x = |x|
es decir, en todo caso |x| ≥ 0 y |x| = | − x| .
2. x = 0 ⇒ |x| = 0 por denición. Además, si |x| = 0 y x 6= 0, entonces

x > 0 o x < 0. Luego:

x > 0

0 = |x| = o

−x < 0 contradicción

3. Si x ≥ 0, entonces |x| = x, luego
−|x| = −x ≤ 0 ≤ x = |x|
Es decir, −|x| ≤ x ≤ |x|. Si x < 0, entonces |x| = −x, luego −|x| = x <
0 < −x = |x|. Es decir,
−|x| ≤ x ≤ |x|
O sea, en todo caso −|x| ≤ x ≤ |x|.

4. |z| ≤ x, x ≥ 0 ⇒ −x ≤ −|z| ≤ |z| ≤ x ⇒ −x ≤ z ≤ x. Recíprocamente:
sea −x ≤ z ≤ x si z ≥ 0, entonces |z| = z ≤ x.
Si z < 0, entonces |z| = −z ≤ x. Es decir, en todo caso |z| ≤ x.
5. Por la demostración anterior solo queda demostrar −|x| − |y| ≤ x + y ≤

|x| + |y|. Pero esto es inmediato al considerar las desigualdades
−|x| ≤ x ≤ |x|
−|y| ≤ y ≤ |y|,
Si se suman miembro a miembro produce el resultado deseado.
6. Para establecer ||x| − |y|| ≤ |x − y|basta mostrar que:
−|x − y| ≤ |x| − |y| ≤ |x − y|

o sea que
|x| ≤ |x − y| + |y|
y que
|y| ≤ |y − x| + |x| = |x − y| + |x|
Estos resultan de 5,
x = (x − y) + y
y = (y − x) + x
Por otra parte, |x| − |y| ≤ ||x| − |y|| resulta de 3.

Luego:
|x| − |y| ≤ ||x| − |y|| ≤ |x − y|
7. Si x ≥ 0, y ≥ 0, entonces
|xy| = xy = |x||y|
Análogamente, si x<0 e y < 0.

Solo queda comprobar el caso de uno positivo y el otro negativo. Sea
x ≥ 0, y < 0, es decir, |x| = x, |y| = −y. Como xy ≤ 0, se tiene |xy| =
−xy = x(−y) = |x||y|.Luego, en todo caso |xy| = |x||y|.
x |x| |x| |x|
8. x= · y,y 6= 0 ⇒ |x| = · |y|,o sea = .
y |y| |y| |y|
Teorema 5.0.10
Sean a,b números racionales.
1. Si a < b, entonces hay al menos un c racional tal que a < c < b.
Esta es la conocida propiedad de la densidad del conjunto de los racionales,
o sea siempre entre dos racionales habrá otro racional.
2. Si 0<ayb es racional cualquiera, entonces hay n entero positivo tal que
na ≥ b.
Demostración: 1) a < b ⇒ a + a < a + b y a + b < b + b.

O sea, 2a < a + b < 2b. Multiplicando la desigualdad por un número positivo
1 a+b
se tiene a < < b.
2 2
2) Si b ≤ 0 o 0 < b < a, basta poner n = 1 y se tiene el teorema. Luego basta
x u
considerar el caso 0 < a < b. Sean, entonces, 0 < a = < b = , y sin pérdida
y v
de generalidad puede suponerse x, y, u, v enteros positivos. Es claro que
x xu u yu
a= = y b= = ,
y yv v yv
O sea que, de partida, puede suponerse que la representación de a y b tiene
denominador común. Sea
x y
a= , b=
c c
Pero poniendo n = yc, se tiene
x y
na = yc · = xy ≥ y ≥ = b
c c
o sea, na ≥ b.
Por tener la propiedad 2, se dice que Q es un cuerpo arquimédico o también
cuerpo arquimediano.
RESUMEN: Q conjunto de los números racionales, con suma y producto
es un cuerpo que contiene (y extiende algebraicamente) a los enteros. Además,
hay un (único) orden en Q, respetuoso de la estructura algebraica de Q (véase
Teorema 3.8) y que extiende el orden de los enteros.
Finalmente, Q es un cuerpo ordenado arquimédico.
Bibliografía
[1] Bravo, R. (1971). Fundamento de los Sistemas Numéricos. Ciudad de Méxi-

co, México. Editorial Interamericana.
[2] Boyer, C.B. (1969). Historia de la Matemática. Buenos Aires. Argentina:

Alianza Editorial.
[3] Dasgupta, A. (2014). Set Theory. New York. USA: Birkhäuser Editorial.
[4] Houser, N., & Roberts D.D., & Van Evra J. (1997), Studies in the Logic of
Charles S. Peirce. Indiana USA. Indiana University Press.
[5] Kumar, M. (2012, Fall). Construction of Number Systems Retrieved April

24, 2016, from math.wustl.edu/~kumar/courses/310-2012/peano.pdf
[6] Macías, M. (2010, February 10). Evolución Histórica Del

Concepto De Número. Retrieved April 22, 2016, from
http://www.anpebadajoz.es/autodidacta/autodidacta_archivos/numero_1_archivos/r_m_hernandez
[7] Pelayo, R. (2014, August 05). Chapter 7:The

Peano Axioms Retrieved April 24, 2016, from
http://www2.hawaii.edu/~robertop/Courses/TMP/7_Peano_Axioms.pdf
[8] Mathworld (2016), Equivalence Class. Retrieved August 16 2016

http://mathworld.wolfram.com/EquivalenceClass.html
[9] Mathworld (2016), Equivalence Relation. Retrieved August 08 2016

http://mathworld.wolfram.com/EquivalenceRelation.html
52

Ortiz Concha Macarena PDF

Cargado por

Copyright:

Formatos disponibles

Ortiz Concha Macarena PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Ortiz Concha Macarena PDF

Cargado por

Copyright:

Formatos disponibles

Universidad del Bío-Bío.

Sistema de Bibliotecas – Chile

UNIVERSIDAD DEL BÍO-BÍO

REVISIÓN DE LOS FUNDAMENTOS

MEMORIA PARA OPTAR AL TÍTULO DE PROFESOR DE EDUCACIÓN

AUTORES: ORTIZ CONCHA, MACARENA FRANCISCA.

Profesor Guía: Friz Roa, Luis A.

2. REFLEXIONES ACERCA DE LOS NÚMEROS NATURA-

3. LOS NÚMEROS NATURALES 12

4. LOS NÚMEROS ENTEROS. 27

1.1. FORMULACIÓN DEL PROBLEMA.

Al mismo tiempo se quiere abordar el problema de la enseñanza universitaria

Analizar y denir una nueva descripción que abordará la construcción y

1.2.2. OBJETIVOS ESPECÍFICOS.

Analizar los axiomas de Peano

Investigar y profundizar la teoría de conjuntos, lógica de relaciones, leyes

Examinar y estudiar la construcción de los números enteros en base a las

Estudiar la construcción de los números racionales como conjunto de cla-

1.3. ANTECEDENTES HISTÓRICOS.

rodeado en muchas ocasiones de grandes cantidades de cosas que contar, surgió

Consecuencia de esta gran transformación, existieron innumerables intentos

Ante esta inquietud, Giuseppe Peano (Matemático italiano 1858  1932)

De esta forma a comienzos del silgo XX, se logró concebir la fundamentación

De esta forma la matemática muchas veces se la ha comparado con un ár-

1.4. MARCO TEÓRICO.

Es sabido que en existen desarrollos bastante cuidadosos que prueban mu-

Dedekind con sus trabajos profundos y Peano con su desarrollo axiomático

La teoría resultante se conoce como hoy como Aritmética de Peano. Se ex-

Asumiremos en esta sección que solamente las nociones y axiomas de Dedekind-

Todas las nociones familiares como adición, serán explicadas formalmente y

Raúl Bravo Flores, profesor de Matemáticas de la Universidad de Chile

N. Mohan Kumar, profesor de Matemáticas y Director de Estudios Gra-

Estos axiomas nos ayudarán a entender la manera en que se construyen estos

Durante el desarrollo de nuestra tesis se deseará obtener una formulación

1.5. NÚMEROS NATURALES.

(1) N tiene un elemento distintivo, al que llamaremos 1

(3) σ es uno a uno (inyectiva).

(4) No existe un elemento n∈N tal que σ(n) = 1. (1 no es sucesor de ningún

(5) (Principio de inducción) Sea M ⊂N tal que

De estos axiomas se derivan una serie de teoremas que irán permitiendo de la

1.6. NÚMEROS ENTEROS.

DEFINICIÓN 1: Una relación de equivalencia en el conjunto X = φes una

1. ∼ es reeja. Esto es ∀a ∈ X tenemos (a.a) ∈ X .

En X =N×N denimos la relación.

a+d = b+c y c+f = d+e luego,

Una vez construidos y denidos los números naturales, comenzará a esta-

Sin embargo N adolece de ciertos defectos. Por ejemplo m + n 6= m ∀ n ∈ N

Ambas fallas se corrigen creando un nuevo conjunto con estructura algebraica

(i) (a, b) ∼ (c, d) ⇔ a + d = b + c

Como es usual, anotaremos a un elemento de S como un par ordenado de nú-

Para construir una estructura algebraica se denirá la operación de adición

En nuestra tesis probaremos que las operaciones ⊕ y ⊗ se encuentran bien

1.7. NÚMEROS RACIONALES.

2.1. Reexiones del pensamiento numérico pri-

CAPÍTULO 2. REFLEXIONES ACERCA DE LOS NÚMEROS NATURALES11

Para efectos de aplicar el principio de inducción vamos a establecer un orden

Esta única aplicación se llama suma y f (x, y) se denota x + y, o sea,

CAPÍTULO 3. LOS NÚMEROS NATURALES 13

(1) Unicidad: O sea, demostraremos que no existen multiplicidad de funcio-

Analizar y denir una nueva descripción que abordará la construcción y

Ante esta inquietud, Giuseppe Peano (Matemático italiano 1858 1932)

(1) N tiene un elemento distintivo, al que llamaremos 1

1. ∼ es reeja. Esto es ∀a ∈ X tenemos (a.a) ∈ X .

En X =N×N denimos la relación.

Una vez construidos y denidos los números naturales, comenzará a esta-

Para construir una estructura algebraica se denirá la operación de adición

2.1. Reexiones del pensamiento numérico pri-

Con todo esto se tiene nalmente que M = N quedando demostrada la

Teorema 3.0.4 En esta parte vamos a crear la multiplicación y denir algunas

Obsérvese que hemos creado la multiplicación, la que además queda denida

Todas ellas están demostradas y hemos vericado que no existen contradic-

Denición. Deniremos un nuevo concepto dentro de las matemáticas, y es

Demostración Es claro que si en la hipótesis se verica x = y, las conclusio-

esto signica que para que xz sea igual a yz , se debe sumar uz ∈ N.

Demostración: Sea L un subconjunto de N, denido por