Lectura 1

Antonio Luis Martnez Rico

antonioluis@gmail.com
10 de octubre de 2016

Resumen
En el conjunto de los numero reales se muestran tres tipos de estruc-
turas fundamentales en matematicas: algebraica, de orden y topologica.
Ademas estas se encuentran profundamente entrelazadas y es su relacion
mutua la que dota de riqueza y versatilidad al conjunto. Nuestro proposito
no es dar una detallada construccion de los numeros reales sino incidir en
tales relaciones. Por ello, nos limitaremos a definir conceptos y asignarlos
de forma axiomatica. Tambien supondremos conocidas la existencia y pro-
piedades algebraicas y de orden del conjunto Q de los numeros racionales.
Comenzaremos con los aspectos algebraicos.
Definicion 1. Un conjunto no vaco A dotado de dos leyes de composicion interna
que llamamos suma y multiplicacion y notamos + y , respectivamente, es un anillo si
verifica las siguientes propiedades:
(i) Para todos x, y, z A es (x+y)+z = x+(y+z) y tambien (xy)z = x(yz).
(ii) Existe un elemento 0 en A tal que x + 0 = 0 + x = x, para todo x A.
(iii) Para todo x A existe un elemento y A tal que x + y = y + x = 0.
(iv) Para todos x, y A es x + y = y + x.
(v) Para todos x, y, z A se tiene que x (y + z) = x y + x z y tambien
(x + y) z = x z + y z.
Convenimos en escribir xy en lugar de x y. El elemento 0 se denomina cero
(o neutro aditivo). El elemento y tal que x + y = y + x = 0 se notara por x y
se dira que es el opuesto de x. El conjunto A {0} se denota por A . Si existe
un elemento 1 en A tal que para todo x A es x 1 = 1 x = x, decimos que el
anillo A es unitario y que 1 es el uno (o neutro multiplicativo) de dicho anillo.
Teorema 1. El neutro aditivo de un anillo es unico.
Demostracion. Sea 0 el neutro aditivo del anillo A y supongamos que e es un
elemento del anillo A tal que x + e = e + x = x para todo x A. En tal caso
haciendo x = 0 resulta
e = 0 + e = 0. (1)
Esto termina nuestra demostracion.
Tenemos un resultado analogo para el neutro multiplicativo.

1
Teorema 2. El neutro multiplicativo (si existe) de un anillo es unico.
Demostracion. Supongamos A es un anillo unitario y que existe f A tal que
f x = xf = x para todo x A. Entonces haciendo x = 1 tenemos

1 = f 1 = f. (2)

Esto termina la demostracion.

Si para todos x, y A es xy = yx, decimos que el anillo es conmutativo.
Enunciamos algunas propiedades deducidas a partir de la definicion de anillo.
Teorema 3. Sea A un anillo. Sean x, y, z elementos de A. Entonces
(i) (x y)z = xz yz.

(ii) x(y z) = xy xz.

(iii) 0x = x0 = 0.
(iv) (x)y = xy.
(v) x(y) = xy.

(vi) (x)(y) = xy.

Demostracion. Sean x, y, z elementos del anillo A. Entonces

(x y)z + yz = (x y + y)z = xz. (3)

Sumando yz a ambos miembros tenemos que

(x y)z = xz yz. (4)

Esto prueba (i). Para demostrar (ii) basta considerar la igualdad

x(y z) + xz = x(y z + z) = xy (5)

y sumar xz a ambos miembros. Por otro lado, por (i) es (y z)x = yxzx, por
lo que si hacemos y = z tenemos 0x = 0. Analogamente, de x(y z) = xy xz,
se tiene haciendo y = z que x0 = 0. Esto prueba (iii). Consideremos la igualdad
(z x)y = zy xy. Si hacemos z = 0 tenemos (iv) y del mismo modo, de la
igualdad x(z y) = xz xy, si hacemos z = 0 tenemos (v). Para acabar, como
(x)z = xz, haciendo z = y, tenemos

(x)(y) = (x(y)) = ((xy)) = xy. (6)

Esto termina nuestra demostracion.

Si en un anillo unitario fuera 1 = 0, entonces x = x1 = x0 = 0 para todo x
y obtendramos el anillo trivial A = {0}. Supondremos que 1 6= 0 para evitar
esta situacion (esto es, 1 A ).
Definicion 2. Sea (A, +, ) un anillo unitario. Un elemento x de A es una unidad si
existe y A tal que xy = yx = 1. El valor y se dice inverso de x.

2
 El conjunto de las unidades de A se nota por U (A) y es no vaco pues ob-
viamente 1 U (A). Ademas si xy = yx = 1 y xz = zx = 1, entonces

z = z1 = z(xy) = (zx)y = 1y = y. (7)

Lo que supone que el inverso de cada unidad es unico. Escribiremos pues x1

para denotar al inverso de la unidad x.
Definicion 3. Un anillo unitario y conmutativo donde U (A) = A se dice que es un
cuerpo conmutativo.
As pues, en un cuerpo conmutativo todo elemento diferente del cero es
una unidad (tiene inverso). En general, se suele preferir la notacion K para
referirse a un cuerpo generico.
Definicion 4. Sea A un anillo. Un elemento x A tal que xy = 0 para algun
y A se dice que es un divisor de cero.
Un cuerpo no tiene divisores de cero. En efecto, supongamos que para cier-
to x 6= 0 perteneciente al cuerpo K existe y 6= 0 tal que xy = 0. Entonces como
y tiene inverso resulta

x = x1 = x(yy 1 ) = (xy)y 1 = 0y 1 = 0. (8)

Esto contradice nuestra suposicion inicial: x 6= 0, por lo que no existe tal y 6= 0.

Los anillos unitarios y conmutativos que no tienen divisores de cero se deno-
minan dominios de integridad. As todo cuerpo conmutativo es un dominio de
integridad pero no todo dominio de integridad es un cuerpo. Por ejemplo, los
enteros Z son un dominio de integridad pero no son un cuerpo. En la practica,
esto supone que si A es un un dominio de integridad, entonces la expresion
xy = 0 implica que alguno o ambos de los factores es cero.
Teorema 4. Sea A un dominio de integridad. Si x, y, z K, con x 6= 0 y xy = xz,
entonces y = z.
Demostracion. Como xy = xz, entonces xy xz = 0 y x(y z) = 0. Al ser x 6= 0
y no existir divisores de cero, habra de ser y z = 0 y de aqu y = z.
Axioma 1. Admitimos la existencia de un conjunto no vaco R al que llamamos con-
junto de los numeros reales, dotado de dos operaciones que llamamos suma y producto
y que notamos de la forma usual. Consideramos que R es un cuerpo conmutativo con
dichas operaciones.
En particular R verificara todos los teoremas relativos a anillos y cuerpos
que hemos demostrado en parrafos anteriores. Veamos ahora los aspectos del
orden.
Definicion 5. Una relacion de orden parcial sobre un conjunto no vaco A es un
subconjunto del producto cartesiano A A tal que
(i) (x, x) , para todo x A.
(ii) (x, y) e (y, x) implican que x = y.
(iii) Si (x, y) e (y, z) , entonces (x, z) .

3
 Escribiremos x y o bien y x en lugar de (x, y) y diremos que x es
menor o igual que y. Un conjunto A junto con un orden parcial se denomina
parcialmente ordenado (o poset por sus siglas en ingles) y se nota por (A, ).
Escribimos tambien x < y para indicar que x y pero x 6= y.
Definicion 6. Un poset (A, ) se dice totalmente ordenado si para cada x, y A es
x y o y x.
Definicion 7. Un anillo conmutativo (A, +, ) se dice que esta ordenado si es un poset
(A, ) tal que:
(i) Si x, y A verifican que x y entonces para todo z A es x + z y + z.
(ii) Si x, y A verifican x 0 e y 0 entonces xy 0.
Como vemos en los anillos ordenados se establece una compatibilidad entre
las operaciones del anillo y el orden en el definido.
Teorema 5. Sea A un anillo conmutativo ordenado y sean x, y, z, elementos de A. Se
cumplen:
(i) Si x 0 e y 0, entonces x + y 0.
(ii) Si x y y a b, entonces x + a y + b.
(iii) Si x y y z 0, entonces zx zy.
(iv) Si x y y z 0, entonces zx zy.
(v) Si la relacion de orden es total, entonces x2 0, para todo x A.
(vi) Si el anillo es unitario y la relacion de orden es total, entonces 1 0.
(vii) Si el anillo es unitario y la relacion de orden es total, la caracterstica del anillo
es cero.
Demostracion. Si x 0, entonces x + y 0 + y = y 0. Esto prueba (i). Sean
x, y, a, b A tales que x y y a b. En tal caso, y x 0 y b a 0 por lo
que aplicando el resultado (i) tenemos (y x) + (b a) = (y + b) (x + a) 0.
Es decir, y + b x + a. Esto prueba (ii). Si x y, resultara que x x y x,
es decir, y x 0. Si z 0, entonces

z(y x) 0 (9)

o lo que es lo mismo
zy zx 0. (10)
Por tanto, zy zx. Esto prueba (iii). Sean x y. Como antes, esto implica que
y x 0. Si fuera z 0, entonces

z z 0 z. (11)

Esto es, z 0. Por ello z(y x) 0. Aplicando las reglas de signos resulta
zx zy 0, luego zx zy. Esto prueba (iv). Si el orden es total, entonces dado
x A es x 0 o x 0. En el primer caso, xx = x2 0 y en el segundo x 0
por lo que (x)(x) = x2 0. Esto prueba (v). Supongamos que 1 0. En

4
tal caso, (1) 0 por lo que (1)(1) = 1 0. Es decir, 1 = 0. Pero el anillo
se supone no trivial por lo que esto no es posible. Por tanto, sera 1 0. Esto
prueba (vi). Finalmente, como 1 0 se puede probar por induccion que

1 + 1 + 1 + 1 + ... + 1 (m veces) = m1 0. (12)

Si existiera un entero positivo n 2 para el que n1 = 0, entonces

(n 1)1 = n1 1 = 0 1 = 1 0, (13)

lo que supondra que 1 0 en contra de lo probado en (vi). As pues, tal n

no existe y el anillo es de caracterstica cero. Esto prueba (vii) y termina la
demostracion.
Teorema 6. Sean x, y elementos de un anillo conmutativo A totalmente ordenado. Si
es xy 0, entonces x, y 0 o x, y 0.
Demostracion. Supongamos que xy 0 con x 0. Si fuera y 0, entonces
por (iv) del teorema 5 tenemos que yx = xy y0 = 0. Esto contradice nuestra
suposicion inicial por lo que sera y 0. El resto de posibilidades se analiza de
forma similar.
Nuestro interes se centra en los cuerpos totalmente ordenados.
Teorema 7. Sea K un cuerpo totalmente ordenado y sean x, y elementos de K. Tene-
mos que:
(i) Si x > 0, entonces x1 > 0.
(ii) Si 0 < x < y, entonces 0 < y 1 < x1 .
(iii) Si x < y < 0, entonces y 1 < x1 < 0.
(iv) Si 0 < x < y, entonces 0 < x2 < y 2 .
(v) Si x > 0 y n es un entero positivo, entonces xn > 0.
Demostracion. Como x > 0, es x 6= 0 y existe x1 . Si fuera x1 0, entonces
podramos escribir x1 x = 1 0x = 0. Pero esto contradice lo ya demostrado
en el teorema 5. As pues, sera x1 > 0. Esto prueba (i). Sean x, y K tales que
0 < x < y. Sabemos que x1 > 0 e y 1 > 0 y si suponemos que x1 y 1
entonces
xx1 = 1 xy 1 , (14)
por lo que, como y > 0, es

y = 1y (xy 1 )y = x(y 1 y) = x1 = x. (15)

Esto contradice nuestro supuesto inicial por lo que y 1 < x1 . Esto prueba (ii).
Sea x < 0, entonces x 6= 0 y existe x1 . Supongamos que x1 > 0. En tal caso,

1 = xx1 < x0 = 0 (16)

Pero esto es absurdo por lo que x1 < 0. Sea pues x < y < 0. Si x1 y 1 ,
entonces 1 = xx1 xy 1 y de aqu, como y < 0, tenemos

y = y1 (xy 1 )y = x(yy 1 ) = x1 = x. (17)

5
Esto contradice nuestra suposicion inicial por lo que y 1 < x1 < 0 y hemos
probado (iii). Para demostrar (iv) hemos de tener en cuenta que en todo anillo
conmutativo se verifica la identidad

x2 y 2 = (x + y)(x y). (18)

De esta manera si suponemos que y 2 x2 , entonces x2 y 2 0 por lo que

(x + y)(x y) 0. (19)

Ahora bien, por el teorema 6 esto es posible solo si (x + y) y (x y) son ambas

mayores que cero o ambas menores que cero. Pero si xy 0 entonces x y lo
cual contradice nuestra suposicion inicial y si x + y 0, entonces x y < 0,
lo que contradice tambien nuestra suposicion inicial. Por tanto, sera x2 < y 2 .
Esto prueba (iv). Para acabar, sea x > 0 y sea J = {n : xn > 0}. Evidentemente,
1 J. Si suponemos que m J, entonces xm > 0 y como x > 0, se sigue que
xm+1 = xxm > x0 = 0, luego m + 1 J. Por tanto, J coincide con el conjunto
de todos los enteros positivos.
Podemos distinguir algunos elementos en un conjunto ordenado.
Definicion 8. Sea A un poset y sea B un subconjunto no vaco de A. Decimos que
k A es una cota superior de B si x k, para todo x B.
Definicion 9. Sea A un poset y sea B un subconjunto no vaco de A. Decimos que
l A es una cota inferior de B si l x, para todo x B.
La existencia de cotas superior e inferior no esta garantizada para todo sub-
conjunto B y en el caso de existir no tienen por que ser unicas.
Definicion 10. Sea A un poset y sea B un subconjunto no vaco de A. Un elemento
M de B es maximo de B si x M para todo x B. Un elemento m B es mnimo
de B si m x, para todo x B.
Es evidente que el maximo es una cota superior de B y el mnimo una cota
inferior. Su existencia no esta garantizada pero si existen son unicos. En efecto,
supongamos que m y m0 son mnimos de B. Entonces, por definicion, resultara
que m, m0 B, m m0 y m0 m, luego m = m0 . El mismo razonamiento es
aplicable al maximo.
Definicion 11. Sea A un poset y sea B un subconjunto no vaco de A. Un elemento
h B es un minimal de B si para todo x B con el que resulta comparable es
h x. Un elemento j B es un maximal de B sin con todo x B con el que resulta
comparable es x j.
Observese que los minimales y maximales se establecen mediante la com-
parabilidad. Esto es, si h B es minimal y x B verifica x h, entonces ha de
ser x = h. Del mismo modo, si j B es maximal y x B cumple j x, habra
de ser j = x. Obviamente, no tienen por que existir ni por que ser unicos. Aho-
ra bien, si B tiene mnimo, este sera el unico minimal y si tiene maximo este
sera el unico maximal.
Definicion 12. Sea A un poset y sea B un subconjunto no vaco de A. Un elemento s
se dice supremo de B si es cota superior de B y dada otra cota superior M , es s M .

6
 Si definimos M (B) como el conjunto de las cotas superiores de B, podemos
afirmar que B tiene supremo si M (B) es no vaco y tiene mnimo, siendo tal
mnimo el supremo de B.

Definicion 13. Sea A un poset y sea B un subconjunto no vaco de A. Un elemento

l se dice nfimo de B si es cota inferior de B y dada otra cota inferior L, es L l.
Como antes, si definimos L(B) como el conjunto de las cotas inferiores de
B, podemos afirmar que B tiene nfimo si L(B) es no vaco y tiene maximo,
siendo tal maximo el nfimo de B.

Axioma 2. Admitimos que el cuerpo de los numeros reales esta dotado de un orden
total compatible con las operaciones de cuerpo.
Es decir, en el cuerpo de los numeros reales hay una relacion de orden total
que conserva las operaciones de suma y producto. Una primera consecuencia
de esta afirmacion es que el cuerpo de los reales contiene un subcuerpo iso-
morfo al de los racionales.
Teorema 8. Todo cuerpo ordenado contiene un subcuerpo isomorfo al conjunto de los
numeros racionales.
Demostracion. Sea 1 el neutro multiplicativo del cuerpo totalmente ordenado
K, definimos para cada entero n Z, el elemento

1 + 1 + + 1 n veces si n > 0
f (n) = 0 si n = 0 (20)
(1 + 1 + + 1) n veces si n < 0

Comprobaremos que esta asignacion determina una aplicacion f : Z K que

conserva las operaciones y el orden y ademas resulta inyectiva. En efecto, la
definicion es correcta ya que solo es posible asignar un elemento del cuerpo a
cada entero. Ademas, sean n, m enteros, trivialmente comprobamos que

f (n + m) = f (n) + f (m). (21)

y tambien
f (nm) = f (n)f (m). (22)
Para acabar si n < m, entonces

f (n) < f (m). (23)

Esta ultima propiedad nos muestra ademas que f es inyectiva pues si n 6= m,

entonces en virtud del orden total definido en los enteros, sera n < m o m < n,
luego las imagenes f (n) y f (m) tienen la misma relacion que sus originales y
no son iguales. Sea ahora
m
r= , m, n Z, n 6= 0 (24)
n
un numero racional. Definimos

g(r) = f (m)(f (n))1 . (25)

7
Comprobamos que esta asignacion define una aplicacion inyectiva que conser-
va las operaciones y el orden entre Q y un subconjunto de K. En primer lugar,
esta bien definida pues al ser n 6= 0 es f (n) 6= 0 y existe (f (n))1 . Ademas, el
resultado no depende del representante elegido para r pues si
m p
r= = (26)
n q
entonces mq = np y de aqu f (mq) = f (np), luego f (m)f (q) = f (n)f (p), lo que
nos permite afirmar que
g(r) = f (m)(f (n))1 = f (p)(f (q))1 . (27)
Veamos que se conservan las operaciones. Empecemos con la suma:
   
m p mq + np
g + =g = f (mq + np)(f (nq))1 =
n q nq
(f (mq) + f (np))(f (n)f (q))1 = (28)
1 1
f (m)f (q))(f (n)f (q))
+ (f (n)f (p))(f (n)f (q)) =
   
1 1 m p
f (m)(f (n)) + f (p)(f (q)) = g +g . (29)
n q
Para el producto el desarrollo es similar (y mas sencillo), concluyendo que
     
mp m p
g =g g . (30)
nq n q
p
Finalmente, si es m n < q , entonces mq < np, de donde f (mq) < f (np) y
f (m)f (q) < f (n)f (p). En cualquier caso de los posibles
m p m p m p
0< < , < < 0, <0< (31)
n q n q n q
podemos considerar que n, q > 0 por lo que f (n), f (q) > 0 y tambien sus
inversos. As pues, multiplicando ambos miembros de la desigualdad por tales
inversos (f (q))1 (f (n))1 , obtenemos
f (m)f (q)(f (q))1 (f (n))1 < f (n)f (p)(f (q))1 (f (n))1 (32)
que se simplifica en la forma
f (m)(f (n))1 < f (p)(f (q))1 . (33)
Esto nos lleva a la desigualdad buscada
   
m p
g <g (34)
n q
y la aplicacion g conserva el orden. Como en el caso de f , esto implica que g es
inyectiva. Por tanto, la aplicacion
g : Q g(Q) K (35)
es un isomorfismo de cuerpos que conserva el orden. Como es usual, esto per-
mite identificar los racionales m
n con su imagen por g, por lo que los notaremos
de forma identica aunque se hallen en conjuntos diferentes.

8
 El teorema anterior nos muestra pues que Q R. En los siguientes parrafos
justificaremos que tal inclusion es estricta.

Definicion 14. Se dice que un poset A tiene la propiedad del supremo si todo subcon-
junto no vaco B de A, acotado superiormente, tiene una cota superior mnima.
Axioma 3. El cuerpo totalmente ordenado de los numeros reales verifica la propiedad
del supremo.
Esto significa que si B es un subconjunto no vaco de R, acotado superior-
mente, entonces existe s R tal que x s, para todo x B y si M es una cota
superior de B, entonces s M . Escribimos s = sup B.
Teorema 9. Sea A un subconjunto no vaco de R acotado superiormente. Son equiva-
lentes:

(i) s R es el supremo de A.
(ii) Si para cierto y R es y < s, entonces existe a A tal que y < a s.
Demostracion. Veamos que (i) implica (ii). Sea s = sup A y sea y R tal que
y < s. Entonces si no existe a A tal que y < a s sera a y < s para
todo a A (pues el orden es total). Esto no es posible pues y sera una cota
superior menor que s. Por tanto, existe a A verificando y < a s. Veamos
que (ii) implica (i). En efecto, si M (A) es el conjunto de las cotas superiores
de A, sabemos que s = mn M (A) por lo que si y < s, entonces y / M (A) lo
que significa, en virtud del orden total, que existe al menos un a A tal que
y < a.

Teorema 10. El conjunto de los racionales no verifica la propiedad del supremo.

Demostracion. Bastara comprobar que el conjunto

A = {x Q : x > 0, x2 < 2} (36)

es no vaco y esta acotado superiormente en Q pero no tiene cota superior mni-

ma en dicho conjunto. En efecto, como 12 = 1 < 2, podemos afirmar que 1 es
un elemento de A, luego A es no vaco. Es evidente que si x A, entonces
0 < x < 2. Por tanto, A esta acotado superiormente por un racional (el numero
2) y el conjunto M (A) de las cotas superiores de A en Q es no vaco. Veremos
que M (A) coincide con el conjunto

S = {y Q : y > 0, y 2 > 2}. (37)

En efecto, sea y0 un elemento de S y supongamos que existe x A tal que

y0 < x. En tal caso es y02 < x2 < 2. Pero esto es absurdo pues y02 > 2. Por tanto,
x y0 para todo x A. Esto prueba que S M (A). Por otro lado, si y 0
entonces no puede ser una cota superior de A y si para algun y > 0, tal que
y 2 > 2 existiera x A tal que y < x, entonces y 2 < x2 < 2, lo cual es absurdo,
por ello M (A) S y S = M (A). Para acabar comprobamos que M (A) no tiene
elemento mnimo. Sea y M (A), entonces el elemento

2(y + 1)
s= . (38)
y+2

9
verifica
4(y + 1)2 2(y 2 2)
s2 2 = 2
2= > 0, (39)
(y + 2) (y + 2)2
por lo que s es una cota superior de A y como tambien

2(y + 1) y2 2
ys=y = > 0, (40)
y+2 y+2

resulta que y > s. Esto termina la demostracion.

Teorema 11 (Propiedad arquimediana). Si x e y son numeros reales positivos, ha-
llaremos un entero positivo n tal que nx > y.
Demostracion. Supongamos que no es as. Entonces para todo entero positivo
n es nx y. Por tanto, el conjunto

A = {nx : n N} (41)

es no vaco y esta acotado superiormente por y. Aplicando la propiedad del

supremo existe y es unico el valor = sup A. Como x > 0, resulta que x <
por lo que aplicando el teorema 9, existe mx A tal que x < mx, luego

< x + mx = (m + 1)x. (42)

Pero (m + 1) A y esto no es posible. Para evitar esta contradiccion nuestra

suposicion inicial es falsa y existe n, entero positivo, tal que nx > y.

Veamos ahora que existen numeros reales que no son racionales. Para ello,
probaremos en primer lugar que todo numero positivo tiene una raz cuadrada
positiva en R.
Teorema 12. Sea d 0. La ecuacion x2 = d tiene una solucion positiva en el cuerpo
de los numeros reales.

Demostracion. Si d = 0, es obvio que la solucion es x = 0. Supondremos pues

que d > 0. En este caso, si x es solucion tambien lo sera x. Nos centraremos
pues en valores positivos de x. Sea el conjunto A = {x R : x 0, x2 d}. Tal
conjunto es no vaco pues el 0 pertenece a A. Ademas, cualquier valor positivo
b tal que b2 d es cota superior de A. En efecto, si no fuera as, existira a A
tal que b < a y entonces b2 < a2 d. Esto no es posible y concluimos que el
conjunto de las cotas superiores de A es

M (A) = {b > 0 : b2 d} (43)

Obviamente M (A) es no vaco pues dado d > 0 podremos siempre obtener

un entero positivo n tal que n d y tambien n2 n d (bastara aplicar
el teorema 11 a x = 1, y = d). Aplicando la propiedad del supremo existe y
es unico el valor = sup A. Veremos que 2 = d. Supongamos que 2 > d.
Entonces tomando
2 d
= (44)
2

10
obtenemos un numero positivo por lo que existe a A tal que  < a. Es
decir

( )2 < a2 d,
2 2 + 2 < d,
2 (2 d) + 2 < d, (45)
2
d +  < d.

Pero esto no es posible. Veamos que pasara si fuera 2 < d. Tomaremos enton-
ces
d 2
 
 = mn , . (46)
3
Entonces

( + )2 = 2 + 2 + 2 2 + 2 +  = 2 + 3 2 + (d 2 ) = d. (47)

Ahora bien, esto significa que +  A y por ello contradice que = sup A
pues < + . En consecuencia, 2 = d por lo que la ecuacion x2 = d tiene
al menos la solucion x = . Si existiera otra solucion z > 0 tal que z 2 = d,
entonces z A por lo que z . Pero tambien es z cota superior de A por lo
que z. En definitiva, z = .

Teorema 13. Existe un numero real que no es racional.

Demostracion. Comprobaremos que la solucion positiva de la ecuacion x2 = 2
m
en R no es racional. En efecto, supongamos que x = m con m y n enteros
positivos primos entre s. En tal caso,

m2
= 2,
n2
m2 = 2n2 . (48)

Por tanto, m es un numero par y podemos escribir m = 2q, quedando

4q 2 = 2n2
2q 2 = n2 . (49)

Es decir, n tambien es un numero par. Obtenermos una contradiccion pues el

maximo comun divisor de m y n no es 1 al ser ambos pares. As pues, nuestra
suposicion inicial es falsa y x no puede ser racional. Escribiremos x = 2 para
denotar a la unica solucion positiva de x2 = 2 y este valor es real pero no
racional. Diremos que es irracional.
Teorema 14. El conjunto de los numeros racionales es denso en R. Esto es, dados
x, y R con x < y, existe un racional r tal que x < r < y.
Demostracion. Como x < y, tenemos que y x > 0. Por tanto, aplicando la
propiedad arquimediana a y x y 1 tenemos que existe un entero positivo n tal
que n(y x) > 1. Es decir, ny nx > 1. Pero esto significa que existe un entero
m tal que nx < m < ny, luego x < m n < y.

11
Teorema 15. Sean x, y R, tales que 0 < x < y y sea n un entero positivo, entonces
0 < xn < y n .

Demostracion. Definimos el conjunto H = {n : xn < y n }. Obviamente, 1 H.

Supongamos que m H, entonces

xm < y m . (50)

Pero como x > 0, tenemos que xm+1 < xy m . Por otro lado, como y m > 0, tene-
mos que de x < y se sigue que xy m < yy m = y m+1 . Aplicando la transitividad
del orden concluimos
xm+1 < xy m < y m+1 . (51)
Esto prueba que m+1 H. Por tanto, H coindice con el conjunto de los enteros
positivos y termina nuestra demostracion.

En todo cuerpo ordenado podemos definir el valor absoluto.

Definicion 15. Sea x un elemento del cuerpo ordenado K. Su valor absoluto es


x si x 0
|x| = (52)
x si x < 0

Esta definicion es consistente pues cualquier elemento x del cuerpo sera

comparable con el cero y as tendra una valoracion

12