Introducci

on a la Construcci
on de
los N
umeros Reales( con un
repaso sobre la construcci
on de los
n
umeros naturales, enteros y
racionales)

Dr. Rafael Labarca Briones

Profesor de Matematicas.
Universidad de Santiago de Chile.

Apuntes, ciertamente por exceso, a las

Charlas dictadas en la EMALCA de
Lambayeque-Peru 2013.

1.

Introducci
on

Una de las cosas mas antiguas que sabe hacer el hombre es contar. En sus
inicios contar estaba asociado a contar objetos: UN PATO, DOS PATOS, TRES
PATOS,......,DIEZ MILLONES DE PATOS.
Entretanto, contar no es solo enumerar objetos. Tambien es combinar. Por
ejemplo: Cuantos resultados posibles tiene un dado equilibrado?. Todos sabemos
que son seis y no es que lo estemos tirando para contar.
Otra manera menos evidente de contar. Si en un auditorio hay 100 personas,
con seguridad all habra P personas con P [100/7] = 14 personas que nacieron el
mismo da de la semana y Q personas con Q [100/7] que nacieron otro.
Asi que contar es algo mas que enumerar objetos. Saber esto no es tan antiguo,
ni tan intuitivo.
De todas formas, una cosa que hacemos es contar, de diversas formas, y para
ello asociamos smbolos a cantidades. Por ejemplo, todos sabemos que no es lo mismo
ocho manzanas que ocho naranja o ocho sandas. Pero, en com
un tienen que son ocho
objetos. Deducimos que hay una cosa abstracta que se llama ocho. Tambien hay otra
cosa abstracta que se llama quinientos veinticinco mil billones, novecientos treinta
y seis millones veinte.
Concluimos que contar objetos es intuitivo pero asociar smbolos a esta enumeracion no lo es.
Los matematicos, a lo largo de los a
nos, han tenido varias formas de justificar
estos smbolos y de convencer que representan lo que dicen que representan.
En estas notas hacemos de la construccion de los n
umeros naturales, enteros, racionales y reales. Asmismo, definimos las operaciones elementales entre estos
n
umeros. Este enfoque se deduce de los trabajos de Cantor, Dedekind,Frege, Peano
y Russel, entre otros.
Especifcamente, hacemos la construccion axiomatica de los n
umeros naturales. A partir del conjunto de los n
umeros naturales y del concepto de relacion de
equivalencia, construimos los n
umeros enteros. No es que un n
umero natural sea un
entero: lo cierto es que hay una inyeccion de la estructura ordenada (N, +, , )
en la estructura ordenada (Z, +, , ) por medio de la cual podemos asumir que
la estructura (N, +, , ), es parte de la estructura (Z, +, , ). O sea, que todo n
umero natural puede considerarse un n
umero entero. A partir de los enteros

y del concepto de relacion de equivalencia, construimos los n

umeros racionales. No
es que un n
umero entero sea un racional: lo cierto es que hay una inyeccion de la
estructura ordenada (Z, +, , ) en la estructura ordenada (Q, +, , ) por medio
de la cual podemos asumir que la estructura (Z, +, , ), es parte de la estructura
(Q, +, , ). O sea, que todo n
umero entero puede considerarse un n
umero racional.La construccion de los n
umeros reales no se hace solo con los n
umeros racionales
y una apropiada relacion de equivalencia. En efecto, lo que se requiere de la estructura ordenada (R, +, , ) es que sea completa. Esto es: se requiere que en ella todo
conjunto acotado superiormente (en R) tenga supremo en R. Este paso, de los racionales a los reales, es un salto cuantico en la construccion de los sistemas numericos
y solo fue posible darlo a finales del siglo XIX. Como antes, no es que un n
umero
racional sea un real: lo cierto es que hay una inyeccion de la estructura ordenada
(Q, +, , ) en la estructura ordenada (R, +, , ) por medio de la cual podemos
asumir que la estructura (Q, +, , ), es parte de la estructura (R, +, , ). O sea,
que todo n
umero racional puede considerarse un n
umero real.
En nuestra exposicion seguiremos, libremente, los textos Teora Intuitiva de
los Conjuntos de Paul Halmos y Fundamentos de los Sistemas Num
ericos
de Ra
ul Bravo Flores.

2.

La Construcci
on de los N
umeros Naturales

2.1.

La Construcci
on axiom
atica

Desde fines del siglo XIX, los matematicos han coincidido en establecer una
forma de hacer matematicas que se reconoce como axiom
atica. A saber: se parte
de conceptos primitivos, postulados o axiomas cuya validez se asume (no se demuestran), se dan definiciones y se empieza a establecer proposiciones que mezclan
axiomas y definiciones. A estas proposiciones se les llama lemas, proposiciones, corolarios, escolios, etc. Cuando alguna de ellas resulta central en el desarrollo de la
teora, se le llama Teorema. En lo que sigue haremos esto.

2.2.

Conceptos Primitivos y Axiomas B

asicos

Tenemos que iniciar la teora con algo que sea facil y evidente de aceptar.
Que tal con: existen conjuntos y los conjuntos tienen elementos ?

Conjunto denominara una coleccion bien definida de objetos. Los conjuntos

tienen elementos.
Aqu hay dos conceptos que llamaremos primitivos Conjuntos y elementos.
Entre conjuntos y elementos hay una relacion: la de pertenencia. Los elementos pertenecen a los conjuntos. Los conjuntos se denotan por letras may
usculas
A, B, C, ... y los elementos por letras min
usculas x, y, z, .... La relacion de pertenencia se escribe x A para indicar que x es un elemento de A o que x pertenece a
A.
AXIOMA DE EXTENSION: Dos conjuntos son iguales si y solo si
tienen los mismos elementos.
Esto es: el conjunto A es igual al conjunto B si todo elemento de A es elemento
de B y si todo elemento de B es elemento de A.
En smbolos:
A = B A B B A.
Por ejemplo A = { Ros de America} y B = { Ros de Chile}. Es claro que
B A y que B = A.
En este caso, y como B A y B = A, se dice que B es una especificacion de
A y se escribe B = {x A; x es ro de Chile}
Esto nos lleva a nuestro segundo axioma
AXIOMA DE ESPECIFICACION: A todo conjunto A y a toda condici
on S(x), corresponde un conjunto B cuyos elementos son precisamente
aquellos elementos de A que cumplen S(x).
Este Axioma ayuda a construir subconjuntos de un conjunto dado.
Con lo que hemos contruido ya tenemos los elementos para iniciar la construccion de los n
umeros.
Primero: Aceptamos que existe un conjunto A con elementos.
Segundo: Sea B = {x A; x = x}.
Como no hay elemento de A que no sea igual a si mismo, concluimos que B es
un conjunto sin elementos que llamaremos el conjunto sin elementos o el conjunto

vaco y lo denotaremos por la letra griega Phi: .

El conjunto vaco sera nuestro punto de partida para la construccion de los
n
umeros naturales y lo consideraremos un n
umero que llamaremos cero
Conclusion: el cero existe.
Ahora, como el cero existe, construimos el conjunto {0} y le lamamos uno y
lo denotamos 1. Como 1 existe, construimos el conjunto {0, 1}, le llamamos dos y lo
denotamos 2; Como el 2 existe, construimos el conjunto {0, 1, 2}, le llamamos tres
y lo denotamos 3, y asi sucesivamente.
Esto no garantiza que existan todos los n
umeros naturales: apenas garantiza
que existen todos aquellos n
umeros que, con paciencia, seamos capaces de construir.
Como las etnias autoctonas de America Latina somos pacientes: suponemos
que esa paciencia nos da para construir, de esta manera, hasta el n
umero:
1,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000
Este conjunto representa un n
umero tan grande que resulta impronunciable
para nosotros( no tenemos una palabra en el idioma que lo indique).
En particular, y en esta construccion, el cero es el primer n
umero natural.

2.3.

Los otros n
umeros naturales

Para obtener los otros n

umeros naturales tenemos que dar otras definiciones y
aceptar otros axiomas.
Axioma de la Uni
on: Para toda colecci
on de conjuntos existe un
conjunto que contiene a todos los elementos que pertenencen cuando
menos a uno de los conjuntos de la colecci
on dada.
Esto es, si C es una coleccion de conjuntos entonces existe un conjunto V tal
que A C y x A tenemos x V . Usamos especificacion para definir el conjunto
{x V ; x A para alg
un A C}.

Este conjunto se conoce como la union de los elementos de C y se denota por

on de conjuntos.
AC A. Ahora podemos formar la uni

Dado un conjunto A definimos el sucesor de A, denotado A+ , por A+ = A

{A}. O sea, A+ se obtiene considerando todos los elementos de A y adicionando al
conjunto A como elemento.
Damos ahora una definicion: Un conjunto S se dira de sucesores o un conjunto sucesor si 0 S y toda vez que A S entonces A+ S.
Establecemos ahora el siguiente:
Axioma del Infinito: Existe un conjunto de sucesores.
Este axioma garantiza que la coleccion D = {S; S es un conjunto sucesor} es
no vaca.
Sea ahora C una coleccion de conjuntos.
Se define la intersecci
on de los e
A;
x

A,
A

C}.
Este
conjunto se
lementos
de
C
como
el
conjunto
{x

AC

denota AC A.
La definicion anterior, de la interseccion, se pudo hacer gracias a los axiomas
de la union y de especificacion. O sea, no fue necesario un nuevo axioma para
construirla.
Lema 1. Si A y B son conjuntos de sucesores entonces A B es un conjunto de
sucesores.
Demostraci
on 1. Como 0 A y 0 B entonces 0 A B.
Si ocurre que n A B entonces n A y n B. Como A y B son conjuntos
sucesores n+ A y n+ B y luego n+ A B.

Corolario 1. AD A es un conjunto de sucesores.

Definici
on 1. La interseccion AD A, se llamara el conjunto de los n
umeros
naturales y se denotara .

2.4.

Loa Axiomas de Peano

Observamos las siguientes propiedades de :

1. Si S es un conjunto de sucesores entonces S = . Esto se conoce como el

principio de inducci
on matem
atica y se escribe de la siguiente manera: si
S satisface:

i) 0 S y
ii) Toda vez que n S se verifica n+ S
entonces S = .
Esta propiedad garantiza que S es un conjunto sucesor y luego S. De
aqu la igualdad.
2. Cada n satisface n+ = 0.
Esto es claro ya que n n+ y luego n+ no es el conjunto vaco.
3. Sea n . Si x n entonces n no es subconjunto de x.
Demostraci
on 2. Sea S = {n ; no hay x n con n x}.
Afirmaci
on 1. 0 S
En efecto: si no habra x 0 con 0 x. Como 0 = no hay tal elemento.
0 S.
Suponemos ahora que n S vamos a probar que n+ S.
Como n S entonces n no es suconjunto de ninguno de sus elementos. Como
n n entonces debe ser n
/ n.
Como n n+ concluimos que n+ no es subconjunto de n( pues n
/ n).
Sea entonces x tal que n+ x. Como n n+ concluimos que n x y
luego debe ser x
/ n. De esta forma para cada x n no puede ser n+
x ( si asi fuera se tendra n x ). n+ no es sunconjunto de n ni
de cualquier elemento de n. Tenemos entonces que n+ no es subconjunto de
cualquier elemento de n+ . Esto es n+ S.
Tenemos entonces que S = y lo afirmado es cierto.
4. Sean n y x n entonces x

n.

Demostraci
on 3. Sea S = {n ; si x n entonces x n}. Tenemos que
0 S. Si no, habra x 0 tal que x * () 0 S.
Suponemos que n S. Sea x n+ . Si ocurre que n = x entonces como
n+ = n {n} entonces n n+ . Si ocurre que x n entonces x n n+ . En
cualquier caso n+ S. De aqu S = y tenemos el resultado.
5. Si n y m son elementos de entonces si ocurre que n+ = m+ entonces n = m
Demostraci
on 4. n+ = n {n} = m {m} = m+ . Como n n+ entonces
n m+ .
Si ocurre que n = m el resultado es cierto.

Si ocurre que n = m entonces debe ser n m y luego n m()

Como m m+ entonces m n+ . No puede ser n = m asi que debe ser m = n
y luego m n y asi m n().
De lo probado en (*) y (**) concluimos que n = m.

Para comparar la construccion axiomatica( de los n

umeros naturales) con la
cosntruccion algebraica hagamos explcitas las siguientes propiedades de :
I.- 0 .
II.- Si n entonces n+ .
III.- Si S satisface [(i)0 S y (ii)n+ S toda vez que n S] entonces debe
ser S = .
IV.- Para cada n vale n+ = 0.
V.- Si n, m satisfacen n+ = m+ entonces necesariamente n = m.
Estas propiedades de se comocen como los Axiomas de Peano y se enuncian de la siguiente forma: Existe un conjunto, denotado y llamado conjunto de
los n
umeros naturales, que satisface (I.-)-(V.-) anterior.
La construccion algebraica de los n
umeros naturales parte, ademas, con el 1.
O sea, se reemplaza 1 con 0 en el enunciado de los Axiomas de Peano.

3.

3.1.

Las Operaciones B
asicas entre n
umeros naturales
Introducci
on

Ya hemos definido el conjunto de n

umeros naturales y ahora vamos a definir
las dos operaciones basicas que son la suma y el producto. Si denotamos por + y
estas dos operaciones, tendremos que definirlas de tal forma que, por ejemplo,
{0, 1, 2} + {0, 1} = {0, 1, 2, 3, 4} y {0, 1} {0, 1, 2} = {0, 1, 2, 3, 4, 5}: Esto, escrito en
las notaciones ya establecidas, quiere decir 3 + 2 = 5 y 2 3 = 6.

Es claro que esta u

ltima representacion es mas amigable pero, en rigor, lo que
representa es lo primero.
Para definir estas operaciones debemos introducir el concepto de funcion. A
fin de que nuestra presentacion sea autosuficiente introduciremos lo necesario para
ello.

3.2.

Funciones

Para definir funciones necesitamos se

nalar primero lo que entenderemos por
producto cartesiano.
Lo primero, en esta direccion, es definir lo que entenderemos por parejas no
ordenadas. Dados dos conjuntos A y B podemos considerar el conjunto {A, B} que
consiste de los elementos A y B. El u
nico defecto, de esta presentacion de una
pareja no ordenada, es que no hemos hecho ninguna especificacion para llegar a este
conjunto. A fin de hacerlo, introducimos el:
Axioma del Apareamiento: Dados dos conjuntos cualesquiera, existe
un conjunto que contiene a ambos como elementos.
Ahora, sea C tal conjunto y sea D = {x C; x = A x = B} = {A, B}. Este
conjunto se llama la pareja no ordenada formada por A y B. Observamos, como
caso particular que dado un conjunto A, cualesquiera, podemos formar {A, A} =
{A}, conocido como el singlet
on de A.
Con lo que ya tenemos podemos ahora formar diferencias de conjuntos y complementos. A saber: Dados conjuntos A y B se define la diferencia (A \ B) como el
conjunto {x A; x
/ B}.
Cuando A E la diferencia (E \ A) se conoce como el complemento de A en
E y se denota Ac .
Proposici
on 1. Para conjuntos A y B se cumplen los siguientes:
1.- A B = (A \ B) (B \ A) (A B).
2.- (A B)c = Ac B c .
3.- (A B)c = Ac B c .

Las partes 2. y 3. de esta proposicion se conocen como las Leyes de De

Morgan.
Dado un conjunto E, podemos considerar todos sus subconjuntos y es natural asumir que hay un conjunto que contiene a todos ellos como elementos. Esto,
naturalmente, nos lleva al siguiente:
Axioma de la Potencia: Para cada conjunto existe una colecci
on de
conjuntos que contiene, como elementos, a todos los subconjuntos del
conjunto dado.
Sea dado el conjunto E y sea E la coleccion dada por el axioma de la potencia.
Se define la potencia de E, denotado P (E), como el conjunto {A E; A E}.
Ahora, dados dos conjuntos, A y B queremos definir la pareja ordenada (A, B).
Esta pareja debera cumplir las siguientes propiedades: (A, B) = (B, A) y (A, B) =
(C, D) si y solo si A = C y B = D.
Definici
on 2. La pareja ordenada con primer elemento A y segundo elemento
B, denotada (A, B), es el conjunto {{A}, {A, B}}.
Notamos que lo que hemos aceptado, hasta ahora, es suficiente para garantizar
que el conjunto (A, B) existe.
Tenemos ahora el siguiente resultado:
Lema 2.

(i) (A, B) = (B, A) si A = B y

(ii) (a, b) = (c, d) si y solo si a = c y b = d.

Probemos estos dos resultados:
Demostraci
on 5. En el primer caso y como {A} (A, B) y {A}
/ (B, A), tenemos
el resultado.
Para probar lo afirmado en (ii): {a} (a, b) y (a, b) = (c, d) entonces {a}
(c, d).
Asi que {a} = {c} o {a} = {c, d}.
Si ocurre que {a} = {c} entonces ha de ser que a = c. Como {a, b} (a, b) =
(c, d) entonces {a, b} (c, d) y debe ser {a, b} = {c} o {a, b} = {c, d}. Si ocurre

{a, b} = {c} entonces a = c = b y luego (a, b) = {{a}}. Como {c, d} (c, d) =

(a, b) = {{a}} entonces {c, d} = {a} y, necesariamente, a = c = b = d. Si ocurre
que {a, b} = {c, d} entonces como a = c se debe tener b {a, d}. Si b = a entonces
de {a, b} = {a} = {c, d} = {a, d} debemos tener d = a y luego a = c = b = d. Si
b = a entonces hemos de tener b = d y concluimos que a = c y b = d.
Si ocurre que {a} = {c, d} entonces c, d {a} y ha de ser a = c = d. En este
caso (c, d) = {{a}} = (a, b) y debe ser b = a. Luego tenemos a = c = d = b.
Estas eran las propiedades principales que le pediamos a las parejas ordenadas
y, por ello, la definicion exhibida cumple con lo requerido.
Hacemos ahora la siguiente pregunta: dados dos conjuntos no vacos A y B
Existe un conjunto que contenga a todas las parejas ordenadas (a, b) con
a A y b B?.
Sabemos que (a, b) = {{a}, {a, b}}. Tambien que {a} A A B y {a, b}
A B. Luego {a} P (A B) y {a, b} P (A B). Asi que el conjunto (a, b) =
{{a}, {a, b}} P (A B). Esto es (a, b) P (P (A B))
De esta forma tenemos que el conjunto P (P (A B)), contiene a todas las
parejas ordenadas (a, b) con a A y b B.
Esto nos lleva a definir el producto cartesiano.
Definici
on 3. El producto cartesiano de los conjuntos A y B, denotado A B,
es el conjunto
A B = {x P (P (A B)); x = (a, b)con a A y b B}.
Esta definicion asegura que el producto cartesiano es un conjunto de parejas
ordenadas.
Podemos considerar, ahora, un conjunto R de parejas ordenadas y tenemos el
siguiente resultado:
Lema 3. Dado un conjunto R de parejas ordenadas existen conjuntos A y B tales
que R A B.
Demostraci
on 6. En efecto, sean A = dom(R) = {a; existe b tal que (a, b) R} y
B = im(R) = {b; existe a tal que (a, b) R}. Es claro que R A B.

Ahora que ya tenemos productos cartesianos tenemos relaciones. Una relaci

on
es un conjunto de pares ordenados o, parafraseando el lema, una relacion es cualquier
subconjunto R A B, donde A y B son conjuntos.
El dominio de la relacion R es el conjunto
dom(R) = {a A; existe b B tal que (a, b) R}.
El recorrido de la relacion R es el conjunto
rec(R) = {b B; existe a A tal que (a, b) R}.
Definici
on 4. Una funci
on f de A en B es una relaci
on f A B que satisface:
1. dom(f ) = A y
2. Para cada a A existe un u
nico b B talque (a, b) f .
Una funcion de A en B se denota, ususalmente, como f : A B.
Ya con estos elementos vamos a establecer el Teorema de Recurrencia, que es
un resultado principal para la definicion de las operaciones de suma y multiplicacion
en .
Para ello, sean dados un conjunto no vaco X, un elemento a X y una
funcion f : X X
Teorema 1. Existe una u
nica funcion u : X tal que: u(0) = a. y u(n+ ) =
f (u(n)), n .
Demostraci
on 7. Una funcion u : X es un subconjunto u X.
Sea
C = {A X; (0, a) A y (n+ , f (x)) A toda vez que (n, x) A}.
Como X satisface (0, a) X y (n+ , f (x)) X siempre, entonces
X C y concluimos que C = .
Sea u =

AC

A.

Afirmaci
on 2. u C.
En efecto: A C tenemos (0, a) A y luego (0, a)

AC

A = u.

Sea ahora (n, x) u. Tenemos (n, x) A, A C y luego (n+ , f (x)) A, A

C. Esto es (n+ , f (x)) u.
Vamos ahora a probar que u es una funcion.
Sean (n, x) u y (n, y) u queremos probar que x = y.
Sea
S = {n ; existe a lo mas un x X tal que (n, x) u}.
Afirmaci
on 3. 0 S. Si no, existe b = a tal que (0, b) u.
Sea = u \ {(0, b)}. Este conjunto satisface (0, a) .
Supongamos que (n, x) . Se tiene que (n, x) u y (n, x) = (0, b). Luego (n+ , f (x)) u. Como n+ = 0 n entonces (n+ , f (x)) = (0, b) y tenemos
(n+ , f (x)) . Asi que C. Por lo tanto u . Esto u
ltimo no es posible pues
= u \ {(0, b)}.
De esta forma, suponer que existen dos elementos a y b con (0, a) u , (0, b)
u y a = b nos lleva a una contradicci
on. Luego, no existe tal b. Conclumos que
0 S.
Vamos ahora a suponer que n S y vamos a probar que n+ S. Si esto es
asi, entonces S = y n existe un u
nico x X tal que (n, x) u. O sea, u es
una funcion.
Si ocurre que n+
/ S entonces existe y = f (x) tal que (n+ , y) u.
Sea = u \ {(n+ , y)}.
Como n se cumple que n+ = 0 entonces (0, a) = (n+ , y) y tenemos
(0, a) .
Supongamos que (m, t) entonces (m, t) = (n+ , y) y (m, t) u, luego
(m , f (t)) u.
+

Si ocurre que n = m entonces (n, t) u y (n, x) u. Como n S debe ser

t = x y luego (m+ , f (t)) = (n+ , f (x)) u. Como f (x) = y entonces (m+ , f (t)) =
(n+ , f (x)) = (n+ , y) y (m+ , f (t)) .
Si ocurre que m = n entonces m+ = n+ y (m+ , f (t)) = (n+ , y), luego (m+ , f (t))
.
Conclumos que C, lo que no puede ser pues = u \ {(n+ , y)}.
Asi el hecho de suponer que n+
/ S nos lleva a una contradicci
on. Conclumos
+
que n S y que S = . Esto concluye la demostraci
on del Teorema de Recurrencia.
Con este resultado tenemos lo necesario para definir la suma y multipicacion
de n
umeros naturales.

3.3.

La suma de n
umeros naturales
Consideremos la funcion sucesor s : , definida por s(n) = n+ y m .

El Teorema de Recurrencia dice que existe una u

nica funcion u : que
satisface: u(0) = m y u(n+ ) = s(u(n)).
Denotaremos esta funcion por Sm . El valor Sm (n), se llama la suma de m
con n y se denota m + n.
Esto es m + n = Sm (n).
Veamos que esta definicion corresponde a la suma que conocemos:
0 + 1 = S0 (1) = S0 (0+ ) = s(S0 (0)) = s(0) = 1.
1 + 0 = S1 (0) = 1.
1 + 1 = S1 (1) = S1 (0+ ) = s(S1 (0)) = s(1) = 2.
0 + 2 = S0 (2) = S0 (1+ ) = s(S0 (1)) = s(0 + 1) = s(1) = 2.
1 + 2 = S1 (2) = S1 (1+ ) = s(S1 (1)) = s(2) = 3.
2 + 1 = S2 (1) = S2 (0+ ) = s(S2 (0)) = s(2) = 3.
0 + 3 = S0 (3) = S0 (2+ ) = s(S0 (2)) = s(2) = 3.

1 + 3 = S1 (3) = S1 (2+ ) = s(S1 (2)) = s(3) = 4.

3 + 1 = S3 (1) = S3 (0+ ) = s(S3 (0)) = s(3) = 4.
2 + 2 = S2 (2) = S2 (1+ ) = s(S2 (1)) = s(3) = 4.
n + 1 = Sn (1) = Sn (0+ ) = s(Sn (0) = s(n) = n+

Probemos, en general y por ejemplo , que 0 + m = m = m + 0.

La parte m + 0 = m se deduce de Sm (0) = m. Probamos la otra igualdad
Sea S = {m ; 0 + m = m}.
Afirmaci
on 4. 0 S . En efecto 0 + 0 = 0.
Suponemos ahora que m S probemos que m+ S.
Tenemos:
0 + m+ = S0 (m+ ) = s(S0 (m)) = s(0 + m) = s(m) = m+ ;
luego m+ S. Conclumos que S es un conjunto sucesor. Debe ser S = . Esto
concluye la demostracion del resultado.
De manera similar se prueba que la suma es conmutativa y asociativa.
Concluimos que la estructura (, +) tienen neutro, es conmutativa y asociativa.
on: use
Ejercicio 1. Demuestre que la suma es asociativa y conmutativa. Indicaci
induccion.

3.4.

La multiplicaci
on de n
umeros naturales

Vamos ahora a usar el Teorema de Recurrencia para definir el producto de

n
umeros naturales.
Para m consideremos la suma Sm : y sea a = 0 .
El teorema de recurrencia define Pm : . definida por Pm (0) = 0 y
Pm (n+ ) = Sm (Pm (n)) = m + Pm (n) .

El n
umero natural Pm (n) se conoce como el producto de m por n y se denota
m n.
Veamos algunos ejemplos:
Por definicion m 0 = Pm (0) = 0.
m 1 = Pm (1) = Pm (0+ ) = Sm (Pm (0)) = Sm (0) = m.
1 2 = P1 (2) = P1 (1+ ) = S1 (P1 (1)) = S1 (1) = 1 + 1 = 2.
1 3 = P1 (3) = P1 (2+ ) = S1 (P1 (2)) = S1 (2) = 1 + 2 = 3.
Probemos ahora que 1 m = m para cada m .
Sea S = {m ; 1 m = m}.
Ya vimos que 0, 1, 2 y 3 son elementos de S.
Suponemos que n S y probemos que n+ S.
Tenemos 1 n+ = P1 (n+ ) = S1 (P1 (n)) = S1 (1 n), como n S entonces
1 n = n. As: 1 n+ = S1 (n) = 1 + n = n+ . Luego n+ S.
Con lo anterior hemos probado que 1 es el elemento neutro de la multiplicacion.
Veamos otros ejemplos:
2 2 = P2 (2) = P2 (1+ ) = S2 (P2 (1)) = S2 (2) = 2 + 2 = 4.
2 3 = P2 (3) = P2 (2+ ) = S2 (P2 (2)) = S2 (4) = 2 + 4 = 6, en particular
2 + 2 + 2 = 6.
2 4 = P2 (4) = P2 (3+ ) = S2 (P2 (3)) = S2 (6) = 2 + 6 = 8.
2 5 = P2 (5) = P2 (4+ ) = S2 (P2 (4)) = S2 (8) = 2 + 8 = 10.
Ejercicio 2. Pruebe que la multiplicaci
on es asociativa y conmutativa.
Probemos la propiedad de distribucion del producto sobre la suma. Esto es:
Lema 4. k (m + n) = k m + k n , para cada k, m y n en .

Demostraci
on 8. Sea
A = {n ; k (m + n) = k m + k n}.
Afirmaci
on 5. 0 A.
En efecto,
k (m + 0) = k m y k 0 = 0,
luego k (m + 0) = k m + k 0 , asi 0 A.
Suponemos ahora que n A y probemos que n+ A.
Tenemos: k (m + n+ ) = k (m + n)+ = Pk ((m + n)+ ) = Sk (Pk (m + n)) =
k + Pk (m + n) = k + k (m + n).
Como n A tenemos k (m + n) = k m + k n. Luego:
k (m + n+ ) = k + k m + k n = k m + k n + k 1.()
Probamos ahora que n+ k = k n+ = k n + k.
Sea S = {k ; n+ k = k n + k}.
Afirmamos que 0 S. En efecto: n+ 0 = Pn+ (0) = 0 = 0 n + 0.
Suponemos que k S y probamos que k + S.
Tenemos: n+ k + = Pn+ (k + ) = Sn+ (Pn+ (k)) = n+ +n+ k = n+ +nk +k =
n k + n+ + k = n k + (n + 1) + k = n k + n + (k + 1) = n k + n + k + =
(Pn (k) + n) + k + = (n + Pn (k)) + k + = Sn (Pn (k)) + k + = Pn (k + ) + k + = n k + + k + .
Esto es: n+ k + = n k + + k + , lo que implica k + S. Luego S = .
Seguimos ahora con (*)
k (m + n+ ) = k m + k n + k 1 = k m + (k n + k 1) = k m + k n+ .
Asi, n+ A y luego A = .
Esto concluye la demostracion de que el producto distribuye sobre la suma en
los n
umeros naturales.

3.5.

Potencias de n
umeros naturales

Finalmente, y solo por completitud, introducimos las potencias de n

umeros
naturales. Para ello, volvemos a aplicar el Teorema de Recurrencia.
Consideramos 1 y Pm : el producto por m.
El Teorema de Recurrencia garantiza la existencia de una funcion Em : ,
que satisface: Em (0) = 1 y Em (n+ ) = Pm (Em (n)). El valor Em (n) se denota mn .
Veamos algunos ejemplos:
E2 (1) = E2 (0+ ) = P2 (E2 (0)) = P2 (1) = 2 1 = 2.
E2 (2) = E2 (1+ ) = P2 (E2 (1)) = P2 (2) = 2 2.
E2 (3) = E2 (2+ ) = P2 (E2 (2) = P2 (2 2) = 2 (2 2).
E2 (4) = E2 (3+ ) = P2 (E2 (3)) = P2 (222) = 2222, y asi sucesivamente.

Como ejercicio pruebe el siguiente:

Lema 5. Em (n + k) = Em (n) Em (k).

3.6.

Orden en N

A partir de esta seccion tomamos la notacion clasica para los n

umeros naturales
(=N) que es una representacion simple de la abreviacion N N = N
umeros Naturales.
De acuerdo a nuestra construccion de los n
umeros naturales, tenemos las siguientes pertenencias e inclusiones:
0 1; 0 2, 1 2; 0 3, 1 3, 2 3; 0 4, 1 4, 2 4, 3 4;
0 5, 1 5, 2 5, 3 5, 4 5,
y
0 1 2 3 4 .
Observamos que se cumple lo siguiente: si n m entonces n m.

Concluimos entonces que para dos n

umeros naturales n, m ocurre una y solo
una de las siguientes:
n m o n = m o m n.
Esta es la propiedad de tricotoma de los n
umeros naturales.
Definamos la siguiente relacion en N, n m (n m o n = m).
Proposici
on 2. La relacion es refleja, antisimetrica y transitiva.
Demostraci
on 9. Es refleja. En efecto n N se cumple n = n. Luego n n.
Es antisimetrica( esto es n m y m n implican n = m).
En efecto, si n m entonces n m o n = m. Si ocurre la igualdad tenemos
el resultado. Suponemos que ocurre n m. De acuerdo a una observacion anterior
esto implica que n m().
Como m n entonces m n o m = n. Si m = n tenemos el resultado. Caso
contrario m n y esto implica m n().
De (*) y (**) concluimos que n = m.
Es transitiva. Esto es si n m y m p entonces n p. En efecto, tenemos
(n m o n = m) y (m p o m = p).
Si n m. Si ademas m p entonces como m p entonces n p. Si ocurre
m = p entonces n p. Luego n p.
Si n = m. Si ademas m p entonces n p. Si ocurre m = p entonces n = p.
Luego n p o n = p.
En cualquier caso n p o n = p. Luego n p.
Una relacion que cumple las tres propiedades anteriores se conoce como una
relacion de orden. Asi, es una relacion de orden en N y se denota . Esto es
n m n m o n = m.
Observamos que dados dos n
umeros naturales n, m entonces n m o m n
Podemos, tambien definir la relacion < en N de la siguiente forma n < m

n m. Esta relacion es transitiva y tambien se expresa en funcion de de la

siguiente forma: n < m n m y n = m.
Si n < m se dice que m es mayor que n o que n es menor que m.
Proposici
on 3. Si n < m entonces existe p N tal que m = n + p
Demostraci
on 10. En efecto, sean N = N \ {0}, A = {n + p; p N } y S =
{0, 1, 2, , n}A. Claro que S = . De aqu que m A ya que m
/ {0, 1, 2, , n}.
Las relaciones y < cumplen las siguientes propiedades:
1.- es una relacion de orden total en N. A saber, dados n, m N entonces
n m o m n. Esto es, dos n
umeros naturales son siempre comparables.
2.- Si n m entonces n + p m + p, p N.
3.- Si n < m entonces n + p < m + p, p N.
4.- Si n m entonces n p m p, p N.
5.- Si n < m entonces n p < m p, p N .
6.- Si n m y p q entonces n + p m + q.
6.- Si n < m y p < q entonces n p m q.
7.- Si n < m entonces n + 1 m.
8.- Si n < (m + 1) entonces n m.
9.- N es bien ordenado. Esto es si A N es no vaco entonces existe n A tal
que n m, m A.
De las proposiciones anteriores la mas interesante es [9.-] asi que la probaremos.
Sea B = {p N; p n, n A}. Claro que 0 B.
Si n A entonces n < n + 1 y (n + 1)
/ B(obvio pues si (n + 1) B entonces
(n + 1) n, lo que no es cierto.)
Afirmamos que hay t B para el cual (t + 1)
/ B. En efecto, si no entonces
para cada t B se cumple (t + 1) B y en consecuencia B = N y A = , cosa que
no es cierta.

Afirmamos que t A y t n, n A.En efecto,como t B entonces t

n, n A. Si t
/ A entonces debe ser t < n, n A y enconsecuencia (t + 1)
n, n A. esto es (t + 1) B, que contradice la eleccion de t. Luego t = mn(A),
como afirmado.

4.
4.1.

Los N
umeros Enteros
Relaciones de Equivalencia

Para definir los n

umeros enteros necesitamos los conceptos de relacion de equivalencia y de particion de un conjunto
Definici
on 5. Una relaci
on de equivalencia en el conjunto X = es una
relacion R X X que satisface:
1.- R es refleja. Esto es a X tenemos (a, a) R.
etrica. Esto es si (a, b) R entonces (b, a) R.
2.- R es sim
3.- R es transitiva. Esto es si (a, b) R y (b, c) R entonces (a, c) R.
Una relacion de equivalencia en X = es la igualdad. A saber R = {(a, a); a
X}.
El hecho de que (a, b) R se denota usualmente como aRb.
Ejemplo Ahora daremos un ejemplo no trivial de una relacion de equivalencia.
En X = N N definimos la relacion:
(a, b)R(c, d) a + d = b + c.
Probemos que R, as definida, es una relacion de equivalencia
1.- Refleja. En efecto: se cumple (a, b) X que (a, b)R(a, b) ya que a + b = b + a.
2.- Simetrica. En efecto si (a, b)R(c, d) entonces a + d = b + c o lo que es lo mismo
c + b = d + a, luego (c, d)R(a, b).

3.- Transitiva.En efecto: suponemos que (a, b)R(c, d) y que (c, d)R(e, f ). Tenemos
a + d = b + c y c + f = d + e. A la igualdad a + d = b + c le sumamos f a ambos
lados y tenemos (a + d) + f = b + c + f = b + (c + f ) = b + (d + e) = (b + e) + d.
Concluimos que (a + d) + f = a + d + f = (a + f ) + d = (b + e) + d. Esto es
a + f = b + e lo que implica que (a, b)R(e, f ), como queramos probar.
Definici
on 6. Sea R una relaci
on de equivalencia en el conjunto X. La clase de
equivalencia de un elemento a X, es el conjunto {b X; aRb}.
La clase de equivalencia de un elemento a X se denota [a]R o a/ .
El conjunto de clases de equivalencia se denota X/ o X/R.
En el ejemplo anterior tenemos:
[(0, 0)]R = {(c, d) N N; 0 + d = c + 0} = {; (c, d) N N; c = d} =
{(c, c); c N} = {(0, 0), (1, 1), (2, 2), (3, 3), }.
[(1, 0)] = {(c, d) N N; 1 + d = c + 0} = {; (c, d) N N; c = d + 1} =
{(d + 1, d); d N} = {(1, 0), (2, 1), (3, 2), (4, 3), }.
[(2, 0)] = {(c, d) N N; 2 + d = c + 0} = {; (c, d) N N; c = d + 2} =
{(d + 2, d); d N} = {(2, 0), (3, 1), (4, 2), (5, 3), }.
[(3, 0)] = {(c, d) N N; 3 + d = c + 0} = {; (c, d) N N; c = d + 3} =
{(d + 3, d); d N} = {(3, 0), (4, 1), (5, 2), (6, 3), }.
[(0, 1)] = {(c, d) N N; 0 + d = c + 1} = {; (c, d) N N; d = c + 1} =
{(c, c + 1); c N} = {(0, 1), (1, 2), (2, 3), (3, 4), }.
[(0, 2)] = {(c, d) N N; 0 + d = c + 2} = {; (c, d) N N; d = c + 2} =
{(c, c + 2); c N} = {(0, 2), (1, 3), (2, 4), (3, 5), }.
[(0, 3)] = {(c, d) N N; 0 + d = c + 3} = {; (c, d) N N; d = c + 3} =
{(c, c + 3); c N} = {(0, 3), (1, 4), (2, 5), (3, 6), } y as sucesivamente.
on del conjunto X es una colecci
on de subconjuntos de
Definici
on 7. Una partici
X, C, tal que X = AC A
Definici
on 8. Una partici
on disjunta del conjunto X es una partici
on C de
subconjuntos de X tal que A B = para cualesquiera A, B C con A = B.
Ejemplo

Si R es una relacion de equivalencia en X entonces X/R = {[a]R ; a X} es

una particion disjunta de X. En efecto, es una particion pues cada a X satisface
a [a]R . Esto implica X = aX [a]R .
Si ocurre que [a]R [b]R = probemos que [a]R [b]R . En efecto: sea c
[a]R [b]R y d [a]R . Como c [a]R entonces cRa.Como d [a]R entonces aRd.
Por transitividad cRd. Como c [b]R entonces bRc. Por transitividad dRb y luego
d [b]R . Asi, [a]R [b]R .
De manera similar se prueba que [b]R [a]R . Asi que [a]R = [b]R .
Luego para dos elementos [a]R , [b]R en X/R se cumple que [a]R = [b]R o [a]R
[b]R = . Esto completa la demostracion de que X/R es una particion disjunta de
X.
Nota Ya vimos que una relacion de equivalencia en X genera una particion disjunta
de X. El recproco es cierto. Esto es: Si C es una particion disjunta de X entonces
podemos usar C para definir una relacion de equivalencia,R, en X tal que X/R = C.
En efecto: para a, b X se define aRb si existe A C tal que {a, b} A. Dejamos
como ejercicio probar que esta R es una relacion de equivalencia en X y que X/R =
C.
Como lo necesitaremos mas adelante daremos la definicion de una funcion
biyectiva.
Definici
on 9. Una funcion f de A en B se dira:
a.- inyectiva, si toda vez que (a, c) f y (b, c) f implica a = b. Esto se escribe
tambien: si ocurre que f (a) = f (b) entonces a = b.
b.- sobreyectiva, si c B existe a A talque (a, c) f . Esto se escribe
tambien: si ocurre que c B existe a A tal que f (a) = c.
c.- biyectiva, si es inyectiva y sobreyectiva.
Un ejemplo de aplicacion inyectiva que no es sobreyectiva es f : N N, f (n) =
2n. Una aplicacion biyectiva es Id : N N, Id(n) = n, conocida como la identidad
de los n
umeros naturales.

4.2.

Los N
umeros Enteros

En la seccion anterior avanzamos, sin declararlo, en la construccion del conjunto de n

umeros enteros.
Ya vimos que la relacion, R, en X = NN definida por: (a, b)R(c, d) a+d =
b + c, es una relacion de equivalencia.
Definici
on 10. El conjunto de clases de equivalencia X/R se llamara el conjunto de
los n
umeros enteros y se denotara Z. Una clase de equivalencia se llamara n
umero entero
Lo que importa de los n
umeros enteros son sus operaciones algebraicas. A
saber, la suma y la multiplicacion que pasamos a definir
Para dos clases de equivalencias[(a, b)], [(c, d)] en Z se definen:
Definici
on 11. La suma de n
umeros enteros como: [(a, b)]+[(c, d)] = [(a+c, b+d)],
y la multipllicaci
on de n
umeros enteros como: [(a, b)][(c, d)] = [(ac+bd, ad+bc)].
Las operaciones en la parte derecha de las definiciones anteriores, son las operaciones de n
umeros naturales.
Probemos ahora que estas operaciones estan bien definidas. Esto es: si [(a, b)] =
[(a , b )] y [(c, d)] = [(c , d )] entonces

1.- [(a, b)] + [(c, d)] = [(a , b )] + [(c , d )] y

2.- [(a, b)] [(c, d)] = [(a , b )] [(c , d )].
Vamos a probar [1.-]. Lo que debemos probar es que [(a, b)] + [(c, d)] = [(a +
c, b + d)] = [(a + c , b + d )] = [(a , b )] + [(c , d )]. De acuerdo a la definicion de la
relacion de equivalencia esto significa tener (a + c) + (b + d ) = (b + d) + (a + c )(*).
Como [(a, b)] = [(a , b )] y [(c, d)] = [(c , d )] entonces tenemos a + b = b + a y
c+d = c +d. Sumando ambas igualdades tenemoa (a+b )+(c+d ) = (b+a )+(c +d).
Reagrupando terminos:a + c + b + d = b + d + a + c , que es (*).
Concluimos que [(a, b)] + [(c, d)] = [(a , b )] + [(c , d )], como queramos probar.
Vamos ahora a probar [2.-]. En este caso lo que debemos probar es que [(a, b)]
[(c, d)] = [(ac + bd, ad + bc)] = [(a c + b d , a d + b c )] = [(a , b )] [(c , d )].

Para probar esto veamos que se cumple lo siguiente:

1.- [(a, b)] [(c, d)] = [(a , b )] [(c, d)] y
2.- [(a , b )] [(c, d)] = [(a , b )] [(c , d )].
La transitividad dela relacion completara la demostracion.
Probemos [1.-]. Esto equivale a probar que (ac + bd) + (a d + b c) = (ad + bc) +
(a c + b d).
Ahora (ac + bd) + (a d + b c) = ac + bd + a d + b c = (a + b )c + (b + a )d.Como
[(a, b)] = [(a , b )] entonces a+b = b+a . Asi, ac+bd+a d+b c = (a+b )c+(b+a )d =
(b + a )c + (b + a )d = (b + a )(c + d)(1).
Tambien: (ad + bc) + (a c + b d) = ad + bc + a c + b d = (a + b )d + (b + a )c =
(b + a )d + (b + a )c = (b + a )(d + c) = (b + a )(c + d)(2).
De (1) y (2) concluimos que (ac + bd) + (a d + b c) = (b + a )(c + d) = (ad +
bc) + (a c + b d), que es lo que queramos probar.
Probemos [2.-]. Esto equivale a probar que (a d + b c) + (a c + b d ) = (a c +
b d) + (a d + b c ).

Ahora (a d + b c) + (a c + b d ) = a d + b c + a c + b d = a (d + c ) + b (c + d ).
Como [(c, d)] = [(c , d )] entonces c + d = d + c . Asi, a d + b c + a c + b d =
a (d + c ) + b (c + d ) = a (d + c ) + b (d + c ) = (a + b )(d + c )(1).
Tambien: (a c+b d)+(a d +b c ) = a c+b d+a d +b c = a (c+d )+b (d+c ) =
a (d + c ) + b (d + c ) = (a + b )(d + c )(2).
De (1) y (2) concluimos que (a d + b c) + (a c + b d ) = (a + b )(d + c ) =
(a c + b d) + (a d + b c ), que es lo que queramos probar.

Esto concluye la demostracion de que ambas operaciones estan bien definidas

en Z.
Una vez definidas ambas operaciones se prueba lo siguiente:
Teorema 2. La estructura algebraica (Z, +, ) satisface
A.- (Z, +) es un grupo abeliano con neutro [(0, 0)].

B.- (Z, ) es asociativa, conmutativa y tiene neutro [(1, 0)].

C.- distribuye sobre +. Esto es: a, b, c Z se cumple a (b + c) = a b + a c.
Dejaremos como ejercicio los itemes A y B y probaremos la distributividad.
Demostraci
on 11. [(a, b)] ([(x1 , y1 )] + [x2 , y2 )]) = [(a, b)] [(x1 + x2 , y1 + y2 )] =
[(a(x1 +x2 )+b(y1 +y2 ), a(y1 +y2 )+b(x1 +x2 ))] = [(ax1 +ax2 +by1 +b
y2 , ay1 +ay2 +bx1 +bx2 )] = [((ax1 +by1 )+(ax2 +by2 ), (ay1 +bx1 )+
(ay2 +bx2 ))] = [(ay1 +bx1 , ay1 +bx1 )]+[(ax2 +by2 , ay2 +bx2 )] =
[(a, b)] [(x1 , y1 )] + [(a, b)] [(x2 .y2 )], como queriamos probar.
Observamos que el inverso aditivo del elemento [(n, 0)] Z es el elemento
[(0, n)] Z. En efecto: [(n, 0)] + [(0, n)] = [(n + 0, 0 + n)] = [(n, n)] = [(0, 0)].
La notacion usual de los n
umeros enteros no es la de pares ordenados. Asi que
haremos lo que se hace para tener la notacion usual.
Para ello consideramos la estructura (N, +, ) definida en los n
umeros naturales y la estructura (Z, +, ) que acabamos de definir en Z.
Definamos la aplicacion : N Z, (n) = [(n, 0)].
Teorema 3. La aplicacion satisface:
a.- Es inyectiva.
b.- (n + m) = (n) + (m), n, m N.
c.- (n m) = (n) (m).
Demostraci
on 12. Suponemos que (n) = (m). Esto es [(n, 0)] = [(m, 0)]. Esto
quiere decir que n + 0 = m + 0, o sea n = m.Luego es inyectiva.
(n + m) = [(n + m, 0)] = [(n + m, 0 + 0)] = [(n, 0)] + [(m, 0)] = (n) + (m).
(n m) = [(n m, 0)] = [(n m + 0 0, n 0 + 0 m)] = [(n, 0)] [(m, 0)] =
(n) (m).
De acuerdo a este resultado la imagen (N) Z es una copia inyectiva de N,
en Z, que cumple que las estructuras (N, +, ) y ((N), +, ) son isomorfas. Esto es:
hay una aplicacion biyectiva : N (N) que preserva las operaciones algebraicas.
Esto quiere decir que: (n+m) = (n)+(m) y (nm) = (n)(m), n, m N.

Producto de la existencia de este isomorfismo denotamos los elementos de la

forma [(n, 0)] Z como n Z.
Como el inverso aditivo del elemento [(n, 0)] Z es el elemento [(0, n)] Z y
como hemos identificado a [(n, 0)] con n entonces identificaremos [(0, n)] con n.
Observamos que si n = 0 entonces n = n. En efecto, si fuera que n = n
entonces n + n = n + (n) = n n = 0, cosa que sabemos que no cierta para cada
n = 0, n N.
Como ademas Z = {[(n, 0)], [(0, n)]; n N}() concluimos que podemos escribir Z = {n, n; n N}, que es la notacion usual de los n
umeros enteros.
La afirmacion (*) es no trivial asi que la probaremos. Sea [(n, m)] Z. Si
ocurre que n = m entonces [(n, n)] = [(0, 0)].
Si n > m entonces existe p N, p 1 tal que n = m + p. En este caso
[(n, m)] = [(m + p, m)] = [(p, 0)].
Si n < m entonces existe q N, q 1 tal que m = n + q y en consecuencia
[(n, m)] = [(n, n + q)] = [(0, q)].
As, para [n, m)] Z ocurre una y solo una de las siguientes [(n, m)] = [(0, 0)]
o [(n, m)] = [(p, 0)], alg
un p N, p 1 o [(n, m)] = [(0, q)], alg
un q N, q 1.
Conclumos entonces la demostracion de (*).
Notamos que si N = N \ {0}, y N = {n; n N } tenemos la siguiente
propiedad:
Z = N {0} N .
Esta es una particion disjunta de Z y nos permite la siguiente definicion:
Definici
on 12. Sean n, m Z diremos que
a.- n es mayor que m y escribiremos n > m si ocurre que (n m) N
b.- n es mayor o igual que m y escribiremos n m si ocurre que (nm) N
o n = m.
Asociadas a > o a tenemos las relaciones nRm n > m y nSm n m
y por eso se dice que > y son relaciones en Z.

Ahora es facil verificar que la estructura (Z, ) satisface:

1.- Es refleja: n Z se cumple n n,
2.- Es antisimetrica. Esto es n m y m n implican n = m.
3.- Es transitiva. Esto es si n m y m p entonces n p.
Una relacion que cumple las tres propiedades anteriores se conoce como una
relacion de orden. Asi, es una relacion de orden en Z.
Dejamos ahora como ejercicios probar las siguientes propiedades de la estructura (Z, +, , ).
Sean n, m, p, q Z enteros cualesquiera, tenemos:
1.- (n m) es el u
nico n
umero entero que satisface m + (n m) = n. O dicho de
otra forma: es la u
nica solucion entera de la ecuacion m + x = n.
2.- n (m + p) = n m p.
3.- 0 n = 0.
4.- n (m p) = a m n p.
5.- n (m) = (n) m = n m.
6.- (n) (m) = n m.
7.- Si n m entonces n + p m + p.
8.- Si n m y p 0 entonces n p m p.
9.- Si n m y p q entonces n + p m + q.
10.- Si n m y 0 p entonces m p n p.
11.- n n = n2 > 0 si n = 0.
12.- Si n m = 0 entonces n = 0 o m = 0.
13.- La relacion es de orden total en Z. Esto es para n, m Z se cumple que
n m o que m n.

Para simplificar, denotaremos n m si m n.

Podemos ahora introducir el valor absoluto de un n
umero entero.
Definici
on 13. Se define el valor absoluto de un entero n Z, denotado |n|, de
la siguiente forma: |n| = n si n 0 y |n| = n si 0 n.
El valor absoluto es una funcion || : Z N que satisface las siguientes propiedades:
1.- |n| = 0 n = 0.
2.- |n| n |n|, n Z.
3.- Sea m 0. Se tiene |n| m m n m.
4.- |n + m| |n| + |m|, n, m Z(desigualdad triangular).

5.
5.1.

Los N
umeros Racionales
Definici
on de Q

Sea Z el conjunto Z = (Z \ {0}). En el producto cartesiano Z Z definimos

la siguiente relacion.
(a, b) (a1 , b1 ) a b1 = a1 b.
on de equivalencia en ZZ .
Proposici
on 4. La relacion asi definida es una relaci
Demostraci
on 13. La relaci
on es refleja. En efecto (a, b) Z Z tenemos
(a, b) (a, b) pues a b = a b.
La relacion es simetrica. En efecto, si (a, b) (a1 , b1 ) entonces a b1 = a1 b.
Como la igualdad es simetrica tenemos a1 b = a b1 que implica (a1 , b1 ) (a, b).
La relacion es transitiva. Suponemos que (a, b) (a1 , b1 ) y que (a1 , b1 )
(a2 , b2 ). Tenemos entonces a b1 = a1 b y a1 b2 = a2 b1 .
Tenemos entonces que (ab2 )b1 = ab1 b2 = (ab1 )b2 = (a1 b)b2 =
a1 bb2 = a1 b2 b = (a1 b2 )b = (a2 b1 )b = a2 b1 b = (a2 b)b1 . Luego

(a b2 b1 a2 b b1 ) = 0. Factorizando por b1 tenemos (a b2 a2 b) b1 = 0.

Como b1 = 0 entonces ab2 a2 b = 0 y ab2 = a2 b que implica (a, b) (a2 , b2 ),
como queramos probar.
Definici
on 14. El conjunto de clases de equivalencias (Z Z )/ se reconoce
como el conjunto de los n
umeros racionales y se denota Q. Cada clase de
equivalencia se llama n
umero racional.

5.2.

La estructura (Q, +, )

Al igual que antes lo importante de Q es su estructura algebraica asi que vamos

a definir la suma y el producto de n
umeros racionales. Para simplificar, denotaremos
la clase de equivalencia [(a, b)]/ por ab .
La suma de los n
umeros racionales

a
b

c
d

es el n
umero racional

a c
ad+bc
+ =
.
b d
bd
El producto de los n
umeros racionales

a
b

c
d

es el n
umero racional

a
c
ac
( )( )=
b
d
bd
.
Proposici
on 5. La suma y el producto estan bien definidos. Esto es si
c1
c
=
entonces
d
d1

a
b

a c
a1 c1
+ =
+ ,y
b d
b1 d 1
a
c
a1
c1
( ) ( ) = ( ) ( ).
b
d
b1
d1
Dejamos esta proposicion y la siguiente como ejercicio.
Proposici
on 6. La estructura Q, +, ) satisace las siguientes propiedades
A.- (Q, +) es un grupo abeliano con neutro 01 ,
B.- Sea Q = Q \ { 01 } entonces (Q , ) es un grupo abeliano con neutro

1
1

a1
b1

C.- distribuye sobre + esto es:

c
e
a c a e
a
( + )= + .
b
d f
b d b f
Esta estructura contiene una subestructura isomorfa a los n
umeros enteros.
En efecto, consideramos la aplicacion : Z Q definida por (z) = z1 . Tenemos la
siguiente proposicion:
Proposici
on 7. es un isomorfismo de la estructura algebraica (Z, +, ) en la
subestructura algebraica ((Z), +, ) de (Q, +, ).
Demostraci
on 14. es inyectiva. En efecto (z) = (y) implica que
es z 1 = 1 y. O sea z = y.
(z + w) = (z) + (w). En efecto, (z + w) =
(z w) = (z)(w). En efecto (z w) =
Notamos que si

a
b

z+w
1

zw
1

z
1

zw
11

w
1

z
1

= y1 . Esto

= (z) + (w).

= z1 w1 = (z)(w).

Q entonces su inverso multiplicativo ( ab )1 = ab . En efecto

a b
ab
=
.
b a
ba

Como

ab
ba

1
1

concluimos que
a b
ab
1
=
= .
b a
ba
1

La demostracion de los siguientes resultados no es complicada y la dejamos al

lector.
Proposici
on 8. 1.- Sean , n
umeros racionales con = 0. Se cumple que
1
es el u
nico racional que satisface ( 1 ) = . Dicho de otra forma:
la ecuacion x = tiene como u
nica solucion x = 1 .
2.- Para un racional = 0 se tiene que ( 1 )1 = .
3.- Para dos racionales , no nulos se cumple que ( )1 = 1 1 .
4.- Para racionales , , con , no nulos se cumple que ( )1 =
( 1 ) 1 .
Definamos ahora el concepto de que el racional

a
b

es mayor que 0.

Definici
on 15. Diremos que el n
umero racional
a
>
0,
si
ocurre
que
a

b
>
0
en
Z
b
Por ejemplo el racional

11
25

a
b

es mayor que cero, denotado

no es mayor que cero.

Ahora definimos el concepto de que el racional

a
b

es mayor que el racional dc .

Definici
on 16. Diremos que el racional ab es mayor que el racional
a
> dc , si ocurre que ( ab dc ) es mayor que cero.
b
Esta definicion requiere que ab dc =
Por ejemplo, el racional

25
14

adbc
bd

c
,
d

denotado

> 0, esto es (adbc)(bd) > 0.

es mayor que el racional

26
.
22

Podemos ahora definir la siguiente relacion

Definici
on 17. Diremos que el racional ab es mayor o igual que el racional
denotado ab dc , si ocurre que ab > dc o si ab = dc .

c
,
d

Ahora se puede probar lo siguiente:

Proposici
on 9. La relacion

a
b

dc , definida en Q es una relaci

on de orden.

Denotaremos por Q+ el conjunto de los racionales positivos. Esto es

Q+ = {z Q; z > 0}.
El conjunto Q+ es cerrado para la suma y multiplicacion de n
umeros racionales.
Esto es:
1.- Si x, y Q+ entonces (x + y) Q+ y
2.- Si x, y Q+ entonces (x y) Q+ .
Ademas se cumple lo siguiente: z Q se cumple una y solo una de las
siguientes
z Q+ o z = 0 o z Q .

Como en los casos anteriores, el cumplimiento de esta propiedad se reconoce

como la tricotoma de los n
umeros racionales .
Podemos, ahora, escribir la relacion de orden de la siguiente forma: z y
(z y) Q+ o z = y.
Denotaremos, indistintamente, x y y x.
Se
nalamos ahora un conjunto de propiedades para el orden parcial:
1.- Si x y entonces z Q se cumple x + z y + z.
2.- Si x y y 0 z entonces x z y z.
3.- Si x y y y < z entonces x < z.
4.- Si x y y u v entonces x + u y + v.
5.- Se tiene x > 0 x1 > 0.
6.- x Q vale x2 0.
7.- Si x y = 0 entonces x = 0 o y = 0.
8.- La ecuacion x2 =

4
9

tiene dos soluciones en Q.

9.- La ecuacion x2 = 5 no tiene solucion en Q.

10.- Si z < 0( o sea z > 0) entonces x < y yz < xz.
Como en el caso de los n
umeros enteros tenemos la funcion valor absoluto
+
|| : Q (Q {0}) definida como:
|z| = z, si z 0 y |z| = z, si z < 0.
Esta funcion satisface:
1.- x Q valen |x| 0 y |x| = | x|.
2.- |x| = 0 x = 0.
3.- x Q vale |x| x |x|.

4.- Sea x 0. Se cumple |z| x x z x.

5.- x, y Q vale |x + y| |x| + |y| (desigualdad triangular).
6.- x, y Q vale (|x| |y|) ||x| |y|| |x y|.
7.- x, y Q vale |x y| = |x| |y|.
9.- si y = 0 vale | xy | =

|x|
.
|y|

En los n
umeros enteros ocurre lo siguiente: si n, m Z son tales que n < m
entonces no neceariamente hay p Z tal que n < p < m.Por ejemplo n < (n + 1) y
no hay un n
umero entero entre ellos. Esto no sucede con los n
umeros racionales. A
saber:
Teorema 4.

1.- Si a < b en Q entonces hay c Q que satisface a < c < b.

2.- Si 0 < a es un racional positivo y b Q entonces hay n N tal que n a b.

Demostraci
on 15. La primera parte se verifica con c =

a+b
.
2

La segunda parte es mas elaborada. Si ocurre que b 0 o que 0 < b a basta

considerar n = 1.
Vamos pues a suponer que a < b y que el numerador y denominador que
definen a y b son n
umeros positivos.
Escribamos a = xy y b = uv . Como m
Q vale m
= mp
, p Z tenemos
n
n
np
entonces que a = xy = xv
y b = uv = uy
. O sea, de partida podemos suponer que
yv
vy
a = wx y que b = wu . Esto es a y b tienen denominador com
un.
Consideremos n = w u. Tenemos na = (w u) wx = ux u b =
como queramos probar.

u
w

= b,

Al cumplir la propiedad 2 decimos que Q tiene la propiedad arquimediana o

que Q es un cuerpo arquimediano.
Observaci
on: De la propiedad 2 concluimos que para r > 0 en Q exite n N tal
1
que 0 < r.
n
1
En efecto: para a = r y b = 1 se tiene n N tal que n r 1 i.e r > 0
n
como anunciado.

6.

Construcci
on de los N
umeros Reales
Conjuntos Acotados en Q.

6.1.

Consideremos (Q, +, , ) el conjunto de los n

umeros racionales con las operaciones de suma, producto y orden parcial definidos como:
a
b
a
2.
b
a
3.
b
1.

c
ad + bc
=
d
db
c
a
=
d
bd
c
a
c a
c
= o >
d
b
d b
d
+

Aqu

a
c
a c
ad bc
> =
Q+ .
b
d
b d
bd

Recordamos que

a
Q+ a b > 0 en Z.
b

Definici
on 18. Sea A Q un conjunto. Diremos que A es acotado inferiormente
si existe z Q tal que para cada x A se cumple z x. El elemento z Q se
llama cota inferior de A.
Definici
on 19. Sea A Q. Diremos que A es acotado superiormente si existe w Q tal que: para cada x A vale x w. El elemento w Q se llama
cota superior de A.
Definici
on 20. El conjunto A Q se dira acotado si es acotado superior e inferiormente. Esto es: si existen z, w Q tal que x A vale: z x w.
Ejemplo 1. A = {x Q; 0 < x < 1} es acotado. En efecto, basta considerar z = 0,
como cota inferior y w = 1 como cota superior.
Definici
on 21. Sea A Q un conjunto acotado superiormente.Diremos que c Q
es el supremo de A si ocurren:
1. c es una cota superior de A(i.e x c x A) y

2. Si d Q es una cota superior de A entonces c d.

Definici
on 22. Sea A Q un conjunto acotado inferiormente. Diremos que d Q
es el infimo de A si ocurren
1. d es una cota inferior de A,
2. Si e Q es una cota inferior de A entonces e d.
Ejemplo 2. El conjunto A = {x Q; 0 < x < 1} satisface que sup(A) = 1,nf(A) =
0.
En efecto
1. x < 1x A c = 1 es cota superior de A.
2. Si d Q, una cota superior de A si ocurre que d < 1 entonces e Q tal
que d < e < 1. Como e A no puede ser que d sea una cota superior de
A 1 d.
De manera analoga se prueba que nf(A) = 0.
Ejemplo 3. Sea A = {x Q; 0 < x y x2 < 2}
Afirmaci
on. A es un subconjunto acotado superiormente que no tiene supremo en
Q.

En efecto; A es acotado superiormente z = 2 es una cota superior de A. Para

ver esto: sea x A y x 2 entonces x2 4. no puede ser x2 < 2. Asi x A debe
cumplir x < 2 A tiene una cotra superior z = 2.
La verdad z = 1, 5 es cota superior de A(1, 5 1, 5 = 2, 25 > 2).Suponemos
que A posee un supremo = r en Q.
Se tiene 0 < x rx A x2 r2 . Debe ser que 2 r2 ya que si r2 < 2.
2r 1
1
Entonces (r+h)2 = r2 +2rhh2 , y si escribieramos h = tenemos 2rh+h2 = + 2 .
n
n n

(
)2
1
2r 1
2
2
Podemos escoger n tal que 0 < + 2 < 2r y luego (r+h) = r +
=
n n
n
r2 + 2rh + h2 < r2 + 2 r2 = 2; (r + h)2 < 2 asi 0 < (r + h) y (r + h)2 < 2
(r + h) A y se cumple que (r + h) > r r no es supremo de A.
se cumple que r2 2.
Supongamos que r2 > 2 entonces r2 2 > 0. Asi que si (r h)2 = r2 2rh + h2
es tal que 2 r2 < 2rh + h2 = h (2r + h) < 0 entonces 2 = 2 r2 + r2 <
r2 2rh + h2 = (r h)2 i.e. (r h)2 > 2 y no puede ocurrir que (r h) A r
no es supremo.Asi que debe ser r2 = 2.

Como hemos supuesto que r Q, tenemos r =

2 p2 = 2q 2 .

p
p2
con (p, q) = 1 r2 = 2 =
q
q

Como (p, q) = 1 debe ser que 2 divide a p, p = 2s y 4s2 = 2q 2 2s2 = q 2 y

as 2 divide a q y no puede ser que (p, q) = 1() no existe r Q tal que r2 = 2.
Asi que el supremo de A no es un elemento de Q.
Ejercicio. Pruebe que si A = {x Q; 0 < x y x2 > 2} entonces A es acotado
inferiormente y no tiene infimo en Q.

Esto nos lleva a la siguiente definicion.

Definici
on 23. Una estructura de cuerpo (K, +, ) y una relaci
on de orden
que satisfacen.
a) K + K tal que , x, y K + (x + y) K + y x y K +
b) Para x, y K, z K se cumple que si x y entonces x + z y + z
c) Para x, y K, z K + vale x y implica x z y z.

Se dira completa cuando para todo subconjunto A K que es acotado superiormente

se cumple que existe sup(A) en K.

Observaci
on: Si ocurre que (K, +, , ) es una estructura ordenada y completa
entonces todo subconjunto A K que es acotado inferiormente tiene infimo en K.
En efecto; sea (A) = {x, x A}. Como A es acotado inferiormente existe
z K tal que z x x A; x z x (A) (A) es acotado
superiormente. Asi existe sup(A) = c.
Sea d = c.Como x c x (A) entonces c x A y resulta ser
que c es una cota inferior de A.
Si d K, es una cota inferior de A entonces d xx A; x d y (d)
es cota superior de (A). Luego se cumple que c (d) (pues c = sup(A)) y
entonces d (c) (c) es la mayor de las cotas inferiores de A (c) = nf(A).
Observaci
on: De aqu conclumos, en particular, que sup(A) = nf(A).
Definici
on 24. Sea (K, +, , ) un cuerpo ordenado. Sean A y A subconjuntos de
K. Diremos que el par (A, A ) es una cortadura de Dedekind de K si
1. (A, A ) define una partici
on de K (i.e. A A = y A A = K), y
2. Si x A, y A entonces x < y.
Al conjunto A se le llama la clase inferior de la cortadura y A se le llama la
clase superior de la cortadura.
Definici
on 25. Una cortadura de Dedekind (A, A ) se llama sin frontera si la clase
inferior no tiene mayor elemento en K ni la clase superior tiene menor elemento
en K.
Observaci
on: El mayor elemento de un conjunto acotado superiormente es el supremo de A si sup(A) A. El menor elemento de un conjunto acotado inferiomente
es el infimo de A si nf(A) A.
Ejemplo 4.
1. Sean A, A Q definidos por A = {x Q; x 0 o 0 < x y x2 <

2} y A = {x Q; 0 < x y x2 2}. Claro que x A, y A x < y.

Tambien: A A = ya que si no existe x Q; x > 0 tal que x2 < 2 y x2 2;
cosa que no puede ocurrir.

Ademas x Q implica x A
o x A . Ya que: si x Q entonces x 0
2
o x > 0. Si x > 0 entonces x < 2 o x2 2; x Q implica x A
o x A .
Notamos que (A, A ) es una cortadura de Dedekind sin frontera de Q. En efecto
si a = sup(A) entonces debe ser a > 0 y a2 = 2 a
/ Q. As que la clase
inferior no tiene mayor elemento a Q. De la misma forma A no tiene
menor elemento en Q.
2. Sean A, A Q definidas por A = {x Q; x < 2}, A = Q \ A. Claro que
A A = y Q = A A . Adem
as A = {y Q; y 2}. Luego, si x A e

y A entonces x < 2 y i.e. x < y (A, A ) es una cortadura de Dedekind

de K.
Esta cortadura es con frontera ya que 2 = sup(A) = nf(A ) y 2 A o sea que
la clase superior tiene menor elemento en Q.
Proposici
on 10. Sea (A, A ) una cortadura de Dedekind de Q.
a) Si a A y b < a entonces b A
b) Si c A y c < d entonces d A
Demostraci
on 16.

a) Como A A = y A A = Q entonces b A o b A .

Si b A entonces como hay a A tal que b < a entonces no ocurre la

propiedad 2) de la definicion de cortadura a Dedekind de Q; Debe ser b A.
b) queda como ejercicio.
Lema 6. Sea (A, A ) una cortadura de Dedekind de Q. Sea r > 0 un racional.
Existen x A, y A tal que y x = r.
Demostraci
on 17. r A o r A . Si r A entonces r < 2r < 3r < 4r .
Como A es acotado superiormente existe n0 N tal que n0 r A y (n0 + 1)r
A ; (n0 + 1)r n0 r = r y queda probado.
Si r A entonces < 3r < 2r < r < 0 < r y existe n0 N tal que
(n0 r) A y (n0 r r) A y n0 r (n0 r r) = r y queda probado.

Observaci
on: Si ocurre que u, v son n
umeros racionales tal que |u v| < r para
cualquier r > 0 entonces u = v.

Demostraci
on 18. |u v| < r r < (u v) < r
Como vale r > 0. Si rn =

r
r
r
; < u v < para cualquier n N.
n
n
n

Si u = v entonces u v > 0
o u v < 0.
r
Si u v > 0 entonces la desigualdad n N 0 < u v <
no puede ser. Si
n
r
u v < 0 entonces la desigualdad: n Q < u v < 0 tampoco puede ser
n
u = v.

6.2.

Sucesiones de Cauchy en Q

on en X es una funcion
Definici
on 26. Dado un conjunto X = . Una sucesi
f : N X.
La imagen f (N) X se denota {f (n); n N} o {xn ; n N}
o (xn )nN .
Aqu xn = f (n).
Una sucesion de n
umeros racionales es una sucesi
on f : N Q.
Ejemplo 5.
2
, f (4) =
3

1. f : N Q, f (n) = 1+
5
, .
4

(1)n
3
; f (1) = 11 = 0, f (2) = , f (3) =
n
2

2. f (n) = 1+(1)n , f (1) = a1 = 0, a2 = 2, a3 = 0, a4 = 2 .Aqu f (N) = {0, 2}.

Observaci
on: El conjunto {xn , n N} X sera llamado conjunto de valores
de la sucesion.
Definici
on 27. Una sucesion f : N Q se dice acotada superiormente si su conjunto de valores es acotado superiormente. Se dice acotada inferiormente si un
conjunto de valores es acotado inferiormente. Se dice acotado si es acotado inferior
y superiormente.
on. Diremos que (an ) converge a b Q
Definici
on 28. Sea (an )nN Q una sucesi
si Q, > 0 existe n() N tal que |an b| < para n n().

Se dice que (an )nN converge a b y se denota b = lm an . Se llama a b el lmite

n

de la sucesion (an )nN .

Si la sucesion (an ) converge se dice convergente. Caso contrario se dice divergente.

Observaci
on: Si lm an = b y lm an = b entonces b = b .

En efecto si b = b sea =
que |an b| < si n n0 .

|b b |
. Como b = lm bn , para existe n0 () tal
n
3

Como b = lm bn , para existe n1 () tal que |an b | < si n n1 .

n

Si n max{n0 , n1 } se cumple (1) |an b| < y (2) |an b | < .

(1) significa que b < an < b + para n max{n0 , n1 }.
(2) significa que b < an < b + para n max{n0 , n1 }.
Como (b , b + ) (b , b + ) = no puede haber an (b , b + )
(b , b + ). No puede ocurrir que b = b b = b .

Ejemplo 6.

1
= 0.
n n

1. lm

En efecto: Sea > 0 dado. Por la propiedad arquimediana de Q existe n0 N

1
tal que 0 <
< .
n0
Si n n0 entonces 0 <
n n0

1
1
< .

n
n0



1

1
1
0 < < en particular < <  0 < n n0 y de
n
n
n

1
= 0.
n n

aqu lm

2. f (n) = n es divergente. En efecto; dado b > 0 en Q existe n0 N tal que

0 < b < n0 + 1 < n0 + 2 < y no puede ocurrir que |b n| < 1 para
n n0 + 1.

3. f (n) = 1 + (1)n es divergente. En efecto f (2n + 1) = 0 y f (2n) = 2. Luego

1
1
las inecuaciones |f (n) 0| < y |f (n) 2| < no se resuelven para n n0 .
2
2
1
1
1
= 0. En efecto, como 2n > n para n 1 se tiene 0 < n < y luego
n
n 2
2
n
1
= 0.
lm
n 2n

4. lm

Definici
on 29. Una sucesion (an )nN se dara de Cauchy si Q, > 0 n0 ()
tal que |an am | < para n, m n0 ()
Proposici
on 11. Si (an )nN Q es convergente entonces (an )nN es de Cauchy.

Demostraci
on: Sea (an ) una sucesion de n
umeros racionales y a = lm an .
n

Sea > 0 un racional dado. Sabemos que existe n0 () N tal que |an a| <
para n n0 ().

Entonces, si n, m n0 () tenemos |an am | = |an a + a an | |an a| +

|a an | < + = .
2 2
para > 0 racional existe n0 () tal que n, m n0 () implican |an am | < .
As (an ) es de Cauchy.
Proposici
on 12. si (an ) Q es de Cauchy entonces (an ) es acotada.
Demostraci
on: Dado = 1 existe n() tal que n, m r() implican |an
am | < < an am < am < an < am + .
Considerando m = n() tenemos an() < an < an() + para cada n n().
Sean A = mn{a1 , a 2, , an()1 } y B = max{a1 , a2 , , an()1 an() + }.
Es claro que para cada n N vale A an B (an ) es acotada.
Consideramos F (N, Q) = {f : N Q, f es una funcion} el conjunto de sucesiones de n
umeros racionales. Sean Sa = {f F (N, Q), f es acotada}; Sc = {f
F (N, Q); f es de Cauchy} y Sco = {f F (N, Q); f es convergente}.

Hemos probado que Sco Sc Sa .

Observacion: La sucesion an = 2 + (1)n es acotada (an = 3 o an = 1) pero
no es de Cauchy la conclusion Sc Sa es estricta.
on de n
umeros racionales convergente. Sea
Proposici
on 13. Sea (an )nN una sucesi
a = lm an tenemos
n

1. lm |an | = |a|
nN

2. Si a = 0 entonces existe n0 N tal que |an | >

|a|
, n n 0 .
2

Demostraci
on:
1. Sabemos que ||x| |y|| |x y| en Q.
Como lm an = a Dado > 0 racional existe n0 N tal que n n0 implica
n

|an a| < ||an ||a|| |an a| < ||an ||a|| < n n0 lm |an | =
n

|a|.
2. Tenemos lm |an | = |a| luego si consideran =
n

|a|
> 0.
2

Tenemos que existe n0 () tal que n n0 () implica ||an | |a|| < |a| <
|a|
|a|
< |an | < |a| + .
|an | < |a| |a|
2
2
O sea

|a|
3
< |an | < |a| n n0 ().
2
2

Observaciones:
1. Puede ocurrir que lm |an | = |a| pero no necesariamente lm an = a. Basta
n
1
1
considerar a2n+1 = 1 , a2n = 1 se tiene lm |an | = 1 pero (an ) no
n
n
n
converge.

2. Si ocurre que a an b para cada n p entonces si lm an = debe ser

n
a b..
a
.
Demostraci
on. Si no < a o > b. Suponemos < a y sea =
3
Existe n0 () tal que n n0 |an | < < an < + =
a
+
< + (a ) = a.
3
As, no puede ocurrir que a an b para n p.
concluimos que < a no puede ocurrir. Analogamente b < no puede ocurrir.
3. Sea (A, A ) una cortadura de Dedekind sin frontera en Q. Entonces para cada
n
umero natural n tenemos que podemos encontrar an A y an A tales que
1. an an =

1
.
n

2. |am an | <

1
1
y |am an | <
m n.
n
n

Demostraci
on: Como Z Q, Q = A A y es una cortadura sin frontera
existe t Z tal que t A y (t + 1) A .
Dado n N, formamos la sucesion de racionales

t, t +

1
1
1
1
1
, t + 2 , t + 3 , t + (n 1) , t + n = t + 1
n
2
n
n
n

y hay pn , 1 pn n 1 tal que

)
(
)
(
1
1
A y t + (pn + 1)
A .
t + pn
n
n
Sea an = t +

1
pn
, an = t + (pn + 1)
n
n

an an = t + pn

1
1
pn
1
+ t
=
n n
n
n

Si m n entonces an am y 0 am an an an =

1
.
n

Si m n entonces am an y 0 an am an an =

1
, como anunciado.
n

Observaci
on: (an ) A y (an ) A son sucesiones de Cauchy. En efecto,
1
dado > 0 racional escojemos n0 tal que
<y
n0
|am an |

1
1
< para n, m n0
<
n
n0

Lo mismo sucede con (an ) A .

Proposici
on 14. Sean (an ) y (bn ) sucesiones de Cauchy entonces (an ) + (bn ) y
(an bn ) son sucesiones de Cauchy.
Demostraci
on: Sea > 0 un racional. Existen n0 () y n1 () tales que |am

an | <
para m, n n0 y |bm bn | <
para m, n n1 (); Si m, n
2
2
max{n0 (), n1 ()} se tiene

|(am + bm ) (an + bn )| = |(am an ) + (bm bn )| |am an | + |bm n | <

+ = .
2 2

Conclumos que (an ) + (bn ) = (an + bn ) es una sucesion de Cauchy.

Como (an ) es de Cauchy existe M > 0 tal que |an | < M n N.Como (bn )
es de Cauchy existe L > 0 tal que |bn | < L n N.

Ademas, existe n0 () tal que si m, n n0 implica |am an | <

y existe
2L

n1 () tal que m, n n1 implica |bn bm | <

.
2M
Tenemos:
|am bm an bn | = |am bm am bn + am bn an bn | = |an (bm bn ) + bn (am an )|
,
|am ||bm bn |+|bn ||am an | M

+L
+ ; m, n max{n0 (), n1 ()}.
2M
2L
2 2

En consecuencia: (an bn ) es de Cauchy.

Observaci
on. Esta proposicion nos permite definir una suma y un producto
en Sc . A saber
(an ) + (bn ) = (an + bn ) y (an ) (bn ) = (an bn )
Teorema 5. (Sc , +, ) es un anillo conmutativo con unidad
Demostraci
on 19.
1. El neutro aditivo de la suma es (an ) = (0, 0, 0, 0, ) ya
que (bn ) + (0) = (bn + 0) = (bn ) para cada (bn ) Sc .
2. El inverso aditivo de (an ) es (bn ) = (an ) ya que

(an )+(bn ) = (an +bn ) = (an an ) = (0); (bn )+(an ) = (bn +an ) = (an +an ) = (0).
3. La suma es conmutativo porque
(an ) + (bn ) = (an + bn ) = (bn + an ) = (bn ) + (an ).
4. La suma es asociativa porque

((an ) + (bn )) + (cn ) = (an + bn ) + (cn ) = ((an + bn ) + cn ) = (an + (bn + cn )) =

,
(an ) + (bn + cn ) = (an ) + ((bn ) + (cn )).
5. La unidad del producto es (an ) = (1, 1, 1, ) porque
(an ) (1, 1, 1, ) = (an 1) = (an ); (1, 1, ) (an ) = (1 an ) = (an ).
6. El producto es conmutativo porque (an ) (bn ) = (an bn ) = (bn an ) = (bn ) (an ).
7. Es producto es asociativo porque
((an ) (bn )) (c1 ) = (an bn ) (cn ) = ((an bn ) cn ) = (an (bn ), cn ) =
,
(an ) (bn cn ) = (an ) ((bn ) (cn )).
8. distribuye sobre + porque : (an )((bn )+(cn )) = (an )(bn +cn ) = (an (bn +cn )) =
(an bn + an cn ) = (an bn ) + (an cn ) = (an ) (bn ) + (an ) (cn ).

Observaci
on:
1. Consideramos la cortadura A = {x Q; x < 0 o 0 x y x2 < 2} y A =
{x Q; x 0 y x2 > 2}. Sabemos que hay (an ) A, (an ) A tales que
1
1
1
:an an = ; |am an | < para m > n y |am an | < si m > n. Ambos
n
n
n
sucesioness (an ) y (an ) no convergen en Q. En efecto si lm an = a entonces
n
1
1
an = an + y lm an = lm an + lm = a.
n
n n
n n
2

Como an A, (an ) < 2; como an A vale 2 < (an )2 .

Como lm a2n 2 lm (an )2 entonces lm a2n = 2 a2 = 2 y a
/ Q.
n

2. Si bien (Sc , +, ) es un anillo conmutativo con unidad tenemos, por ejemplo

para (an ) = (1, 1, 1, 1, 0, 0, 0, ) y (bn ) = (0, 0, 0, 0, 1, 1, 1, 1, ) que (an )
(bn ) = (0) y (an ) == 0 y (bn ) = 0.
Definici
on 30. Sea (an ) Sc una sucesi
on de Cauchy
1. Diremos que (an ) es una sucesi
on nula si lm an = 0.
n

O sea: Dado > 0 racional n0 () N tal que |an | < n n0 ()

2. Diremos que (an ) es una sucesi
on positiva si hay r Q, r > 0 y r > 0 y n0 N
tal que an > r > 0 n0 ().
( )
1
on nula, (an ) =
Ejemplo 7. (an ) = (1, 1, 1, 1, 0, 0, ) es una sucesi
es una
n
sucesion nula.

Observaci
on: Si (an ) es una sucesion nula entonces (an ) no es positiva.

Si (an ) es positiva entonces (an ) no es una sucesion nula.

Sc+

Si Sc (0) = {(an ) Sc ; (an )es una sucesion nula} y

= {(an ) Sc /(an )es una sucesion positiva} entonces Sc (0) Sc+ = .

Una sucesion (an ) Sc se dira negativa si (bn ) = (an ) es una sucesion

positiva. Denotemos SC = {(an ) Sc ; (an )es una sucesion negativa}.

Claro que Sc Sc+ = y Sc Sc (0) = . Esto es los conjuntos Sc+ , Sc (0) y Sc

son dijuntos.
Proposici
on 15.

Sc = Sc+ Sc (0) Sc

Demostraci
on: Supongamos que (an ) es una sucesion que no es positiva ni
negativa. Esto es: para cada racional positivo r y para cualquier natural n0 hay
p > n0 tal que ap r. De la misma forma hay un q > n0 tal que r aq .
Como (an ) es de Cauchy existe n0 (r) tal que s, t n0 no implica |as at | < r.
Escogiendo el p y el q asociado a este n0 tenemos que si t > n0 ; at = at ap + ap <
r + r = 2r; ademas at = (aq at ) aq < r + r = 2r esto es 2r < at < 2r o sea
|at | < 2r.
Asi, dado r racional positivo existe n0 (r) tal que t > n0 implica |at | < 2r
lm an = 0 y (an ) es una sucesion de Cauchy nula.
n

Observaci
on:
1. Si (an ) Sc+ , (bn ) Sc+ entonces (an + bn ) Sc+ y (an ) (bn ) Sc+ .
En efecto; Existe r > 0 y n0 N tal que n n0 vale an > r. Tambien,
existen s > 0 y n1 N tal que bn > s para n N1 . As para n max(n0 , n1 )
vale an + bn > r + s >; 0 luego (an ) + (bn ) Sc+ . De la misma forma si
n max(n0 , n1 ) vale an bn > r s >; 0 luego (an ) (bn ) Sc+ .
2. Si (an ) Sc+ entonces su inverso aditivo (an ) Sc .
En efecto: Existen r > 0 y n0 N tal que an > r, n n0 entonces an <
r < 0 para n n0 (Sn+ , +, ) no es un anillo.
Proposici
on 16. (Sc (0), +, ) es un anillo conmutativo sin unidad.
Demostraci
on: Sean (an ), (bn ) en Sc (0). Probemos que
1. (an ) + (bn ) Sc (0)

2. (an ) (bn ) Sc (0);

3. (an ) Sc (0) y
4. (0) Sc (0)
r
para n n0 . Ademas,
1. Dado r Q, r > 0 existe n0 N tal que |an | <
2
r
existe n1 inN tal que |bn | < para n n1 , Si n max{n0 , n1 } tenemos
2
r r
|an + bn | |an | + |bn | < + = r |an + bn | < r n max{n0 , n1 }. Esto
2 2
indica que (an ) + (bn ) = (an + bn ) Sc (0).
2. Como (an ) es de Cauchy es acotado. O sea, existe M > 0 tal que |an |
r
M n N. Como (bn ) Sc (0) n0 N tal que n n0 implica |bn | <
M
r
para r Q, positivo.Luego, si n n0 , |an bn | = |an | |bn | < M
=r
M
(an ) (bn ) Sc (0).
3. Como (an ) Sc (0) Dado r > 0, r Q existe r0 N tal que |an | < r para
n n0 . Como |an | = | an |. Tenemos | an | < r n n0 (an ) Sc (0)
4. Obvio que (an = 0) Sc (0).
Corolario 2. Si (an ) SC y (bn ) Sc (0) entonces (an ) (bn ) Sc (0)
Demostraci
on: Como (an ) Sc entonces es acotada y la demostracion es
exactamente como en 2) de la proposicion anterior.

6.3.

Los N
umeros Reales

Definici
on 31. Sea (A, +, ) un anillo. Un subconjunto I A se dice un ideal de
A si
a) (I, +) es un subgrupo de (A.+) y
c) Si a I, b A entonces a b I
Ejemplo 8.

a) A = Z, I = n
umeros pares es un ideal de Z

b) A = Z, I = pZ = {p n, n N} es un ideal de Z p 2
c) A = Sc , I = Sc (0) es un ideal de Sc (0)

Observaci
on:
a) Si (an ) Sc+ y (bn ) Sc (0) entonces (an ) + (bn ) Sc+ .
Demostraci
on: Existen r > 0 y n0 N tal que an > r > 0 n n0 . Tambien, para cualesquiera > 0 en Q existe n1 N tal que |bn| < si n n1 .
r
O sea < bn < n n1 . En particular, si = entonces n1 tal que
2
r
r
< bn <
n n1 .
2
2
r
r
si n max{n0 , n1 }
+ r < bn + an . O sea an + bn >
para
2
2
+
n max{n0 , n1 }. As (an ) + (bn ) Sc .
Si (an ) Sc y (bn ) Sc (0) entonces (an ) + (bn ) Sc . La demostracion es
similar a la anterior.
Definici
on 32. Sea (A, +, ) un anillo y L, T A.

Se definen
a) T = {t, t T };
b) L + T = {l + t, l L, t T }
c) L T = {l + (t); l L, t T } = L + (T )
d) L T = {l t, l L, t T }
e) Para a A, a + L = {a + l, l L} y
f ) a L = {a l, l L}
Con estas convenciones hemos probado, en las paginas anteriores, lo siguiente:
1. Sc + Sc Sc
2. Sc Sc Sc
3. Sc (0) + Sc (0) Sc (0)
4. Sc (0) Sc (0) Sc (0)

5. Sc (0) Sc (0) Sc (0)

6. Sc+ + Sc+ Sc+
7. Sc+ Sc+ Sc+
8. Sc Sc (0) Sc (0)
9. Sc+ + Sc (0) Sc+ y
10. Sc + Sc (0) Sc
Ahora vamos a definir una relacion de equivalencia en Sc
Definici
on 33. Sean (an ), (bn ) en Sc . Diremos que (an ) (bn ) [(an ) (bn )]
Sc (0)
Proposici
on 17. es una relaci
on de equivalencia en Sc .
a) (an ) (an ). En efecto (an ) (an ) = (an an ) = (0) Sc (0).
b) Si (an ) (bn ) entonces (bn ) (an ).
En efecto; como SC (0) es un anillo y ((an ) (bn )) Sc (0) entonces ((an )
(bn )) Sc (0)|. As (bn ) (an ) Sc (0) y (bn ) (an ).
c) Si (an ) (bn ) y (bn ) (cn ) entonces (an ) (cn ).
Como (an ) (bn ) (an ) (bn ) Sc (0)
Como (bn ) (cn ) (bn ) (cn ) Sc (0)
Como Sc (0) es un anillo [(an ) (bn )] + [(bn ) (cn )] Sc (0)
Esto es: (an ) (cn ) Sc (0) (an ) (cn ).

Podemos, entonces, construir el conjunto de clases de equivalencias

Sc / = {[(an )]; (an ) Sc }.
Aqu [(an )] = {(bn ) Sc ; (an ) (bn )}.

Notamos lo siguiente. Sea (an ) (bn ) entonces (an ) (bn ) Sc (0). Ahora
(bn ) = (an ) + (bn ) (an ).
| {z }
Si (bn ) [(an )] bn = (an ) + (cn ) con (cn ) = (bn ) (an ) Sc (0).
Por otro lado sea (cn ) Sc (0) y bn = (an ) + (cn ) entonces (cn ) = ((an )
(bn )) Sc (0) (bn ) (an ) y (bn ) [(an )]
[(an )] = (an ) + Sc (0).

Observaci
on:
A partir de ahora anotaremos a los elementos (an ), (bn ), (cn ) como a = (an ), b =
(bn ) y c = (cn ) y etc., entendiendo siempre que se trata de una sucesion.
Para a Sc denotamos a
= a + Sc (0) su clase de equivalencia bajo la relacion
. O sea a
= {a + b; b Sc (0)}.
Con estas notaciones Sc / = {a + Sc (0); a Sc } sera llamando el conjunto de
n
umeros reales y se denotara R.
umeros reales se define
Definici
on 34. Para (a + Sc (0)), (b + Sc (0)) n
a) La suma (a + Sc (0)) + (b + sc (0)) = (a + b) + Sc (0)
b) El producto (a + Sc (0)) (b + Sc (0)) = a b + Sc (0)
Vamos a probar que la suma y el producto estan bien definidos
Teorema 6. La suma y el producto de n
umeros reales estan bien definidos.
Demostraci
on:
a) La suma: sea (bn ) [(an )] (bn ) = (an ) + (cn ) con (cn ) Sc (0).
Sea (en ) [(dn )] (en ) = (dn ) + (fn ) con (fn ) Sc (0).
Tenemos [(bn )]+[(en )] = [(an )+(cn )]+[(dn )+(fn )] = (an )+(dn )+[(cn )+(fn )].
Como ((cn ) + (fn )) Sc (0) tenemos que ((bn ) + (en )) ((an ) + (dn )) o sea
[(bn )] + [(en )] = [(an ) + (dn )] = [(an )] + [(dn )].

Esto es, la suma de [(an )] y [(dn )] no depende del particular representante de

esas clases de equivalencias.
b) El producto. Sea b = a + c, c Sc (0), e = d + f, f Sc (0) entonces b e =
(a + c) (d + f ) = a d + a f + c d + c f .
Como ya vimos a f Sc (0), c d Sc (0) y c f Sc (0)
Luego b e = a d + g, g = a f + c d + c f Sc (0)
As b e a d El producto de a y d no depende del particular representante
que usamos para la multiplicacion.
En notacion de clases de equivalencia [a] = a + Sc (0), d = d + Sc (0)

a
+ d = a + d y a
d = a d.
Teorema 7. (R, +, ) es un cuerpo.
Demostraci
on:
a) (R, +) es grupo abeliano.
i) a + b = [(an )] + [(bn )] = [(an + bn )] = [(bn + an )] = [(bn )] + [(an )]. Luego
la suma es conmutativa,
ii) (a+b)+c = [[(an )]+[(bn )]]+[(cn )] = [(an +bn )]+[(cn )] = [(an +bn )+cn ] =
[(an + (bn + cn ))]] = [(an )] + [(bn + cn )] = [(an )] + ([(bn )] + [(cn )]); as la
suma es asociativa.
iii) a + 0 = [(an )] + [(0)] = [(an + 0)] = [(an )]. Hay neutro e = [(0)] = 0.
iv) a + (a) = [(an )] + [(an )] = [(an + (an ))] = [(an an )] = [(0)] = 0.
Asi el inverso de [(an )] es [(an )].
b) (R \ {0}, ) es grupo abeliano.
Como [(0)] = (0) + Sc (0) = {(0) + (an ), (an ) Sc (0)} = {(an ), (an ) Sc (0)}
concluimos que [(0)] = Sc (0). Luego al retirar la clase del 0 de R estamos
sacando todas las clases de la forma (an ) + Sc (0) con (an ) Sc (0) [(an )]
(R \ {0}) (an ) Sc+ Sc .
i) [(a)] [(b)] = [(an bn )] = [(bn an )] = [(bn )] [(an )].
Luego, el producto es conmutativo

ii) ([(an )][(bn )])[(cn )] = [(an bn )][(cn )] = [((an bn )cn )] = [(an (bn cn ))] =
[(an )] [(bn cn )] = [(an )] ([bn ] [(cn )]). Luego, el producto es asociativo.
iii) [(an )] [(1)] = [(an 1)] = [(an )]. Luego, hay neutro 1 = [(1)].
iv) Sea (an ) Sc+ entonces existen r Q y n0 N tal que an > r > 0
1
para n n0 . Sea (bn ) tal que bn =
para n n0 y bj = 1 paan
1
ra j = 1, 2, 3, , (an ) (bn ) = (a1 , a2 , , ano 1 , , an , ) =
an
(a1 , , an0 1 , 1, 1, 1, 1, ). Probemos ahora que (a1 , a2 , , ano 1 , 1, 1, 1, )
(1, 1, 1, 1, ).
En efecto (a1 , a2 , a3 , , an0 1 , 1, 1, 1, ) (1, 1, 1, ) = (a1 1, a2
1, , ano 1, 1, 0, 0, 0, 0).
Afirmaci
on: (A1 , A2 , , Ak , 0, 0, , 0) Sc (0) k N y cualquier
(A1 , , Ak ) Qk .
Sea r > 0 entonces para n0 = k + 1 se cumple |An | < rn n0 ,
(A1 , , Ak , 0, 0, ) Sc (0).
En particular (a1 1, a2 1, , an1 1, 0, 0, 0, ) Sc (0) Luego
(an ) (bn ) (1, 1, 1, ) y concluimos que [(an )] [(bn )] = [(1)] o que
[(an )]1 = [(bn )].
Se procede analogamente con (an ) Sc .
Para concluir la demostracion resta probar que si (an ) Sc+ entonces (bn )
definido por bn = 1, n n0 y bn = a1
on de Cauchy
n , n n0 es una sucesi
+
(y (bn ) Sc ). Lo primero a notar es que (bn ) es positiva y acotada. O
sea R > 0 tal que R < bn < R1 para cada n N.
Como (an ) es de Cauchy; dado > 0 racional existe n0 Q tal que
|am an | < R2 para n, m n0 .

 

 1 1   am an  |am an |
R2
1 1
 =

<
= R2 bn bn < R2 =
 an an   an am 
|an am |
|an am |
R R
> 0, racional existe n0 N tal que m, n n0 implica |bm bn | < .
Luego (bn ) Sc+
c) distribuye sobre +.
[(an )] ([(bn )] + [(cn )]) = [(an )] [(bn ) + (cn )] = [(an (bn + cn ))] =
,
[(an bn + an cn )] = [(an bn )] + [(an cn )] = [(an )] [(bn )] + [(an )] [(cn )].

6.4.

La inclusi
on de la estructura (Q, +, ) en l a estructura
R, +, ).

Vamos ahora a incluir la estructura (Q, +, ) en la estructura (R, +, ). Para

ello, dado a Q se define (an ) Sc por an = a n N.
Proposici
on 18. La aplicaci
on h : Q R; a [(an )] satisface:
a) es inyectiva;
b) h(a + b) = h(a) + h(b) y
c) h(ab) = h(a) h(b).
Demostraci
on:
1. h(a) = h(b) (an ) = (bn ) an = bn a = b.
2. h(a + b) = [(a + b)] = [(a)] + [(b)] = h(a) + h(b).
3. h(a b) = [(a b)] = [(a) (b)] = [(a)] [(b)] = h(a) h(b).
En particular h(1) = [(1)], h(a1 ) = [(a)]1 si a1 Q.
Observaci
on: Suponemos dado a Q y an = a n N. Sea (bn ) Sc tal
que (bn ) (an ) entonces lm bn = a. En efecto, (bn ) (an ) (bn an ) Sc (0)
n

r > 0 racional n0 N tales que n n0 implica |bn an | < r. Luego n n0 vale

|bn a| < r esto es: lm bn = a.
n

6.5.

Orden en R

Sabemos que en Q hay subconjunto Q+ , llamado de los racionales positivos,

a
formado por todos los Q tales que a b > 0 en Z. Si Q = {q, q Q+ } se
b
cumple la ley de tricotoma: q Q vale q Q q = 0q = 0q Q+ .
(a c )
c
a

Este conjunto, Q , nos sirve para definir el orden a Q : >

b
d
b d
+

Q+ .

a
c
a
c a
c
De aqu definimos > = y resulta ser que un orden
b
d
b
d b
d
total en Q.
Definici
on 35. Un n
umero real a = (an ) + SC (0) se dira un n
umero real positivo
+

si (an ) Sc . Se dira negativo si (an ) Sc .

Como ya vimos si (bn ) Sc entonces (bn ) Sc (bn ) Sc (0) (bn ) Sc+ .
Si [(bn )] R entonces [(bn )] Sc+ y (bn ) + Sc (0) es positivo ] o [(bn )] Sc
y (bn ) + Sc (0) es negativo] o [(bn )] Sc (0)] y (bn ) + Sc (0) = Sc (0) es el cero en R.
Definici
on 36. R+ = {b R; b es positivo } ; R = {b R; b es negativo}
Corolario 3. R = R {0} R+ .

Observaci
on: Ya sabemos que a, b R+ implica (a + b) R+ y a b R+
Definici
on 37. Para a, b R se define a > b (a es mayor que b) si (a b) R+ .
Tambien a b a > b a = b.
Proposici
on 19. es relaci
on de orden total en R.
Demostraci
on:
a) Refleja. Claro que a R vale a = a a a
b) Antisimetrica: si b a y a b entonces a = b.
Como b a entonces b > a o b = a. Como a b entonces a > b o a = b.
Si b > a y a > b tenemos (b a) R+ y (a b) R+ .O sea que c = b a R+
y c = (b a) = a b R+ . Como ambas cosas no pueden suceder entonces
ambas posibilidades no ocurren juntas.
Si b > a y a = b entonces (b a) R+ y b a = 0.Ambas posibilidades no
pueden ocurrir juntas.
De la misma manera no puede ocurrir que b = a y a > b la u
nica posibilidad
es a = b.
Concluimos que la relacion es antisimetrica.
c) Transitiva. O sea a b y b c implican a c.
En efecto: tenemos ((a b) R+ o a = b) y ((b c) R+ o b = c).

Si (a b) R+ y (b c) R+ y (b c) entonces (a b) + (b c) = a c R+
y tenemos a > c.
Si (a b) R+ y b = c entonces a b = a c R+ y a > c.
Si a = b y (b c) R+ entonces (a c) = b c R+ y a < c.
Si a = b y b = c entonces a = c.
siempre ocurre que a c.
d) Probamos que es una orden total. Para a, b R ocurre una y solo una de los
siguiente (a b) + o a b = 0 o (a b) R .
Si (a b) R+ entonces a b. Si a = b = 0 entonces a b y a b.
Si (a b) R entonces b a = (a b) R+ y b a.
siempre a b o b a. El orden es total en R.
Se define a b b a.Claro que es un orden total en R.
Ejercicio: Pruebe las siguientes propiedades de la estructura de cuerpo ordenado (R, +, , )
a) x y; z R entonces x + z y + z;
b) x y, z R+ {0} entonces x z y z;
c) x y, z R {0} entonces y z x z.

6.6.

Inclusi
on de la estructura (Q, +, , ) en la estructura
(R, +, , )

Vamos ahora a incluir la estructura (Q, +, , ) en la estructura (R, +, , ).

Para ello sea h : Q R definida por h(q) = (q, q, q, q, ) = (q). Notamos que la
sucesion h(q) es de Cauchy pues es constante.
A) h es inyectiva. En efecto h(q) = h(p) (, q, ) = (p, p, ) q = p;

B) h(p + q) = (p + q, p + q, p + q, ) = (p) + (q) = h(p) + h(q);

C) h(pq) = (pq, pq, pq, ) = (p) (q) = h(p) h(q).
Suponemos que p q entonces (q p) 0 en Q.
Si p = q, p q = 0 y (p q, p q, ) = (p) (q) = (0) (p) = (q).
Si q p > 0 entonces (q p) Sc+ (q p) > 0 (q) > (p) p q en Q
implica h(p) h(q) en R.
Observaci
on. Usando h podemos identificar (Q, +, , ) con (h(Q), +, , )
(R, +, , ).

Definici
on 38. Para a R se define |a| = a si a R+
0 ; y |a| = a si a R . Se
llama a |a| el valor absoluto de a.

Ejercicio: Si q Q entonces |h(q)| = h(|q|).

O sea, el siguiente diagrama es conmutativo
||
Q Q+
0
h y
h
R R+
0
||

6.7.

Sucesiones en R

Definici
on 39.
1. Una sucesi
on de n
umeros reales es una funcion X : N R
La imagen x(N) se denota (xn )nN .
2. Se dice que la sucesion de n
umeros reales (xn )nN tiene limite x R si para
cada > 0 en R existe (n0 )() N tal que |xn x| < si n n0 (). Se denota
x = lm xn .
n

3. Una sucesi
on (Xn ) de n
umeros reales se dice de Cauchy si ocurre que 0 R
existe n0 () N tal que n, m n0 () implica |xn xm | < .

Ejercicio: Sean (xn ), (yn ) sucesiones de n

umeros reales
a) Si xn yn , x = lm xn , y = lm yn entonces x y;
n

b) Si (xn ), (yn ) son sucesiones de Cauchy entonces (xn ) + (yn ) = (xn + yn ) es

sucesion de Cauchy y (xn ) (yn ) = (xn yy ) es una sucesion de Cauchy.
Proposici
on 20. Sea a > 0 en R y b R un real cualquiera. Existe n N tal que
b n a.
Demostraci
on: Si b R entonces n = 0 sirve pues b < 0 = 0 a.
Suponemos b R+ . Tenemos que b = (bn ) donde (bn ) Sc . Como (bn ) Sc es
anotado superiormente existe k Q tal que bn k n N.
Como a = (an ) > 0 entonces existe q0 Q, q0 > 0 tal que an > q0 > 0.Sea
n N tal quenq0 > k entonces n a = (n an ) > (k) luego b = (bn ) (k) < (n an ) =
n (an ) = n a y asi n a > b..
Por satisfacer esta proposicion se dice que es un orden arquimediano en R.
Corolario 4. Dado > 0 un real positivo, siempre existe s > 0 en Q tal que
> s > 0.
1
Demostraci
on: Como > 0 entonces > 0. Por la propiedad arquimediana,

1
1
1
considerando a = 1, b = ; existe n N tal que < n 0 <
< , Entonces

n
1
consideramos a s = Q y satisface lo requerido. .
n
Proposici
on 21. Sea (an ) Q una sucesi
on de Cauchy y = [(an )]. Sea a
n =
h(an ) entonces lm a
n = en R.
n

Demostraci
on: Tenemos a
n = (an,m )mN con an,m = an n N. Como (an )
es de Cauchy > 0 racional n0 N tal que |ap an | < p, n n0 . Luego
|
an | = |(an,m ) (am )| = |(an,m am )| = |an am | < n n0 () lm a
n = .
n

umeros reales es convergente. Esto es:

Teorema 8. Toda sucesion de Cauchy de n
si an R satisface > 0 real existe n0 () N tal que |an am | < n, m > n0
entonces lm an R.
n

Demostraci
on: Si ocurre que existe n1 N tal que an = an1 , n n1 entonces
ya vimos que si = an1 R, se cumple que lm an = , y el resultado esta probado.
n

Suponemos ahora que hay subsucesion (bj(n) ) (an ) tal que bj(n) = b para
cada n N1 . En este caso b = bj(N1 ) = bj(N1 +1) = bj(N1 +2) = ... = y resulta que
(bj(n) ) converge a b R. Denotando (bj ) a la subsucesion, hay nj , nj , j
tal que bj = anj . Si escogemos j tal que nj n0 y j N1 se tiene |an b|
|an anj | + |anj b| |an anj | + |bj b| < + = 2, para n n0 ; lm an = b
n
y la sucesion converge.
Si ocurre que hay ndice n tal que an = an+1 entonces podemos escoger subsucesion (bj ) (an ) tal que bj = bj+1 para cada j y si lm bj = b entonces lm an = b.
j

Luego, y su perdida de generalidad, vamos a suponer que an = an+1 para cada

n.
n
.
2
Es claro que (n ) R es una sucesion nula y entonces dado > 0 existe N N tal
que |p | < p N .
Sea (n ) R una sucesion positiva de n
umeros reales tales que 0 < n+1 <

Como (an ) R es de Cauchy: Dado > 0 N1 N tal que |an am | < si

n, m N1 .
Por otro lado si an = (an,p )p N con (an,p ) una sucesion de Cauchy de n
umeros
racionales entonces si Ap = (an,p ) R, la sucesion constante e igual a an,p . Se tiene
lm Ap = an .

O sea: Dado > 0p0 N tal que |Ap an | < para p p0 . Escogemos
n y tenemos que existe p0 ( ) = p0 (n) tal que |Ap an | < n p p0 (n) .
Sea t = (an,p0 (n) ). Se tiene que |an,p0 (n) am,p0 (m) | |an,p0 (n) an | + |an am | +
|am am,p0 (m) | n + + + m .
Como |n | n N0 ; entonces si n, m max{N1 , N0 } se cumple que
|an,p0 (n) am,p0 (m) | < 3 O sea que t = (an,p0 (n) ) 5C y entonces t R.
Ahora: |an t| = |(an,p ) (an,p0 (n) )| = |an Ap0 (n) | < y luego (an t) es una
sucesion nula en R, lm an = t R .
n

Proposici
on 22. Sea (an ) R tal que lm an = a R
n

entonces (an ) es una sucesion de Cauchy.

Demostraci
on: En efecto dado > 0n0 N tal que si n n0 entonces
|an a| < .
Si n, m n0 , |an am | = |an a + a am | |an a| + |a am | < + = 2;
asi (an ) es una sucesion de Cauchy.
Ejercicios: Propiedades del valor absoluto en R.
a) Si a R+ entonces |a| a |a|;
b) |a| = 0 si y solo si a = 0 ;
c) |a| = | a|a R;
d) |a| b b a b;
e) |a + b| |a| + |b|;
f) |ab| = |a||b|;
 a  |a|
 
g)   =
si b = 0 en R.
b
|b|

6.8.

Completitud de R

Observaci
on: Hemos probado que en la estructura (R, +, , ) una sucesion
(an ) converge si y solo si es una sucesion de Cauchy. Probemos ahora el siguiente:
Teorema 9. Sea A R un conjunto no vaco acotado superiormente entonces existe
a R tal que a = sup(A)
Demostraci
on: Sea s R una cota superior de A. Esto es a A vale a s.
Sea M un entero mayor que s, i.e. s < M . Sea b0 A un elemento y m Z un
entero tal que m < b. Se tiene m < b0 < M .
Sea p N y construyamos ap Q de la siguiente forma: 0 = m, alpha1 =
1
2
r
m + p , 2 = m + p , ..., r = m + p ap sera el primer r tal que r es cota
2
2
2
superior de A i.e. Para cada b A Vale b ap y hay bp A tal que r1 < bp .
Construida la sucesion de racionales (an ), de esta manera tenemos ap
aq ap para q > p. Asi que

1
1
< aq ap 0 o sea |ap aq | < p .
p
2
2

1
<
2p

Luego, para n N se cumple que si p, q > n vale |ap aq | <

Sea > 0 dado, sabemos que existe n0 N tal que

1
1
< n.
p
2
2

1
< .
2n0

As para p, q > n0 vale |ap aq | < y |aq | es una sucesion de Cauchy de

n
umeros racionales.
Sea t = (aq ) R. Sabemos que t = lm aq , cuando considerando aq como
n

n
umero real (o sea h(aq )).
1
1
<
a

a
para
q
>
p
tenemos,
p

N,
que
a
t ap
q
p
p
2p
2p
(esto es deduce del hecho de que > 0) hay N1 N tal que < t aq <
1
para q N1 ; as ap p aq + t aq ap + para q N1 y cada p; luego
2
1
ap p t ap + para cada > 0 y cada p N).
2
Como ap

Afirmaci
on: t = sup(A).
Suponemos que hay b A tal que t < b. Esto dice que b t > 0 y existe p N
1
1
1
tal que 2p >
, o sea (1)b t > p . Sumando esto con t ap p se tiene que
bt
2
2
1
1
hay b A tal que (b t) + t > p + ap p = ap i.e. hay b A tal que b > ap
2
2
contraria a la construccion de ap .
a ta A y t es una cota superior de A.
Suponemos que hay s R cota superior de A tal que s < t. Esto dice que
1
t s > 0 y hay p N tal que p < t s (2)
2
1
1
Como ap p no es cota superior A hay h A tal que ap p < h s luego
2
2
1
ap p < s. Sumando esto desigualdad con (2) ap < (t s) + s = t y luego ap < t;
2
que sabemos que no es cierto si s R es cota superior de A entonces t s y
hemos probado que t = sup(A). .
Definici
on 40. Un cuerpo ordenado (K, +, , ) se dice completo si todo conjunto
acotado superiormente en K tiene supremo en k.
Ejemplo 9. a) (Q, +, , ) no es completo pues A = {x Q; x2 < 2} es acotado
superiormente y no tiene supremo en Q.

b) (R, +, , ) es completo.
Observaci
on: Sabemos, por la construccion de R, que t R hay sucesion de
Cauchy (an ) Q tal que t = lm an . En particular: t R y > 0 existe q Q
n

tal que |t q | < .

O sea: todo n
umero real es aproximado por racionales. Esta propiedad se reconocera afirmando que Q es denso en R.
umero real t se dira irracional si t
/ Q.
Definici
on 41. El n
Proposici
on 23. (R \ Q) = .
Demostraci
on: Consideramos la cortadura de Dedekind A A de Q definida
por A = {x R; x < 0 o 0 x y x2 < 2}; A = {x R, x > 0 y x2 > 2}.
Vemos que es posible construir una sucesion (qn ) Q tal que q2n A, q2n+1 A y
1
|qn+1 qn | <
. Luego (qn ) Q es una sucesion de Cauchy y t = (qn ) R no
n+1
pertenece a Q. Como t = lm qn debe ser t2 = 2. El n
umero real t se llama la raz
n

de 2 y se denota 2 = t .
Ejercicio: Sean (an ), (bn ) sucesiones de n
umeros reales tales que a = lm an , b =
n
lm bn son n
umeros reales. Se cumple

a) lm (an bn ) = a b;
n

b) lm an bn = a b y
n

c) Si b = 0 lm

an
a
= .
bn
b

Esto implica que el conjunto {(an ) R, (an )converge} = Sc (R), de las sucesiones de n
umeros reales convergentes forma un anillo conmutativo con la suma y el
producto de sucesiones.
Proposici
on 24. Sean (R \ Q) y q Q tal que q = 0 entonces q (R \ Q)
y ( + q) (R \ Q).
Demostraci
on: Por demostrar que q (R \ Q). Si no q = s Q y
s
= ().
q

).

Probemos ahora que ( + q) (R \ Q) si no + q = s Q, = s q Q(

En particular

2
(R \ Q)
2

Proposici
on 25. Dado n
umeros reales u < v existen q Q y (R \ Q) tales que
u < q < v y u < < v.
Demostraci
on: Sin perdida de generalidad problemas superiores que 0 < u <
v. En efecto si u < 0 entonces |u| < n para un cierto n N y n < u < v entonces
0 < u + n < v + n. As si hay q Q tal que u + n < q < v + n u < q n < v y
(q n) Q.
Si hay (R \ Q) tal que u + n < < v + n u < n < v y
( n) (R \ Q).
Suponemos 0 < u < v. Esto dice que v u > 0 como R es arquimediano
1
1
existe n N tal que
< n y luego < v u 1 < nv nu o 1 + nu nv.
vu
n
Sea p N el menor tal que p 1 nu < p (admitiendo a
un p 1 = 0).
Se cumple nu < p 1 + nu < nv y luego u <

p
< v.
n

Vamos ahora a probar que hay (R \ Q) tal que u < < v.

Sabemos que hay q Q tal que u < q < v. Como q < v sabemos
que hay

q Q
tal que q < q <v y tenemos u < q < q < v. Como 1 < 2 < 2 se tiene
2
2
1
<
<1yq<q+
(q q) < (q q) = q .
2
2
2

2
u<q<q+
(q q) < q < v.
2

2
2
2
(R \ Q);
(q q) (R \ Q) y q +
(q
2
2
2
2
q) (R \ Q) en consecuencia = q +
(q q) (R \ Q) satisface u < < v, .
2

Como 2 (R \ Q) tenemos

Corolario 5. (R \ Q) es denso en R.