Introducción

Ya hemos visto los conceptos de máximo, mínimo, cota superior e inferior de un conjunto en $\mathbb{R}$. En esta entrada definiremos formalmente el concepto de supremo e ínfimo de un conjunto, veremos que los revisados previamente se encuentran relacionados. Adicionalmente, demostraremos algunas proposiciones útiles y algunos ejemplos en los cuales aplicaremos las definiciones respectivas.

Supremo e ínfimo, primera definición

Definición: Sea $A\subseteq \mathbb{R}$ con $A\ne \mathrm{\varnothing }$. Decimos que $\alpha \in \mathbb{R}$ es:

• El supremo de $A\iff$
  • $\alpha$ es cota superior de $A$
  • $\alpha$ es la mínima cota superior, es decir, si $\beta$ es cota superior de $A\Rightarrow \alpha \le \beta$.
    
    En otras palabras, la mínima cota superior de un conjunto es el menor número real que es una cota superior de ese conjunto.

• El ínfimo de $A\iff$
  • $\alpha$ es cota inferior de $A$
  • $\alpha$ es la máxima cota inferior, es decir, si $\beta$ es cota inferior de $A\Rightarrow \beta \le \alpha$.
    
    De esta manera, la máxima cota inferior de un conjunto es el número real más grande que sirve como cota inferior para dicho conjunto.

Retomemos el último ejemplo visto en la entrada pasada:

$$A=\{\frac{1}{n}:n\in \mathbb{N}\setminus \left\{0\right\}\}$$

• El conjunto de cotas superiores de $A$ está dado por:
  $$[1,\mathrm{\infty })$$
  tiene elemento mínimo y es 1. Esto nos indica que existe una mínima cota superior, ya que el $1$ es el menor número real que sirve como cota superior para dicho conjunto.
• El conjunto de cotas inferiores de $A$ está dado por:
  $$(-\mathrm{\infty },0]$$
  tiene elemento máximo y es 0. Esto nos indica que existe una máxima cota inferior, debido a que el $0$ es el mayor número real que sirve como cota inferior para $(-\mathrm{\infty },0]$.

Dadas las observaciones anteriores ahora podemos decir que:

• El supremo de $A$ es $1$: $$sup(A)=1$$
• El ínfimo de $A$ es $0$: $$inf(A)=0$$

Observación: El supremo o el ínfimo de un conjunto puede o no pertenecer al conjunto.

Pasemos a revisar la existencia y la unicidad de supremos e ínfimos.

Existencia del supremo y del ínfimo

En general, no tendremos que preocuparnos por la existencia del supremo ni del ínfimo cuando hablemos de un conjunto no vacío y acotado de números reales; en cambio, consideraremos como axioma que siempre existen.

En la siguiente entrada motivaremos y hablaremos con más detalle 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)$$

En esa entrada, también demostraremos a partir de este axioma que los conjuntos no vacíos y acotados inferiormente siempre tienen ínfimo. Igualmente, hablaremos de otras propiedades de los números reales relacionadas con este axioma, como que el conjunto de los números reales no está acotado y la propiedad arquimediana. Por ahora, sólo lo enunciamos, pues en las siguientes secciones demostraremos varias propiedades del supremo y del ínfimo para las que necesitaremos su existencia.

Unicidad del supremo y del ínfimo

El Axioma del Supremo nos garantiza la existencia del supremo e implica la del ínfimo pero, ¿habrá más de un supremo o un ínfimo para un mismo conjunto?

Teorema: Sea $A\subseteq \mathbb{R}$ con $A\ne \mathrm{\varnothing }$ y acotado. El supremo y el ínfimo de $A$ son únicos.

Demostración (Unicidad del supremo): Supongamos que existen ${\alpha }_1,{\alpha }_2$ tales que:
${\alpha }_1=sup(A)$ y ${\alpha }_2=sup(A)$.

Para ${\alpha }_1$ tenemos que para toda $a\in A,a\le {\alpha }_1$. Y como ${\alpha }_1$ es mínima cota superior entonces $\mathrm{\forall }M$ cota superior de $A,{\alpha }_1\le M$. Así en particular ocurre que: ${\alpha }_1\le {\alpha }_2$ es cota superior.

Análogamente para ${\alpha }_2$ tenemos que: ${\alpha }_2\le M$ donde $M$ es cota superior de $A$.
$\Rightarrow {\alpha }_2\le {\alpha }_1$ es cota superior.

Debido a que ${\alpha }_1\le {\alpha }_2$ y ${\alpha }_2\le {\alpha }_1$ concluimos:
$${\alpha }_1={\alpha }_2.$$
$\therefore$ El supremo de $A$ es único.

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

Relaciones entre supremos e ínfimos

Proposición: Sean $A,B\subseteq \mathbb{R}$ distintos del vacío. Si se cumple que para toda $a\in A$ y para toda $b\in B$ $a\le b\Rightarrow sup(A)\le inf(B).$

Demostración:
Primero observamos que $A$ tiene supremo, ya que como $A\ne \mathrm{\varnothing }$ y $B\ne \mathrm{\varnothing }$:
$\Rightarrow \mathrm{\exists }{b}_0\in B,\mathrm{\forall }a\in A$ se cumple que $a\le b_0$
$\Rightarrow b_0$ es cota superior de $A$
$\Rightarrow A\ne \mathrm{\varnothing }$ y acotado superiormente
$\therefore \mathrm{\exists }\alpha =sup(A)\in \mathbb{R}.$

Ahora vemos que $B$ tiene ínfimo, esto se sigue de $B\ne \mathrm{\varnothing }$ y $A\ne \mathrm{\varnothing }$:
$\Rightarrow \mathrm{\exists }{a}_0\in A,\mathrm{\forall }b\in B$ ocurre que $a_0\le b$
$\Rightarrow a_0$ es cota inferior de $B$
$\Rightarrow B\ne \mathrm{\varnothing }$ y acotado inferiormente
$\therefore \mathrm{\exists }\beta =inf(B)\in \mathbb{R}.$

Por lo que sólo nos falta verificar que $\alpha \le \beta$. Cómo por hipótesis tenemos que $\mathrm{\forall }a\in A,\mathrm{\forall }b\in B(a\le b)$ obtenemos:
$\Rightarrow \mathrm{\forall }a\in A$ ($a$ es cota inferior de $B$)
$\Rightarrow \mathrm{\forall }a\in A$ ($a\le \beta$)
$\Rightarrow \beta$ cota superior de $A$
$\Rightarrow \alpha \le \beta$

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

Proposición: Sean $C\subseteq A\subseteq \mathbb{R}$ donde $C$ es no vacío y $A$ acotado.
$\Rightarrow inf(A)\le inf(C)\le sup(C)\le sup(A)$.
Demostración:

Sea $C\ne \mathrm{\varnothing }$ subconjunto de $A$, como $C\subseteq A\Rightarrow A\ne \mathrm{\varnothing }$.
Ya que $A$ es acotado para toda $a\in A$ ocurre que: $m\le a\le M$ donde $m$ es cota inferior y $M$ es cota superior de $A$. Así si tomamos $c\in C$ tenemos:
$c\in A\Rightarrow m\le c\le M\Rightarrow C$ es acotado.
Por lo que afirmamos que existen:
$$sup(A),sup(C),inf(A),inf(C).$$
Observemos que $sup(A)$ al ser cota superior de $A$ y $C\subseteq A\Rightarrow sup(A)$ es cota superior de $C$ , por lo que podemos concluir:
$$sup(C)\le sup(A).$$
Análogamente para los ínfimos se sigue que:
$$inf(A)\le inf(C).$$
Y como $inf(C)<sup(C)$ obtenemos:
$$inf(A)\le inf(C)\le sup(C)\le sup(A).$$

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

Proposición: Sean $A^{\prime }\subseteq A\subseteq \mathbb{R}$ y $B^{\prime }\subseteq B\subseteq \mathbb{R}$ donde $A^{\prime },B^{\prime }$ son distintos del vacío. Si se cumple que:

• $\mathrm{\forall }a\in A,\mathrm{\forall }b\in B(a\le b)$
• $sup(A^{\prime })=inf(B^{\prime })$

$\Rightarrow sup(A)=inf(B)$
Demostración:

Primero observemos que $A$ y $B$ son no vacíos ya que:

• $A^{\prime }\ne \mathrm{\varnothing }$ y $A^{\prime }\subseteq A$
• $B^{\prime }\ne \mathrm{\varnothing }$ y $B^{\prime }\subseteq B$

Por lo que afirmamos que existen en $\mathbb{R}$:
$$sup(A)inf(B)$$
Por hipótesis aplicando el resultado anterior y la primera proposición de esta sección tenemos:
$$sup(A^{\prime })\le sup(A)\le inf(B)\le inf(B^{\prime })$$
$$\therefore sup(A)\le inf(B)$$
Además vemos que:
$$inf(B)\le inf(B^{\prime })=sup(A^{\prime })\le sup(A)$$
$$\therefore inf(B)\le sup(A)$$
Por lo que obtenemos la igualdad:
$$inf(B)=sup(A)$$

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

Ahora continuaremos con una definición de supremo e ínfimo equivalente a la primera.

Supremo e ínfimo segunda definición

Definición: Sea $A\subseteq \mathbb{R}$ con $A\ne \mathrm{\varnothing }$. Decimos que $\alpha \in \mathbb{R}$ es:

• El supremo de $A\iff$
  • $\alpha$ es cota superior de $A$
  • $\mathrm{\forall }\epsilon >0,\mathrm{\exists }{x}_{\epsilon }\in A$ tal que $\alpha –\epsilon <x_{\epsilon }$.
• El ínfimo de $A\iff$
  • $\alpha$ es cota inferior de $A$
  • $\mathrm{\forall }\epsilon >0,\mathrm{\exists }{x}_{\epsilon }\in A$ tal que $x_{\epsilon }<\alpha +\epsilon$.

Ejemplos

Veamos para
$$B=\{2-\frac{1}{n}:n\in \mathbb{N}\setminus \left\{0\right\}\}$$
consideramos como candidatos $inf(B)=1$ y $sup(B)=2$.

Comenzaremos probando $inf(B)=1$ haciendo uso de la segunda definición:

• Tenemos que probar que $1$ es cota inferior de $B$, es decir, $1\le x$ para toda $x\in B$.
  Sea $x\in B\Rightarrow x=2-\frac{1}{n}$ para algún $n\in \mathbb{N}\setminus \left\{0\right\}$.
  $$\begin{array}{rl}1\le 2-\frac{1}{n}& \iff 1-2\le –\frac{1}{n}\\ & \iff -1\le –\frac{1}{n}\\ & \iff 1\ge \frac{1}{n}\\ & \iff n\ge 1\end{array}$$
  $\therefore 1$ es cota inferior
• Ahora probamos que $\mathrm{\forall }\epsilon >0,\mathrm{\exists }{x}_{\epsilon }\in B$ tal que $x_{\epsilon }<1+\epsilon$.
  Sea $\epsilon >0$. Tomemos $x_{\epsilon }=1\in B$ entonces $1<1+\epsilon$
  $\therefore 1$ es ínfimo de $B$.

Ahora procedamos a demostrar que $sup(B)=2$:

• $2$ es cota superior de $B$, es decir, $2\ge x$ para toda $x\in B$.
  Tomemos $x\in B\Rightarrow x=2-\frac{1}{n}$ para algún $n\in \mathbb{N}\setminus \left\{0\right\}$.
  $$\begin{array}{rl}2\ge 2-\frac{1}{n}& \iff 2-2\ge -\frac{1}{n}\\ & \iff 0\ge -\frac{1}{n}\\ & \iff 0\le \frac{1}{n}\end{array}$$
  $\therefore 2$ es cota superior
• Demostremos que $\mathrm{\forall }\epsilon >0,\mathrm{\exists }{x}_{\epsilon }\in B$ tal que
  $2-\epsilon <x_{\epsilon }$.
  Sea $\epsilon >0$. Tomemos $x_{\epsilon }=2-\frac{1}{n}$ para algún $n\in \mathbb{N}\setminus \left\{0\right\}$.
  $$\begin{array}{rl}2-\epsilon <2-\frac{1}{n}& \iff –\epsilon <-\frac{1}{n}\\ & \iff \epsilon >\frac{1}{n}\\ & \iff (\epsilon )n>1\\ & \iff n>\frac{1}{\epsilon }\end{array}$$
  $\therefore 2$ es supremo de $B$

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

Hallar el supremo y el ínfimo del siguiente conjunto:
$$C=\{x:x^2+x+1\ge 0\}$$

Solución:
Notemos que:
$$\begin{array}{rl}{x}^2+x+1\ge 0& \iff x^2+x+\frac{1}{4}+1-\frac{1}{4}\ge 0\\ & \iff {(x+\frac{1}{2})}^2+\frac{3}{4}\ge 0\end{array}$$
Vemos que la última desigualdad la cumple cualquier número real. Por lo tanto, tenemos que $C=\mathbb{R}$.
$\therefore$ no existe ni $sup(C)$ ni $inf(C)$

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

Más adelante…

Ahora que ya hemos visto el concepto de supremo, en la siguiente entrada veremos una propiedad más que cumple el conjunto de números reales: el Axioma del Supremo. Veremos su enunciado y varias de sus aplicaciones, algunas de ellas se demostrarán en las próximas unidades.

Tarea moral

• Prueba que la primera y segunda definición de supremo e ínfimo son equivalentes.
• Demuestra que el ínfimo de un conjunto es único.
  Sugerencia: La prueba es análoga a la dada para el supremo.
• Para $A=\{\frac{1}{n}:n\in \mathbb{N}\setminus \left\{0\right\}\}$ prueba usando la definición que prefieras que $sup(A)=1$ e $inf(A)=0$.
• Encontrar el supremo y el ínfimo del conjunto
  $$D=\{x:x^2+x-1<0\}$$

Entradas relacionadas

• Ir a: Cálculo Diferencial e Integral I
• Entrada anterior del curso: Cálculo Diferencial e Integral I:Cota superior e inferior de un conjunto.
• Entrada siguiente del curso: Cálculo Diferencial e Integral I: Axioma del supremo y sus aplicaciones.
• 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»