31

COMPLETITUD
Ejercicio Completar la siguiente tabla indicando si las propiedades mencionadas se
cumplen o nó en cada una de las estructuras mencionadas.

Propiedades  , ,·,    , ,·,    , ,·,    , ,·,  

Suma ///////////////////// ///////////////////// /////////////////////// ///////////////////////
Conmutativa
Asociativa
Neutro
Opuesto
Producto ///////////////////// //////////////////// ///////////////////// ///////////////////////
Conmutativa
Asociativa
Neutro
Inverso
Distributiva resp. a “+”
< y  //////////////////// //////////////////// ////////////////////// ///////////////////////
Monotonía de la “+”
Monotonía del “·”
Densidad

En el ejercicio inmediato anterior seguramente el lector no encontró diferencias en cuanto a los

aspectos ya estudiados entre (, ,·, ) y (, ,·, ). Sin embargo, al comenzar el tema,
planteamos un problema no resoluble en los racionales medir la diagonal de un cuadrado de lado 1)
como motivo para introducir a los números reales. Lo cual nos conduce a la conclusión de que la
teoría está sin terminar. En otras palabras; exclusivamente de los dos primeros axiomas no se
desprende ninguna diferencia entre. (, ,·, ) y (, ,·, ). Nos falta un tercer axioma que
marcará la diferencia entre ambas estructuras. Antes de llegar a él necesitamos algunas definiciones.

Definición
Consideramos A  , L,    . Diremos que:

1) L es extremo superior de A  L  mín  k   / k  a a  A 

2)  es extremo inferior de A    máx  h   / h  a a  A 

Dicho de otra forma el extremo superior es la menor de las cotas superiores, así como el extremo
inferior es la mayor de las cotas inferiores.
31
 32

Por ser el extremo superior (inf) el mínimo (máx) de un conjunto este es único y en consecuencia
estamos autorizados a hablar de “la” menor (mayor) de las cotas superiores (inf). Anotamos:
L  ext A y   ext A

Ejercicios

I) Analizar si los siguientes conjuntos están o no acotados, si tienen máximo, mínimo,

extremo superior e inferior. En caso afirmativo, indicar cuáles son.

A1   x   / 3  x  8  A2   x   / x  3  A3  A1   A4  A2  
A5   x   / x  2  1n , n  *  A6   x   / x  3  1n , n  * 


A7  x   / x  ( 1)n
n , n  *  A8   7,     1, 6  
A9  x   / x  1  (1) n  n , n  * 
II) Sabiendo que A    extA  3 Indicar si las siguientes proposiciones son
verdaderas, falsas o los datos son insuficientes para contestar. Justifique sus respuestas.

1) Todo número mayor que 3 es cota superior de A.

2) 2,98  A
3) x0  A / x0  2,98
4) Todo elemento de A es menor o igual a 3.
5) 3 A
6) A  
7) Si  max A  max A  3

III) Analizar el valor de verdad de las siguientes proposiciones:

1) Todo conjunto de reales no vació y acotado superiormente tiene máximo.

2) Todo conjunto de naturales no vació y acotado superiormente tiene máximo.
3) Todo conjunto de naturales no vació tiene extremo inferior.
4) Si M  max A necesariamente M  extA .
5) Si M  extA necesariamente M  max A .

V) Sabiendo que A   , A  , L cota superior de A y  cota inferior de A . Probar:

1) L  extA    0 x0  A / x0  L  
2)   ext A    0 x1  A / x1    

Enunciaremos ahora el tercer y último axioma; el cual marcará la diferencia entre

 , ,·,   y  , ,·,   que como vimos hasta el momento son estructuras aparentemente
32
 33

idénticas. Este axioma nos permitirá entre muchas otras cosas resolver el problema de la “medida”
de la diagonal de un cuadrado de lado 1.

Axioma 3 (Axioma de completitud)

Todo conjunto de reales no vacío y acotado superiormente tiene extremo superior.

A 

A    extA

A acotado superiormente 

Nota :
Volvamos ahora a intentar encontrar un número cuyo cuadrado sea 2.
Para ello consideramos A   x   / x 2  2 probaremos:

I)  ext A al cual llamaremos L

II) L2  2

I) Para este objetivo parcial utilizaremos el axioma de completitud, por lo cual debemos
comprobar que:
i) A   lo cual es cierto por la propia definición del conjunto A

1   
ii) A   pues   1 A  A
1 2 
2

iii) A acotado superiormente.

x  A x2  2  x2  4  x2  4  0 
 ( x  2)( x  2)  0 
   x20 

como x  A  x    x  2 

 x2 x  A  2 es cota superior de A

De i) ii) iii) por el axioma de completitud podemos afirmar que  extA al que llamamos L.

II) Intentaremos aquí una demostración por absurdo; suponemos que: L2  2 .

Tenemos pues dos posibles situaciones:

Caso 1 L2  2 Buscamos un número mayor que L  L    que pertenezca al conjunto A

para así producir la contradicción.

Ahora L    A  L    2  L2  2L   2  2
2

33
 34

Recordemos que nuestra intención es encontrar un   0 tal que L    A o lo que es equivalente:

hallar un   0 tal que  L     L2  2L   2  2 . Con la intención de "despejar"  nos conviene
2

que no aparezca un término de segundo grado en  .

Ahora si nos limitamos a elegir 0    1 tenemos que

 2    L2  2L   2  L2  2L    L2    2L  1

2  L2
Y L2    2 L  1  2    (Justifique que 2 L 1  0)
2L  1

2  L2
Como supusimos que L2  2  0
2L  1
 2  L2 
Por densidad de los reales podemos afirmar que  0   / 0   0  min  ,1 
 2L  1 
2  L2
  L   0   L  2 L 0   0  L  2 L 0   0  L   0  2 L  1  L   2L  1  2 
2 2 2 2 2 2

2L  1
 L  0  A 

 Absurdo Así que L2  2
pero L   0  L  extA


Caso 2 L2  2 En este caso para generar la contradicción buscamos un número menor

que L  L    que sea cota superior de A .

Teniendo en cuenta que todo real positivo cuyo cuadrado sea mayor que 2 es cota superior de .
buscamos   0 /  L     2
2

 
 Si k 2  2 como 2  x 2 x  A  x 2  k 2  x 2  k 2  ( x  k ) ( x  k )  0  x  k x  A 
  
   

Ahora  L     2  L2  2L   2  2
2

Nuevamente con la intención de "despejar"  es conveniente que no aparezcan términos de

segundo grado en  .

L2  2
Como L2  2 L   2  L2  2 L y L2  2L  2   
2L

L2  2 L2  2
Ya que en este caso supusimos que L2  2   0   1   / 0  1 
2L 2L
34
 35

Entonces  L  1   L2  2L1  12  L  2L1  2  L  1 es cota superior de A.

2

Pero L  1  L  extA lo cual es contradictorio.

Por lo tanto L2  2 ya que antes probamos que L2  2 podemos afirmar que L2  2 .

Considerando que  r   / r 2  2  L  

Hemos probado la existencia de un real no racional. A los reales no racionales los

denominaremos irracionales.

Nota 1 Considerando A   x   / x 2  2  de manera similar a lo realizado con A es posible

demostrar: i) A   ii) A   iii) A acotado superiormente.
Pero  extA en  pues si existiese, su cuadrado sería 2 y como vimos anteriormente no existe
ningún racional cuyo cuadrado sea 2.

Tenemos pues un conjunto de racionales no vacío y acotado superiormente que no tiene extremo
superior ( en  ). Podemos afirmar entonces que la diferencia entre las estructuras de los reales
y de los racionales es que la primera es un cuerpo ordenado y completo, y la segunda es también
un cuerpo ordenado pero no completo .

¿  , ,·,   es completo? ¿Y  , ,·,   ?

Nota 2 Es posible demostrar que el sistema axiomático presentado es consistente y categórico; en

otras palabras existe efectivamente un modelo que cumple con los 3 axiomas presentados, lo cual
asegura la consistencia, y cualquier cuerpo ordenado y completo es el de los números reales (salvo
isomorfismos).
Lo primero lo discutiremos posteriormente, la categoricidad creemos escapa en este momento a
nuestras posibilidades.

Veamos ahora algunas otras consecuencias de la completitud de los números reales.

Teorema Todo conjunto de reales no vacío y acotado inferiormente tiene extremo inferior.

A 

A    extA
A acotado inferiormente 
Dem.
Consideramos C   x   / x  a ;a  A  . Intentaremos demostrar:
35
 36

I)  ext C al que llamaremos  .

II)   ext A

I) Para este primer objetivo utilizaremos el axioma de completitud; para lo cual necesitamos probar:

i) C   Lo cual es cierto por la propia definición de C

ii) C   A por hipotesis   a0  A   a0  C  C  
iii) C acotado superiormente

A está acotado inferiormente por hip.  k  ; k  a a  A 

  k  a   a C  k es cota superior de C.

De i) ii) iii) por el axioma de completitud se desprende que  ext C al cual denominamos 

II) Queremos probar ahora que -  es el extremo inferior de A; o sea que

 =   máx  h   / h cota inferior de A  para lo cual hay que
demostrar:
1)  cota inferior de A. 2)   h h cota inferior de A.

1)   ext C   es cota superior de C    a   a  C     a a  A

Entonces  es cota inferior de A.

2) Intentaremos aquí una demostración por absurdo. Suponemos que h cota inferior de A
tal que   h

Si h es cota inferior de A  h  a a  A   h  a   a  C   h es cota superior

de C. Pero si   h    h . Tendríamos una cota superior de C  h  menor que el ext C ,
lo cual es absurdo.

De 1) y 2) tenemos que   ext A

Teorema
El conjunto de los números naturales no está acotado superiormente.

Dem: (por abs) Suponemos que  está acotado superiormente como además sabemos que
 y    ext   
Ahora   1 que es menor que  no es cota superior de    n0   / n0    1 
 n0  1   Pero n0  1  y   ext  lo cual es absurdo.
36
 37

Observación: Como consecuencia de este resultado  no está acotado ni superior ni inferiormente.

Teniendo en cuenta que    resulta que  tampoco está acotado superior ni inferiormente.

Teorema (de Arquimedes)

H) a,b   T)  n0   / n0 a  b

Dem Como  no está acotado superiormente

b b
 n0   / n0    n0   / n0 a  b
a a
Discutiremos a continuación la "distribución" de naturales, enteros, racionales e irracionales dentro
de los reales. Lo primero que demostraremos es que todo real se encuentra comprendido entre dos
enteros consecutivos. Más concretamente:

Teorema a    y es único z   / z  a  z  1

Dem. Si a  0 Consideramos H   x   / x  a Teniendo en cuenta que

H  , H    0  H  y que H está acotado superiormente en 
(por cualquier natural mayor que a) buena ordenación mediante podemos
afirmar que máx H al que llamaremos n.
 nH  n  a
Si n  máxH  
n  1  H  n  1  a
Por lo tanto si a  0 n   / n  a  n Siendo entonces n el entero
buscado.

Si a  0 y además a  el entero buscado es el propio a. En caso de que a 

podemos afirmar que a   . Además a  0 y por lo demostrado
anteriormente n   / n  a  n  1 como a   
 n   / n  a  n  1   n  1  a  n
Por lo tanto en este caso también z    z  n  1 / z  a  z  1

La demostración de la unicidad la dejamos a cargo del lector.

Definición
Sea x   ; llamamos parte entera de x (anotamos  x  ) al entero z
tal que z  x  z  1

37
 38

7
2
   
Ej    3, 2  1 ,  2  2

El teorema demostrado anteriormente me asegura que todo real tiene parte entera.

Teorema Densidad de  en 

H) a,b   ; a  b T)  r   / a  r  b

Dem a  b  b  a     n  N / n( b  a )  1   n  N / nb  na  1
Llamando z   na  tenemos que z  na  z  1 De donde resaltamos na  z  1

Por otra parte z  na   z  na  z  1  z  z  1  na 

 z  1  na  1 
  nb  na  z  1  na  nb  z  1
como nb  na  1 

z 1
De ambas desigualdades subrayadas tenemos na  z  1  nb  a  b
n
z 1
Por lo tanto  r   / ar b
n

Ejercicios 1-Probar:

 1) x  y    
x  
   2) x  y    
y    x
 3) Si además x  0 x.y       
 y
2- En el ejercicio anterior nos piden demostrar que el resultado de operar un racional y un
irracional es irracional. ¿Qué ocurre si operamos dos irracionales?

Teorema Densidad de    en 

H) a,b   a  b T)  c     / a  c  b

Dem a  b  a  2  b  2   r   / a  2  r  b  2  a  r  2  b
Como r es racional y 2 es irracional   c  r  2     tal que: a  c  b

38
 39

Observación: Utilizando reiteradamente la densidad de  en  y de    en  podemos

afirmar que en un intervalo cualesquiera de reales hay infinitos racionales e irracionales. Lo cual
implica que entre dos racionales hay infinitos irracionales y entre dos irracionales hay infinitos
racionales.

En otro capítulo veremos otras consecuencias de la completitud de los reales vinculadas a las
funciones exponenciales y sus inversas las logarítmicas.

Bibliografía consultada para la elaboración de este material:

Cálculus volumen 1 - Tom M. Apostol - Reverte.

Número Real, Rodolfo Louro – C.E.I.

Álgebra I - Armando Rojo - El Ateneo.

Notas de Álgebra I - Daniel Siberio - C.E.I.PA.

I.P.A. - Abril del 2010 - Responsable: Daniel Siberio.

39