UNIVERSIDAD NACIONAL EXPERIMENTAL POLITECNICA

“ANTONIO JOSÉ DE SUCRE”

VICE-RECTORADO “LUIS CABALLERO MEJIAS”
NÚCLEO CHARALLAVE.

ÁREA: MATEMÁTICAS
PROF.: JOSE LEIRA

CONSTRUCCIÓN AXIOMÁTICA DE LOS NÚMEROS REALES

Existen diversos métodos para construir (introducir), los números reales.

Primero: Construcción axiomática de , esto es, supóngase que existe un
conjunto no vacío de elementos, llamado números reales, que satisfacen los
siguientes axiomas: i) Axiomas de cuerpo, ii) Axiomas de orden y iii) Axioma
de completitud, (Axioma del supremo). Segundo: Construcción de , a partir
de las cortaduras de Dedekind. Esto puede expresarse, diciendo que el cuerpo
ordenado de números racionales , es isomorfo al cuerpo ordenado de ,
cuyos elementos son las cortaduras racionales. Por supuesto que no es
de ninguna manera el mismo que , pero las propiedades que nos
interesan, (la aritmética y el orden), son las mismas en los dos cuerpos. Esta
identificación de con , permite considerar a como un subconjunto de .
Tercero: Finalmente, otra construcción presentada, es la que define a cada
número real como una clase de equivalencia de sucesiones de Cauchy de
números racionales.

En esta oportunidad, se emplean un conjunto de axiomas y teoremas

para construir el conjunto de los números reales. Considérese el conjunto
numérico , al cual denominamos Conjunto de los Números Reales,
conjuntamente con dos operaciones, la adición “+” y la multiplicación “ ” que
satisfacen los siguientes axiomas:

Axiomas de Cuerpo:

i) Las operaciones “+” y “ ”, son funciones llamadas suma y producto

respectivamente, que son leyes de composición interna en , es decir, la suma
y el producto son cerradas en , esto es: (Ley de Clausura de “+” y “.”).

1) , talque: ( ) ( )
2) , talque: ( ) ( )

ii) Propiedad Conmutativa:

( ) y ( )

iii) Propiedad Asociativa:

( ) ( ) ( ) y ( ) ( ) ( )
iv) Propiedad Distributiva:

( ) ( ) y ( ) ( )

v) Elemento Neutro o identidad:

( ) ( ) y ( ) ( )

vi) Existencia del Inverso: (Aditivo y Multiplicativo).

( ) ( ) y ( ) ( )
( * +)
Nota:
Inverso Aditivo: , talque: ( )
, talque: ( )
El número , se llama opuesto aditivo de .

Inverso Multiplicativo: , talque:

, talque:
El número , se llama recíproco de x.

De los axiomas de cuerpo, se deducen todas las leyes y propiedades

usuales del álgebra de los números reales, resumidos en proposiciones tales
como: Teoremas, Lemas y Corolarios.

1.1. Teorema: (Ley de Cancelación para la Suma).

( )

Demostración: Sabemos que, ( ) ( ) ( ) . Supóngase

que existe , tal que: , luego:

(Por hipótesis)
( ) ( ) ( ( ) ) Ley de Clausura
( ) ( ) ( ( ) ( ) )
(Porque )
( )

Obsérvese, que éste teorema demuestra que existe un solo número real
que tiene la propiedad del , esto es: ( ) ( ) . En
particular, supóngase que existen y , tales que: y .
Luego: , (Por ley de cancelación).

1.2. Teorema: (Posibilidad de Sustracción).

Dados y , existe uno y sólo un talque: . En partículas,

se escribe simplemente y se denomina el negativo de .
Elaborado por: Prof.: José N. Leira L.
Demostración: Se quiere probar que: . Sea , talque y
. Luego, ( ) ( ) , e.e., . El
número , se denota por . En particular, se escribe y se
llama el negativo de .

Nota: ( ) ( ) ( ) ( )
( ) ( ) ( ) (Propiedad Conmutativa)
( ( )) ( ) (Propiedad Asociativa)
( ) ( ( ) )
( ) (Elemento Neutro)
(Ver proposición 1.1.)

1.1. Proposición: Probar que ( )

Demostración: El inverso aditivo en es único, y dice que:

( ) ( ) ( ) .
Luego:
(( ) ( ) )
( ( )) (( ) ( ) ( ) )
( ) ( ) (( ) ( ) ( ) )
( ) (( ) ( ) ( ) )
( ) (( ) ( ) )

1.3. Teorema: ( )

Demostración: Sean , tal que: y ( ). Se quiere

probar que . Sabemos que , entonces . De manera que
. Luego:

( ( )) (Porque ( ))
(( ) ) (( ) ( ) ( ) )
(( ) ( ) ( ) )
(( ) ( ) )
(Porque )

Finalmente, , e.e., , por ley de cancelación y propiedad conmutativa.

1.4. Teorema: ( )

Demostración: Sabemos que el inverso aditivo es único y que se enuncia,

( ) ( ) ( )

Supóngase que y que ( ) y ( ) ( ) . Luego, como

( ) ( ) ( ) ( ) , en virtud del teorema que
define la ley de cancelación.
Elaborado por: Prof.: José N. Leira L.
1.5. Teorema: ( )

Demostración: Sea ( ) y . Luego, basta probar que

. En efecto:

( ) ( ) ( ) ( ) ( )
( ) ( ) .

Falta sólo la justificación, hágalo como ejercicio de comprensión.

1.6. Teorema: ( )

Demostración: Sea , tal que , en virtud de la existencia y

unicidad del neutro aditivo. ( ). Luego:

( ) (Porque )
(Por ley distributiva, ( ) )

Como: , entonces , luego, , en virtud

de la ley de cancelación.
Pruébese ahora que . En efecto:

(Porque )
(Propiedad conmutativa)

Además ( ) y , entonces , y
de acuerdo con la ley de cancelación, se obtiene .

1.7. Teorema: (Ley de Simplificación para la Multiplicación)

( ) ( )

Demostración: Nótese que ,( * +), es decir . Luego:

(Por hipótesis)
( ) ( ) ( )
( ) ( ) (Propiedad Asociativa en )
( )
( )

1.2. Proposición: Pruébese que , es único

Demostración: Supóngase que existen y , tal que:

)
)

Elaborado por: Prof.: José N. Leira L.

Luego, en particular: y , por lo tanto:

1.8. Teorema: (Posibilidad de la División)

Dados y en , con , existe uno y un solo talque , se

designa por y se denomina, cociente de y . En particular, y
designa el recíproco de .

Demostración: Se quiere probar que . Sea , tal que y sea

, tal que . Luego:

( ) ( )

El número , se designa por , ya que:

1.9. Teorema: ( )

Demostración: Por hipótesis y así , entonces existe .

Por lo tanto, como , tenemos que: ( ) . Luego:

( ) ( )

1.10. Teorema: ( )

Demostración: Sabemos que para todo * +, existe , tal

que: . Supóngase que , luego: , por tanto
,de manera que, existe ( ) ,talque: ( ) ( ) .
Luego:
( ) y ( ) ( )

En virtud, de la ley de simplificación, lo cual completa la prueba.

1.11. Teorema: ( )

Demostración: Dados , entonces por ley de clausura . Por

hipótesis . Además ( ) luego ( ) de manera que
( ) , o sea que por ley de cancelación ( ) . Ahora bien,
, entonces si , por lo tanto: ( ) o sea que
( ( ) ) , así , en consecuencia .
Elaborado por: Prof.: José N. Leira L.
 Similarmente, se prueba . En efecto, por hipótesis , además
, entonces ( ) , luego ( ) . Sea , esto
es, , entonces , de donde . Como y en virtud
de la existencia y unicidad del elemento neutro, que implica
por ley de cancelación que , esto es de donde: ( ) ,
asociando ( ( )) , es decir lo que implica .

1.12. Teorema: )( ) ( ) ( ) y )( )( )

Demostración ): Se quiere probar que ( ) ( ). Si , entonces

, por lo tanto, existe ( ) , tal que ( ) ( ) .
Supóngase que ( ) ( ) , entonces ( ) ( ) y
( ) ( ) , luego, por cancelación tenemos ( ) ( ) y
( ) ( ) , esto es, ( ) ( ). Similarmente, supongamos ahora que:
( ) ( ) , luego, ( ) ( ) , es decir:
( ) ( ).

1.3. Proposición: Pruebe que: ( ) ( )

Demostración: El teorema 1.3., asegura que ( ), de manera que

por ley de cancelación tenemos ( ). Luego, ( ) ( ), lo cual
completa la demostración ).

Demostración ): Probemos ahora que: ( )( ) . Sabemos que

( ) ( ) . Supóngase entonces que: ( )( ) ( ) , de
donde ( )( ) ( ) ( ), o sea que por ley de cancelación
( )( ) .

1.13. Teorema: (Regla de la suma de fracciones)

Demostración:

( ) ( )( ) ( ) ( )

( ) ( ) ( ) ( ) ( ) ( )

( ) ( )

(Falta justificar los pasos, queda como ejercicios de comprensión)

1.4. Proposición: ( ) ( ) * +

Se hará la demostración por el principio de inducción.

Elaborado por: Prof.: José N. Leira L.
i) Veamos que la igualdad es válida para , esto es:

( ) ( ) ………..(1) y ……….(2)

De (1) y (2), vemos que: ( ) se satisface.

ii) Supóngase que la igualdad es válida para , es decir:

( ) . (Hipótesis de Inducción)

iii) Demostremos la igualdad para , esto es:

( ) . (Tesis).

Demostración: ( ) ( ) ( ) (Definición de Potenciación)

( )( ) (Hipótesis de Inducción)
=( )( ) (Propiedad Conmutativa)
( ) (Propiedad Asociativa)
( ) (Definición de Potenciación)
(Propiedad Conmutativa)
(Definición de Potenciación)

Luego, de i), ii) y iii), la igualdad es válida para todo * +.

Supóngase ahora que , entonces es negativo y , entonces:

( )
( )

Se satisface para todo entero.

1.14. Teorema: (Regla de la multiplicación de fracciones).

( )

Demostración:

( ) ( ) ( ) ( )

( )( )

1.15. Teorema: (Regla de la división de fracciones)

( )

Elaborado por: Prof.: José N. Leira L.

Demostración:
( ) ( )

1.5. Proposición: Demuestre que

Demostración:

(Existencia del elemento neutro)

(Porque )
( ) (Porque ( ) ( ) ( ))
( ) (Propiedad distributiva)
(Porque ( ) )
(Porque )

1.6. Proposición:

Demostración:

1.7. Proposición: El cero no tiene recíproco.

Demostración: Se quiere mostrar que no existe. Para ello, supóngase que

existe, entonces , lo cual es un absurdo. Como la
contradicción proviene de suponer que existe, entonces no existe y por
ende el cero no tiene recíproco.

1.8. Proposición: ( ) ( )

Demostración: Sabemos que el inverso aditivo es único, entonces si

( ) implica que ( ) , tal que:

( ) ( ) ( ) ( ) …….(1)

Supóngase ahora que:

( ) ( ) ( ) ( ) ……(2)

Luego, de (1) y (2), se tiene:

( ) ( ) ( ) ( ) ( ) ,y

( ) ( ) ( ) ( ) ( )

Elaborado por: Prof.: José N. Leira L.

Axiomas de Orden:

Tales axiomas establecen una relación de orden en el conjunto de los

números reales, ( ). Dicha relación se denota con los símbolos:

Se lee menor que. - Se lee mayor que.

Se lee menor o igual que. - Se lee mayor o igual que.

1.1. Definición: Sea un subconjunto de números reales, esto es, ,

se llama el conjunto de los números reales positivos, y satisface que la
adición y el producto , son leyes de composición interna en , es
decir:
( ) y

1.2. Definición: El conjunto es un conjunto ordenado, si , entonces

, es un número real positivo.

Axiomas:

vii) ( ) y .( es cerrado para y )

viii) ( ) , pero no ambos.

( y )

ix)

1.3. Definición: Los símbolos , , y , se definen de la

siguiente manera:

 .( es positivo)
 .
 .
 .

Nota: .
es positivo,
, se dice que es negativo,
, se dice que es no negativo
( y )
( y )
( y )
( y )

De los axiomas de orden, se deducen todas las reglas usuales del cálculo
con desigualdades, las más importantes serán demostradas como teoremas.

Elaborado por: Prof.: José N. Leira L.

1.16. Teorema: (Propiedad de Tricotomía)

( )

Nota: Se verifica una y solo una de las relaciones anteriores.

Demostración: Sea , tal que . Supóngase que , entonces

y , de manera que, . Luego, como ,
entonces no es cierto que ( ) y ( ) , es decir, que es falso que
y que , puesto que, , esto es, . Supongamos ahora que
, entonces , pero no ambos, esto es, ( )
( ) ( ) , o sea que , pero no ambos.

1.17. Teorema: (Propiedad Transitiva).

( )

Demostración: Por hipótesis, se tiene que: …(1), y que

…(2). Sumando miembro a miembro (1) y (2), se tiene que:

( ) ( )

1.18. Teorema: ( )

Demostración: La adición “+” es cerrada en , esto es, dados , la

suma está en , es decir ( ) . Luego, por hipótesis: , o sea
Sea y , de manera que: ( ) ( ) ,
es decir: , o sea de donde .

1.19. Teorema: ( )

Demostración:

( )

1.20. Teorema: ( )

Demostración: Sabemos que el producto es cerrado en . Por hipótesis ,

entonces . Se presentan dos casos:

1er Caso: )
2do Caso: ) ( )( ) ( )

1.21. Teorema:

Demostración: Nótese que , de donde: . Pero es un

absurdo, pues no es cierto que . Por tanto, la única posibilidad es
que . Tómese , en el teorema 1.20., y
Elaborado por: Prof.: José N. Leira L.
1.22. Teorema: ( )

Demostración: Por hipótesis se tiene que:

( )

1.23. Teorema: ( ) . En particular, .

Demostración: Por hipótesis, tenemos que:

( )

( )

En particular,

1.24. Teorema: ( ) ( ) ( )

Demostración: Sea . Supongamos que , entonces

existe , talque . Por hipótesis, tenemos que: . Luego,
( ) , o sea ( ) , esto es , de donde . Por lo tanto,
( ), si . Supóngase ahora que, , entonces existe
( ) , talque: ( ) , o sea que ( ) , es decir: ,
esto es, , así que: , sí . Similarmente, se demuestra
para .

1.25. Teorema:

Demostración:
, luego:

( ) ( ) ( ) ( )

1.9. Proposición: No existe ningún número real tal que:

Demostración: Supóngase que , luego: ó . Si

, entonces , lo cual es un absurdo, ya que, si ( )
entonces . Mejor aún, para , implca y para , también
, lo cual contradice el hecho de que . Además, si , entonces
=0, lo cual es imposible. Si , entonces , que igualmente
contradice el hecho de que , puesto que, . En consecuencia,
no tiene solución en .

1.10. Proposición: La suma de dos números negativos es negativo.

Elaborado por: Prof.: José N. Leira L.

Demostración: Sean , tales que: y , entonces y
, de manera que: , esto es, ( ) , o sea que .

1.11. Proposición: i) Si , también y

ii) Si , entonces

Demostración i): Sea , entonces , y por hipótesis se tiene que:

(Por hipótesis)
(Ley de clausura)
(Porque )
(Porque )
(Ley de simplificación)
(Porque )

Demostración ii): Si , entonces , de donde , esto es,

, de donde: , en virtud de la existencia y unicidad del elemento
neutro para la adición.

1.12. Proposición: Para dos números reales cualquiera, se tiene .

Si , entonces .

Demostración: En virtud del axioma viii), se tiene que: implica

ó . Supóngase que , entonces ( ) ó ( ), de
donde: ( ) ( ), de manera que ( ) ó
(( )( ) ( )( )) , esto es ( ) ( ), es decir:
. Supongamos ahora que: , entonces ( )
( ), o sea que, ( ) ó ( ), de donde:
, lo cual completa la prueba.

Números Enteros y Racionales

Un subconjunto de números reales se llama inductivo si satisface las

siguientes propiedades:

1) El número pertenece al conjunto

2) Para todo en el conjunto, pertenece también al conjunto.

Definimos a los enteros positivos como aquellos números reales que

pertenecen a todo conjunto inductivo.

1.4. Definición: (Enteros Positivos)

Un número real, se llama entero positivo si pertenece a todo conjunto

inductivo.
Elaborado por: Prof.: José N. Leira L.
 Sea * +, es un conjunto inductivo, ya que: a) contiene al
, y b) contiene a , siempre que contenga a . Esta propiedad del conjunto
, constituye la base lógica de un tipo de razonamiento, que se denomina
Demostración por Inducción.

Los opuestos a los enteros positivos, se llaman enteros negativos. Los

enteros positivos y los enteros negativos constituyen el conjunto , que
denominamos el conjunto de los números enteros, a saber:

* +

Los cocientes de enteros , , se llaman números racionales, ,

definidos por:
{ }

Nota: Es claro hacer notar, que lo conjuntos de los números enteros, , y los
números racionales, , se construyen a través de relaciones de equivalencias.

El conjunto de los números racionales, satisface todos los axiomas de

cuerpo y de orden, es decir, el conjunto de los números racionales es un
cuerpo ordenado, igual que , el conjunto de los números reales. Los números
reales que no son racionales, se llaman números irracionales.

Cota Superior, Elemento máximo y Extremo Superior de un Conjunto

Los axiomas expuestos hasta ahora, describen todas las propiedades de

los números reales, pero insuficientes para explicar que cada punto de la recta
corresponda a un número real y viceversa, en otras palabras, hay que cubrir
las lagunas que encontramos en la recta que no son números racionales, por
ejemplo, √ y está sobre la recta. Por lo tanto, es necesario establecer la
existencia de los números irracionales.

1.13. Proposición: Pruébese que √ no es racional.

Demostración: Se quiere probar que √ , para ello, supóngase que

√ , entonces √ , con , donde ( ) , es decir, que la
fracción es irreductible. Ahora bien:

√ ( )

Lo cual significa que, con , entonces con . Luego,

, esto es, , es decir: con . Así, los enteros y
son múltiplos de . En consecuencia, es una fracción reductible con
( ) . Lo cual contradice el hecho de que √ . Por lo tanto, la
Elaborado por: Prof.: José N. Leira L.
suposición hecha es falsa y lo cierto es que √ . Así √ , debe ser un
número irracional.

Para completar la prueba, se probará la siguiente proposición.

1.14. Proposición: Para todo entero se verifica que si su cuadrado es par,

entonces él es par.

Demostración: Se quiere probar que: ( ) .

Supóngase que es impar, entonces debe ser impar. En efecto:

( ) ( )

Finalmente, todo entero cuyo cuadrado es par, será par.

Geométricamente, es fácil observar el hueco que hay sobre la recta real

cuando √ , (ver figura 1), lo cual, muestra la necesidad de establecer los
números irracionales.

Fig. 1. Número Irracional √ .

La figura , es un cuadrado de lado
obsérvese, que la diagonal tiene una
magnitud igual a √ , el cual, es un
número irracional ubicado entre dos
racionales, a pesar de que entre dos
números racionales existen infinitos
√ racionales. Para establecer dicha
afirmación, se demostrará la siguiente
proposición.

1.15. Proposición: Entre dos números racionales, existen infinitos racionales.

Demostración: Sean , tal que, , puesto que , es un conjunto

ordenado. Se quiere mostrar que, dado , tal que, , entonces existe
, tal que, . En efecto:

Además:

Luego:

Elaborado por: Prof.: José N. Leira L.

 Hecho que nos dice que entre dos números racionales, existen infinitos
racionales, sin embargo, se pueden encontrar huecos, como el caso de √ , el
cual es un número irracional.

En álgebra elemental, se presentan números irracionales cuando se trata

de resolver ciertas ecuaciones cuadráticas. Por ejemplo, se desea encontrar un
número real , tal que A partir de los axiomas anteriores, no se puede
probar que exista un , en el sistema de los números reales que satisfaga tal
ecuación, ya que, estos axiomas son satisfechos también, por los números
racionales y no hay ningún racional, cuyo cuadrado sea . Veamos una
demostración de tal afirmación.

1.16. Proposición: Demostrar que , no tiene solución en .

Demostración: Supóngase que tiene solución en , entonces existen

, tales que y( ) , o sea la fracción es irreductible.

Luego, , entonces . Por lo tanto, , con , y en

consecuencia es par, es decir: , . Por otra parte, , esto
es, , y así tenemos que es par. Lo cual, contradice el hecho de que
( ) , y por tanto, la fracción sería reductible. Como la contradicción
proviene de suponer que tiene solución racional, entonces la solución
que es √ , ha de ser irracional. (Ver fig. 1).

La demostración de que , no tiene solución en , muestra que los

racionales tienen ciertas lagunas, que se deben cubrir con la introducción de
los números irracionales en la construcción del sistema de los números reales.
El axioma del supremo o extremo superior, atribuye así una propiedad de
continuidad en la recta real, de manera que, cada número real corresponda a
un punto sobre la recta y cada punto de la recta represente un número real.

Para concretar dicho axioma, se deben establecer los conceptos

fundamentales en que se basa, principios, tales como: extremo superior,
elemento máximo y extremo inferior, de conjuntos de números racionales y
números reales. Una condición necesaria y suficiente para ello, es que los
conjuntos sean ordenados.

1.5. Definición: (Conjunto ordenado).

Sea es un conjunto. Un orden en es una relación representada por el

símbolo , y tiene las dos propiedades siguientes:

i) Si una y sólo una de las proposiciones siguientes es cierta:

ii) Sean Si entonces

Elaborado por: Prof.: José N. Leira L.

Nota: La notación indica que , sin especificar cuál de las dos
se cumple. Dicho de otra manera, es la negación de

1.6. Definición: Un conjunto ordenado es aquel en el que se ha establecido

un orden. Por ejemplo, es un conjunto ordenado si se define, si
es decir un número racional positivo.

Geométricamente, supóngase que se toman sobre la recta,

tal que: , entonces . (Ver figura 2).

Fig. 2. Orden en .

( )

+ + + + +
0 …

Consideremos ahora que, tal que:

entonces ( ) es decir, (Ver figura 2).

1.6. Definición: (Cota Superior).

Supóngase que es un conjunto ordenado, y Se dice que es un

conjunto acotado superiormente, si existe talque para todo
Geométricamente tenemos que:
Fig. 3. Cotas Superiores.

Conjunto Cotas Superiores

del conjunto
Conjunto

( ( / )/ / / / / / / )
.

Obsérvese que , es una cota superior de , ya que, para todo

Por tanto, podemos afirmar que: es una cota superior de . Mejor aún,
todos los elementos de tales que, con son cotas superiores del
conjunto E. (Ver figura 2).

1.7. Definición: (Elemento Máximo).

Si una cota superior pertenece también al conjunto , entonces se

llama elemento máximo del conjunto . A lo sumo puede existir un que sea
elemento máximo. Si existe, se escribe:

Elaborado por: Prof.: José N. Leira L.

Así que, si y , para todo . Un conjunto sin cota
superior se dice que es no acotado superiormente.

1.8. Definición: (Cota Inferior).

Supóngase que es un conjunto ordenado, y Se dice que es un

conjunto acotado inferiormente, si existe , tal que, para todo
A se le denomina cota inferior de

Veamos la geometría de la definición 1.8., (Cotas inferiores).

Fig. 3. Cotas Inferiores.

Conjunto
Cotas inferiores
del conjunto Conjunto

(/ / / / / / // ( / ) )
.

Nótese que: existe , tal que , para todo Luego, es una cota
inferior de . Mejor aún, todos los elementos de , tales que, , con
son cotas inferiores del conjunto

1.9. Definición: (Supremo de = ).

Supóngase que es un conjunto ordenado, y está acotado

superiormente. Supongamos, además, que existe , con las siguientes
propiedades:

i) es una cota superior de .

ii) Si para toda en , , entonces no es cota superior de

Entonces se denomina la mínima cota superior de De ii), es evidente que a

lo sumo, hay una y sólo una que llamaremos supremo de y escribimos:

Geométricamente, tenemos:
Fig. 4. Extremo Superior.
Conjunto Cotas superiores
del conjunto
Conjunto

( ( / )//////////////////)

Observe que para todo en Luego es una cota superior de

Además, existe en talque, y por tanto, no es cota superior de y
en consecuencia

Elaborado por: Prof.: José N. Leira L.

1.26. Teorema: Dos números distintos no pueden ser extremos superiores,
(supremos), para el mismo conjunto.

Demostración: Sean y dos extremos superiores para un conjunto . La

propiedad ii) implica que: , puesto que . Análogamente, ,
ya que, . Luego, se tiene que .

x) Axioma del extremo superior. (Axioma de completitud o del supremo).

Todo conjunto no vacío de números reales acotado superiormente

posee extremo superior o supremo, esto es, existe un número real , tal que,
.

Es claro hacer notar, que el extremo superior de no pertenece

necesariamente a . En realidad pertenece a , si y solo si, posee
máximo, en cuyo caso .

Ejemplos:

1.- Sea el conjunto de todos los números reales positivos, . ¿Es un

conjunto acotado?¿tiene máximo y mínimo?¿Cuáles? Señale los extremos
superior e inferior, si existen.

Solución: Sea el conjunto * + . no tiene cotas superiores y

por tanto, elemento máximo ni supremo. Está acotado inferiormente por el
elemento , pero por tanto, y .

2.- Sea el conjunto de todos los números reales , tales que, . Este
conjunto está acotado superiormente por el e inferiormente por el . Como
, entonces y .

3.- Sea el conjunto de todos los números reales , tales que, . Este
conjunto está acotado superiormente por el e inferiormente por el .
Además: y , entonces y .

1.10. Definición: Se dice que un conjunto ordenado tiene la propiedad de

la mínima cota superior, si lo siguiente es cierto: Si , y está
acotado superiormente, entonces existe en Geométricamente,
tenemos que:
Fig. 4. Supremo.
Conjunto
Cotas superiores
Conjunto

( ( / )///////)

Obsérvese que, para todo por tanto, es una cota superior de .

Además, existe talque , y por tanto, no es cota superior de
puesto que, es la mínima cota suprior de es decir,
Elaborado por: Prof.: José N. Leira L.
4.- Sea { * +} entonces los elementos de se pueden
describir mediante la sucesión: talque, de manera que:
* + { } Se quiere determinar:
En efecto: Observe que: , de donde
y no tiene elemento mínimo. Geométricamente, tenemos:
Fig. 5. Supremo e Ínfimo de .
Cotas superiores
Cotas inferiores Conjunto
Recta real

////( ] ////////
0 1
Máxima cota inferior Mínima cota superior

Nótese que: (i) para todo Por tanto,

(ii) para todo Luego, , .

5.- Si existe puede o no que Sea por ejemplo:

* + y * +

Obsérvese que:

Pero, y y .

Geométricamente, en la figura 6, se tiene:

Fig. 6. Máximo y Supremo de y .

Conjunto
Cotas superiores
Recta
racional
)/ / / / / / / / / /

De la figura 6, se tiene que, para todo es decir, es una cota

superior de . (Similarmente es una cota superior de ya que: para
todo ). Además, ningún tales que, y por
tanto, no es cota superior de análogamente, no es cota superior de
, de donde: es la mínima cota superior de es decir, y
también Pero obsérvese que, y , esto es: y
.

Elaborado por: Prof.: José N. Leira L.

1.17. Proposición: Pruebe que , el conjunto de los números racionales, no
tiene la propiedad de la mínima cota superior.

Esto, significa que no tiene la mínima cota superior, es decir, no tiene

supremo, esto es, la diferencia fundamental entre el conjunto y el conjunto
de los números reales , el cual admite supremo, y por tanto, satisface el
axioma del supremo, para dar continuidad a la recta y así poder establecer que
cada punto es un número real y viceversa.

Demostración: Consideremos los conjuntos:

{ } { }

Geométricamente, se tiene:

Fig. 6. Extremos de los Conjuntos y .

Cotas superiores de
Conjunto
Conjunto
Recta racional
(
)/////////////
√
El conjunto está acotado superiormente, porque, existe , tal que,
para todo Luego, es una cota superior de De hecho, todo
en satisface que Por tanto, todos los elementos de , son cotas
superiores de (Ver figura 6). Como entonces entonces no
contiene un elemento mínimo, en consecuencia, no tiene mínima cota
superior en , es decir, no existe supremo en y por consiguiente el
supremo de no existe. Por lo tanto, no satisface el axioma del supremo.
Análogamente, se demuestra que , no tiene la propiedad de la máxima cota
inferior. ¡Hágalo!

Finalmente, esta proposición muestra con claridad que los huecos de la

recta real, son corregidos por el axioma del supremo y de esra manera
podemos entonces definir al conjunto de los números reales , como la unión de
los números racionales con los irracionales, esto es, I.