1

Presentacin Axiomtica de los Nmeros

Reales

1.1

Axiomas de los Nmeros Reales

Aceptaremos la existencia de un conjunto R cuyos elementos llamaremos

nmeros reales,provisto de dos operaciones binarias internas + y que satisfacen los siguientes axiomas:
Axiomas de Cuerpo
C1. a + b = b + a, a, b R

C2. (a + b) + c = a + (b + c), a, b.c R

C3. 0 R tal que a + 0 = a, a R
C4. a, u R tal que a + u = 0
C5. ab = ba, a, b R
C6. (ab)c = a(bc), a, b, c R
C7. 1 R tal que a 1 = a, a R
C8. a 6= 0, v R, tal que a v = 1
C9. a(b + c) = ab + ac, a, b, c R
Observaciones: Los elementos 0 y 1 de C3 y C7 son nicos, tambin los son
los elementos u y v de C4 y C5, u se denota por a ( opuesto de a) y v se
denota por x1 o por x1 ( inverso de x).
Consecuencias de los Axiomas de Cuerpo A partir de los axiomas
de cuerpo y de las propiedades de la igualdad, se pueden deducir todas las
reglas algebraicas bsicas de la operatoria con nmeros reales. Alguna de
estas propiedades son:
1. a + c = b + c a = b
2. c 6= 0, ac = bc a = b
3. (1)a = a; (a) = a; (a)b = a(b) = (ab); (a)(b) = ab
4. Si a 6= 0 , entonces (a1 )1 = a
5. Si a 6= 0, la ecuacin ax + b = c, tiene solucin nica en R.
1

6. (a + b) = (a) + (b)
7. Si a, b 6= 0, entonces (ab)1 = a1 b1
8. ab = 0 a = 0 o b = 0
Demostracin. Solamente para ilustrar las tcnicas, demostraremos 1, 5,
y 6.
1.- Demostracin de la implicacin : Si a + c = b + c, entonces
(a + c) + (c) = (b + c) + (c), luego asociando:
a + (c + (c)) = b + (c + (c))
lo que implica que a + 0 = b + 0,
de donde se obtiene a = b
5.- a1 (c b) es solucin de la ecuacin puesto que
1
a(a (c b)) + b = (aa1 )(c b) + b = (c b) + b = c.
Veamos ahora que es nica:
si u y v son soluciones de la ecuacin ax+b = c, se obtiene que au+b = av +b
de donde au = av y como a 6= 0, se tiene que u = v.
6.- (a + b) + ((a) + (b)) = (a + b) + ((b) + (a))
= a + ((b + (b)) + (a)) = a + (0 + (a)) = a + (a) = 0.
La conclusin se obtiene por la unicidad de los opuestos.
Para los nmeros reales a y b, la diferencia a b se define por:
a b := a + (b). Si adems b 6= 0, el cuociente ab , se define mediante la
relacin ab := ab1
Resultan de inmediato:
a b = c a = b + c
a
= c a = bc, siempre que b 6= 0
b
(a b) = b a
Continuando con la lista de propiedades que se deducen de los axiomas
de cuerpo:
a
a a a a 1 b
a
=
= ;
= ;( ) =
b
b
b b
b b
a
a c
ac
2. =
b d
bd
1.

3.

a c
a d
=
b d
b c

4.

a+b
a b
+ =
c c
c

ad + bc
a c
+ =
b d
bd
ac
a
6.
= , siempre que c 6= 0
bc
b
c
a
7. = ad = bc
b
d
5.

8.

c
b
d
c
d
b
a
a
= = = =
b
d
a
c
a
b
d
c

Axiomas de Orden Con el fin de disponer de un criterio que nos

permita comparar nmeros reales, se define en R, una relacin de orden
compatible con las operaciones de adicin y multiplicacin ( con la estructura
de cuerpo). Esto nos permite hablar de R como un cuerpo ordenado.
O. Existe un subconjunto P de R que verifica las siguientes propiedades:
O1. a, b P = a + b P (P es cerrado para la suma)
O2. a, b P = a b P (P es cerrado para la multiplicacin)
O3. Dado a R, una y slo una de las siguientes condiciones se verifica:
a P, a = 0, a P
Notar que el conjunto P es no vaco puesto que 1 R, 1 6= 0,entonces por
O3 se tiene 1 P o bien 1 P. Esta ltima opcin no puede darse (por
qu?).
Sean a y b nmeros reales, diremos que a es menor que b, lo que escribimos
a < b, si b a P. Diremos que a es menor o igual que b, los que escribimos
a b, si a < b o a = b.
El conjunto P recibe el nombre de conjunto de los nmeros reales positivos
y se suele denotar por R+

Consecuencias de los Axiomas de Orden

1. Ley de Tricotoma: Si a y b son dos nmeros reales , una y slo una
de las siguientes condiciones se verifica: a < b, a = b, b < a.
2. a R : a2 0. En particular 1 P
3. a < b, b < c = a < c (transitividad)
4. a < b, c R = a + c < b + c
5. a < b, c < d = a + c < b + d
6. a < b, c > 0 = ac < bc
7. a < b, c < 0 = ac > bc
8. a > 0 a1 > 0; a < 0 a1 < 0
9. ab > 0 (a > 0 y b > 0) o (a < 0 y b < 0)
10. ab < 0 (a > 0 y b < 0) o (a < 0 y b > 0)
11. a < b = a <

a+b
2

<b

Demostracin:(de alguna de las proposiciones)

2. Sea a R, a 6= 0, entonces hay dos casos posibles: a P o bien
a P. Si a P, entonces por O2, a a = a2 P. Por otro lado, si a P,
tambin por O2, (a) (a) P, pero (a) (a) = a a = a2 .
3. a < b, b < c = b a P, c b P , luego por O1,
c a = (b a) + (c b) P.
8. Si a > 0, a1 existe pues a 6= 0. Si suponemos que a1 < 0, tendramos
que 1 = a a1 < 0, lo que es una condradiccin, por lo tanto a1 > 0.
11.- Dado que 1 > 0, 1 + 1 = 2 > 0, luego 12 > 0. Entonces, como por
hiptesis b a > 0, luego b+a
a = 12 (b a) > 0, con lo cual a < a+b
. Por
2
2
1
a+b
=
(b

a)
>
0,
con
lo
cual
<
b.
otro lado b a+b
2
2
2
Es mediante esta relacin de orden en R que podemos poner en correspondencia biunvoca a los nmeros reales con los puntos de una recta. Resulta
as la recta numrica. La propiedad 11 nos asegura que no existe un nmero
real positivo que sea menor o igual que cualquier otro nmero real positivo.
4

Sean a y b nmeros reales, a b. Los siguientes conjuntos reciben el

nombre de intervalos
(a, b) = {x R : a < x < b}
[a, b] = {x R : a x b}
(a, b] = {x R : a < x b},
[a, b) = {x R : a x < b}
(a, +) = {x R : x > a},
[a, +) = {x R : x a}
(, a) = {x R : x < a},
(, a] = {x R : x a}
Definicin.- Si a es un nmero real, se define el valor absoluto de a
mediante:

a si a 0
|a| =
a si a < 0
Propiedades del valor absoluto
1. Sea a R, entonces: |a| 0; |a| = 0 a = 0;
2. Sea c R, c > 0. Entonces para cada x R,

|a| a |a| .

|x| = c x = c o x = c
|x| < c c < x < c
|x| > c x > c o x < c
3. Sean a, b R, entonces:
|ab| = |a| |b|
|a b| |a| + |b|
||a| |b|| |a b|
Considerando la recta real y las propiedades del valor absoluto, el valor
absoluto permite definir la distancia entre dos puntos mediante:
d(a, b) = |b a|

1.2

Axiomas de los Nmeros Naturales

Existe un nico subconjunto N de R, llamado conjunto de los Nmeros Naturales, que posee las siguientes propiedades:
N 1.- 1 N
N 2.- x < 1 = x
/N
N 3.- n N = n + 1 N
5

N 4.- Si el conjunto S N es tal que: 1 S, y n, n S = (n+1) S.

Entonces, S = N (Axioma de Induccin).
El Axioma de Induccin, tambin puede explicarse de la siguiente manera:
Sea P(n) una propiedad que pueden verificar o no los nmeros naturales. La
propiedad P es vlida para todos los nmeros naturales si se cumplen las
siguientes condiciones:

1. P (1) es verdadero.
2. Si P (n) es verdadero, entonces P (n + 1) es tambin verdadero

Consecuencias del Axioma de los Nmeros Naturales

1. k N = k 1

2. Sea n N. Entonces no existe nmero natural k tal que

n<k <n+1
3. Si E N, E 6= , entonces E posee un primer elemento, esto es,
existe k E tal que k n, n E. Esta propiedad es conocida
como el principio de buena ordenacin de N.

El Conjunto N{0}{x R : x N} se llama conjunto de los nmeros

enteros y se denota por Z.
Si a es un nmero real y n es un nmero entero , la n-sima potencia de
a se define por:
a0 = 1
a1 = a
an+1 = an a
an = (a1 )n
El nmero a se llama la base y n es llamado el exponente.
Leyes de los exponentes:
Las siguientes propiedades pueden ser demostradas para exponentes enteros utilizando la definicin anterior y el axioma de induccin.

1. am an = am+n
2.

am
= amn
an
m n
mn

3. (a ) = a

4. (ab)n = an bn
6

5. ( ab )n = abn
n b n
6. ab
= a
7.

an
bm

bm
an

Axioma de Arqumedes Aceptaremos ahora un axioma, que garantiza la existencia de nmeros naturales arbitrariamente grandes.
A. Sea a R+ , entonces existe n N, tal que a < n.
Consecuencias del Axioma de Arqumedes
1. Sean a, b R+ , entonces existe n N tal que na > b
2. Sea a R+ , entonces existe n N tal que

1
n

<a

3. Sea a R+ ,entonces existe n N tal que n 1 a < n

Demostraciones: 1.- El nmero ab R+ , por el Axioma de Arqumedes,
existe n N tal que n > ab y as na > b.
2.- Se sigue de 1.- considerando b = 1
3.- Sea a R, y sea E = {n n > a} N.. Por el axioma de Arqumedes
E 6= y por el principio de buena ordenacin de N, E tiene un primer
elemento, sea n este primer elemento.
Si n = 1 , entonces n 1 < a < n, si n > 1, entonces n 1 N y luego
n1
/ E y de esta manera se tiene n 1 a < n

1.3

Nmeros Racionales

Diremos que a R es un nmero racional si existen enteros k y n tales que

a = nk . Se denota por Q al conjunto de los nmeros racionales. Si a R Q,
diremos que a es un nmero irrracional.
Una de las propiedades ms importantes del conjunto Q es la de ser denso
en R , esto quiere decir que cualquier nmero real puede ser aproximado
tanto como se quiera por un nmero racional.
Esta propiedad se enuncia as:
Teorema: a, b R, q Q tal que a < q < b
7

1.4

Conjuntos Acotados. Supremo e nfimo

Sea S R. diremos que u R, es una cota superior de S si x u, x S.

Asimismo, v R, es una cota inferior de S,si v x, x S.
Si un conjunto S tiene cotas superiores, se dice que es acotado superiormente y si tiene cotas inferiores se dice que es acotado inferiormente. Un
conjunto ser acotado si lo es superior e inferiormente.
Ejemplos:
1. El conjunto N de los nmeros naturales es acotado inferiormente pues
por ejemplo, 0 y 1, son cotas inferiores de N, sin embargo N no es
acotado superiormente en virtud del Axioma de Arqumedes.
2. 0 es cota inferior del conjunto S = { n1 : n N}, y 1 es cota superior de
S
3. 0 es cota inferior de (0, 1) y 2 es cota superior
4. Todo nmero real es cota superior e inferior del conjunto .
Sea S R, un conjunto acotado superiormente, diremos que uo R es
el supremo de S si uo es la menor de las cotas superiores de S, esto es, uo es
cota superior de S, y si u R es otra cota superior de S, entonces uo u.
Notacin uo = sup S
En forma similar, sea S R, un conjunto acotado inferiormente, diremos
que vo R es el nfimo de S si vo es la mayor de las cotas inferiores de S, esto
es, vo es cota inferior de S, y si v R es otra cota superior de S, entonces
v vo . Notacin vo = inf S
Si el supremo (nfimo) de un conjunto S pertenece al conjunto, este se
llama mximo (mnimo) del conjunto S.
Una importante relacin a tener en cuenta es la siguiente:
Si S R, sup(S) = inf{x : x S}
Ejemplos:
1. sup(0, 1) = 1; inf(0, 1) = 0
2. No existen sup(), ni inf(), pues todo nmero real es cota inferior y
superior del conjunto .
3. inf(N) = 1, y no existe sup(N)
8

4. Para el conjunto S = { n1 : n N}, se tiene: 1 = sup(S), y 0 = inf(S)

1.5

Axioma del Supremo

Aceptaremos ahora el ltimo axioma sobre los nmeros reales:

S. Todo subconjunto no vaco y acotado superiormente de R tiene supremo.
Consecuencias del Axioma del Supremo
1.Todo subconjunto S no vaco y acotado inferiormente de R,tiene nfimo.
2. Existen nmeros reales que no son racionales:
Demostracin: En efecto, sea E = {x R : x 0, x2 2}. Claramente
E es no vaco y acotado inferiormente por construccin. Sea a = inf (E). Se
puede probar que a2 = 2 y que a
/ Q.
Solo probaremos esta ltima afirmacin.
Supongamos, por el contrario que a Q. Sean pues p y q enteros tales
que a = pq , sin perder generalidad los consideraremos sin divisores comunes.
Entonces p2 = 2q 2 , lo que implica que p2 es un nmero par, y en consecuencia,
p es un nmero par. Ahora p = 2k p2 = 4k2 (multiplo de 4). Obtenemos
as que q2 es un nmero par y por lo tanto q es par, lo que es una contradiccin
pues p y q no tienen
divisores comunes.
Notacin: a = 2
3. Procediendo en forma anloga , se puede probar que para cada nmero
real positivo a y para cualquier nmero natural n, existe un nico nmero
real positivo b tal que bn = a. Al nmero
b lo llamaremos la raz n esima

1
n
de a y lo denotaremos por a n o por b.
4. Lo anterior permite extender la definicin de potencias a exponentes
racionales, en la siguiente forma:

p
1
Si a R; p Z, q Z, q 6= 0, entonces a q = (a q )p y se denota por q ap .
Se verifican las siguientes leyes:
1. ar as = ar+s
2.

ar
as

= ars

3. (ar )s = ars
4. (ab)r = ar br
5.

ar
br

= ( ab )r
9