Formalizacin de los Nmeros Reales

M. en I. Gerardo Avils Rosas

Agosto de 2015

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

FORMALIZACIN DE LOS NMEROS REALES (G)

El conjunto de los nmeros naturales

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)
ii)
iii)
iv)
v)

1N
Para cada n N existe un nico n* N, llamado el siguiente de n
Para cada n N se tiene que n* 1
Si m, n N y m* = n*, entonces m = n
Todo subconjunto S de N que tenga las propiedades:
a. 1 S
b. Para toda k S implica que k* S
es el mismo conjunto N

Definicin y propiedades
Adicin en N
2.1.2 Definicin
Sean m, n 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 N:
i)
ii)
iii)
iv)

m+nN
m + (n + p) = (m + n) + p
m+n=n+m
Si m + p = n + p, entonces m = n

Cerradura
Asociativa
Conmutativa
Cancelativa

Multiplicacin en N
2.1.4 Definicin
Sean m, n 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 N:
i)
ii)
iii)
iv)

mnN
m (n p) = (m n) p
mn=nm
Si m p = n p, entonces m = n

FORMALIZACIN DE LOS NMEROS REALES (G)

Cerradura
Asociativa
Conmutativa
Cancelativa
3

El conjunto de los nmeros naturales

Tomadas simultneamente, las operaciones de adicin y multiplicacin satisfacen la siguiente ley
distributiva:
2.1.6 Teorema
Para todo m, n, p 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)
ii)
iii)

n<m
n=m
m<n

2.1.9 Teorema
Para todo m, n, p N:
i)
ii)
iii)

m<nm+p<n+p
m < n mp < np
m<nyn<pm<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 P(k 1) es verdadera (esto equivale a
demostrar que si k S entonces k 1 S de acuerdo con el quinto postulado de Peano)

FORMALIZACIN DE LOS NMEROS REALES (G)

El conjunto de los nmeros naturales

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

1 2 3 ... n

n n 1
;
2

nN

i) Escribiendo claramente la proposicin tenemos:

P n 1 2 3 ... n

n n 1
;
2

Trmino ensimo

Variable de
Induccin

nN
Conjunto de
validez

PROPOSICIN

ii) Verificamos si P (1) es verdadero

P(1) :

1 1 1
2
1 1
1

Por lo tanto P(1) es verdadera

iii) Suponemos que P(k) es verdadera (hiptesis de induccin) y se tiene que demostrar la
validez de P(k 1) (tesis del problema)

P k 1 2 3 ... k

k k 1
2

...(1) Hiptesis

P k 1 1 2 3 ... k (k 1)

(k 1) k 2
2

(2) Tesis

Al analizar la expresin (2) nos damos cuenta de que:

1 2 3 ... k (k 1)

(k 1) k 2
2

P(k)
Sustituyendo (1) en (2):

k k 1
(k 1) k 2
(k 1)
2
2
Desarrollando el lado izquierdo tenemos:

FORMALIZACIN DE LOS NMEROS REALES (G)

El conjunto de los nmeros naturales

k k 1 2(k 1)

(k 1) k 2

2
2
k k 2k 2 (k 1) k 2

2
2
2
k 3k 2 (k 1) k 2

2
2
(k 1) k 2 (k 1) k 2

... Q.E.D
2
2
2

FORMALIZACIN DE LOS NMEROS REALES (G)

El conjunto de los nmeros enteros

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 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 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)
ii)
iii)
iv)
v)

a+bZ
a + (b + c) = (a + b) + c
a+b=b+a
S a + c = b + c, entonces a = b
a+0=a

FORMALIZACIN DE LOS NMEROS REALES (G)

cerradura
asociatividad
conmutatividad
cancelacin
elemento idntico
7

El conjunto de los nmeros enteros

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)
ii)

ab Z
a b c a b c

iii) a b b a
iv) S a c b c y c 0 , entonces a = b
v) a 1 a

cerradura
asociatividad
conmutatividad
cancelacin
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) a 0 0
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

FORMALIZACIN DE LOS NMEROS REALES (G)

El conjunto de los nmeros enteros

2.2.10 Definicin
Sea a, b Z:
i)
ii)

a < b si n N tal que a + n = b

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)
ii)
iii)

a<ba+c<b+c
a < b y c > 0 ac < bc
a < b y c < 0 ac > bc
a<byb<ca<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.

FORMALIZACIN DE LOS NMEROS REALES (G)

El conjunto de los nmeros racionales

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
. A los nmeros
b
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:
A su solucin, le llamaremos el cociente de a entre b y lo representaremos con

2.3.2 Definicin
Q = {x | x =

a
, a, b Z, b 0}
b

Es claro que el subconjunto de Q definido por {x | x =

a
, a, b Z, b = 1} es precisamente el conjunto
b

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
a
general, si x = es un nmero racional con a, b Z y b > 0, y el ltimo factor comn de a y b es el
b
a
nmero uno, decimos que
es la mnima expresin del racional x. De acuerdo con lo anterior,
b
a c
resulta natural considerar que dos nmeros racionales y son iguales cuando:
b d
2.3.3 Definicin
Sean

a c
, dos nmeros racionales con a, b, c, d Z y b, d 0, entonces
b d
a c

b d

si

ad = bc

la cual establece la igualdad de nmeros racionales en trminos de la igualdad de nmeros

enteros.

FORMALIZACIN DE LOS NMEROS REALES (G)

10

El conjunto de los nmeros racionales

La adicin en Q
2.3.4 Definicin
Sean

a c
a c
, dos nmeros racionales, donde a, b, c, d Z y b, d 0. El nmero se define como
b d
b d
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)
ii)
iii)
iv)
v)
vi)

x+yQ
x + (y + z) = (x + y) + z
x+y=y+x
si x + z = y + z, entonces x = y
x+0=x
x Q tal que x + (x) = 0

cerradura
asociatividad
conmutatividad
cancelacin
elemento idntico
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
a c
, Q, el nmero se define como
b d
b d
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
a c
, dos nmeros racionales, donde a, b, c, d Z y b, d 0. El nmero se define como
b d
b d
a c ac

b d bd

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

teorema:

FORMALIZACIN DE LOS NMEROS REALES (G)

11

El conjunto de los nmeros racionales

2.3.8 Teorema
Para todo x, y, z Q:
i)
ii)
iii)
iv)
v)
vi)

xy Q
x(yz) = (xy)z
xy = yx
si xz = yz y z 0, entonces x = y
x1 = x
si x 0 x1 Q tal que x x1 = 1

cerradura
asociatividad
conmutatividad
cancelacin
elemento idntico
elemento inverso

Al nmero x1 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
c
, dos nmeros racionales y 0
b d
d

El nmero

a c
se define como
b d
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

FORMALIZACIN DE LOS NMEROS REALES (G)

12

El conjunto de los nmeros racionales

Orden en Q
2.3.12 Definicin
Sean

a c
, Q, donde b, d Z+:
b d

a c
si ad < bc
b d
a c
c a
si
ii)
b d
d b

i)

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)
ii)
iii)

x<yx+z<y+z
x < y y z > 0 xz < yz
x < y y z > 0 xz > yz
x<yyy<zx<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
0.375,
8

7
0.212121...,
33

149
1.12878787...
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
a
1.27242424...
b

FORMALIZACIN DE LOS NMEROS REALES (G)

13

El conjunto de los nmeros racionales

Como tenemos dos dgitos antes de presentarse el perodo por primera vez, multiplicamos por 102
para obtener:
102

a
127.242424...
b

(i)

En vista de que el perodo consta de dos dgitos, multiplicamos la expresin (i) por 102 para
obtener:
a
(102 )(102 ) 12724.2424...
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:

a
a
102 12724 127
b
b
104 102 ba 12597
a
9900 12597
b
104

por lo que
a 12597 4199

b 9900 3300

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
, con a, b > 0:
b

1. Por el algoritmo de la divisin para enteros, existen

q0, r0 Z tales que
a = bq0 + r0, donde 0 r0 < b
FORMALIZACIN DE LOS NMEROS REALES (G)

14

El conjunto de los nmeros racionales

a
r
q0 0
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
r q
r
por lo que 0 1 1
b 10 10 b
a
q
r
entonces q0 1 1
b
10 10 b
3. Ahora, como r1 Z, tenemos que 10r1 Z y existen q2, r2 Z tales que
10r1 = bq2 + r2, donde 0 r2 < b
r1
q
r
22 2 2
por lo que
10 b 10 10 b
a
q
q
r
entonces q0 1 22 2 2
b
10 10 10 b
4. Ahora, como r2 Z, tenemos que 10r2 Z y existen q3, r3 Z tales que
10r2 = bq3 + r3, donde 0 r3 < b
q
r
r
por lo que 2 2 33 3 3
10 b 10 10 b
q
r
a
q
q
entonces q0 1 22 33 3 3
b
10 10 10 10 b

entonces

En consecuencia, la expresin decimal de

a
ser
b
a
q0q1q2q3 ...
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.
a
a
a
a
es negativo, entonces escribimos
, donde
es positivo y por tanto tiene una
b
b
b
b
expresin decimal peridica.

Si

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.
FORMALIZACIN DE LOS NMEROS REALES (G)

15

El conjunto de los nmeros reales

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:
NZQR

Propiedades: adicin, multiplicacin y orden en los reales

2.4.3 Teorema
Para todo x, y, z R:
x+yR
xy R
ii) x + (y + z) = (x + y) + z
x(yz) = (xy)z
iii) x + y = y + x
xy = yx
iv) x + 0 = x
x1=x
v) x R tal que x + (x) = 0
x1 R tal que x x1 = 1, si x 0
vi) x(y + z) = xy + xz
i)

FORMALIZACIN DE LOS NMEROS REALES (G)

cerradura
asociatividad
conmutatividad
elemento idntico
elementos inversos
distributividad
16

El conjunto de los nmeros reales

2.4.4 Teorema
Para todo x, y R:
i)
ii)
iii)

x0=0
(x)(y) = (xy)
(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)
ii)

El nmero x y se define como: x y = x + (y)

Si y 0 el nmero x y se define como x y = xy1

Orden en R
2.4.6 Teorema
Si x, y R entonces se verifica una y slo una de las siguientes proposiciones:
i)
ii)
iii)

x<y
x=y
y<x

2.4.7 Teorema
Para todo x, y, z R:
i)
ii)
iii)

x<yx+z<y+z
x < y y z > 0 xz < yz
x < y y z < 0 xz > yz
x<yyy<zx<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)
ii)
iii)

x > y si y < x
x es positivo si x > 0
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

FORMALIZACIN DE LOS NMEROS REALES (G)

17

El conjunto de los nmeros reales

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)
ii)

x m, x S; y
mS

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:
x, s x 0
x
x, s x 0

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:
FORMALIZACIN DE LOS NMEROS REALES (G)

18

El conjunto de los nmeros reales

2.4.13 Teorema
Para todo x, y R
i)

x 0. Adems x = 0 x = 0

ii)

xy = x y

iii)

xy 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 }

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.

FORMALIZACIN DE LOS NMEROS REALES (G)

19