Formalizacin de los Nmeros Reales

M. en I. Gerardo Avils Rosas

Agosto de 2013

FORMALIZACIN DE LOS NMEROS REALES (G) 2
Tema 2
Formalizacin de los Nmeros Reales
Objetivo: El alumno aplicar las propiedades de los nmeros reales y sus subconjuntos, para
demostrar algunas proposiciones por medio del mtodo de Induccin Matemtica y para resolver
inecuaciones.

Contenido
2.1 El conjunto de los nmeros naturales
Concepto intuitivo de nmero natural
Definicin del conjunto de los nmeros naturales mediante los postulados de Peano
Definicin y propiedades: adicin, multiplicacin y orden en los nmeros naturales.
Demostracin por Induccin Matemtica
2.2 El conjunto de los nmeros enteros
Definicin a partir de los nmeros naturales
Definicin y propiedades: igualdad, adicin, multiplicacin y orden en los enteros.
Representacin de los nmeros enteros en la recta numrica
2.3 El conjunto de los nmeros racionales
Definicin a partir de los nmeros enteros
Definicin y propiedades: igualdad, adicin, multiplicacin y orden en los racionales
Expresin decimal de un nmero racional
Algoritmo de la divisin entre enteros
Densidad de los nmeros racionales y representacin de stos en la recta numrica
2.4 El conjunto de los nmeros reales
Existencia de nmeros irracionales (algebraicos y trascendentes)
Definicin del conjunto de los nmeros reales
Representacin de los nmeros reales en la recta numrica
Propiedades: adicin, multiplicacin y orden en los reales.
Completitud de los reales
Definicin y propiedades del valor absoluto
Resolucin de desigualdades e inecuaciones
El conjunto de los nmeros naturales
FORMALIZACIN DE LOS NMEROS REALES (G) 3
2.1 El conjunto de los nmeros naturales
2.1.1 Definicin: Postulados de Peano
El conjunto N de los nmeros naturales es tal que:
i) 1 e N
ii) Para cada n e N existe un nico n* e N, llamado el siguiente de n
iii) Para cada n e N se tiene que n* 1
iv) Si m, n e N y m* = n*, entonces m = n
v) Todo subconjunto S de N que tenga las propiedades:
a. 1 e S
b. Para toda k e S implica que k* e S
es el mismo conjunto N
Definicin y propiedades
Adicin en N
2.1.2 Definicin
Sean m, n e N entonces:
i) n + 1 = n*
ii) n + m* = (n + m)*
La adicin, as definida, satisface las siguientes propiedades:
2.1.3 Teorema
Para todo m, n, p e N:
i) m + n e N Cerradura
ii) m + (n + p) = (m + n) + p Asociativa
iii) m + n = n + m Conmutativa
iv) Si m + p = n + p, entonces m = n Cancelativa
Multiplicacin en N
2.1.4 Definicin
Sean m, n e N entonces:
i) n 1 = n
ii) n m* = (n m) + n
La multiplicacin, as definida, satisface las propiedades que se resumen a continuacin:
2.1.5 Teorema
Para todo m, n, p e N:
i) m n e N Cerradura
ii) m (n p) = (m n) p Asociativa
iii) m n = n m Conmutativa
iv) Si m p = n p, entonces m = n Cancelativa
El conjunto de los nmeros naturales
FORMALIZACIN DE LOS NMEROS REALES (G) 4
Tomadas simultneamente, las operaciones de adicin y multiplicacin satisfacen la siguiente ley
distributiva:
2.1.6 Teorema
Para todo m, n, p e N:
m (n + p) = (m n) + (m p)

Orden en N
2.1.7 Definicin
Dados dos nmeros naturales n y m, decimos que n es menor que m, lo que representamos
mediante n < m, si:
x N tal que n + x = m
Los nmeros naturales satisfacen la siguiente propiedad, llamada ley de la tricotoma.
2.1.8 Teorema
Si m y n son dos nmeros naturales cualesquiera, entonces se verifica una y slo una de las
siguientes proposiciones:
i) n < m
ii) n = m
iii) m < n

2.1.9 Teorema
Para todo m, n, p N:
i) m < n m + p < n + p
ii) m < n mp < np
iii) m < n y n < p m < p

2.1.10 Definicin
Dados dos nmeros naturales m y n, decimos que m es mayor que n, lo que representamos
mediante m > n, si n < m
El proceso de una demostracin por induccin matemtica consiste en los siguientes pasos:
i) Escribir claramente la proposicin ( ) P n cuya validez quiere demostrarse, especificando la
variable de induccin y el conjunto de valores que puede asignarse a dicha variable, la
variable contenida en el parntesis de ( ) P , denota la variable de induccin.
ii) Si ( ) P n es una proposicin enunciada para todos los nmeros naturales, se debe verificar el
cumplimiento de la proposicin para el menor valor de n (esto equivale a verificar que el 1
pertenece a S, segn el quinto postulado de Peano).
iii) Demostrar que si ( ) P k es verdadera, entonces + ( 1) P k es verdadera (esto equivale a
demostrar que si e k S entonces + e 1 k S de acuerdo con el quinto postulado de Peano)
El conjunto de los nmeros naturales
FORMALIZACIN DE LOS NMEROS REALES (G) 5
Cuando ii) y iii) se cumplen, se concluye que ( ) P n es verdadera para todo n en el conjunto de los
nmeros naturales.
Ejemplo. Demostrar por el mtodo de induccin matemtica
( ) +
+ + + + = e
1
1 2 3 ... ;
2
n n
n n N
i) Escribiendo claramente la proposicin tenemos:
( )
( ) +
= + + + + = e
1
1 2 3 ... ;
2
n n
P n n n N


ii) Verificamos si (1) P es verdadero
( ) +
=
=
1 1 1
(1) : 1
2
1 1
P

Por lo tanto (1) P es verdadera
iii) Suponemos que ( ) P k es verdadera (hiptesis de induccin) y se tiene que demostrar la
validez de + ( 1) P k (tesis del problema)
( )
( ) +
= + + + + =
1
1 2 3 ...
2
k k
P k k ...(1) Hiptesis
( )
( ) + +
+ = + + + + + + =
( 1) 2
1 1 2 3 ... ( 1)
2
k k
P k k k (2) Tesis
Al analizar la expresin (2) nos damos cuenta de que:
( ) + +
+ + + + + + =
( 1) 2
1 2 3 ... ( 1)
2
k k
k k

Sustituyendo (1) en (2):
( ) ( ) + + +
+ + =
1 ( 1) 2
( 1)
2 2
k k k k
k
Desarrollando el lado izquierdo tenemos:
Trmino ensimo
PROPOSICIN
Variable de
Induccin
Conjunto de
validez
P(k)
El conjunto de los nmeros naturales
FORMALIZACIN DE LOS NMEROS REALES (G) 6
( ) ( )
( )
( )
( ) ( )
+ + + + +
=
+ +
+ + +
=
+ + + +
=
+ + + +
=
2
2
1 2( 1) ( 1) 2
2 2
( 1) 2
2 2
2 2
( 1) 2 3 2
2 2
( 1) 2 ( 1) 2
... . .
2 2
k k k k k
k k
k k k
k k k k
k k k k
Q E D

El conjunto de los nmeros enteros
FORMALIZACIN DE LOS NMEROS REALES (G) 7
2.2 El conjunto de los nmeros enteros
Definicin a partir de los nmeros naturales. La diferencia de nmeros naturales
2.2.1 Definicin
Sea la ecuacin
n + x = m; con m, n N
A su solucin; es decir, al nmero x que sumando a n nos da como resultado m, lo llamaremos la
diferencia m n.
De acuerdo a lo anterior, a los nmeros que se obtienen mediante la diferencia de dos nmeros
naturales les llamaremos nmeros enteros y al conjunto que forma lo representaremos con Z. Esto
es:
2.2.2 Definicin
Z = {x | x = m n; m, n N}
Es claro que el subconjunto Z
+
de Z, definido por: Z
+
={x | x = m n; m, n N; m > n}
Se le conoce como conjunto de los enteros positivos y es precisamente el conjunto de los
nmeros naturales, por lo que N c Z.
Definicin y propiedades
Igualdad en Z
2.2.3 Definicin
Sean a = m n, b = p q dos nmeros enteros, con m, n, p, q N. Entonces:
a = b s m + q = n + p
Adicin en Z
Como N c Z, la adicin en Z debe producir los mismos resultados que la adicin en N cuando los
enteros que se suman son positivos, lo que conduce a la siguiente definicin:
2.2.4 Definicin
Sea a = m n, b = p q dos nmeros enteros, con m, n, p, q N. El nmero a + b se define como:
a + b = (m + p) (n + q)
Cabe mencionar que la adicin en Z satisface todas las propiedades establecidas para la adicin en
N, sin embargo, la adicin en Z cuenta con otras propiedades adicionales:
2.2.4 Teorema
Para todo a, b, c Z:
i) a + b Z cerradura
ii) a + (b + c) = (a + b) + c asociatividad
iii) a + b = b + a conmutatividad
iv) S a + c = b + c, entonces a = b cancelacin
v) a + 0 = a elemento idntico
El conjunto de los nmeros enteros
FORMALIZACIN DE LOS NMEROS REALES (G) 8
vi) a Z tal que a + (a) = 0 elemento inverso
A partir de la adicin y de la propiedad vi) del teorema 2.2.2 se puede definir la sustraccin:
2.2.5 Definicin
Sean a, b Z, el nmero a b se define como:
a b = a + (b)
Multiplicacin en Z
Similar a como se hizo para la adicin, la multiplicacin en Z puede definirse como sigue:
2.2.6 Definicin
Sean a = m n, b = p q dos nmeros enteros, con m, n, p, q N. El nmero - a b se define como
- = - + - - + - ( ) ( ) a b m p n q n p m q
La multiplicacin, as definida, satisface las propiedades enunciadas a continuacin.
2.2.7 Teorema
Para todo a, b, c N
i) - a b Z cerradura
ii) ( ) ( ) - - = - - a b c a b c asociatividad
iii) - = - a b b a conmutatividad
iv) S - = - a c b c y =0 c , entonces a = b cancelacin
v) - = 1 a a elemento idntico
Tomadas simultneamente, la adicin y la multiplicacin satisfacen la siguiente propiedad
distributiva
2.2.8 Teorema
Para todo a, b, c Z
( ) - + = - + - a b c a b a c
La introduccin del cero y los negativos trae como consecuencia la aparicin de algunas
propiedades adicionales para la multiplicacin en Z:
2.2.9 Teorema
Para todo a, b Z
vi) - = 0 0 a
vii) - = - ( ) ( ) ( ) a b a b primera regla de los signos
viii) - = - ( ) ( ) a b a b segunda regla de los signos
Orden en Z
Para los nmeros enteros podemos tambin definir la relacin menor que, como una
generalizacin de la que hemos definido para los naturales

El conjunto de los nmeros enteros
FORMALIZACIN DE LOS NMEROS REALES (G) 9

2.2.10 Definicin
Sea a, b Z:
i) a < b si n N tal que a + n = b
ii) a > b si b < a
Los nmeros enteros tambin satisfacen la ley de la tricotoma enunciada para los nmeros
naturales y la relacin menor que tiene en Z las siguientes propiedades.
2.2.11 Teorema
Para todo a, b, c Z
i) a < b a + c < b + c
ii) a < b y c > 0 ac < bc
a < b y c < 0 ac > bc
iii) a < b y b < c a < c
Representacin de los nmeros enteros en la recta numrica.
Como ahora la recta se extiende en ambos sentidos no tiene un punto inicial, como sucede para
los nmeros naturales, por lo que se considera como punto de referencia el punto que representa
al cero. Los nmeros que se encuentran representados a la derecha de dicho punto se dice que
son positivos y a los que estn a la izquierda negativos.
2.2.12 Definicin
Sea a Z
a es positivo si a > 0
a es negativo si a < 0
En particular el cero no es positivo ni negativo.
El conjunto de los nmeros racionales
FORMALIZACIN DE LOS NMEROS REALES (G) 10
2.3 El conjunto de los nmeros racionales
El cociente de nmeros enteros
2.3.1 Definicin
Sea la ecuacin:
bx = a; con a, b Z
A su solucin, le llamaremos el cociente de a entre b y lo representaremos con
a
b
. A los nmeros
que se obtienen como el cociente de dos nmeros enteros a, b con b 0 les llamaremos nmeros
racionales y al conjunto que forman lo representaremos con Q. Esto es:
2.3.2 Definicin
Q = {x | x =
a
b
, a, b Z, b 0}
Es claro que el subconjunto de Q definido por {x | x =
a
b
, a, b Z, b = 1} es precisamente el conjunto
de los nmeros enteros, por lo que Z Q
Definicin y propiedades
La igualdad en Q
La forma ms comn de trabajar con los nmeros racionales es en forma de quebrados. En
general, si x =
a
b
es un nmero racional con a, b Z y b > 0, y el ltimo factor comn de a y b es el
nmero uno, decimos que
a
b
es la mnima expresin del racional x. De acuerdo con lo anterior,
resulta natural considerar que dos nmeros racionales
a
b
y
c
d
son iguales cuando:
2.3.3 Definicin
Sean
a
b
,
c
d
dos nmeros racionales con a, b, c, d Z y b, d 0, entonces
=
a c
b d
si ad = bc
la cual establece la igualdad de nmeros racionales en trminos de la igualdad de nmeros
enteros.




El conjunto de los nmeros racionales
FORMALIZACIN DE LOS NMEROS REALES (G) 11
La adicin en Q
2.3.4 Definicin
Sean ,
a c
b d
dos nmeros racionales, donde a, b, c, d Z y b, d 0. El nmero +
a c
b d
se define como
+
+ =
a c ad bc
b d bd

La adicin en Q, as definida, tiene las propiedades que se enuncian a continuacin:
2.3.5 Teorema
Para todo x, y, z Q:
i) x + y Q cerradura
ii) x + (y + z) = (x + y) + z asociatividad
iii) x + y = y + x conmutatividad
iv) si x + z = y + z, entonces x = y cancelacin
v) x + 0 = x elemento idntico
vi) x Q tal que x + (x) = 0 elementos inversos
La sustraccin en Q puede definirse ahora a partir de la adicin y de vi) de la siguiente manera
2.3.6 Definicin
Sean ,
a c
b d
Q, el nmero
a c
b d
se define como

= +
a c a c
b d b d

Como consecuencia de i), la sustraccin es cerrada en Q; esto es x, y Q: x y Q
La multiplicacin en Q
2.3.7 Definicin
Sean ,
a c
b d
dos nmeros racionales, donde a, b, c, d Z y b, d 0. El nmero -
a c
b d
se define como
- =
a c ac
b d bd

La multiplicacin en Q, as definida, satisface las propiedades que se establecen en el siguiente
teorema:





El conjunto de los nmeros racionales
FORMALIZACIN DE LOS NMEROS REALES (G) 12
2.3.8 Teorema
Para todo x, y, z Q:
i) xy Q cerradura
ii) x(yz) = (xy)z asociatividad
iii) xy = yx conmutatividad
iv) si xz = yz y z 0, entonces x = y cancelacin
v) x1 = x elemento idntico
vi) si x 0 x
1
Q tal que x x
1
= 1 elemento inverso
Al nmero x
1
se le denomina el inverso de x para la multiplicacin. Cabe enfatizar aqu que todo
nmero racional, con excepcin del cero, tiene un inverso multiplicativo en Q.
La divisin en Q puede definirse ahora a partir de la multiplicacin y de vi) de la siguiente manera
2.3.9 Definicin
Sean ,
a c
b d
dos nmeros racionales y =0
c
d

El nmero
a c
b d
se define como

= -
a c a d
b d b c

Como consecuencia de i), la divisin en Q satisface la siguiente propiedad
x, y Q, y 0: x y Q
Por otra parte, puede demostrarse que los teoremas 2.2.8 y 2.2.9 tambin son vlidos para los
nmeros racionales; esto es
2.3.10 Teorema
Para todo x, y, z Q
x(y + z) = xy + xz

2.3.11 Teorema
Para todo x, y Q
i) x 0 = 0
ii) (x)(y) = (xy)
iii) (x)(y) = xy




El conjunto de los nmeros racionales
FORMALIZACIN DE LOS NMEROS REALES (G) 13
Orden en Q
2.3.12 Definicin
Sean ,
a c
b d
Q, donde b, d Z
+
:
i) <
a c
b d
si ad < bc
ii) >
a c
b d
si <
c a
d b

Como consecuencia de esta definicin y de la ley de tricotoma en Z, la relacin menor que en Q
satisface tambin dicha ley, as como las siguientes propiedades.
2.3.13 Teorema
Para todo x, y, z Q:
i) x < y x + z < y + z
ii) x < y y z > 0 xz < yz
x < y y z > 0 xz > yz
iii) x < y y y < z x < z
Similar a la manera como se defini en Z, diremos que un nmero x Q es positivo si x > 0 y es
negativo si x < 0.
Expresin decimal de un nmero racional
Todo nmero racional tiene una expresin decimal, por ejemplo
= = =
3 7 149
0.375, 0.212121..., 1.12878787...
8 33 132

Se dice que una expresin decimal es peridica cuando un dgito, o un grupo de dgitos, se repiten
indefinidamente a partir de un cierto lugar a la derecha del punto decimal. En general, respecto a
la expresin decimal de un nmero racional podemos establecer el siguiente enunciado.
2.3.14 Teorema
Todo nmero racional tiene una expresin decimal peridica.
2.3.15 Teorema
Toda expresin decimal peridica representa a un nmero racional.

Consideremos la expresin decimal
1.27242424
Buscamos dos nmeros enteros a, b tales que
= 1.27242424...
a
b

El conjunto de los nmeros racionales
FORMALIZACIN DE LOS NMEROS REALES (G) 14
Como tenemos dos dgitos antes de presentarse el perodo por primera vez, multiplicamos por 10
2

para obtener:
=
2
10 127.242424...
a
b
(i)
En vista de que el perodo consta de dos dgitos, multiplicamos la expresin (i) por 10
2
para
obtener:
=
2 2
(10 )(10 ) 12724.2424...
a
b
(ii)
Puesto que la parte decimal de estas dos ltimas expresiones en la misma, restamos (i) de (ii) para
obtener un nmero entero; esto es:
( )
=
=
=
4 2
4 2
10 10 12724 127
10 10 12597
9900 12597
a a
b b
a
b
a
b

por lo que
= =
12597 4199
9900 3300
a
b


Algoritmo de la divisin en los enteros
2.3.16 Teorema (Algoritmo de la divisin para nmeros enteros)
Dados dos nmeros enteros a y b, con b > 0, existen dos enteros nicos q y r, con 0 y < b, tales
que
a = bq + r
Los nmeros a, b, q y r Z reciben el nombre de dividendo, divisor, cociente y residuo
respectivamente. La relacin a = bq + r, que est planteada en trminos de nmeros enteros
exclusivamente, puede ser enunciada en Q como:
= +
a r
q
b b

expresin que nos recuerda la forma como llevamos a cabo el proceso de dividir en aritmtica;
esto es, obteniendo el cociente y un residuo.
Consideremos un nmero racional positivo
a
b
, con a, b > 0:
1. Por el algoritmo de la divisin para enteros, existen
q0, r0 Z tales que
a = bq0 + r0, donde 0 r0 < b
El conjunto de los nmeros racionales
FORMALIZACIN DE LOS NMEROS REALES (G) 15
entonces = +
0
0
r a
q
b b

2. Ahora, como r0 Z, tenemos que 10r0 Z y existen q1, r1 Z tales que
10r0 = bq1 + r1, donde 0 r1 < b
por lo que = +

0 1 1
10 10
r q r
b b

entonces = + +

1 1
0
10 10
q r a
q
b b

3. Ahora, como r1 Z, tenemos que 10r1 Z y existen q2, r2 Z tales que
10r1 = bq2 + r2, donde 0 r2 < b
por lo que = +

1 2 2
2 2
10 10 10
r q r
b b

entonces = + + +

1 2 2
0 2 2
10 10 10
q q r a
q
b b

4. Ahora, como r2 Z, tenemos que 10r2 Z y existen q3, r3 Z tales que
10r2 = bq3 + r3, donde 0 r3 < b
por lo que = +

3 3
2
2 3 3
10 10 10
q r
r
b b

entonces = + + + +

3 3
1 2
0 2 3 3
10 10 10 10
q r
q q a
q
b b

En consecuencia, la expresin decimal de
a
b
ser
=
0 1 2 3
...
a
q q q q
b

El proceso puede continuarse indefinidamente; sin embargo, como los residuos r0, r1, r2, r3, son
nmeros enteros tales que 0 r1 < b, a lo ms, podrn existir b residuos diferentes. Cuando alguno
de los residuos obtenidos se presenta por segunda vez, se inicia el segundo ciclo del perodo, el
cual se repite indefinidamente.
Si
a
b
es negativo, entonces escribimos

=
a a
b b
, donde
a
b
es positivo y por tanto tiene una
expresin decimal peridica.
Densidad de los nmeros racionales
Los nmeros racionales poseen una propiedad conocida como densidad, segn la cual entre dos
nmeros racionales diferentes siempre hay otro nmero racional, como lo establece el siguiente
teorema.
2.3.17 Teorema
Para todo x, y Q, con x < y, z Q tal que:
x < z < y
Cabe hacer notar que los nmeros naturales y los nmeros enteros no poseen la propiedad de
densidad.
El conjunto de los nmeros reales
FORMALIZACIN DE LOS NMEROS REALES (G) 16
2.4 El conjunto de los nmeros reales
Existencia de los nmeros irracionales (algebraicos y trascendentes)
Los nmeros racionales tienen representacin en la recta
numrica, y en virtud de la densidad de Q podra pensarse
que estos son suficientes para llenar la recta; es decir, que
todos los puntos de la recta correspondan a algn nmero
racional, lo cual es falso. Desde la antigedad los gemetras
griegos se dieron cuenta de que no todos los puntos de la
recta corresponden a nmeros racionales. Existen muchos
nmeros que tienen representacin en la recta numrica y no son racionales. A este tipo de
nmeros se les conoce como nmeros irracionales, los cuales no tienen expresin decimal
peridica, caracterstica que los distingue de los nmeros racionales.
Los nmeros irracionales pueden ser de dos tipos; los que son solucin de alguna ecuacin
algebraica con coeficientes enteros (como 2 ) a los que se les llama irracionales algebraicos; y
los que no son solucin de una ecuacin de tal tipo, a los que se les llama irracionales
trascendentes. Como ejemplo de estos ltimos tenemos a los nmeros y e de relevante
importancia en las matemticas.
Definicin del conjunto de los nmeros reales
Al conjunto que contiene tanto a los nmeros racionales como a los nmeros irracionales se le
conoce como el conjunto de los nmeros reales y se le representa con R.
Al conjunto de los nmeros irracionales se le representa comnmente con Q, por lo que podemos
escribir
R = Q Q y = Q Q
y se cumple adems que:
N Z Q R
Propiedades: adicin, multiplicacin y orden en los reales
2.4.3 Teorema
Para todo x, y, z R:
i) x + y R
xy R cerradura
ii) x + (y + z) = (x + y) + z
x(yz) = (xy)z asociatividad
iii) x + y = y + x
xy = yx conmutatividad
iv) x + 0 = x
x 1 = x elemento idntico
v) x R tal que x + (x) = 0
x
1
R tal que x x
1
= 1, si x 0 elementos inversos
vi) x(y + z) = xy + xz distributividad

El conjunto de los nmeros reales
FORMALIZACIN DE LOS NMEROS REALES (G) 17
2.4.4 Teorema
Para todo x, y R:
i) x 0 = 0
ii) (x)(y) = (xy)
iii) (x)(y) = xy
A partir del teorema 2.4.3 pueden tambin definirse las operaciones de sustraccin y divisin en R
como sigue:
2.4.5 Definicin
Para todo x, y R:
i) El nmero x y se define como: x y = x + (y)
ii) Si y 0 el nmero x y se define como x y = xy
1

Orden en R
2.4.6 Teorema
Si x, y R entonces se verifica una y slo una de las siguientes proposiciones:
i) x < y
ii) x = y
iii) y < x
2.4.7 Teorema
Para todo x, y, z R:
i) x < y x + z < y + z
ii) x < y y z > 0 xz < yz
x < y y z < 0 xz > yz
iii) x < y y y < z x < z
Tambin se definen en R la relacin mayor que y los trminos positivo y negativo, de la misma
manera que se definen en Q, es decir:
i) x > y si y < x
ii) x es positivo si x > 0
iii) x es negativo si x < 0
Completitud de los reales
Los teoremas 2.4.3 al 2.4.7 nos muestran que el sistema de los nmeros reales tienen las mismas
propiedades algebraicas y de orden que en el sistema de los nmeros racionales; sin embargo,
sabemos que el sistema de los nmeros reales es ms amplio y ms verstil, puesto que en R
podemos resolver ecuaciones para las cuales no existe solucin en Q.
2.4.8 Definicin
Sea S un subconjunto de R. Un elemento t R es una cota superior de S si:
x t, x S
El conjunto de los nmeros reales
FORMALIZACIN DE LOS NMEROS REALES (G) 18
Entonces, si t es una cota superior de S, cualquier otro nmero real mayor que t ser tambin una
cota superior de S. Si un conjunto tiene cota superior se dice que est acotado superiormente.
2.4.9 Definicin
Sea S un subconjunto de R. Un elemento m R se llama elemento mximo de S si:
i) x m, x S; y
ii) m S
lo que denotamos mediante max S = m
Es decir, un elemento es mximo de un conjunto S si es una cota superior de S y adems pertenece
a S.
A diferencia de las cotas superiores, el elemento mximo de un conjunto, si existe, es nico. El
elemento mximo de un conjunto es la menor de sus cotas superiores. Es posible sin embargo,
hallar conjuntos acotados superiormente para los cuales no existe elemento mximo. Para tales
conjuntos se tiene un concepto que sustituye al de mximo en el sentido de la menor de las cotas
superiores. Tal concepto es el de supremo, que se define a continuacin.
2.4.10 Definicin
Sea S un subconjunto de R. Un elemento p R se llama supremo de S si:
iii) x p, x S; y
iv) q R y x q; x S p q
lo que denominamos mediante sup S = p
Es decir; un elemento p es supremo de un conjunto S si p es una cota superior de S y ningn
nmero menor que p es cota superior de S. El supremo de un conjunto, si existe, es nico.
Cabe resaltar aqu que la nica diferencia entre los conceptos de elemento mximo y supremo de
un conjunto S, estriba es que el mximo debe ser un elemento del conjunto S, mientras que el
supremo puede ser un elemento de S o no serlo.
2.4.11 Teorema (Completitud de R)
Todo subconjunto no vaco de R que est acotado superiormente tiene un supremo que pertenece
a R.
Este teorema no garantiza la existencia de una mnima cota superior para cualquier conjunto de
nmeros reales acotado superiormente, y establece adems que la mnima cota es un nmero real,
es decir, que pertenece a R.
Definicin y propiedades del valor absoluto
2.4.12 Definicin
Sea x un nmero real. El valor absoluto de x, que representaremos con x , se define como:
>
=

<

, s 0
, s 0
x x
x
x x

En general, el valor absoluto de x R ser un nmero real no negativo, es decir, positivo o cero.
Las principales propiedades del valor absoluto se enumeran en el siguiente teorema:
El conjunto de los nmeros reales
FORMALIZACIN DE LOS NMEROS REALES (G) 19
2.4.13 Teorema
Para todo x, y R
i) x 0. Adems x = 0 x = 0
ii) xy = x y
iii) + s + x y x y
A partir de la definicin 2.4.12 y de la representacin de los nmeros reales como puntos de la
recta, se observa que mientras ms grande es x , ms lejos del origen se encuentra el punto que
representa a x. debido a esto, al nmero x se como la distancia de x al centro.
De acuerdo con lo anterior, si es un nmero real positivo, se tendr que un punto x est situado
entre y cuando (y solamente cuando) x < . Esta idea puede generalizarse por medio del
siguiente teorema.
2.4.14 Teorema
Sea R con 0; x R se tiene que:
x x
Este teorema tiene la siguiente interpretacin geomtrica:
{x | x R, x }
0
o
o

Con ayuda del valor absoluto, la distancia entre dos nmeros reales cualesquiera x y y pueden
definirse como el nmero real no negativo x y .
Resolucin de desigualdades e inecuaciones
La relacin menor que y sus propiedades y conceptos relacionados, son de gran utilidad para
describir y manejar intervalos de valores para variables reales. En particular, las propiedades
enunciadas en el teorema 2.4.7 nos permiten despejar, cuando es posible, una variable en una
relacin de desigualdad.