Introducción

Durante toda esta unidad hemos visto una serie de propiedades que cumple el conjunto de los reales $\mathbb{R}$, sin embargo, debemos añadir a la lista una relacionada con la completitud de $\mathbb{R}$: el Axioma del Supremo. Para ello comenzaremos hablando de la completitud de $\mathbb{R}$, lo enunciaremos y veremos algunas de sus consecuencias.

Una idea de completitud en $\mathbb{R}$

La completitud de los reales afirma que el conjunto $\mathbb{R}$ rellena a toda la recta numérica sin dejar agujeros. Por lo que cada número real tiene asignado un punto de la recta real:
$$puntoenlarecta=númeroreal$$
Previamente hemos hecho uso de esta idea al representar gráficamente al conjunto $\mathbb{R}$ utilizando una recta. En el curso veremos dos enunciados que enunciarán esta propiedad: el Axioma del Supremo y Completitud por Cortaduras de Dedekind.

Consideramos como parte de nuestro conjunto de propiedades al Axioma del Supremo, por lo que el enunciado de Cortaduras de Dedekind será un tema adicional para esta unidad.

Axioma del Supremo

En la entrada anterior ya empezamos a platicar de algunas de las impliciciones del siguiente axioma.

Axioma del Supremo: Si $A\subseteq \mathbb{R}$ es no vacío y $A$ es acotado superiormente entonces existe $\alpha \in \mathbb{R}$ tal que:
$$\alpha =sup(A)$$

Pese a lo simple que pueda parecer, más adelante veremos su importancia, ya que muchos resultados y propiedades de $\mathbb{R}$ son consecuencia de este.

Hablemos del ínfimo

Veremos que el enunciado anterior tiene como una de sus consecuencias a su análogo, hablando ahora del ínfimo de un conjunto.

Teorema del ínfimo: Si $A\subseteq \mathbb{R}$ no vacío y $A$ es acotado inferiormente entonces existe $\beta \in \mathbb{R}$ tal que:
$$\beta =inf(A)$$

Demostración:
Sea $A\ne \mathrm{\varnothing }$ acotado inferiormente. Ahora consideremos el siguiente conjunto:
$$B=\{-x\in \mathbb{R}|x\in A\}$$

Como $A$ es acotado inferiormente entonces existe $m\in \mathbb{R}$ que es cota inferior de $A$. Así se cumple la siguiente desigualdad para todos los $x\in A$:

$m\le x\iff -m\ge -x$ para toda $-x\in B$.
Por tanto, $-m$ es cota superior de $B$. Concluimos así que $B$ es no vacío y acotado superiormente. Aplicando el Axioma del Supremo tenemos que existe $\alpha =sup(B)$.

Recordemos que por definición $\alpha$ cumple:

1. $\alpha$ es cota superior de $B$ para cualquier $-x\in B$.
2. Es la menor de las cotas superiores de $B$, por lo que si ${\alpha }_0$ es cota superior de $B$
   $\Rightarrow \alpha <{\alpha }_0$
3. Además $-x\le \alpha$.

Del punto $3$ observamos que:
$$x\ge -\alpha \mathrm{\forall }x\in A.$$
$\Rightarrow -\alpha$ cota inferior de $A$.

Nos falta ver qué $-\alpha$ es la mayor de las cotas inferiores de $A$. Notemos que del punto $2$ tenemos que:
$$-\alpha >-{\alpha }_0.$$
donde $-{\alpha }_0$ es cota inferior de $A$.
$$\therefore -\alpha =inf(A).$$

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

$\mathbb{N}$ y $\mathbb{R}$ no acotados superiormente

Teorema: El conjunto $\mathbb{N}$ no es acotado superiormente.

Demostración: Procederemos por contradicción. Supongamos que $\mathbb{N}$ es acotado superiormente por lo que existe $M\in \mathbb{R}$ tal que $M$ es cota superior de $\mathbb{N}$. Aplicando el Axioma del Supremo existe:
$$\alpha =sup(\mathbb{N})$$

entonces:

• $\alpha$ es cota superior de $\mathbb{N}$
• $\alpha$ es la menor de las cotas superiores de $\mathbb{N}$

Como para toda $n\in \mathbb{N}$:
$$n\le \alpha$$
Y $n+1\in \mathbb{N}$ entonces:
$$n+1\le \alpha \iff n\le \alpha -1$$

Ya que para toda $n\in \mathbb{N}$ se cumple:
$$n\le \alpha -1$$

donde vemos que $\alpha -1$ es cota superior de $\mathbb{N}$ y además:
$$\alpha -1<\alpha \Rightarrow \Leftarrow$$
lo que contradice la definición de $\alpha$.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Corolario: El conjunto $\mathbb{R}$ no es acotado superiormente.

Demostración: Procederemos por contradicción, por lo que supongamos que $\mathbb{R}$ es un conjunto acotado superiormente. Ya que sabemos $\mathbb{N}\subseteq \mathbb{R}$ y $\mathbb{R}$ es acotado tendríamos que:
$\mathbb{N}$ es acotado $\Rightarrow \Leftarrow$ lo cual es una contradicción al teorema anterior.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Propiedad de Arquímedes

Teorema (Propiedad de Arquímedes): Si $x>0$ y $y\in \mathbb{R}$ entonces existe $N\in \mathbb{N}$ tal que $$y<Nx$$

Demostración (Por contradicción): Suponemos que no se cumple, es decir,
$\mathrm{\exists }x>0$ y $y\in \mathbb{R}$ tal que $\mathrm{\forall }n\in \mathbb{N}$ ocurre que $y>nx$
Ya que $x>0$ entonces para cualquier $n\in \mathbb{N}$:
$$\frac{y}{x}>n$$
por lo que $\frac{y}{x}$ es cota superior de $\mathbb{N}$.

Concluimos que $\mathbb{N}$ es acotado superiormente lo que sabemos es una contradicción.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Corolario: Para todo $x>0$ existe $n\in \mathbb{N}$ tal que
$$\frac{1}{n}<x$$

Demostración: Ejercicio como Tarea moral.

Ejercicio

Sean $A\subseteq \mathbb{R}$ y $\lambda >0$ con $\alpha =sup(A)$. Para el conjunto
$$\lambda A:=\{x:x=\lambda a\text{con}a\in A\}$$
Es decir, el conjunto $\lambda A$ consiste en los reales $x$ que son de la forma $x=\lambda a$ para algún $a$ en $A$.
Prueba que existe $sup(\lambda A)$ y que $sup(\lambda A)=\lambda \alpha$.
Demostración:

Sea $a\in A$ entonces se sigue que $a\le \alpha$ así al multiplicar por $\lambda >0$:
$$\Rightarrow \lambda a\le \lambda \alpha$$

Ya que $\lambda a=x\in \lambda A\Rightarrow \lambda A$ es acotado superiormente y $\lambda \alpha$ es cota superior.

Aplicando el Axioma del Supremo afirmamos que existe $\beta :=sup(\lambda A)$ y además:
$$\beta \le \lambda \alpha .$$

Falta probar que $\beta \ge \lambda \alpha$
Si tomamos $x\in \lambda A$ entonces $x=\lambda a$ y $\lambda a\le \beta$:
$$\Rightarrow a\le \frac{\beta }{\lambda }$$

Y por la definición de supremo se sigue:
$$\alpha \le \frac{\beta }{\lambda }\iff \lambda \alpha \le \beta$$
Así concluimos:
$$\therefore \beta =\lambda \alpha$$
$$\therefore \lambda sup(A)=sup(\lambda A)$$

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Otras aplicaciones

A continuación sólo enunciaremos un teorema en el cual el Axioma del Supremo es aplicado. Dado que en este punto no hemos revisado los conceptos de sucesión ni de límite, más adelante se verá su demostración.

Teorema: Si $\{a_n\}$ es una sucesión en $\mathbb{R}$ no decreciente y acotada superiormente entonces es una sucesión convergente.

Más adelante

En la próxima entrada veremos un poco sobre las Cortaduras de Dedekind y la completitud de $\mathbb{R}$, éste será considerado como un tema adicional para esta unidad.

Tarea moral

• Demuestra que para todo $x>0$ existe $n\in \mathbb{N}$ tal que
  $$\frac{1}{n}<x$$
• Prueba que si $a<b$ e $I=(a,b)$ es un intervalo en $\mathbb{R}$ entonces $sup(I)=b$ y $inf(I)=a$.
  Sugerencia: Utiliza el resultado anterior y procede haciendo uso de las respectivas definiciones.
• Sean $A,B\subseteq \mathbb{R}$ con $\alpha =sup(A)$ y $\beta =sup(B)$. Definimos el siguiente conjunto
  $$A+B:=\{x:x=a+b;a\in A,b\in B\}$$
  Demuestra que existe $sup(A+B)$ y que $sup(A+B)=\alpha +\beta$.

Entradas relacionadas

• Ir a: Cálculo Diferencial e Integral I
• Entrada anterior del curso: Cálculo Diferencial e Integral I:Supremo e ínfimo
• Entrada siguiente del curso: Cálculo Diferencial e Integral I: Cortaduras de Dedekind
• Resto de cursos: Cursos

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»