Introduccion a la Construccion de

los N umeros Reales( con un

repaso sobre la construccion 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-Per u 2013.
1. Introduccion
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 enu-
meracion no lo es.
Los matematicos, a lo largo de los a nos, han tenido varias formas de justicar
estos smbolos y de convencer que representan lo que dicen que representan.
En estas notas hacemos de la construccion de los n umeros naturales, ente-
ros, racionales y reales. Asmismo, denimos 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 natura-
les. 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 inyecci on 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 to-
do 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 racio-
nal.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 estruc-
tura 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 racio-
nales a los reales, es un salto cuantico en la construccion de los sistemas numericos
y solo fue posible darlo a nales del siglo XIX. Como antes, no es que un n umero
racional sea un real: lo cierto es que hay una inyecci on 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 Numericos
de Ra ul Bravo Flores.
2. La Construccion de los N umeros Naturales
2.1. La Construccion axiomatica
Desde nes del siglo XIX, los matematicos han coincidido en establecer una
forma de hacer matematicas que se reconoce como axiomatica. A saber: se parte
de conceptos primitivos, postulados o axiomas cuya validez se asume (no se de-
muestran), se dan deniciones y se empieza a establecer proposiciones que mezclan
axiomas y deniciones. A estas proposiciones se les llama lemas, proposiciones, co-
rolarios, 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 Basicos
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 denida 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 elemen-
tos 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 pertenen-
cia 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 especicacion 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 con-
dicion 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 construc-
cion 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 deniciones y
aceptar otros axiomas.
Axioma de la Union: Para toda coleccion de conjuntos existe un
conjunto que contiene a todos los elementos que pertenencen cuando
menos a uno de los conjuntos de la coleccion 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 especicacion para denir el conjunto
{x V ; x Apara alg un A C}.
Este conjunto se conoce como la union de los elementos de C y se denota por

AC
A. Ahora podemos formar la union de conjuntos.
Dado un conjunto A denimos 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 denicion: Un conjunto S se dira de sucesores o un con-
junto sucesor si 0 S y toda vez que A S entonces A
+
S.
Establecemos ahora el siguiente:
Axioma del Innito: 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 dene la interseccion de los e-
lementos de C como el conjunto {x

AC
A; x A, A C}. Este conjunto se
denota

AC
A.
La denicion anterior, de la intersecci on, se pudo hacer gracias a los axiomas
de la union y de especicacion. 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.
Demostracion 1. Como 0 A y 0 B entonces 0 A B.
Si ocurre que n AB 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.
Denicion 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 induccion matematica y se escribe de la siguiente manera: si
S satisface:
i) 0 S y
ii) Toda vez que n S se verica 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.
Demostracion 2. Sea S = {n ; no hay x n con n x}.
Armacion 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 armado es cierto.
4. Sean n y x n entonces x n.
Demostracion 3. Sea S = {n ; si x nentonces 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
Demostracion 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
cosntrucci on 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 enun-
cian 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. Las Operaciones Basicas entre n umeros natu-
rales
3.1. Introduccion
Ya hemos denido el conjunto de n umeros naturales y ahora vamos a denir
las dos operaciones basicas que son la suma y el producto. Si denotamos por + y
estas dos operaciones, tendremos que denirlas 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 ultima representacion es mas amigable pero, en rigor, lo que
representa es lo primero.
Para denir estas operaciones debemos introducir el concepto de funcion. A
n de que nuestra presentaci on sea autosuciente introduciremos lo necesario para
ello.
3.2. Funciones
Para denir funciones necesitamos se nalar primero lo que entenderemos por
producto cartesiano.
Lo primero, en esta direccion, es denir 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 unico defecto, de esta presentacion de una
pareja no ordenada, es que no hemos hecho ninguna especicacion para llegar a este
conjunto. A n 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 singleton de A.
Con lo que ya tenemos podemos ahora formar diferencias de conjuntos y com-
plementos. A saber: Dados conjuntos A y B se dene 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 A
c
.
Proposicion 1. Para conjuntos A y B se cumplen los siguientes:
1.- A B = (A \ B) (B \ A) (A B).
2.- (A B)
c
= A
c
B
c
.
3.- (A B)
c
= A
c
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 natu-
ral 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 coleccion 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 dene la potencia de E, denotado P(E), como el conjunto {A E; A E}.
Ahora, dados dos conjuntos, A y B queremos denir 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.
Denicion 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 suciente 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:
Demostracion 5. En el primer caso y como {A} (A, B) y {A} / (B, A), tenemos
el resultado.
Para probar lo armado 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 denicion 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 denir el producto cartesiano.
Denicion 3. El producto cartesiano de los conjuntos A y B, denotado AB,
es el conjunto
A B = {x P(P(A B)); x = (a, b)con a Ay b B}.
Esta denicion 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.
Demostracion 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 relacion
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 Btal que (a, b) R}.
El recorrido de la relacion R es el conjunto
rec(R) = {b B; existe a Atal que (a, b) R}.
Denicion 4. Una funcion f de A en B es una relacion f AB que satisface:
1. dom(f) = A y
2. Para cada a A existe un unico 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 denicion de las operaciones de suma y multiplicaci on
en .
Para ello, sean dados un conjunto no vaco X, un elemento a X y una
funcion f : X X
Teorema 1. Existe una unica funcion u : X tal que: u(0) = a. y u(n
+
) =
f(u(n)), n .
Demostracion 7. Una funcion u : X es un subconjunto u X.
Sea
C = {A X; (0, a) Ay (n
+
, f(x)) Atoda 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.
Armacion 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}.
Armacion 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). Lue-
go (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 ultimo 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 contradiccion. 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 unico 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 contradiccion. Conclumos
que n
+
S y que S = . Esto concluye la demostracion del Teorema de Recurrencia.
Con este resultado tenemos lo necesario para denir la suma y multipicacion
de n umeros naturales.
3.3. La suma de n umeros naturales
Consideremos la funcion sucesor s : , denida por s(n) = n
+
y m .
El Teorema de Recurrencia dice que existe una unica funcion u : que
satisface: u(0) = m y u(n
+
) = s(u(n)).
Denotaremos esta funcion por S
m
. El valor S
m
(n), se llama la suma de m
con n y se denota m + n.
Esto es m + n = S
m
(n).
Veamos que esta denicion corresponde a la suma que conocemos:
0 + 1 = S
0
(1) = S
0
(0
+
) = s(S
0
(0)) = s(0) = 1.
1 + 0 = S
1
(0) = 1.
1 + 1 = S
1
(1) = S
1
(0
+
) = s(S
1
(0)) = s(1) = 2.
0 + 2 = S
0
(2) = S
0
(1
+
) = s(S
0
(1)) = s(0 + 1) = s(1) = 2.
1 + 2 = S
1
(2) = S
1
(1
+
) = s(S
1
(1)) = s(2) = 3.
2 + 1 = S
2
(1) = S
2
(0
+
) = s(S
2
(0)) = s(2) = 3.
0 + 3 = S
0
(3) = S
0
(2
+
) = s(S
0
(2)) = s(2) = 3.
1 + 3 = S
1
(3) = S
1
(2
+
) = s(S
1
(2)) = s(3) = 4.
3 + 1 = S
3
(1) = S
3
(0
+
) = s(S
3
(0)) = s(3) = 4.
2 + 2 = S
2
(2) = S
2
(1
+
) = s(S
2
(1)) = s(3) = 4.
n + 1 = S
n
(1) = S
n
(0
+
) = s(S
n
(0) = s(n) = n
+
Probemos, en general y por ejemplo , que 0 + m = m = m + 0.
La parte m + 0 = m se deduce de S
m
(0) = m. Probamos la otra igualdad
Sea S = {m ; 0 + m = m}.
Armacion 4. 0 S . En efecto 0 + 0 = 0.
Suponemos ahora que m S probemos que m
+
S.
Tenemos:
0 + m
+
= S
0
(m
+
) = s(S
0
(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.
Ejercicio 1. Demuestre que la suma es asociativa y conmutativa. Indicacion: use
induccion.
3.4. La multiplicaci on de n umeros naturales
Vamos ahora a usar el Teorema de Recurrencia para denir el producto de
n umeros naturales.
Para m consideremos la suma S
m
: y sea a = 0 .
El teorema de recurrencia dene P
m
: . denida por P
m
(0) = 0 y
P
m
(n
+
) = S
m
(P
m
(n)) = m + P
m
(n) .
El n umero natural P
m
(n) se conoce como el producto de m por n y se denota
mn.
Veamos algunos ejemplos:
Por denicion m0 = P
m
(0) = 0.
m1 = P
m
(1) = P
m
(0
+
) = S
m
(P
m
(0)) = S
m
(0) = m.
1 2 = P
1
(2) = P
1
(1
+
) = S
1
(P
1
(1)) = S
1
(1) = 1 + 1 = 2.
1 3 = P
1
(3) = P
1
(2
+
) = S
1
(P
1
(2)) = S
1
(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
+
= P
1
(n
+
) = S
1
(P
1
(n)) = S
1
(1 n), como n S entonces
1 n = n. As: 1 n
+
= S
1
(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 = P
2
(2) = P
2
(1
+
) = S
2
(P
2
(1)) = S
2
(2) = 2 + 2 = 4.
2 3 = P
2
(3) = P
2
(2
+
) = S
2
(P
2
(2)) = S
2
(4) = 2 + 4 = 6, en particular
2 + 2 + 2 = 6.
2 4 = P
2
(4) = P
2
(3
+
) = S
2
(P
2
(3)) = S
2
(6) = 2 + 6 = 8.
2 5 = P
2
(5) = P
2
(4
+
) = S
2
(P
2
(4)) = S
2
(8) = 2 + 8 = 10.
Ejercicio 2. Pruebe que la multiplicacion 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 .
Demostracion 8. Sea
A = {n ; k (m + n) = k m + k n}.
Armacion 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)
+
= P
k
((m + n)
+
) = S
k
(P
k
(m + n)) =
k + P
k
(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}.
Armamos que 0 S. En efecto: n
+
0 = P
n
+(0) = 0 = 0 n + 0.
Suponemos que k S y probamos que k
+
S.
Tenemos: n
+
k
+
= P
n
+(k
+
) = S
n
+(P
n
+(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
+
=
(P
n
(k)+n)+k
+
= (n+P
n
(k))+k
+
= S
n
(P
n
(k))+k
+
= P
n
(k
+
)+k
+
= nk
+
+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 P
m
: el producto por m.
El Teorema de Recurrencia garantiza la existencia de una funcion E
m
: ,
que satisface: E
m
(0) = 1 y E
m
(n
+
) = P
m
(E
m
(n)). El valor E
m
(n) se denota m
n
.
Veamos algunos ejemplos:
E
2
(1) = E
2
(0
+
) = P
2
(E
2
(0)) = P
2
(1) = 2 1 = 2.
E
2
(2) = E
2
(1
+
) = P
2
(E
2
(1)) = P
2
(2) = 2 2.
E
2
(3) = E
2
(2
+
) = P
2
(E
2
(2) = P
2
(2 2) = 2 (2 2).
E
2
(4) = E
2
(3
+
) = P
2
(E
2
(3)) = P
2
(222) = 2222, y asi sucesivamente.
Como ejercicio pruebe el siguiente:
Lema 5. E
m
(n + k) = E
m
(n) E
m
(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 NN= N umeros Naturales.
De acuerdo a nuestra construccion de los n umeros naturales, tenemos las si-
guientes 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.
Denamos la siguiente relacion en N, n m (n m o n = m).
Proposicion 2. La relacion es reeja, antisimetrica y transitiva.
Demostracion 9. Es reeja. 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 denir 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.
Proposicion 3. Si n < m entonces existe p N tal que m = n + p
Demostracion 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 mp, p N.
5.- Si n < m entonces n p < mp, p N

.
6.- Si n m y p q entonces n + p m + q.
6.- Si n < m y p < q entonces n p mq.
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.)
Armamos 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.
Armamos 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 armado.
4. Los N umeros Enteros
4.1. Relaciones de Equivalencia
Para denir los n umeros enteros necesitamos los conceptos de relacion de equi-
valencia y de particion de un conjunto
Denicion 5. Una relaci on de equivalencia en el conjunto X = es una
relacion R X X que satisface:
1.- R es reeja. Esto es a X tenemos (a, a) R.
2.- R es simetrica. Esto es si (a, b) R entonces (b, a) R.
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 denimos la relacion:
(a, b)R(c, d) a + d = b + c.
Probemos que R, as denida, es una relacion de equivalencia
1.- Reeja. 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.
Denicion 6. Sea R una relacion 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.
Denicion 7. Una particion del conjunto X es una coleccion de subconjuntos de
X, C, tal que X =
AC
A
Denicion 8. Una particion disjunta del conjunto X es una particion 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 denir una relacion de equivalencia,R, en X tal que X/R = C.
En efecto: para a, b X se dene 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 denicion de una funcion
biyectiva.
Denicion 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 con-
junto de n umeros enteros.
Ya vimos que la relacion, R, en X = NN denida por: (a, b)R(c, d) a+d =
b + c, es una relacion de equivalencia.
Denicion 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 ume-
ro entero
Lo que importa de los n umeros enteros son sus operaciones algebraicas. A
saber, la suma y la multiplicaci on que pasamos a denir
Para dos clases de equivalencias[(a, b)], [(c, d)] en Z se denen:
Denicion 11. La suma de n umeros enteros como: [(a, b)]+[(c, d)] = [(a+c, b+d)],
y la multipllicacion de n umeros enteros como: [(a, b)][(c, d)] = [(ac+bd, ad+bc)].
Las operaciones en la parte derecha de las deniciones anteriores, son las ope-
raciones de n umeros naturales.
Probemos ahora que estas operaciones estan bien denidas. 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 denicion de la

relacion de equivalencia esto signica 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

+ b

, a

+ b

)] = [(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

+ b

) = (a

c +
b

d) + (a

+ b

).
Ahora (a

d +b

c) +(a

+b

) = a

d +b

c +a

+b

= a

(d +c

) +b

(c +d

).
Como [(c, d)] = [(c

, d

)] entonces c + d

= d + c

. Asi, a

d + b

c + a

+ b

=
a

(d + c

) + b

(c + d

) = a

(d + c

) + b

(d + c

) = (a

+ b

)(d + c

)(1).
Tambien: (a

c+b

d)+(a

+b

) = a

c+b

d+a

+b

= 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

+ b

) = (a

+ b

)(d + c

) =
(a

c + b

d) + (a

+ b

), que es lo que queramos probar.

Esto concluye la demostracion de que ambas operaciones estan bien denidas
en Z.
Una vez denidas 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) = ab +ac.
Dejaremos como ejercicio los itemes A y B y probaremos la distributividad.
Demostracion 11. [(a, b)] ([(x
1
, y
1
)] + [x
2
, y
2
)]) = [(a, b)] [(x
1
+x
2
, y
1
+y
2
)] =
[(a(x
1
+x
2
)+b(y
1
+y
2
), a(y
1
+y
2
)+b(x
1
+x
2
))] = [(ax
1
+ax
2
+by
1
+b
y
2
, ay
1
+ay
2
+bx
1
+bx
2
)] = [((ax
1
+by
1
)+(ax
2
+by
2
), (ay
1
+bx
1
)+
(ay
2
+bx
2
))] = [(ay
1
+bx
1
, ay
1
+bx
1
)]+[(ax
2
+by
2
, ay
2
+bx
2
)] =
[(a, b)] [(x
1
, y
1
)] + [(a, b)] [(x
2
.y
2
)], 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, +, ) denida en los n umeros natu-
rales y la estructura (Z, +, ) que acabamos de denir en Z.
Denamos 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).
Demostracion 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).
(nm) = [(nm, 0)] = [(nm+00, n0+0m)] = [(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 isomorsmo 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 identicado a [(n, 0)] con n entonces identicaremos [(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 escri-
bir Z = {n, n; n N}, que es la notacion usual de los n umeros enteros.
La armacion (*) 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 denicion:
Denicion 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 vericar que la estructura (Z, ) satisface:
1.- Es reeja: 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 estruc-
tura (Z, +, , ).
Sean n, m, p, q Z enteros cualesquiera, tenemos:
1.- (n m) es el unico n umero entero que satisface m+ (n m) = n. O dicho de
otra forma: es la unica solucion entera de la ecuacion m + x = n.
2.- n (m + p) = n mp.
3.- 0 n = 0.
4.- n (mp) = a mn 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 mp.
9.- Si n m y p q entonces n + p m + q.
10.- Si n m y 0 p entonces mp n p.
11.- n n = n
2
> 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 simplicar, denotaremos n m si m n.
Podemos ahora introducir el valor absoluto de un n umero entero.
Denicion 13. Se dene 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 propie-
dades:
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. Los N umeros Racionales
5.1. Denicion de Q
Sea Z

el conjunto Z

= (Z\ {0}). En el producto cartesiano ZZ

denimos
la siguiente relacion.
(a, b) (a
1
, b
1
) a b
1
= a
1
b.
Proposicion 4. La relacion asi denida es una relacion de equivalencia en ZZ

.
Demostracion 13. La relacion es reeja. 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) (a
1
, b
1
) entonces ab
1
= a
1
b.
Como la igualdad es simetrica tenemos a
1
b = a b
1
que implica (a
1
, b
1
) (a, b).
La relacion es transitiva. Suponemos que (a, b) (a
1
, b
1
) y que (a
1
, b
1
)
(a
2
, b
2
). Tenemos entonces a b
1
= a
1
b y a
1
b
2
= a
2
b
1
.
Tenemos entonces que (ab
2
)b
1
= ab
1
b
2
= (ab
1
)b
2
= (a
1
b)b
2
=
a
1
bb
2
= a
1
b
2
b = (a
1
b
2
)b = (a
2
b
1
)b = a
2
b
1
b = (a
2
b)b
1
. Luego
(ab
2
b
1
a
2
b b
1
) = 0. Factorizando por b
1
tenemos (ab
2
a
2
b) b
1
= 0.
Como b
1
= 0 entonces ab
2
a
2
b = 0 y ab
2
= a
2
b que implica (a, b) (a
2
, b
2
),
como queramos probar.
Denicion 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 denir la suma y el producto de n umeros racionales. Para simplicar, denotaremos
la clase de equivalencia [(a, b)]/ por
a
b
.
La suma de los n umeros racionales
a
b
y
c
d
es el n umero racional
a
b
+
c
d
=
a d + b c
b d
.
El producto de los n umeros racionales
a
b
y
c
d
es el n umero racional
(
a
b
) (
c
d
) =
a c
b d
.
Proposicion 5. La suma y el producto estan bien denidos. Esto es si
a
b
=
a
1
b
1
y
c
d
=
c
1
d
1
entonces
a
b
+
c
d
=
a
1
b
1
+
c
1
d
1
, y
(
a
b
) (
c
d
) = (
a
1
b
1
) (
c
1
d
1
).
Dejamos esta proposicion y la siguiente como ejercicio.
Proposicion 6. La estructura Q, +, ) satisace las siguientes propiedades
A.- (Q, +) es un grupo abeliano con neutro
0
1
,
B.- Sea Q

= Q\ {
0
1
} entonces (Q

, ) es un grupo abeliano con neutro

1
1
y
C.- distribuye sobre + esto es:
a
b
(
c
d
+
e
f
) =
a
b

c
d
+
a
b

e
f
.
Esta estructura contiene una subestructura isomorfa a los n umeros enteros.
En efecto, consideramos la aplicacion : Z Q denida por (z) =
z
1
. Tenemos la
siguiente proposicion:
Proposicion 7. es un isomorsmo de la estructura algebraica (Z, +, ) en la
subestructura algebraica ((Z), +, ) de (Q, +, ).
Demostracion 14. es inyectiva. En efecto (z) = (y) implica que
z
1
=
y
1
. Esto
es z 1 = 1 y. O sea z = y.
(z + w) = (z) + (w). En efecto, (z + w) =
z+w
1
=
z
1
+
w
1
= (z) + (w).
(zw) = (z)(w). En efecto (zw) =
zw
1
=
zw
11
=
z
1

w
1
= (z)(w).
Notamos que si
a
b
Q

entonces su inverso multiplicativo (

a
b
)
1
=
b
a
. En efecto
a
b

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

b
a
=
a b
b a
=
1
1
.
La demostracion de los siguientes resultados no es complicada y la dejamos al
lector.
Proposicion 8. 1.- Sean , n umeros racionales con = 0. Se cumple que

1
es el unico racional que satisface (
1
) = . Dicho de otra forma:
la ecuacion x = tiene como unica 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
.
Denamos ahora el concepto de que el racional
a
b
es mayor que 0.
Denicion 15. Diremos que el n umero racional
a
b
es mayor que cero, denotado
a
b
> 0, si ocurre que a b > 0 en Z
Por ejemplo el racional
11
25
no es mayor que cero.
Ahora denimos el concepto de que el racional
a
b
es mayor que el racional
c
d
.
Denicion 16. Diremos que el racional
a
b
es mayor que el racional
c
d
, denotado
a
b
>
c
d
, si ocurre que (
a
b

c
d
) es mayor que cero.
Esta denicion requiere que
a
b

c
d
=
adbc
bd
> 0, esto es (adbc)(bd) > 0.
Por ejemplo, el racional
25
14
es mayor que el racional
26
22
.
Podemos ahora denir la siguiente relacion
Denicion 17. Diremos que el racional
a
b
es mayor o igual que el racional
c
d
,
denotado
a
b

c
d
, si ocurre que
a
b
>
c
d
o si
a
b
=
c
d
.
Ahora se puede probar lo siguiente:
Proposicion 9. La relacion
a
b

c
d
, denida en Q es una relacion 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 x
1
> 0.
6.- x Q vale x
2
0.
7.- Si x y = 0 entonces x = 0 o y = 0.
8.- La ecuacion x
2
=
4
9
tiene dos soluciones en Q.
9.- La ecuacion x
2
= 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}) denida 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 |
x
y
| =
|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 na b.
Demostracion 15. La primera parte se verica 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
denen a y b son n umeros positivos.
Escribamos a =
x
y
y b =
u
v
. Como
m
n
Q vale
m
n
=
mp
np
, p Z

tenemos
entonces que a =
x
y
=
xv
yv
y b =
u
v
=
uy
vy
. O sea, de partida podemos suponer que
a =
x
w
y que b =
u
w
. Esto es a y b tienen denominador com un.
Consideremos n = wu. Tenemos na = (wu)
x
w
= ux u b =
u
w
= b,
como queramos probar.
Al cumplir la propiedad 2 decimos que Q tiene la propiedad arquimediana o
que Q es un cuerpo arquimediano.
Observacion: De la propiedad 2 concluimos que para r > 0 en Q exite n N tal
que 0 <
1
n
r.
En efecto: para a = r y b = 1 se tiene n N tal que n r 1 i.e r
1
n
> 0
como anunciado.
6. Construccion de los N umeros Reales
6.1. Conjuntos Acotados en Q.
Consideremos (Q, +, , ) el conjunto de los n umeros racionales con las opera-
ciones de suma, producto y orden parcial denidos como:
1.
a
b
+
c
d
=
ad + bc
db
2.
a
b

c
d
=
a
b d
3.
a
b

c
d

a
b
=
c
d
o
a
b
>
c
d
Aqu
a
b
>
c
d

a
b

c
d
=
ad bc
bd
Q
+
.
Recordamos que
a
b
Q
+
a b > 0 en Z.
Denicion 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.
Denicion 19. Sea A Q. Diremos que A es acotado superiormente si exis-
te w Q tal que: para cada x A vale x w. El elemento w Q se llama
cota superior de A.
Denicion 20. El conjunto A Q se dira acotado si es acotado superior e infe-
riormente. 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.
Denicion 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.
Denicion 22. Sea A Q un conjunto acotado inferiormente. Diremos que d Q
es el inmo 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 x
2
< 2}
Armacion. 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 x
2
4. no puede ser x
2
< 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 x
2
r
2
. Debe ser que 2 r
2
ya que si r
2
< 2.
Entonces (r+h)
2
= r
2
+2rhh
2
, y si escribieramos h =
1
n
tenemos 2rh+h
2
=
2r
n
+
1
n
2
.
Podemos escoger n tal que 0 <
2r
n
+
1
n
2
< 2r
2
y luego (r+h)
2
=
_
r +
1
n
_
2
=
r
2
+ 2rh + h
2
< r
2
+ 2 r
2
= 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 r
2
2.
Supongamos que r
2
> 2 entonces r
2
2 > 0. Asi que si (r h)
2
= r
2
2rh+h
2
es tal que 2 r
2
< 2rh + h
2
= h (2r + h) < 0 entonces 2 = 2 r
2
+ r
2
<
r
2
2rh + h
2
= (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 r
2
= 2.
Como hemos supuesto que r Q, tenemos r =
p
q
con (p, q) = 1 r
2
=
p
2
q
2
=
2 p
2
= 2q
2
.
Como (p, q) = 1 debe ser que 2 divide a p, p = 2s y 4s
2
= 2q
2
2s
2
= q
2
y
as 2 divide a q y no puede ser que (p, q) = 1() no existe r Q tal que r
2
= 2.
Asi que el supremo de A no es un elemento de Q.
Ejercicio. Pruebe que si A = {x Q; 0 < x y x
2
> 2} entonces A es acotado
inferiormente y no tiene inmo en Q.
Esto nos lleva a la siguiente denicion.
Denicion 23. Una estructura de cuerpo (K, +, ) y una relacion 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.
Observacion: Si ocurre que (K, +, , ) es una estructura ordenada y completa
entonces todo subconjunto A K que es acotado inferiormente tiene inmo 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).
Observacion: De aqu conclumos, en particular, que sup(A) = nf(A).
Denicion 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

) dene una particion 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.
Denicion 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.
Observacion: El mayor elemento de un conjunto acotado superiormente es el su-
premo de A si sup(A) A. El menor elemento de un conjunto acotado inferiomente
es el inmo de A si nf(A) A.
Ejemplo 4. 1. Sean A, A

Q denidos por A = {x Q; x 0 o 0 < x y x

2
<
2} y A

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

x < y.
Tambien: AA

= ya que si no existe x Q; x > 0 tal que x

2
< 2 y x
2
2;
cosa que no puede ocurrir.
Ademas x Q implica x A o x A

. Ya que: si x Q entonces x 0
o x > 0. Si x > 0 entonces x
2
< 2 o x
2
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 a
2
= 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 denidas por A = {x Q; x < 2}, A

= Q \ A. Claro que
A A

= y Q = A A

. Ademas 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.
Proposicion 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

Demostracion 16. a) Como AA

= y AA

= 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 denicion 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.
Demostracion 17. r A o r A

. Si r A entonces r < 2r < 3r < 4r .

Como A es acotado superiormente existe n
0
N tal que n
0
r A y (n
0
+1)r
A

; (n
0
+ 1)r n
0
r = r y queda probado.
Si r A

entonces < 3r < 2r < r < 0 < r y existe n

0
N tal que
(n
0
r) A

y (n
0
r r) A y n
0
r (n
0
r r) = r y queda probado.
Observacion: Si ocurre que u, v son n umeros racionales tal que |u v| < r para
cualquier r > 0 entonces u = v.
Demostracion 18. |u v| < r r < (u v) < r
Como vale r > 0. Si r
n
=
r
n
;
r
n
< u v <
r
n
para cualquier n N.
Si u = v entonces u v > 0 o u v < 0.
Si u v > 0 entonces la desigualdad n N 0 < u v <
r
n
no puede ser. Si
u v < 0 entonces la desigualdad: n Q
r
n
< u v < 0 tampoco puede ser
u = v.
6.2. Sucesiones de Cauchy en Q
Denicion 26. Dado un conjunto X = . Una sucesion en X es una funcion
f : N X.
La imagen f(N) X se denota {f(n); n N} o {x
n
; n N} o (x
n
)
nN
.
Aqu x
n
= f(n).
Una sucesion de n umeros racionales es una sucesion f : N Q.
Ejemplo 5. 1. f : N Q, f(n) = 1+
(1)
n
n
; f(1) = 11 = 0, f(2) =
3
2
, f(3) =
2
3
, f(4) =
5
4
, .
2. f(n) = 1+(1)
n
, f(1) = a
1
= 0, a
2
= 2, a
3
= 0, a
4
= 2 .Aqu f(N) = {0, 2}.
Observacion: El conjunto {x
n
, n N} X sera llamado conjunto de valores
de la sucesion.
Denicion 27. Una sucesion f : N Q se dice acotada superiormente si su con-
junto 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.
Denicion 28. Sea (a
n
)
nN
Q una sucesion. Diremos que (a
n
) converge a b Q
si Q, > 0 existe n() N tal que |a
n
b| < para n n().
Se dice que (a
n
)
nN
converge a b y se denota b = lm
n
a
n
. Se llama a b el lmite
de la sucesion (a
n
)
nN
.
Si la sucesion (a
n
) converge se dice convergente. Caso contrario se dice divergente.
Observacion: Si lma
n
= b y lma
n
= b

entonces b = b

.
En efecto si b = b

sea =
|b b

|
3
. Como b = lm
n
b
n
, para existe n
0
() tal
que |a
n
b| < si n n
0
.
Como b

= lm
n
b
n
, para existe n
1
() tal que |a
n
b

| < si n n
1
.
Si n max{n
0
, n
1
} se cumple (1) |a
n
b| < y (2) |a
n
b

| < .
(1) signica que b < a
n
< b + para n max{n
0
, n
1
}.
(2) signica que b

< a
n
< b

+ para n max{n
0
, n
1
}.
Como (b , b + ) (b

, b

+ ) = no puede haber a
n
(b , b + )
(b

, b

+ ). No puede ocurrir que b = b

b = b

.
Ejemplo 6. 1. lm
n
1
n
= 0.
En efecto: Sea > 0 dado. Por la propiedad arquimediana de Q existe n
0
N
tal que 0 <
1
n
0
< .
Si n n
0
entonces 0 <
1
n

1
n
0
< .
n n
0
0 <
1
n
< en particular <
1
n
<

1
n
0

< n n
0
y de
aqu lm
n
1
n
= 0.
2. f(n) = n es divergente. En efecto; dado b > 0 en Q existe n
0
N tal que
0 < b < n
0
+ 1 < n
0
+ 2 < y no puede ocurrir que |b n| < 1 para
n n
0
+ 1.
3. f(n) = 1 + (1)
n
es divergente. En efecto f(2n + 1) = 0 y f(2n) = 2. Luego
las inecuaciones |f(n) 0| <
1
2
y |f(n) 2| <
1
2
no se resuelven para n n
0
.
4. lm
n
1
2
n
= 0. En efecto, como 2
n
> n para n 1 se tiene 0 <
1
2
n
<
1
n
y luego
lm
n
1
2
n
= 0.
Denicion 29. Una sucesion (a
n
)
nN
se dara de Cauchy si Q, > 0 n
0
()
tal que |a
n
a
m
| < para n, m n
0
()
Proposicion 11. Si (a
n
)
nN
Q es convergente entonces (a
n
)
nN
es de Cauchy.
Demostracion: Sea (a
n
) una sucesion de n umeros racionales y a = lm
n
a
n
.
Sea > 0 un racional dado. Sabemos que existe n
0
() N tal que |a
n
a| <

2
para n n
0
().
Entonces, si n, m n
0
() tenemos |a
n
a
m
| = |a
n
a + a a
n
| |a
n
a| +
|a a
n
| <

2
+

2
= .
para > 0 racional existe n
0
() tal que n, m n
0
() implican |a
n
a
m
| < .
As (a
n
) es de Cauchy.
Proposicion 12. si (a
n
) Q es de Cauchy entonces (a
n
) es acotada.
Demostracion: Dado = 1 existe n() tal que n, m r() implican |a
n

a
m
| < < a
n
a
m
< a
m
< a
n
< a
m
+ .
Considerando m = n() tenemos a
n()
< a
n
< a
n()
+ para cada n n().
Sean A = mn{a
1
, a 2, , a
n()1
} y B = max{a
1
, a
2
, , a
n()1
a
n()
+ }.
Es claro que para cada n N vale A a
n
B (a
n
) es acotada.
Consideramos F(N, Q) = {f : N Q, f es una funcion} el conjunto de suce-
siones de n umeros racionales. Sean S
a
= {f F(N, Q), f es acotada}; S
c
= {f
F(N, Q); f es de Cauchy} y S
co
= {f F(N, Q); f es convergente}.
Hemos probado que S
co
S
c
S
a
.
Observacion: La sucesion a
n
= 2 + (1)
n
es acotada (a
n
= 3 o a
n
= 1) pero
no es de Cauchy la conclusion S
c
S
a
es estricta.
Proposicion 13. Sea (a
n
)
nN
una sucesion de n umeros racionales convergente. Sea
a = lm
n
a
n
tenemos
1. lm
nN
|a
n
| = |a|
2. Si a = 0 entonces existe n
0
N tal que |a
n
| >
|a|
2
, n n
0
.
Demostracion:
1. Sabemos que ||x| |y|| |x y| en Q.
Como lm
n
a
n
= a Dado > 0 racional existe n
0
N tal que n n
0
implica
|a
n
a| < ||a
n
||a|| |a
n
a| < ||a
n
||a|| < n n
0
lm
n
|a
n
| =
|a|.
2. Tenemos lm
n
|a
n
| = |a| luego si consideran =
|a|
2
> 0.
Tenemos que existe n
0
() tal que n n
0
() implica ||a
n
| |a|| < |a| <
|a
n
| < |a| |a|
|a|
2
< |a
n
| < |a| +
|a|
2
.
O sea
|a|
2
< |a
n
| <
3
2
|a| n n
0
().
Observaciones:
1. Puede ocurrir que lm
n
|a
n
| = |a| pero no necesariamente lma
n
= a. Basta
considerar a
2n+1
= 1
1
n
, a
2n
= 1
1
n
se tiene lm
n
|a
n
| = 1 pero (a
n
) no
converge.
2. Si ocurre que a a
n
b para cada n p entonces si lm
n
a
n
= debe ser
a b..
Demostracion. Si no < a o > b. Suponemos < a y sea =
a
3
.
Existe n
0
() tal que n n
0
|a
n
| < < a
n
< + =
+
a
3
< + (a ) = a.
As, no puede ocurrir que a a
n
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 a
n
A y a

n
A

tales que
1. a

n
a
n
=
1
n
.
2. |a
m
a
n
| <
1
n
y |a

m
a

n
| <
1
n
m n.
Demostracion: 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
n
, t + 2
1
2
, t + 3
1
n
, t + (n 1)
1
n
, t + n
1
n
= t + 1
y hay p
n
, 1 p
n
n 1 tal que
_
t + p
n

1
n
_
A y
_
t + (p
n
+ 1)
1
n
_
A

.
Sea a
n
= t +
p
n
n
, a

n
= t + (p
n
+ 1)
1
n
a

n
a
n
= t + p
n

1
n
+
1
n
t
p
n
n
=
1
n
Si m n entonces a
n
a
m
y 0 a
m
a
n
a

n
a
n
=
1
n
.
Si m n entonces a

m
a

n
y 0 a

n
a

m
a

n
a
n
=
1
n
, como anunciado.
Observacion: (a
n
) A y (a

n
) A

son sucesiones de Cauchy. En efecto,

dado > 0 racional escojemos n
0
tal que
1
n
0
< y
|a
m
a
n
|
1
n
<
1
n
0
< para n, m n
0
Lo mismo sucede con (a

n
) A

.
Proposicion 14. Sean (a
n
) y (b
n
) sucesiones de Cauchy entonces (a
n
) + (b
n
) y
(a
n
b
n
) son sucesiones de Cauchy.
Demostracion: Sea > 0 un racional. Existen n
0
() y n
1
() tales que |a
m

a
n
| <

2
para m, n n
0
y |b
m
b
n
| <

2
para m, n n
1
(); Si m, n
max{n
0
(), n
1
()} se tiene
|(a
m
+b
m
) (a
n
+b
n
)| = |(a
m
a
n
) +(b
m
b
n
)| |a
m
a
n
| +|b
m

n
| <

2
+

2
= .
Conclumos que (a
n
) + (b
n
) = (a
n
+ b
n
) es una sucesion de Cauchy.
Como (a
n
) es de Cauchy existe M > 0 tal que |a
n
| < M n N.Como (b
n
)
es de Cauchy existe L > 0 tal que |b
n
| < L n N.
Ademas, existe n
0
() tal que si m, n n
0
implica |a
m
a
n
| <

2L
y existe
n
1
() tal que m, n n
1
implica |b
n
b
m
| <

2M
.
Tenemos:
|a
m
b
m
a
n
b
n
| = |a
m
b
m
a
m
b
n
+ a
m
b
n
a
n
b
n
| = |a
n
(b
m
b
n
) + b
n
(a
m
a
n
)|
,
|a
m
||b
m
b
n
|+|b
n
||a
m
a
n
| M

2M
+L

2L


2
+

2
; m, n max{n
0
(), n
1
()}.
En consecuencia: (a
n
b
n
) es de Cauchy.
Observacion. Esta proposicion nos permite denir una suma y un producto
en S
c
. A saber
(a
n
) + (b
n
) = (a
n
+ b
n
) y (a
n
) (b
n
) = (a
n
b
n
)
Teorema 5. (S
c
, +, ) es un anillo conmutativo con unidad
Demostracion 19. 1. El neutro aditivo de la suma es (a
n
) = (0, 0, 0, 0, ) ya
que (b
n
) + (0) = (b
n
+ 0) = (b
n
) para cada (b
n
) S
c
.
2. El inverso aditivo de (a
n
) es (b
n
) = (a
n
) ya que
(a
n
)+(b
n
) = (a
n
+b
n
) = (a
n
a
n
) = (0); (b
n
)+(a
n
) = (b
n
+a
n
) = (a
n
+a
n
) = (0).
3. La suma es conmutativo porque
(a
n
) + (b
n
) = (a
n
+ b
n
) = (b
n
+ a
n
) = (b
n
) + (a
n
).
4. La suma es asociativa porque
((a
n
) + (b
n
)) + (c
n
) = (a
n
+b
n
) + (c
n
) = ((a
n
+b
n
) +c
n
) = (a
n
+ (b
n
+c
n
)) =
,
(a
n
) + (b
n
+ c
n
) = (a
n
) + ((b
n
) + (c
n
)).
5. La unidad del producto es (a
n
) = (1, 1, 1, ) porque
(a
n
) (1, 1, 1, ) = (a
n
1) = (a
n
); (1, 1, ) (a
n
) = (1 a
n
) = (a
n
).
6. El producto es conmutativo porque (a
n
) (b
n
) = (a
n
b
n
) = (b
n
a
n
) = (b
n
) (a
n
).
7. Es producto es asociativo porque
((a
n
) (b
n
)) (c
1
) = (a
n
b
n
) (c
n
) = ((a
n
b
n
) c
n
) = (a
n
(b
n
), c
n
) =
,
(a
n
) (b
n
c
n
) = (a
n
) ((b
n
) (c
n
)).
8. distribuye sobre + porque : (a
n
)((b
n
)+(c
n
)) = (a
n
)(b
n
+c
n
) = (a
n
(b
n
+c
n
)) =
(a
n
b
n
+ a
n
c
n
) = (a
n
b
n
) + (a
n
c
n
) = (a
n
) (b
n
) + (a
n
) (c
n
).
Observacion:
1. Consideramos la cortadura A = {x Q; x < 0 o 0 x y x
2
< 2} y A

=
{x Q; x 0 y x
2
> 2}. Sabemos que hay (a
n
) A, (a

n
) A

tales que
:a

n
a
n
=
1
n
; |a
m
a
n
| <
1
n
para m > n y |a

m
a

n
| <
1
n
si m > n. Ambos
sucesioness (a
n
) y (a

n
) no convergen en Q. En efecto si lm
n
a
n
= a entonces
a

n
= a
n
+
1
n
y lm
n
a

n
= lm
n
a
n
+ lm
n
1
n
= a.
Como a
n
A, (a
n
)
2
< 2; como a

n
A

vale 2 < (a

n
)
2
.
Como lm
n
a
2
n
2 lm
n
(a

n
)
2
entonces lm
n
a
2
n
= 2 a
2
= 2 y a / Q.
2. Si bien (S
c
, +, ) es un anillo conmutativo con unidad tenemos, por ejemplo
para (a
n
) = (1, 1, 1, 1, 0, 0, 0, ) y (b
n
) = (0, 0, 0, 0, 1, 1, 1, 1, ) que (a
n
)
(b
n
) = (0) y (a
n
) == 0 y (b
n
) = 0.
Denicion 30. Sea (a
n
) S
c
una sucesion de Cauchy
1. Diremos que (a
n
) es una sucesion nula si lm
n
a
n
= 0.
O sea: Dado > 0 racional n
0
() N tal que |a
n
| < n n
0
()
2. Diremos que (a
n
) es una sucesion positiva si hay r Q, r > 0 y r > 0 y n
0
N
tal que a
n
> r > 0 n
0
().
Ejemplo 7. (a
n
) = (1, 1, 1, 1, 0, 0, ) es una sucesion nula, (a
n
) =
_
1
n
_
es una
sucesion nula.
Observacion: Si (a
n
) es una sucesion nula entonces (a
n
) no es positiva.
Si (a
n
) es positiva entonces (a
n
) no es una sucesion nula.
Si S
c
(0) = {(a
n
) S
c
; (a
n
)es una sucesion nula} y
S
+
c
= {(a
n
) S
c
/(a
n
)es una sucesion positiva} entonces S
c
(0) S
+
c
= .
Una sucesion (a
n
) S
c
se dira negativa si (b
n
) = (a
n
) es una sucesion
positiva. Denotemos S

C
= {(a
n
) S
c
; (a
n
)es una sucesion negativa}.
Claro que S

c
S
+
c
= y S

c
S
c
(0) = . Esto es los conjuntos S
+
c
, S
c
(0) y S

c
son dijuntos.
Proposicion 15.
S
c
= S
+
c
S
c
(0) S

c
Demostracion: Supongamos que (a
n
) es una sucesion que no es positiva ni
negativa. Esto es: para cada racional positivo r y para cualquier natural n
0
hay
p > n
0
tal que a
p
r. De la misma forma hay un q > n
0
tal que r a
q
.
Como (a
n
) es de Cauchy existe n
0
(r) tal que s, t n
0
no implica |a
s
a
t
| < r.
Escogiendo el p y el q asociado a este n
0
tenemos que si t > n
0
; a
t
= a
t
a
p
+a
p
<
r + r = 2r; ademas a
t
= (a
q
a
t
) a
q
< r + r = 2r esto es 2r < a
t
< 2r o sea
|a
t
| < 2r.
Asi, dado r racional positivo existe n
0
(r) tal que t > n
0
implica |a
t
| < 2r
lm
n
a
n
= 0 y (a
n
) es una sucesion de Cauchy nula.
Observacion:
1. Si (a
n
) S
+
c
, (b
n
) S
+
c
entonces (a
n
+ b
n
) S
+
c
y (a
n
) (b
n
) S
+
c
.
En efecto; Existe r > 0 y n
0
N tal que n n
0
vale a
n
> r. Tambien,
existen s > 0 y n
1
N tal que b
n
> s para n N
1
. As para n max(n
0
, n
1
)
vale a
n
+ b
n
> r + s >; 0 luego (a
n
) + (b
n
) S
+
c
. De la misma forma si
n max(n
0
, n
1
) vale a
n
b
n
> r s >; 0 luego (a
n
) (b
n
) S
+
c
.
2. Si (a
n
) S
+
c
entonces su inverso aditivo (a
n
) S

c
.
En efecto: Existen r > 0 y n
0
N tal que a
n
> r, n n
0
entonces a
n
<
r < 0 para n n
0
(S
+
n
, +, ) no es un anillo.
Proposicion 16. (S
c
(0), +, ) es un anillo conmutativo sin unidad.
Demostracion: Sean (a
n
), (b
n
) en S
c
(0). Probemos que
1. (a
n
) + (b
n
) S
c
(0)
2. (a
n
) (b
n
) S
c
(0);
3. (a
n
) S
c
(0) y
4. (0) S
c
(0)
1. Dado r Q, r > 0 existe n
0
N tal que |a
n
| <
r
2
para n n
0
. Ademas,
existe n
1
inN tal que |b
n
| <
r
2
para n n
1
, Si n max{n
0
, n
1
} tenemos
|a
n
+ b
n
| |a
n
| + |b
n
| <
r
2
+
r
2
= r |a
n
+ b
n
| < r n max{n
0
, n
1
}. Esto
indica que (a
n
) + (b
n
) = (a
n
+ b
n
) S
c
(0).
2. Como (a
n
) es de Cauchy es acotado. O sea, existe M > 0 tal que |a
n
|
M n N. Como (b
n
) S
c
(0) n
0
N tal que n n
0
implica |b
n
| <
r
M
para r Q, positivo.Luego, si n n
0
, |a
n
b
n
| = |a
n
| |b
n
| < M
r
M
= r
(a
n
) (b
n
) S
c
(0).
3. Como (a
n
) S
c
(0) Dado r > 0, r Q existe r
0
N tal que |a
n
| < r para
n n
0
. Como |a
n
| = | a
n
|. Tenemos | a
n
| < r n n
0
(a
n
) S
c
(0)
4. Obvio que (a
n
= 0) S
c
(0).
Corolario 2. Si (a
n
) S
C
y (b
n
) S
c
(0) entonces (a
n
) (b
n
) S
c
(0)
Demostracion: Como (a
n
) S
c
entonces es acotada y la demostracion es
exactamente como en 2) de la proposicion anterior.
6.3. Los N umeros Reales
Denicion 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 = S
c
, I = S
c
(0) es un ideal de S
c
(0)
Observacion:
a) Si (a
n
) S
+
c
y (b
n
) S
c
(0) entonces (a
n
) + (b
n
) S
+
c
.
Demostracion: Existen r > 0 y n
0
N tal que a
n
> r > 0 n n
0
. Tam-
bien, para cualesquiera > 0 en Q existe n
1
N tal que |bn| < si n n
1
.
O sea < b
n
< n n
1
. En particular, si =
r
2
entonces n
1
tal que

r
2
< b
n
<
r
2
n n
1
.
si n max{n
0
, n
1
}
r
2
+ r < b
n
+ a
n
. O sea a
n
+ b
n
>
r
2
para
n max{n
0
, n
1
}. As (a
n
) + (b
n
) S
+
c
.
Si (a
n
) S

c
y (b
n
) S
c
(0) entonces (a
n
) + (b
n
) S

c
. La demostracion es
similar a la anterior.
Denicion 32. Sea (A, +, ) un anillo y L, T A.
Se denen
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. S
c
+ S
c
S
c
2. S
c
S
c
S
c
3. S
c
(0) + S
c
(0) S
c
(0)
4. S
c
(0) S
c
(0) S
c
(0)
5. S
c
(0) S
c
(0) S
c
(0)
6. S
+
c
+ S
+
c
S
+
c
7. S
+
c
S
+
c
S
+
c
8. S
c
S
c
(0) S
c
(0)
9. S
+
c
+ S
c
(0) S
+
c
y
10. S

c
+ S
c
(0) S

c
Ahora vamos a denir una relacion de equivalencia en S
c
Denicion 33. Sean (a
n
), (b
n
) en S
c
. Diremos que (a
n
) (b
n
) [(a
n
) (b
n
)]
S
c
(0)
Proposicion 17. es una relacion de equivalencia en S
c
.
a) (a
n
) (a
n
). En efecto (a
n
) (a
n
) = (a
n
a
n
) = (0) S
c
(0).
b) Si (a
n
) (b
n
) entonces (b
n
) (a
n
).
En efecto; como S
C
(0) es un anillo y ((a
n
) (b
n
)) S
c
(0) entonces ((a
n
)
(b
n
)) S
c
(0)|. As (b
n
) (a
n
) S
c
(0) y (b
n
) (a
n
).
c) Si (a
n
) (b
n
) y (b
n
) (c
n
) entonces (a
n
) (c
n
).
Como (a
n
) (b
n
) (a
n
) (b
n
) S
c
(0)
Como (b
n
) (c
n
) (b
n
) (c
n
) S
c
(0)
Como S
c
(0) es un anillo [(a
n
) (b
n
)] + [(b
n
) (c
n
)] S
c
(0)
Esto es: (a
n
) (c
n
) S
c
(0) (a
n
) (c
n
).
Podemos, entonces, construir el conjunto de clases de equivalencias
S
c
/ = {[(a
n
)]; (a
n
) S
c
}.
Aqu [(a
n
)] = {(b
n
) S
c
; (a
n
) (b
n
)}.
Notamos lo siguiente. Sea (a
n
) (b
n
) entonces (a
n
) (b
n
) S
c
(0). Ahora
(b
n
) = (a
n
) + (b
n
) (a
n
)
. .
.
Si (b
n
) [(a
n
)] b
n
= (a
n
) + (c
n
) con (c
n
) = (b
n
) (a
n
) S
c
(0).
Por otro lado sea (c
n
) S
c
(0) y b
n
= (a
n
) + (c
n
) entonces (c
n
) = ((a
n
)
(b
n
)) S
c
(0) (b
n
) (a
n
) y (b
n
) [(a
n
)]
[(a
n
)] = (a
n
) + S
c
(0).
Observacion:
A partir de ahora anotaremos a los elementos (a
n
), (b
n
), (c
n
) como a = (a
n
), b =
(b
n
) y c = (c
n
) y etc., entendiendo siempre que se trata de una sucesion.
Para a S
c
denotamos a = a +S
c
(0) su clase de equivalencia bajo la relacion
. O sea a = {a + b; b S
c
(0)}.
Con estas notaciones S
c
/

= {a +S
c
(0); a S
c
} sera llamando el conjunto de
n umeros reales y se denotara R.
Denicion 34. Para (a + S
c
(0)), (b + S
c
(0)) n umeros reales se dene
a) La suma (a + S
c
(0)) + (b + s
c
(0)) = (a + b) + S
c
(0)
b) El producto (a + S
c
(0)) (b + S
c
(0)) = a b + S
c
(0)
Vamos a probar que la suma y el producto estan bien denidos
Teorema 6. La suma y el producto de n umeros reales estan bien denidos.
Demostracion:
a) La suma: sea (b
n
) [(a
n
)] (b
n
) = (a
n
) + (c
n
) con (c
n
) S
c
(0).
Sea (e
n
) [(d
n
)] (e
n
) = (d
n
) + (f
n
) con (f
n
) S
c
(0).
Tenemos [(b
n
)]+[(e
n
)] = [(a
n
)+(c
n
)]+[(d
n
)+(f
n
)] = (a
n
)+(d
n
)+[(c
n
)+(f
n
)].
Como ((c
n
) + (f
n
)) S
c
(0) tenemos que ((b
n
) + (e
n
)) ((a
n
) + (d
n
)) o sea
[(b
n
)] + [(e
n
)] = [(a
n
) + (d
n
)] = [(a
n
)] + [(d
n
)].
Esto es, la suma de [(a
n
)] y [(d
n
)] no depende del particular representante de
esas clases de equivalencias.
b) El producto. Sea b = a + c, c S
c
(0), e = d + f, f S
c
(0) entonces b e =
(a + c) (d + f) = a d + a f + c d + c f.
Como ya vimos a f S
c
(0), c d S
c
(0) y c f S
c
(0)
Luego b e = a d + g, g = a f + c d + c f S
c
(0)
As b e a d El producto de a y d no depende del particular representante
que usamos para la multiplicaci on.
En notacion de clases de equivalencia

[a] = a + S
c
(0),

d = d + S
c
(0)
a +

d = a + d y a

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

c
.
i) [(a)] [(b)] = [(a
n
b
n
)] = [(b
n
a
n
)] = [(b
n
)] [(a
n
)].
Luego, el producto es conmutativo
ii) ([(a
n
)][(b
n
)])[(c
n
)] = [(a
n
b
n
)][(c
n
)] = [((a
n
b
n
)c
n
)] = [(a
n
(b
n
c
n
))] =
[(a
n
)] [(b
n
c
n
)] = [(a
n
)] ([b
n
] [(c
n
)]). Luego, el producto es asociativo.
iii) [(a
n
)] [(1)] = [(a
n
1)] = [(a
n
)]. Luego, hay neutro 1 = [(1)].
iv) Sea (a
n
) S
+
c
entonces existen r Q y n
0
N tal que a
n
> r > 0
para n n
0
. Sea (b
n
) tal que b
n
=
1
a
n
para n n
0
y b
j
= 1 pa-
ra j = 1, 2, 3, , (a
n
) (b
n
) = (a
1
, a
2
, , a
n
o
1
, , a
n

1
a
n
, ) =
(a
1
, , a
n
0
1
, 1, 1, 1, 1, ). Probemos ahora que (a
1
, a
2
, , a
n
o
1
, 1, 1, 1, )
(1, 1, 1, 1, ).
En efecto (a
1
, a
2
, a
3
, , a
n
0
1
, 1, 1, 1, ) (1, 1, 1, ) = (a
1
1, a
2

1, , a
n
o
1, 1, 0, 0, 0, 0).
Armacion: (A
1
, A
2
, , A
k
, 0, 0, , 0) S
c
(0) k N y cualquier
(A
1
, , A
k
) Q
k
.
Sea r > 0 entonces para n
0
= k + 1 se cumple |A
n
| < rn n
0
,
(A
1
, , A
k
, 0, 0, ) S
c
(0).
En particular (a
1
1, a
2
1, , a
n1
1, 0, 0, 0, ) S
c
(0) Luego
(a
n
) (b
n
) (1, 1, 1, ) y concluimos que [(a
n
)] [(b
n
)] = [(1)] o que
[(a
n
)]
1
= [(b
n
)].
Se procede analogamente con (a
n
) S

c
.
Para concluir la demostracion resta probar que si (a
n
) S
+
c
entonces (b
n
)
denido por b
n
= 1, n n
0
y b
n
= a
1
n
, n n
0
es una sucesion de Cauchy
(y (b
n
) S
+
c
). Lo primero a notar es que (b
n
) es positiva y acotada. O
sea R > 0 tal que R < b
n
< R
1
para cada n N.
Como (a
n
) es de Cauchy; dado > 0 racional existe n
0
Q tal que
|a
m
a
n
| < R
2
para n, m n
0
.

1
a
n

1
a
n

a
m
a
n
a
n
a
m

|a
m
a
n
|
|a
n
a
m
|
<
R
2
|a
n
a
m
|
= R
2
b
n
b
n
< R
2

1
R

1
R
=
> 0, racional existe n
0
N tal que m, n n
0
implica |b
m
b
n
| < .
Luego (b
n
) S
+
c
c) distribuye sobre +.
[(a
n
)] ([(b
n
)] + [(c
n
)]) = [(a
n
)] [(b
n
) + (c
n
)] = [(a
n
(b
n
+ c
n
))] =
,
[(a
n
b
n
+ a
n
c
n
)] = [(a
n
b
n
)] + [(a
n
c
n
)] = [(a
n
)] [(b
n
)] + [(a
n
)] [(c
n
)].
6.4. La inclusion 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 dene (a
n
) S
c
por a
n
= a n N.
Proposicion 18. La aplicacion h : Q R; a [(a
n
)] satisface:
a) es inyectiva;
b) h(a + b) = h(a) + h(b) y
c) h(ab) = h(a) h(b).
Demostracion:
1. h(a) = h(b) (a
n
) = (b
n
) a
n
= b
n
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(a
1
) = [(a)]
1
si a
1
Q.
Observacion: Suponemos dado a Q y a
n
= a n N. Sea (b
n
) S
c
tal
que (b
n
) (a
n
) entonces lm
n
b
n
= a. En efecto, (b
n
) (a
n
) (b
n
a
n
) S
c
(0)
r > 0 racional n
0
N tales que n n
0
implica |b
n
a
n
| < r. Luego n n
0
vale
|b
n
a| < r esto es: lm
n
b
n
= a.
6.5. Orden en R
Sabemos que en Q hay subconjunto Q
+
, llamado de los racionales positivos,
formado por todos los
a
b
Q tales que a b > 0 en Z. Si Q

= {q, q Q
+
} se
cumple la ley de tricotoma: q Q vale q Q

q = 0q = 0q Q
+
.
Este conjunto, Q
+
, nos sirve para denir el orden a Q :
a
b
>
c
d

_
a
b

c
d
_

Q
+
.
De aqu denimos
a
b

c
d

a
b
>
c
d

a
b
=
c
d
y resulta ser que un orden
total en Q.
Denicion 35. Un n umero real a = (a
n
) + S
C
(0) se dira un n umero real positivo
si (a
n
) S
+
c
. Se dira negativo si (a
n
) S

c
.
Como ya vimos si (b
n
) S
c
entonces (b
n
) S

c
(b
n
) S
c
(0) (b
n
) S
+
c
.
Si [(b
n
)] R entonces [(b
n
)] S
+
c
y (b
n
) + S
c
(0) es positivo ] o [(b
n
)] S

c
y (b
n
) + S
c
(0) es negativo] o [(b
n
)] S
c
(0)] y (b
n
) + S
c
(0) = S
c
(0) es el cero en R.
Denicion 36. R
+
= {b R; b es positivo } ; R

= {b R; b es negativo}
Corolario 3. R = R

{0} R
+
.
Observacion: Ya sabemos que a, b R
+
implica (a + b) R
+
y a b R
+
Denicion 37. Para a, b R se dene a > b (a es mayor que b) si (a b) R
+
.
Tambien a b a > b a = b.
Proposicion 19. es relacion de orden total en R.
Demostracion:
a) Reeja. 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 (ba) R
+
y (ab) R
+
.O sea que c = ba R
+
y c = (b a) = ab 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 unica 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 (ab) R
+
y (b c) R
+
y (b c) entonces (ab) +(b c) = ac 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 dene a b b a.Claro que es un orden total en R.
Ejercicio: Pruebe las siguientes propiedades de la estructura de cuerpo orde-
nado (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. Inclusion 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 denida 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) S
+
c
(q p) > 0 (q) > (p) p q en Q
implica h(p) h(q) en R.
Observacion. Usando h podemos identicar (Q, +, , ) con (h(Q), +, , )
(R, +, , ).
Denicion 38. Para a R se dene |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 h
R R
+
0
||
6.7. Sucesiones en R
Denicion 39. 1. Una sucesion de n umeros reales es una funcion X : N R
La imagen x(N) se denota (x
n
)
nN
.
2. Se dice que la sucesion de n umeros reales (x
n
)
nN
tiene limite x R si para
cada > 0 en R existe (n
0
)() N tal que |x
n
x| < si n n
0
(). Se denota
x = lm
n
x
n
.
3. Una sucesi on (X
n
) de n umeros reales se dice de Cauchy si ocurre que 0 R
existe n
0
() N tal que n, m n
0
() implica |x
n
x
m
| < .
Ejercicio: Sean (x
n
), (y
n
) sucesiones de n umeros reales
a) Si x
n
y
n
, x = lm
n
x
n
, y = lm
n
y
n
entonces x y;
b) Si (x
n
), (y
n
) son sucesiones de Cauchy entonces (x
n
) + (y
n
) = (x
n
+ y
n
) es
sucesion de Cauchy y (x
n
) (y
n
) = (x
n
y
y
) es una sucesion de Cauchy.
Proposicion 20. Sea a > 0 en R y b R un real cualquiera. Existe n N tal que
b n a.
Demostracion: Si b R

entonces n = 0 sirve pues b < 0 = 0 a.

Suponemos b R
+
. Tenemos que b = (b
n
) donde (b
n
) S
c
. Como (b
n
) S
c
es
anotado superiormente existe k Q tal que b
n
k n N.
Como a = (a
n
) > 0 entonces existe q
0
Q, q
0
> 0 tal que a
n
> q
0
> 0.Sea
n N tal quenq
0
> k entonces n a = (n a
n
) > (k) luego b = (b
n
) (k) < (n a
n
) =
n (a
n
) = 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.
Demostracion: Como > 0 entonces
1

> 0. Por la propiedad arquimediana,

considerando a = 1, b =
1

; existe n N tal que

1

< n 0 <
1
n
< , Entonces
consideramos a s =
1
n
Q y satisface lo requerido. .
Proposicion 21. Sea (a
n
) Q una sucesion de Cauchy y = [(a
n
)]. Sea a
n
=
h(a
n
) entonces lm
n
a
n
= en R.
Demostracion: Tenemos a
n
= (a
n,m
)
mN
con a
n,m
= a
n
n N. Como (a
n
)
es de Cauchy > 0 racional n
0
N tal que |a
p
a
n
| < p, n n
0
. Luego
| a
n
| = |(a
n,m
)(a
m
)| = |(a
n,m
a
m
)| = |a
n
a
m
| < n n
0
() lm
n
a
n
= .
Teorema 8. Toda sucesion de Cauchy de n umeros reales es convergente. Esto es:
si a
n
R satisface > 0 real existe n
0
() N tal que |a
n
a
m
| < n, m > n
0
entonces lm
n
a
n
R.
Demostracion: Si ocurre que existe n
1
N tal que a
n
= a
n
1
, n n
1
entonces
ya vimos que si = a
n
1
R, se cumple que lm
n
a
n
= , y el resultado esta probado.
Suponemos ahora que hay subsucesion (b
j
(n)
) (a
n
) tal que b
j
(n)
= b para
cada n N
1
. En este caso b = b
j
(N
1
)
= b
j(N
1
+1)
= b
j(N
1
+2)
= ... = y resulta que
(b
j(n)
) converge a b R. Denotando (b
j
) a la subsucesion, hay n
j
, n
j
, j
tal que b
j
= a
n
j
. Si escogemos j tal que n
j
n
0
y j N
1
se tiene |a
n
b|
|a
n
a
n
j
| +|a
n
j
b| |a
n
a
n
j
| +|b
j
b| < + = 2, para n n
0
; lm
n
a
n
= b
y la sucesion converge.
Si ocurre que hay ndice n tal que a
n
= a
n+1
entonces podemos escoger subsu-
cesion (b
j
) (a
n
) tal que b
j
= b
j+1
para cada j y si lm
j
b
j
= b entonces lm

a
n
= b.
Luego, y su perdida de generalidad, vamos a suponer que a
n
= a
n+1
para cada
n.
Sea (
n
) R una sucesion positiva de n umeros reales tales que 0 <
n+1
<

n
2
.
Es claro que (
n
) R es una sucesion nula y entonces dado > 0 existe N N tal
que |
p
| < p N.
Como (a
n
) R es de Cauchy: Dado > 0 N
1
N tal que |a
n
a
m
| < si
n, m N
1
.
Por otro lado si a
n
= (a
n,p
)p N con (a
n,p
) una sucesion de Cauchy de n umeros
racionales entonces si A
p
= (a
n,p
) R, la sucesion constante e igual a a
n,p
. Se tiene
lm
p
A
p
= a
n
.
O sea: Dado > 0p
0
N tal que |A
p
a
n
| < para p p
0
. Escogemos

n
y tenemos que existe p
0
() = p
0
(n) tal que |A
p
a
n
| <
n
p p
0
(n) .
Sea t = (a
n,p
0
(n)
). Se tiene que |a
n,p
0
(n)
a
m,p
0
(m)
| |a
n,p
0
(n)
a
n
| +|a
n
a
m
| +
|a
m
a
m,p
0
(m)
|
n
+ + +
m
.
Como |
n
| n N
0
; entonces si n, m max{N
1
, N
0
} se cumple que
|a
n,p
0
(n)
a
m,p
0
(m)
| < 3 O sea que t = (a
n,p
0
(n)
) 5
C
y entonces t R.
Ahora: |a
n
t| = |(a
n,p
) (a
n,p
0
(n)
)| = |a
n
A
p
0
(n)
| < y luego (a
n
t) es una
sucesion nula en R, lm
n
a
n
= t R .
Proposicion 22. Sea (a
n
) R tal que lm
n
a
n
= a R
entonces (a
n
) es una sucesion de Cauchy.
Demostracion: En efecto dado > 0n
0
N tal que si n n
0
entonces
|a
n
a| < .
Si n, m n
0
, |a
n
a
m
| = |a
n
a +a a
m
| |a
n
a| +|a a
m
| < + = 2;
asi (a
n
) 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|;
g)

a
b

=
|a|
|b|
si b = 0 en R.
6.8. Completitud de R
Observacion: Hemos probado que en la estructura (R, +, , ) una sucesion
(a
n
) 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)
Demostracion: 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 b
0
A un elemento y m Z un
entero tal que m < b. Se tiene m < b
0
< M.
Sea p N y construyamos a
p
Q de la siguiente forma:
0
= m, alpha
1
=
m+
1
2
p
,
2
= m+
2
2
p
, ...,
r
= m+
r
2
p
a
p
sera el primer
r
tal que
r
es cota
superior de A i.e. Para cada b A Vale b a
p
y hay b
p
A tal que
r1
< b
p
.
Construida la sucesion de racionales (a
n
), de esta manera tenemos a
p

1
2
p
<
a
q
a
p
para q > p. Asi que
1
2
p
< a
q
a
p
0 o sea |a
p
a
q
| <
1
2
p
.
Luego, para n N se cumple que si p, q > n vale |a
p
a
q
| <
1
2
p
<
1
2
n
.
Sea > 0 dado, sabemos que existe n
0
N tal que
1
2
n
0
< .
As para p, q > n
0
vale |a
p
a
q
| < y |a
q
| es una sucesion de Cauchy de
n umeros racionales.
Sea t = (a
q
) R. Sabemos que t = lm
n
a
q
, cuando considerando a
q
como
n umero real (o sea h(a
q
)).
Como a
p

1
2
p
< a
q
a
p
para q > p tenemos, p N, que a
p
1
2
p
t a
p
(esto es deduce del hecho de que > 0) hay N
1
N tal que < t a
q
<
para q N
1
; as a
p

1
2
p
a
q
+ t a
q
a
p
+ para q N
1
y cada p; luego
a
p

1
2
p
t a
p
+ para cada > 0 y cada p N).
Armacion: t = sup(A).
Suponemos que hay b A tal que t < b. Esto dice que b t > 0 y existe p N
tal que 2
p
>
1
b t
, o sea (1)b t >
1
2
p
. Sumando esto con t a
p

1
2
p
se tiene que
hay b A tal que (b t) + t >
1
2
p
+ a
p

1
2
p
= a
p
i.e. hay b A tal que b > a
p
contraria a la construccion de a
p
.
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
t s > 0 y hay p N tal que
1
2
p
< t s (2)
Como a
p

1
2
p
no es cota superior A hay h A tal que a
p

1
2
p
< h s luego
a
p

1
2
p
< s. Sumando esto desigualdad con (2) a
p
< (t s) + s = t y luego a
p
< t;
que sabemos que no es cierto si s R es cota superior de A entonces t s y
hemos probado que t = sup(A). .
Denicion 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; x
2
< 2} es acotado
superiormente y no tiene supremo en Q.
b) (R, +, , ) es completo.
Observacion: Sabemos, por la construccion de R, que t R hay sucesion de
Cauchy (a
n
) Q tal que t = lm
n
a
n
. En particular: t R y > 0 existe q

Q
tal que |t q

| < .
O sea: todo n umero real es aproximado por racionales. Esta propiedad se re-
conocera armando que Q es denso en R.
Denicion 41. El n umero real t se dira irracional si t / Q.
Proposicion 23. (R \ Q) = .
Demostracion: Consideramos la cortadura de Dedekind AA

de Q denida
por A = {x R; x < 0 o 0 x y x
2
< 2}; A

= {x R, x > 0 y x
2
> 2}.
Vemos que es posible construir una sucesion (q
n
) Q tal que q
2n
A, q
2n+1
A

y
|q
n+1
q
n
| <
1
n + 1
. Luego (q
n
) Q es una sucesion de Cauchy y t = (q
n
) R no
pertenece a Q. Como t = lm
n
q
n
debe ser t
2
= 2. El n umero real t se llama la raz
de 2 y se denota

2 = t .
Ejercicio: Sean (a
n
), (b
n
) sucesiones de n umeros reales tales que a = lm
n
a
n
, b =
lm
n
b
n
son n umeros reales. Se cumple
a) lm
n
(a
n
b
n
) = a b;
b) lm
n
a
n
b
n
= a b y
c) Si b = 0 lm
n
a
n
b
n
=
a
b
.
Esto implica que el conjunto {(a
n
) R, (a
n
)converge} = S
c
(R), de las suce-
siones de n umeros reales convergentes forma un anillo conmutativo con la suma y el
producto de sucesiones.
Proposicion 24. Sean (R \ Q) y q Q tal que q = 0 entonces q (R \ Q)
y ( + q) (R \ Q).
Demostracion: 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, = sq Q(
) .
En particular

2
2
(R \ Q)
Proposicion 25. Dado n umeros reales u < v existen q Q y (R\ Q) tales que
u < q < v y u < < v.
Demostracion: 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
existe n N tal que
1
v u
< n y luego
1
n
< v u 1 < nv nu o 1 + nu nv.
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
n
< v.
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
1
2
<

2
2
< 1 y q < q +

2
2
(q

q) < (q

q) = q

.
u < q < q +

2
2
(q

q) < q

< v.
Como

2 (R\Q) tenemos

2
2
(R\Q);

2
2
(q

q) (R\Q) y q +

2
2
(q

q) (R \ Q) en consecuencia = q +

2
2
(q

q) (R \ Q) satisface u < < v, .

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