Axiomatización de Los Números Reales

15.
Axiomatizacin de los nmeros reales

Las matemticas no estudian los objetos, sino las relaciones entre
los objetos
Henry Poincar
Una presentacin axiomtica consta de unos trminos no definidos, conceptos

primitivos no susceptibles de definicin y un conjunto de axiomas o proposiciones
primeras 1 , relaciones entre los trminos no definidos que aceptamos como ciertas;
stos constituyen el punto de partida de una teora matemtica en la cual se plantean
otras afirmaciones que se deducen de dichos axiomas, los teoremas; dicho de otra
forma, los teoremas se demuestran a partir de los axiomas siguiendo una manera de
razonar 2 , basada en la lgica, generalmente, la lgica bivalente o lgica clsica3 .
Suponemos que existen unos entes que llamamos nmeros reales, dos operaciones
bsicas que llamamos suma y multiplicacin y una relacin de orden, suponemos
1
PASTOR, J, Rey., Anlisis Matemtico, vol I, Editorial Kapelusz, Buenos Aires, 1952, p. 10.
Para Hilbert, la demostracin es una cadena de afirmaciones, construida siguiendo reglas estrictas
que garantiza que el enunciado se deduce de los axiomas empleados (citado por Oostra, A., 1999)
3
El ajedrez es similar a la presentacin axiomtica, en el sentido que las piezas del juego se
caracterizan por sus movimientos ms no por su forma o nombre, podramos incluso jugar ajedrez sin
tablero y fichas materiales, slo requerimos respetar las reglas.
2
ACTIVIDADES MATEMTICAS PARA EL DESARROLLO DE PROCESOS LGICOS
adems que cumplen unos axiomas, hacemos unas definiciones y luego, deducimos
reglas y teoremas que ellos cumplen.
Estos axiomas se clasifican en tres grupos: axiomas de campo (hacen referencia a las
propiedades bsicas que cumplen los reales con dos operaciones definidas: la adicin
y la multiplicacin), axiomas de orden que establecen los criterios para comparar
nmeros, identificando cundo un nmero es mayor, menor o igual que otro, y un
axioma de completitud que nos permite introducir los nmeros irracionales y estudiar
las propiedades de continuidad de los nmeros reales 4 .
15.1. Axiomas de campo

En el conjunto de los nmeros reales estn definidas dos operaciones la adicin (+) y
la multiplicacin, ellas satisfacen los siguientes axiomas:
La pareja (R, +) es un grupo abeliano, esto significa que
C1. Si a, b son nmeros reales, entonces a + b es un nmero real5 .
C2. Propiedad asociativa de la adicin: Si a, b, c son nmeros reales, entonces
a + (b + c) = (a + b) + c
C3. Existen un elemento idntico para la adicin en el conjunto de los nmeros
reales, que notamos 0 y es tal que para cualquier nmero real a se cumple que:
a+0=0+a=a
C4. Para todo nmero real a existe un elemento que llamamos inverso aditivo, y
notamos a, tal que:
a + ( a) = ( a) + a = 0.
C5. Propiedad conmutativa de la suma: Si a, b son nmeros reales, entonces
La presentacin axiomtica de los nmeros reales hecha originalmente por Hilbert establece cuatro
grupos de axiomas: Axiomas de conexin, de clculo, de ordenacin y de completez.
5
Muchos textos que hacen una presentacin axiomtica de los nmeros reales excluyen este primer
axioma y el anlogo a ste con la multiplicacin, dado que al determinar la adicin y la multiplicacin
como operaciones, en el sentido moderno, no los requieren; sin embargo, Hilbert en su versin
axiomtica de , s los incluye dentro del primer conjunto de axiomas; nosotros tambin lo
incluiremos dado que no hemos definido qu es una operacin.
296
UNA PRESENTACIN AXIOMTICA DE LOS NMEROS REALES
a+b=b+a
La operacin que llamamos multiplicacin y que notamos con el signo , es tal que la
pareja (R {0}, ) es un grupo abeliano, esto significa que:
C6. Si a, b son reales, entonces a b es un nmero real.
C7. Propiedad asociativa de la multiplicacin: Si a, b, c son nmeros reales,
entonces
a (b c) = (a b) c
C8. Existe un elemento idntico para la multiplicacin el conjunto de los nmeros
reales, que notamos 1, tal que para cualquier nmero real a se cumple que:
a1=1a=a
C9. Para todo nmero real a diferente de cero (a 0) existe un nmero real que
1
llamamos el inverso multiplicativo de a y notamos a 1 o , de tal manera que
a
1
1
a a = a a = 1.
C10. Propiedad conmutativa de la multiplicacin: Si a, b son nmeros reales,
entonces
a b = b a.
C11. Propiedad distributiva de la multiplicacin con respecto a la suma de nmeros
reales: Esta propiedad establece un vinculo entre las dos operaciones: Si a, b, c son
nmeros reales, entonces:
a (b + c ) = (a b ) + (a c)
15.1.1 Propiedades de las operaciones con respecto a la

igualdad entre nmeros reales
La igualdad entre nmeros reales es compatible con las operaciones en el sentido de
que:
Para todo a, b, c, d nmeros reales, si
297
a=b y c=d
entonces
a+c=b+d y
a c = b d.
A esta propiedad la llamamos tambin propiedad de uniformidad de la adicin y la

multiplicacin respectivamente.
15.1.2 Definiciones
Si a, b son nmeros reales, definimos la sustraccin entre a y b por:
a b = a + ( b).
y la divisin entre a y b por:
a
1
=a .
b
b
siempre que b no sea 0.

Iniciemos mostrando algunos nmeros reales, por ejemplo, el axioma 8 garantiza la
existencia de un ele mento 1 y el axioma 1, garantiza que la suma de dos nmeros
reales es un nmero real, en particular
1 + 1 es un nmero real que notaremos 2
De la misma forma aseguramos la existencia de
2 +1= 3
y as sucesivamente, construimos una copia de los nmeros naturales.
El axioma 4 asegura la existencia del negativo de cada uno de los nmeros descritos y
con ello obtenemos el conjunto de los nmeros enteros.
El axioma 9 y la definicin de divisin nos garantizan la existencia de una copia de
los nmeros racionales; es decir nmeros de la forma a para cualquier par de enteros
b
a y b con b diferente de 0.
Con los axiomas mencionados hasta ahora, no es posible determinar la existencia de
algn nmero irracional en el conjunto de los nmeros reales, para esto se requiere el
axioma de completez, que ser introducido posteriormente; pero todos los teoremas
que demostramos en esta seccin son, por supuesto, aplicables a los nmeros
irracionales.
298
Mostremos ahora propiedades que se cumplen para todos los nmeros reales, en
particular las leyes del lgebra elemental.
15.1.3 Teoremas
1. El elemento idntico de la suma, el cero 0, determinado en el axioma C3 es nico.
Prueba
Supongamos que existen dos nmeros reales 0 y 0 que cumplen el axioma C3,
entonces
0 + 0 = 0
porque 0 es mdulo
0 + 0 = 0
porque 0 es mdulo
lo que implica que 0 = 0, por ser los dos iguales a un mismo nmero.
2. Ejercicio: el 1 es nico
3. 0 1.
Prueba
Si no fuera as, sera
0=1=2=3=
y habra un solo nmero real6 . Pues, si 0 = 1 entonces,
01 = 0 = 1
por ser 1 mdulo de la multiplicacin, pero tambin, por los axiomas C3 y C11
01 = (0 + 0)1 = 0 1 + 01 = 0
por lo tanto
0 = 01 = 01 + 01 = 1 + 1 = 2
0 = 01 = 01 + 01 = 2 + 0 = 2 + 01 = 3
El conjunto {0}, satisface de manera trivial los axiomas de campo, pero no es lo suficientemente rico,
para que amerite un estudio ms profundo, por esta razn lo dejaremos de lado, por ahora.
299
4. Propiedad cancelativa de la adicin: Si a, b son nmeros reales y

a+b=a+c
entonces b = c
Prueba
Supongamos que
a+b=a+c
por la propiedad uniforme de la adicin, sumamos en ambos lados de la igualdad
el mismo nmero y obtenemos
( a) + (a + b) = ( a) + (a + c)
y por el axioma C2
(( a) + a) + b = (( a) + a) + c
ahora, usamos el axioma C4, para obtener:
0+b=0+c
y por el axioma C3, concluimos que
b=c
5. Eje rcicio: Propiedad cancelativa de la multiplicacin: si a b = a c y a 0
entonces b = c
6. El inverso aditivo de un nmero real es nico
Prueba
El axioma C4 garantiza la existencia de por lo menos un inverso aditivo para cada
nmero real a; supongamos que a tiene dos inversos aditivos diferentes ( a) y
( a) entonces,
( a) + a = 0
Por ser ( a) un inverso aditivo
( a) + a = 0
Por ser ( a) un inverso aditivo
( a) + a = ( a) + a
Por la propiedad transitiva de la igualdad
( a) = ( a)
Por el teorema 4.
300
7. Ejercicio: el inverso multiplicativo de un nmero real es nico

8. Para todo par de nmeros reales a y b, si
a + b = 0 entonces b = a
Prueba
Supongamos que a + b = 0 entonces por la propiedad uniforme de la adicin:
( a) + (a + b) = (a) + 0
por el axioma C2
(( a) + a) + b = ( a) + 0
por el axioma C4
0 + b = ( a) + 0
por el axioma C3
b = ( a)
9. Ejercicio: Para todo par de nmeros reales a y b, si a 0 y
ab =1
entonces
b=
1
a
10. Para todo nmero real a se tiene que 0 a = 0

Prueba
0 a = (0 + 0) a
Por el axioma C3
0a = 0a +0a
Por el axioma C11
0 a + ( (0 a)) = (0 a + 0 a) + ( (0 a))
0 = 0 a + (0 a + ( (0 a)))
Por la propiedad uniforme

de la adicin
Por los axiomas C4 y C2.
0=0a
Por el axioma C4
11. 0 no tiene inverso multiplicativo.

Prueba
Supongamos que el cero si tiene inverso multiplicativo, entonces:
301
1
=1
0
0=1
0
Por el axioma C9.

Por el teorema 10
Pero esto contradice el teorema 3, y por lo tanto no es cierto que 0 tenga inverso
multiplicativo.
12. Ejercicio: Para todo nmero real a se cumple que si a 0, entonces
13. Para todo nmero real a se cumple que si a 0, entonces
a
=1
a
Prueba
14.
a
1
= a
a
a
Por la definicin de divisin
a
=1
a
Por el axioma C9.
1
=1.
1
Prueba
1
1
= 1
1
1
1
=1
1

Por el axioma C9.
15. Para todo nmero real a,

a
=a
1
Prueba
a
1
= a
1
1
302
0
=0
a
a
=a1
1
Por el teorema 14
a
= a.
1
Por el axioma C8.
16. Para todo nmero real a se tiene que

a = ( a)
Prueba
Por el axioma C4 sabemos que
a + ( a) = 0
y como el inverso aditivo de un nmero es nico, teorema 6, entonces el inverso
aditivo de ( a) es a lo que significa que
a = ( a)
17. Ejercicio: Para todo nmero real a se tiene que, si a 0 , entonces
1
=a
1
a
18. Para todo par de nmeros reales a y b se tiene que
(a + b) = ( a) + ( b)
Prueba
Por el axioma C4, tenemos que
a + ( a) = 0
b + ( b) = 0
y segn la propiedad uniforme de la adicin y el axioma C3,
(a + ( a)) + (b + ( b)) = 0
De acuerdo con los axiomas C2 y C5,
(a + b) + (( a)) + ( b)) = 0
303
y por ser nico el inverso aditivo, la anterior igualdad significa que el inverso
aditivo de (( a)) + ( b)) es (a + b) o sea que:
(a + b) = ( a) + ( b)
19. Ejercicio: Para todo par de nmeros reales a y b se tiene que:
1
1 1
=
ab a b

( a) b = (a b)
Prueba
[(a + ( a)] b = a b + ( a) b
Por el axioma C11.
0 b = a b + ( a) b
Por el axioma C4
0 = a b + ( a) b
Por el teorema 10
( a) b = (a b)
Por el teorema 6.

( a) (- b) = (a b)
Prueba
[(a + ( a)] (- b) = a (- b) + ( a) (- b)
Por el axioma C11.
0 (- b) = a (- b) + ( a) (- b)
Por el axioma C4
0 = a (- b) + ( a) (- b)
Por el teorema 10
0 = - (a b) + ( a) (- b)
Por el teorema 20
( a) (- b) = ( (a b))
Por el teorema 6.
( a) (- b) = (a b)
Por el teorema 16.
304
22. Para todo nmero real a se tiene que a 0 = a

Prueba
a 0 = a + ( 0)
Por la definicin de sustraccin.
( 0) + 0 = 0
Por el axioma C4
( 0) = 0
Por el axioma C3
a + ( 0) = a + 0
Reemplazando ( 0) = 0
a + ( 0) = a
Por el axioma C3.
a0 =a
Por la transitividad de la igualdad.
23. Ejercicio: Para todo nmero real a se tiene que, a a = 0

24. Para todo a, b y c nmeros reales se tiene que
(a b) + (b c) = (a c)
Prueba
(a b) + (b c) = (a + ( b)) + (b + ( c))
Por la definicin de sustraccin
= (a + (( b) + b)) + ( c)
Por el axioma C2.
= (a + 0) + ( c)
Por el axioma C4.
= a + ( c)
Por el axioma C3.
= a c 1
Por la definicin de sustraccin.
25. Para todo a, b y c nmeros reales se cumple que

a (b c) = a b a c
Prueba
a (b c) = a (b + ( c))
= a b + (a (c))
Por la definicin de resta

Por el axioma C11
305
= a b + ( a c)
Por el axioma C5 y el teorema 20
= abac
Por la definicin de resta.
26. Ejercicio: Para todo a y b nmeros reales se tiene que

a = b si y solo si a = b.
27. Para todo nmero real a se cumple que
a = (1) a
Prueba
a = ( a) 1
Por el axioma C8
a = (a 1)
Por el teorema 20
a = (1) a
Por el axioma C5 y el teorema 20.
28. Para todo par de nmeros reales a y b existe un nmero real x tal que si:
a + x = b entonces x = b - a
Prueba
a +x= b
Por hiptesis
(a + x) + ( a) = b + ( a)
Por la propiedad uniforme de la igualdad
(a + ( a)) + x = b + ( a)
Por los axiomas C2 y C5
0 + x = b + ( a)
Por el axioma C4
x = b + ( a)
Por el axioma C3
x = b a
Por la definicin de resta.
29. Ejercicio: si a x = b y a 0 entonces x =
b
a
30. Para todo nmero real a se cumple que si a 0, entonces

306
1
0
a
Prueba
Supongamos que la conclusin no es cierta; es decir que
1
=0
a
Negacin de la conclusin.
1
a = 0a
a
1=0a
Por el axioma C9
1=0
Por el teorema 10.
Pero esta conclusin es absurda, puesto que contradice el teorema 3, por lo tanto
la conclusin debe ser cierta, o sea que:
1
0.
a
31. Ejercicio: Para todo par de nmeros reales a y b se cumple que si a 0 y b 0,

entonces
ab0
Por una argucia lgica, este teorema se puede escribir de otra manera,
si a b = 0
entonces a = 0 o b = 0
en esta forma se usa algunas veces para resolver ecuaciones de segundo grado.
Probemos el teorema en su segunda forma, para ello supongamos que
ab=0
entonces por el teorema 10,
ab=0b
si asumimos b 0, entonces por el axioma C9, existe b-1 y si multiplicamos
ambos lados de la igualdad por b-1 obtenemos que
(a b) b-1 = (0 b) b-1
307
aplicando los axiomas C7 y C9, concluimos que

a = 0
si asumimos que a 0, obtenemos de manera similar que b = 0, lo que concluye
nuestra demostracin.
32. Si a y b son nmeros reales con a 0 y b 0 entonces
1
1 1
=
ab a b
Prueba
a0y b0
Por hiptesis
(a b)
Por la hiptesis, el teorema 31 y el
1
=1
a b
axioma C9
1
1
1
(a b )
= 1
a
ab
a
Por la propiedad uniforme de la

multiplicacin
1 1
1
a b
=
ab a
a
1 1
1 b
=
a b a
Por el axioma C9
1 1
b
=
a b a
Por el axioma C8
1 1 1
1
b
=
a b b a
b

la hiptesis y el axioma C9.
1
1 1 1
b
=
b
a b b a
Por el axioma C7
1 1 1
1
=
ab b a
Por el axioma C9.

308
1 1 1
=
a b a b
33. Si a, b, c, d son nmeros reales, b y d son diferentes de cero, y si

a c
=
b d
entonces
ad=bc
Prueba
a c
=
b d
a
Por hiptesis
1
1
=c
b
d
1
1
a d = c d
b
d
1
1
a d = c d
b
d
Por la uniformidad de la multiplicacin

Por el axioma C7
(a d ) 1 = c 1
Por los Axiomas C7, C9 y C10
(a d ) 1 b = c b
Por la uniformidad de la multiplicacin y
el axioma C8.
(a d ) 1 = c b
Por el axioma C9
ad=bc
34. Si a, b, c, d son nmeros reales, b y d son diferentes de cero, entonces

a c a c
=
b d bd
309
Prueba
a c
1
1
= a c
b d
b
d
1 1
= (a c )
b d
1
= (a c )
b d
a c
=
b d
Por el teorema 32
Por la definicin de divisin.
35. Si a, b y c son nmeros reales, con b 0 y c 0, entonces

a a c
=
b b c
Prueba
ac a c
=
bc b c
Por el teorema 34
a a
1
= c
b b
c
a
a
= 1
b
b
Por el axioma C9
a
a
=
b
b
Por el axioma C8.
36. Ejercicio: Si a, b, c y d son nmeros reales, con b 0, c 0 y d 0,

entonces
a
a c
a d
= b = .
c
b d
b c
d
310
37. Si a, b, c son nmeros reales y c 0, entonces

a b a +b
+ =
c c
c
Prueba
a b
1
1
+ = a + b
c c
c
c
= (a + b )
=
1
c
Por el axioma C11
a +b
c
Por la definicin de divisin.
38. Si a, b, c, d son nmeros reales, c 0 y d 0 entonces

a b a d + bc
+ =
c d
cd
Prueba
a d +b c
1
= (a d + b c )
cd
c d
a d bc
+
c d c d
Por el axioma C11 y la definicin de
a d bc
+
c d d c
Por el axioma C10.
a b
+
c d
Por el teorema 37.
divisin.
Los estudiantes en la secundaria inventan algunas reglas que no necesariamente

funcionan; por ejemplo: es falso, que para nmeros reales a, b, c, d cualesquiera, si
b 0 y d 0 entonces
a c a+c
+ =
b d b+ d
y tambin que
311
a
a b
= .
b d
d
un lector acucioso, encontrar un ejemplo donde las igualdades mencionadas no se
cumplan.
39. Si a y b son nmeros reales, con b 0, entonces
a
a a
=
=
b
b
b
La prueba se divide en dos partes, primero probar que

a a
=
b
b
Prueba
a
a
= (1)
b
b
a
a
= ( 1)
b
b
a ( 1)a
=
b
b
a a
=
b
b
Falta probar que
por el axioma C8
por el teorema 20
por el teorema 34
por el teorema 20.
a
a
=
b
b
Prueba
a
1
= a
b
b
a
1
= ( a )(1)
b
b
por la definicin de divisin

por el axioma C8
312
a
b
a
b
a
b
a
b
a
b
( )
= ( 1)(a ) b 1
[ ( )]
por el teorema20 y la definicin de b-1
= ( 1) b 1 (a )
= b 1 (a )
1
(a )
b
a
=
b
=
por los axiomas C7 y C10.

nuevamente por el teorema 20
por la definicin de b-1 .
por la definicin
Finalmente, la propiedad transitiva de la igualdad garantiza que

a a
.
=
b b
Las propiedades que aqu hemos demostrado, son vlidas en cualquier conjunto de
nmeros con dos operaciones, que podemos llamar tambin, suma y multiplicacin
siempre y cuando satisfagan los axioma s C1 a C11, listados al comienzo ; una tal
estructura se llama un campo.
Pero el conjunto de los nmeros reales tiene algo ms que las operaciones, tambin
hay manera de comparar dos nmeros reales y establecer si uno es mayor que el otro
o no, mostraremo s enseguida como formalizar esta idea.
15.2 Axiomas de orden

En el conjunto
diciendo que
de los nmeros naturales definimos 7 el orden aditivo entre ellos,

a b si y solo si existe un natural c tal que a + c = b.
En los nmeros racionales positivos lo hicimos de la misma forma y con los mismos
resultados.
LUQUE, C., MORA, L., PAEZ, J., Actividades matemticas para el desarrollo de procesos lgicos:
Contar, Inducir, Universidad Pedaggica Nacional, Editorial Antropos, Bogot, 2002.
313
En el primer captulo, intentamos aplicar el mismo mtodo para definir el orden en un

conjunto que incluyera nmeros negativos y nos vimos en el problema de que
siempre existe un nmero real que sumado con otro nos da cualquier otro y as todos
los nmeros resultaran menores y mayores que todos los dems.
Es el mismo problema que genera la imposibilidad de definir una teora de
divisibilidad entre nmeros racionales, porque como la multiplicacin de los nmeros
racionales positivos es un grupo, todo nmero racional, excepto el 0, divide a
cualquier otro.
Sin embargo, vimos la posibilidad de caracterizar a los nmeros positivos para
distinguirlos de los dems, lo que nos ayudar a definir un orden para los nmeros
reales.
Supongamos que existe un subconjunto P de los nmero reales, que llamamos el
conjunto de los nmeros positivos, de tal manera que la suma de dos nmeros reales
positivos es positiva y el producto de reales positivos tambin es positivo, el 0 no es
positivo y todo nmero real diferente de 0 es positivo o su inverso aditivo es positivo.
Simblicamente,
O1. Si a, b son nmeros positivos entonces: a + b y a b son nmeros positivos.
O2. Si a es un nmero real, entonces slo una de las siguientes afirmaciones es
cierta:
a P,
a = 0,
- aP
El axioma O2 se conoce como ley de tricotoma.
O3. 0 P.
15.2.1. Definiciones
1. a < b significa que b a es un nmero positivo. < se lee menor que
2. a > b significa que b < a. > se lee mayor que
3. a b significa que a < b o a = b. se lee menor o igual que
4. a b significa que a > b o a = b. se lee mayor o igual que
314
Una consecuencia inmediata de las definiciones es que

a > 0 si y slo si a es positivo
Decimos que a es negativo si a < 0, y si a 0 se dice que a es no negativo.
15.2.2 Teoremas
40. La relacin < es transitiva; es decir, que si
a < b y b < c entonces a < c
Prueba:
Si a < b y b < c entonces b a P y c b P, entonces su suma
(b a) + (c b) P, es decir c a P, por lo tanto
a<c
La relacin es un orden total sobre , si a y b son nmeros reales, se cumple
exactamente una de las siguientes situaciones:
a < b, a = b, b < a
Puesto que el nmero b a cumple exactamente una de las situaciones:
b a > 0, b a = 0, b a < 0
41. La relacin es reflexiva
Prueba
Obviamente, a = a para todo nmero real a.
42. Ejercicio: La relacin es antisimtrica
43. Ejercicio: La relacin es transitiva
Los siguientes teoremas muestran la relacin entre el orden y las operaciones
algebraicas.
315
15.2.3. Las propiedades de monotona de la adicin y

multiplicacin de nmeros reales.
44. Monotona de la adicin. Para todo par de nmeros reales x, y, si
x<y
entonces
x + z < y + z,
para todo nmero real z.

Prueba
Supongamos que x < y, entonces y x P, por el axioma C3, tenemos que
(y x) + 0 P
o lo que es igual, por el teorema 23,
(y x) + (z z) P
para un nmero real z cualquiera; y por los axiomas C2 y C5, nos queda
(y + z) (x + z) P
lo que significa que
x + z < y + z.
45. Ejercicio: Monotona de la multiplicacin: Para todo par de nmeros reales x,
y, si
x < y, entonces x z < y z,
para todo real positivo z.
46. Para todo par de nmeros reales x, y, si
x < y, entonces x z > y z,
para todo real negativo z.
Prueba
Supongamos que x < y, entonces
316
yx P
por la definicin
zP
porque z es negativo
(y x) ( z) P
por el axioma O1
(x z y z) P
por el axioma C11 y los teoremas 16, 18, 20 y 21.
xz > y z
por la definicin.
Como el conjunto de los nmeros reales cumple con todas las propiedades
anteriores, se dice que son un campo ordenado
47. 1 > 0. Esto significa que 1 P.
Prueba
Supongamos que 1 P entonces, o bien
- 1 P
Por el axioma O2
(- 1) (- 1) P
Por el axioma O1
(- 1) (- 1) = 1 1 P
Por el teorema 21
11=1P
Por el axioma C8
lo que contradice la hiptesis; o bien

1= 0
Por el axioma O2
lo que contradice el teorema 3.

Por lo tanto 1 P, o lo que es lo mismo 1 > 0.
48. Para todo nmero real a, si a > 0 entonces
317
1
>0
a
Prueba
Como a > 0, por el axioma O2, concluimos que a 0, y por el axioma C9,
existe el nmero real
1
y para l, por el axioma O2, slo se tiene una de las
a
siguientes relaciones:
1
1
1
> 0, = 0, < 0
a
a
a
Supongamos que
1
= 0, entonces, por el axioma C9 y el teorema 10, tendramos
a
que
1=a
1
=a0=0
a
es decir, que
1=0
lo cual es imposible, por que contradice el teorema 3.
Supongamos, entonces, que
1
< 0; luego, al multiplicar por el nmero positivo a
a
obtenemos, por el teorema 44, que

a
1
< a0
a
es decir que, nuevamente por el axioma C9 y el teorema 10,

1<0
que tampoco es cierto, porque contradice el teorema 46.
Como ninguna de estas dos posibilidades es cierta, la nica que queda, por el
axioma O2, es que
1
> 0.
a
49. Ejercicio: Para todo nmero real a, si a < 0 entonces
1
<0
a
50. Para todo par de nmeros reales a y b, se cumple que si

a>0 y b<0
entonces
318
ab <0
Prueba
aP y - b P
Por hiptesis
a (- b) P
Por el axioma O1
- ( a b) = a (- b) P
Por el teorema 20
(a b) P
Por el axioma O2
ab 0
Porque a 0 y b 0, por hiptesis.
ab < 0
Por el axioma O2.
51. Para todo par de nmeros reales a y b, se cumple que si

a b > 0 entonces a > 0 y b > 0
a<0 y b<0
Prueba
Supongamos que a b > 0.
Si a > 0, por el teorema 47, tenemos que
b=
1
> 0 y por el axioma O1
a
1
(a b) > 0
a
Si a < 0 entonces, por el teorema 48, se cumple que

b=
1
< 0 y por el teorema 49
a
1
(a b) < 0.
a
52. Ejercicio: Para todo par de nmeros reales a y b, se cumple que si

a b < 0 entonces a > 0 y b < 0
53. Para todo nmero real a, si

a 0 entonces a 2 > 0
Prueba
a0
Por hiptesis
319
a<0 y b>0
aP o - aP
Por el axioma O2
Si a P,
a2=aaP
Por el axioma O1
esto significa que a 2 > 0.

Si - a P,
(- a) (- a) = a a P
Por el teorema 21 y el axioma O1
esto significa que a 2 > 0.

54. Ejercicio: Para todo par de nmeros reales a y b, se cumple que si
a < b entonces - a > - b.
En resumen, hemos demostrado que las desigualdades se comportan casi siempre
que las igualdades:
a. Podemos sumar los miembros correspondientes de dos desigualdades del mismo
sentido y obtendremos una desigualdad del mismo sentido
b. Podemos sumar (o restar) cantidades iguales a ambos miembros de una
desigualdad y obtendremos una desigualdad del mismo sentido
c. Podemos multiplicar o dividir ambos miembros de una desigualdad por un nmero
positivo y obtendremos una desigualdad del mismo sentido.
Una diferencia en el comportamiento de las desigualdades, con respecto a las
igualdades, es que cuando se multiplican o dividen por un nmero negativo, tenemos
que cambiar el sentido de la desigualdad.
55. La densidad de los nmeros reales: Para todo par de nmeros reales a y b, si
x < y, existe un nmero real z, tal que x < z < y
Prueba
x<y
Por hiptesis
x+x <y+x
Por el teorema 43
320
x+y <y+y
Por el teorema 43
2 x < y + x < 2y
Por el axioma C5 y el teorema 39
x <
z=
y+x
<y
2
Por el teorema 44
y+x
2
Es un nmero real por el axioma C1, C9 y C6.
56. Ejercicio: Para todo par de nmeros reales a y b, si
a>b
entonces
a>
a+b
>b
2
En los siguientes ejercicios adicionales, pretendemos aclarar algunos significados de

los teoremas expuestos:
Ejercicios adicionales
1. Dnde est el error en el siguiente procedimiento?:
1
Si en la desigualdad
< 1 multiplicamos por x, a ambos lados de la
x
1
desigualdad, se concluye que
es menor que 1 si y slo si 1 < x .
x
Pero, si x = - 1 entonces
1 1
=
= 1
x 1
y - 1 es menor que 1.
2. Si x y y son nmeros reales tales que x > 0 y y < 0, sealar si los siguientes
nmeros reales son positivos o negativos:
a. y
b. (x y)
c. x y2
321
d. x2 y
e.
x
y
f. x y
g.
x y
x
h.
x
x2
y
3. Demostrar que 2 > 0. Sugerencia: 2 = 1 + 1.

4. Demostrar que 3 > 2 y que 3 > 1.
15.3. Axioma de completez

Los axiomas de campo y orden no son suficientes para incluir los nmeros
irracionales dentro del sistema de los nmeros reales, pues el conjunto de los nmeros
racionales es un campo ordenado; para incluirlos se hace necesario adicionar otro
axioma, llamado el axioma de completez; antes de enunciarlo, debemos ampliar un
poco nuestro vocabulario.
15.3.1. Definiciones
Sea A un conjunto de nmeros reales, se dice que :
1. Un nmero real b es una cota superior de A, si para todo x en A, se tiene que
x b.
2. Un nmero real c es una cota inferior de A, si para todo x en A, se tiene que
b x.
3. Un conjunto de nmeros reales es acotado superiormente si tiene por lo menos
una cota superior y es acotado inferiormente si tiene por lo menos una cota inferior.
4. Se llama extremo superior o supremo de un conjunto no vaco de nmeros reales a
la mnima cota superior de dicho conjunto; en caso de existir, lo llamamos sup A o
lo notamos A. Si A = {x, y} escribimos A = x y .
Ms precisamente, x = sup A significa que:
i)
ii)
y x, para todo y A y,
si y z para todo y en A, entonces x z.
Otra versin para esta definicin es:

x = sup A si y slo si:
322
i)
ii)
x es una cota superior de A y,

si a < x entonces a no es cota superior de A
5. Anlogamente, un elemento que sea el mayor de las cotas inferiores de un conjunto

no vaco de nmeros reales A, lo llamaremos extremo inferior o nfimo de A y lo
notaremos inf A o A, y si A se reduce a dos elementos x y y, escribiremos
A = x y.
6. Si y = sup A tal que y A, entonces y se llama elemento mximo de A. Si
t = inf A y t A, entonces t se llama elemento mnimo de A
Ejemplos
1. En (X), dados dos subconjuntos A y B de X el conjunto ms pequeo que los
contiene a ambos es su unin as:
sup (A, B) = A B = A B
Tambin es claro que
inf (A, B) = A B = A B
2. En el conjunto de los nmeros naturales , con su orden usual, todo subconjunto A

tiene inf A; para el conjunto P de los nmeros pares sup P, no existe, pero para
todo conjunto finito A, existe sup A .
3. Tambin puede darse que en un conjunto ordenado X exista sup A para todo
subconjunto A de X pero no exista inf A. Por ejemplo, en las partes no vacas de
X, ordenado por la inclusin, dada una coleccin C finita o infinita de
subconjuntos de X existe sup C para ella, el conjunto X; pero no existe inf C,
porque lo sacamos a propsito.
4. 0 es el elemento mnimo de los nmeros naturales.
5. Todo subconjunto de nmeros naturales tiene elemento mnimo.
6.
La mxima cota inferior y la mnima cota superior del intervalo abierto de

nmeros reales (4,5], son 4 y 5 respectivamente, 5 es el elemento mximo del
conjunto que no tiene elemento mnimo.
323
Si en un conjunto ordenado existe un elemento mnimo, lo notaremos 0 y si tiene

elemento mximo lo notaremos 1.
Ejercicios
1. Determinar, en caso de que existan, el supremo, el nfimo, el mximo o el mnimo
para cada uno de los siguientes conjuntos:
a. [ 3, 2]
b. ( 6, 6]
1
c. 2 ,
2
d. (, 4)
e. [ 3, )
f. A = 1 : n Z y n 0
n
1
g. B = x R : x = 0 o x = , n Z y n 0
n
1
1
h. C = ( 1) n + : n N y n 0
i. D = 1 : n N y n 0
n
1
1
j. E = ( 1) n : n N y n 0
k. F = n + (1) n : n N y n 0
n
n
1
l. G = ( 1) n n + : n N y n 0
n
2. Si afirmamos que existe sup A para todo A X, esto implica la existencia de un

elemento mximo para X, el sup X, que ya hemos notado 1 Es cierto el recproco?
Si para todo B, subconjunto de un conjunto ordenado X, existe inf B y adems
existe 1, entonces existe sup B para todo B, puesto que el conjunto CS(B) de las
cotas superiores de B es no vaco (tiene por lo menos al 1) y ste, es un subconjunto
de X, por lo tanto existe inf CS(B) y ste es, por definicin, sup B.
El hecho de que exista sup (A {y}) es equivalente a la existencia de
sup (sup A, y), para todo y en X, pero adems, los dos son iguales, (por qu?); esto
significa que, en el caso de existir, se cumple:
(x y) z = x (y z)
o sea que puede ser vista como una operacin entre los elementos de un conjunto
ordenado y la anterior igualdad significa que esta operacin, en el caso de estar
definida, para todo x, y, z en X es asociativa; adems la existencia de sup A para
324
cualquier subconjunto finito A de X es equivalente a la existencia de x y para

cualquier par x, y de sus elementos 8 .
Otras definiciones tiles son las siguientes, pues nos permiten hablar del conjunto
suma o del conjunto producto de un nmero real por un conjunto no vaco de
nmeros reales dado:
7. Sean A y B subconjuntos de , ambos no vacos y un nmero real cualquiera, se
define:
C = A + B = {c : c = a + b donde a A y bB}
A = {a: aA}
15.3.2. Axioma de Completez

Si T es un subconjunto no vaco de nmeros reales y est acotado superiormente
entonces T tiene supremo.
Este axioma es el que permite asegurar que
2 es un nmero real, pues el conjunto:
A = {x Q : x 2 < 2 }
es acotado superiormente, luego debe existir un nmero real y = sup A, este
nmero es justamente 2 .
Un conjunto con dos operaciones y una relacin de orden que cumpla todas estas
condiciones, se llama el conjunto de los Nmeros Reales ( ), es un campo ordenado
y completo; de hecho, es el nico conjunto con estas tres propiedades.
15.3.3. Teoremas
57. Si r y r1 son supremos de S, entonces r = r1
Prueba
Por ser r supremo y r1 cota superior de S, tenemos que r r1 . De manera
anloga, por ser r1 supremo y r cota superior de S, afirmamos que r1 r; luego,
8
ORTIZ, L., GMEZ, M., Algebra abstracta, Eafit, 1986.
325
como la relacin menor o igual que es antisimtrica, deducimos que r = r1 ,

como se quera demostrar.
58. Propiedad arquimediana del conjunto de los nmeros reales: Si x es un nmero
real tal que x > 0 y y es un nmero real arbitrario, existe algn nmero natural n
tal que xn > y.
En trminos geomtricos lo aqu expuesto significa que todo segmento tan largo
como se desee, sea ste y, puede ser recubierto por un nmero finito de
segmentos (n) de longitud positiva dada (x), tan pequea como se desee. En un
dibujo, tenemos que :
Figura 1
Prueba
Haremos esta prueba por contradiccin; as, supongamos que
definamos el conjunto X como sigue:
xn = y
X = {xn tales que n }

Como X es no vaco y est acotado superiormente, por y; segn el axioma de
completez, X tiene supremo, supongamos que ste es w.
Tenemos que x > 0; luego, w x < w; por esto y por ser w el supremo de X,
w x no es cota superior de X, esto significa que existe al menos un elemento de
X mayor que w x, dicho elemento debe ser de la forma x n1 donde n1 es un
nmero natural; esto es:
w x < xn1
lo que implica que
w < xn1 + x
O de otra forma
w < x (n1 + 1)
Pero n1 + 1 es un nmero natural, luego x (n1 + 1) pertenece a X, con lo cual se
contradice que w sea el supremo de X.
326
59. El conjunto de los nmeros naturales ( ) no est acotado superiormente.

Prueba
Supongamos que est acotado superiormente y como es no vaco, tenemos,
por el axioma de completez, que
posee extremo superior, esto significa que
existe x en tal que:
x = Sup
Por otro lado, tenemos que si n es un nmero natural distinto de 0 (n > 0), por la
propiedad arquimediana existe m en los nmeros naturales tal que mn > x, pero
mn es un nmero natural, lo que contradice que x es el supremo. Por lo tanto
no est acotado superiormente.
60. Para todo x que pertenece al conjunto de los nmeros reales, existe a
a > x.
, tal que
Prueba
Supongamos que para todo nmero natural a, se tiene a = x; esto significa x es
cota superior de , lo cual contradice el teorema anterior.
61. Si existe el sup A y el sup B, entonces, sup (A + B) = sup A + sup B.
Prueba.
Como el sup A y el sup B existen, tenemos que si a y b son elementos de A y
de B, se cumple que:
sup A = a (1)
sup B = b (2)
Sumando (1) y (2), obtenemos:
sup A + sup B = a + b
Si hacemos c = a + b, tenemos que:
sup A + sup B = c (3)
Como estamos tomando a y b elementos arbitrarios de A y B, respectivamente,
podemos formar:
{c : c = a + b donde a A y bB}
327
conjunto que corresponde a A + B y est acotado superiormente por

sup A + sup B de acuerdo con (3), esto significa que, por el axioma de
completez, A + B tiene supremo y que:
sup A + sup B = sup (A + B)
(4)
Ahora, segn la definicin de extremo superior, sup (A + B) = a + b, para todo

a + b en A + B, o lo que equivale a:
sup (A + B) b = a
es decir que sup (A + B) b es cota superior de A, pero sup A es la mnima,
luego,
sup A = sup (A + B) b
As,
b = sup (A + B) sup A
Por tanto, sup (A + B) sup A es cota superior de B, pero como sup B existe,
tenemos:
sup B = sup (A + B) sup A
O de otra manera:
(5)
Para que (4) y (5) sean ciertas, slo tenemos una opcin:
Con lo que finalizamos nuestra demostracin9 .
62. Si S es un subconjunto no vaco de nmeros reales y z > 0, se tiene que:
a) Si S tiene supremo, sea ste
s > sup S z.
sup S, entonces existe
s S
tal que
b) Si S tiene nfimo, entonces existe s S tal que s < sup S + z
Como vimos anteriormente los nmeros irracionales aparecen como extremos superiores o inferiores
de conjuntos de nmeros racionales. Este teorema permite operacionalizar la suma de dos de ellos.
328
Prueba.
Esta prueba la hacemos por contradiccin. Supongamos que para todo s S se
tiene
s sup S z
lo cual significa que sup S z es cota superior de S, pero si sup S es el supremo
de S, sup S z sup S, lo cual genera una contradiccin con el teorema 53; en
consecuencia Si S tiene supremo, entonces existe s S tal que s > sup S z.
La parte b) se hace por analoga a la parte a) antes desarrollada, por lo cual la
dejamos como ejercicio para el lector interesado.
?sup A, si ? 0
63. Si existe sup A e inf A, se tiene que sup (A) =
?inf A, si ? 0
Prueba
Para el caso = 0, la demostracin es inmediata, entonces veamos qu sucede si
> 0.
Como sup A existe, tenemos que para todo a A, sup A = a. Si > 0,
hacemos uso del teorema 43 y obtenemos:
sup A = a
Y en razn a que a A, tenemos que sup A es cota superior de A.
Por otra parte, por el teorema anterior, decimos que si z > 0, existe a1 A tal que
sup A z < a1 y como a1 = sup A, tenemos:
sup A z < a1 = sup A
e
Si hacemos s = , para cualquier > 0, la desigualdad anterior nos queda:
?
e
sup A
< a1 = sup A
?
Lo que es equivalente a:
sup A < a1 = sup A
Y como a es un elemento de A y sup A = sup A, entonces sup A es la
mxima cota superior de A. Por tanto, sup A = sup (A).
329
La demostracin referente al nfimo se hace de manera similar10 .
Ejercicios
Demostrar que
1. Si x y y son nfimos de A entonces x = y
2. Si n y m son mximos de S, entonces n = m.
3. Si s y t son mnimos de S, entonces s = t.
4. Si X es un subconjunto no vaco de nmeros reales y acotado inferiormente,
entonces inf X existe.
b
5. Si a, b son nmero reales y a b a +
donde n es un nmero entero
n
positivo cualquiera, entonces a = b.
6. Si A y B son subconjuntos no vacos de nmeros reales, tales que, para todo
a A y para todo b B, a b, entonces sup A e inf B existen y sup A inf B.
Potenciacin entre nmeros reales

Intentemos ahora, definir la potenciacin entre nmeros reales; iniciemos con el caso
en que b sea un nmero natural y como ya es habitual en N, definmosla por
recurrencia mediante las frmulas:
a0 = 1 si a 0
y
k+
a = ak a
64. A diferencia de la multiplicacin que es distributiva a izquierda y a derecha con
respecto a la suma, la potenciacin es distributiva solamente a izquierda con
respecto a la multiplicacin, es decir que
(a b)k = ak bk
10
Anlogamente a lo dicho en el anterior, este teorema permite efectuar la multiplicacin de nmeros

irracionales.
330
Prueba
Hagmosla por induccin sobre k
i)
Si k = 0, entonces
(a b)o =1 = 1 1 = a0 b0
Si k = n, para algn n N, entonces; supongamos que:
ii)
(a b)n = an bn
por la hiptesis de induccin
Veamos que para k = n+, se cumple que:
(ab )n
(a b) n
= (a b )n (a b )
= an bn (a b)
= an a bn b
+
= a n bn
= an b n
por definicin de potenciacin

por hiptesis de induccin
por asociatividad y conmutatividad de la
multiplicacin en N.
Luego (a b) n = a n b n .
+
65. La operacin potenciacin tambin relaciona las operaciones de suma y

multiplicacin, de manera que:
a m+ n = a m a n
Prueba
De nuevo hagamos induccin, en este caso sobre m
i)
Si m = 0, entonces
ao an =1 an =an = a0+ n
ii)
Si m = k, para algn k N, entonces, supongamos que:

ak an = ak+n
331
Veamos ahora que para m = k +, se cumple que:

+
ak an = ak
+
a k a n = ak a an
= ak an a
+ n
+n

por asociatividad y conmutatividad de la
multiplicacin en N
por la definicin de potenciacin
por la definicin de suma en N
= ak+n a
+
= a (k+ n )
+
= a k +n
Luego a k a n = a k
Veamos ahora cmo definir la potenciacin entre nmeros reales si a es un nmero

real cualquiera diferente de 0 y b es un nmero entero negativo.
Si b es un nmero entero negativo entonces, b = x es un nmero natural y estamos
en el caso anterior, en este caso definimos
ab = a x = (a 1 )x
donde a 1 es el inverso multiplicativo de a.
Si b es un nmero racional entonces, b =
n; con n 0 , definimos
b
a =a
m
n
m
, para algn par de nmeros enteros m y
n
am
para todo a R+.

66. Tambin en este caso es vlida la frmula
( a b) x = a x b x
cuando a y b son nmeros reales positivos y x es un nmero racional.
Prueba
Si x =
m
, m, n Z y n 0 :
n
332
(ab )
= n (ab)
Por la definicin de potenciacin
= n a mb m
Por ser m un nmero entero
( a )( b )
n
= a nb
Por la propiedad distributiva de la

radicacin
con
respecto
a
la
multiplicacin entre nmeros naturales
Por definicin de potenciacin.
por tanto
( a b) x = a x b x .
67. Ejercicio: Si a es un nmero real positivo y
entonces
x, y son nmeros racionales
i. a x a y = a x + y .
ax
= a x y con a 0
y
a
ii.
iii. ( a x ) y = a x y
Ejercicio adicional
2. Cul es el error en el siguiente procedimiento?
Si en la desigualdad
1<2
1
multiplicamos por , obtenemos:
4
1 1
< ,
4 2
o lo que es igual:
2
1
1
<
2
2
si tomamos logaritmo en ambos lados de la desigualdad, tenemos que

333

2
1
1
log a < log a .
2
2
y puesto que
2
1
1
log = 2 log
2
2
1
si dividimos en ambos lados entre log , concluimos que
2
2 < 1!
Si a es negativo, la potenciacin puede no tener un resultado dentro de los nmeros
reales, en particular si a = 1 y n es un nmero par.
El conjunto de los nmeros donde estas operaciones son posibles es conocido como
el conjunto de los nmeros complejos y lo estudiaremos en otra ocasin.
El caso en el cual b sea un nmero irracional, tambin lo dejamos de lado ya que es
un tema que sera abordado de forma ms adecuada con herramientas del clculo,
como las sucesiones de Cauchy y la nocin de distancia.
334

Axiomatización de Los Números Reales

Cargado por

Copyright:

Formatos disponibles

Axiomatización de Los Números Reales

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Axiomatización de Los Números Reales

Cargado por

Copyright:

Formatos disponibles

15.

Axiomatizacin de los nmeros reales

Una presentacin axiomtica consta de unos trminos no definidos, conceptos

ACTIVIDADES MATEMTICAS PARA EL DESARROLLO DE PROCESOS LGICOS

15.1. Axiomas de campo

UNA PRESENTACIN AXIOMTICA DE LOS NMEROS REALES

15.1.1 Propiedades de las operaciones con respecto a la

ACTIVIDADES MATEMTICAS PARA EL DESARROLLO DE PROCESOS LGICOS

A esta propiedad la llamamos tambin propiedad de uniformidad de la adicin y la

siempre que b no sea 0.

UNA PRESENTACIN AXIOMTICA DE LOS NMEROS REALES

ACTIVIDADES MATEMTICAS PARA EL DESARROLLO DE PROCESOS LGICOS

4. Propiedad cancelativa de la adicin: Si a, b son nmeros reales y

Por ser ( a) un inverso aditivo

Por ser ( a) un inverso aditivo

Por la propiedad transitiva de la igualdad

UNA PRESENTACIN AXIOMTICA DE LOS NMEROS REALES

7. Ejercicio: el inverso multiplicativo de un nmero real es nico

10. Para todo nmero real a se tiene que 0 a = 0

Por el axioma C11

Por la propiedad uniforme

11. 0 no tiene inverso multiplicativo.

ACTIVIDADES MATEMTICAS PARA EL DESARROLLO DE PROCESOS LGICOS

Por el axioma C9.

Por la definicin de divisin

Por el axioma C9.

Por la definicin de divisin

15. Para todo nmero real a,

Por la definicin de divisin

UNA PRESENTACIN AXIOMTICA DE LOS NMEROS REALES

Por el axioma C8.

16. Para todo nmero real a se tiene que

ACTIVIDADES MATEMTICAS PARA EL DESARROLLO DE PROCESOS LGICOS

20. Para todo par de nmeros reales a y b se tiene que

Por el axioma C11.

21. Para todo par de nmeros reales a y b se tiene que

Por el axioma C11.

Por el teorema 16.

UNA PRESENTACIN AXIOMTICA DE LOS NMEROS REALES

22. Para todo nmero real a se tiene que a 0 = a

Por la definicin de sustraccin.

Por el axioma C3.

Por la transitividad de la igualdad.

23. Ejercicio: Para todo nmero real a se tiene que, a a = 0

Por la definicin de sustraccin

Por el axioma C2.

Por el axioma C4.

Por el axioma C3.

Por la definicin de sustraccin.

25. Para todo a, b y c nmeros reales se cumple que

Por la definicin de resta

ACTIVIDADES MATEMTICAS PARA EL DESARROLLO DE PROCESOS LGICOS

Por el axioma C5 y el teorema 20

Por la definicin de resta.

26. Ejercicio: Para todo a y b nmeros reales se tiene que

Por el axioma C5 y el teorema 20.

Por la propiedad uniforme de la igualdad

Por los axiomas C2 y C5

Por la definicin de resta.