Archivo de la etiqueta: ínfimo

Teoría de los Conjuntos I: Cotas inferiores e ínfimos

Por Gabriela Hernández Aguilar

Introducción

En esta entrada hablaremos acerca de cotas inferiores e ínfimos. Estos nuevos conceptos nos permitirán establecer intuitivamente qué quiere decir que un conjunto esté «limitado» una vez que hemos dado un orden.

Cotas inferiores

Para comenzar definiremos qué es una cota inferior. Notaremos que este concepto es muy parecido al de mínimo, sin embargo la cota inferior podría no ser elemento de $B$ un subconjunto de $A$. Veamos la definición.

Definición. Sea $(A, \leq)$ un orden parcial y sea $B\subseteq A$. Decimos que $a\in A$ es una cota inferior de $B$ si $a\leq x$ para toda $x\in B$. Si $B$ tiene por lo menos una cota inferior, diremos que $B$ está acotado inferiormente.

Ejemplo.

Sea $A=\set{\emptyset, \set{\emptyset}, \set{\emptyset, \set{\emptyset}}}$ y consideremos al conjunto parcialmente ordenado $(A, \subseteq)$. Sea $B= \set{\set{\emptyset}, \set{\emptyset, \set{\emptyset}}}\subseteq A$, tenemos que $\emptyset\in A$ es una cota inferior de $B$ pues $\emptyset\subseteq x$ para todo $x\in B$, como se muestra en el siguiente diagrama:

Sin embargo, podemos notar que $\emptyset\notin B$, por lo que para ser cota inferior no es necesario ser elemento de $B$, solo de $A$. Por otro lado, $\set{\emptyset}\in B$ también es una cota inferior de $B$ pues para cada $x\in B$, $\set{\emptyset}\subseteq x$. Más aún, $\set{\emptyset}$ es el elemento mínimo de $B$.

$\square$

El ejemplo anterior sugiere que la propiedad de ser mínimo implica ser cota inferior, pero no es válido el regreso.

En este último ejemplo es posible notar que la cota inferior en un conjunto puede no ser única, y entonces podemos pensar en el conjunto que tenga a todas las cotas inferiores. Esta idea junto con el concepto de máximo motiva el concepto de ínfimo.

Ínfimos

Definición. Sea $(A, \leq)$ un orden parcial y sea $B\subseteq A$. Decimos que $a\in A$ es ínfimo de $B$ si es el elemento máximo del conjunto de todas las cotas inferiores de $B$. Lo denotamos por $\inf(B)$.

Ejemplo.

Retomando el ejemplo anterior, si consideramos al conjunto de todas las cotas inferiores de $B$, es decir, $\set{\emptyset, \set{\emptyset}}$ tenemos que el ínfimo es $\set{\emptyset}$ pues respecto al orden de $A$, $\emptyset\subseteq \set{\emptyset}$ y por lo tanto, $\set{\emptyset}$ es el máximo de las cotas inferiores de $B$.

$\square$

Teorema. Sea $(A, \leq)$ un orden parcial y $B\subseteq A$ un conjunto no vacío. Si $B$ tiene ínfimo en el orden $\leq$, entonces es único.

Demostración.

Sea $(A,\leq)$ un orden parcial y $B\subseteq A$ no vacío. Supongamos que $B$ tiene ínfimo, es decir, que existe $a\in A$ de tal forma que $a\leq x$ para toda $x\in B$ y, si $b\in A$ es tal que $b\leq x$ para toda $x\in B$, entonces, $b\leq a$.

Supongamos que $a_1,a_2\in A$ son ínfimos de $B$. Veamos que $a_1=a_2$.

Como $a_1$ es ínfimo $B$, en particular se tiene que $a_1\leq x$ para toda $x\in B$. Luego, como $a_2$ es ínfimo de $B$ se sigue por definición que $a_1\leq a_2$. De manera análoga, como $a_2$ es ínfimo de $B$, en particular se tiene que $a_2\leq x$ para toda $x\in B$ y así, como $a_1$ es ínfimo de $B$ se sigue por definición que $a_2\leq a_1$.

Tenemos entonces que $a_1\leq a_2$ y $a_2\leq a_1$, de donde se sigue que $a_1=a_2$, lo cual demuestra la unicidad del ínfimo.

$\square$

Teorema. Sea $(A, \leq)$ un orden parcial y $B\subseteq A$ un conjunto no vacío. Si $B$ tiene un elemento mínimo $b$, entonces $b$ es el ínfimo de $B$.

Demostración.

Sea $(A, \leq)$ un orden parcial y $B\subseteq A$ un conjunto no vacío. Luego como $b\in B$ es el elemento mínimo de $B$, entonces para cualquier $x\in B$, $b\leq x$.

Sea $C$ el conjunto de todas las cotas inferiores de $B$. Veamos que $b\in C$ y que $b=\max(C)$. Dado que $b\leq x$ para todo $x\in B$, entonces $b$ es cota inferior de $B$ y, por tanto, $b\in C$. Luego, si $c\in C$ es cualquier elemento, entonces $c$ es cota inferior de $B$, es decir, $c\leq x$ para cualquier $x\in B$. En particular, como $b\in B$ se tiene que $c\leq b$. Esto muestra que $b=\max(C)$.

Por lo tanto, $b=\inf(B)$.

$\square$

Aún cuando ser mínimo implica ser ínfimo, no siempre va a ocurrir que el ínfimo de un conjunto sea mínimo, como ocurre en el siguiente ejemplo.

Ejemplo.

Sea $A=\set{\emptyset, \set{\emptyset}, \set{\set{\emptyset}}, \set{\emptyset, \set{\emptyset}}}$ y consideremos al conjunto parcialmente ordenado $(A, \subseteq)$. Sea $B= \set{\set{\emptyset}, \set{\set{\emptyset}}, \set{\emptyset, \set{\emptyset}}}\subseteq A$. Tenemos que $\emptyset \in A$ es una cota inferior de $B$ pues $\emptyset\leq x$ para todo $x\in B$, como se muestra en el siguiente diagrama:

Sin embargo, $B$ no tiene mínimo pues no existe $x\in B$ tal que $x\leq y$ para todo $y\in B$. En efecto, si existiera tal $x$ tendría que ser simultáneamente subconjunto de $\set{\emptyset}$ y de $\set{\set{\emptyset}}$. Pero el único subconjunto que comparten estos conjuntos es $\emptyset$, que no está en $B$.

$\square$

Tarea moral

La siguiente lista de ejercicios te ayudará a reforzar el contenido de esta entrada y de la entrada anterior.

  1. Sean $(A, \leq)$ un orden parcial y $B\subseteq A$ un conjunto no vacío. Demuestra que si $b$ es ínfimo y $b\in B$, entonces $b$ es mínimo de $B$.
  2. Sean $(A, \leq)$ un orden parcial y $B,C\subseteq A$ no vacíos. Si $B$ y $C$ tienen ínfimo y $C\subseteq B$, demuestra que $inf (B)\leq inf (C)$.
  3. Exhibe un conjunto que esté acotado inferiormente pero que no tenga ínfimo.
  4. Da un ejemplo de un conjunto parcialmente ordenado $(A,\leq)$ en el cual se cumpla que el conjunto $\emptyset$ tiene ínfimo.
  5. Escribe las definiciones de cota inferior e ínfimo para un orden parcial estricto.

Más adelante…

La siguiente entrada estará dedicada a cotas superiores y supremos. Con esto concluiremos la sección de acotar conjuntos ordenados.

Entradas relacionadas

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

Cálculo Diferencial e Integral I: Supremo e ínfimo

Por Karen González Cárdenas

Introducción

Ya hemos visto los conceptos de máximo, mínimo, cota superior e inferior de un conjunto en $\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 \r$ con $A\neq \emptyset$. Decimos que $\alpha \in \r$ es:

  • El supremo de $A \Leftrightarrow$
    • $\alpha$ es cota superior de $A$
    • $\alpha$ es la mínima cota superior, es decir, si $\beta$ es cota superior de $A \Rightarrow \alpha \leq \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 \Leftrightarrow$
    • $\alpha$ es cota inferior de $A$
    • $\alpha$ es la máxima cota inferior, es decir, si $\beta$ es cota inferior de $A \Rightarrow \beta \leq \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= \left\{\frac{1}{n}: n\in \mathbb{N} \setminus\left\{0\right\} \right\}$$

  • El conjunto de cotas superiores de $A$ está dado por:
    $$[1, \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:
    $$(- \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 $(- \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 existenca 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 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 \r$ es no vacío y $A$ es acotado superiormente entonces existe $\alpha \in \r$ tal que:
$$\alpha = sup(A)$$

En esa entrada, también demostraremos a partir de este axioma que los conjuntos no vacíos 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 \r$ con $A\neq \emptyset$. 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\leq \alpha_{1}$. Y como $\alpha_{1}$ es mínima cota superior entonces $\forall M$ cota superior de $A, \alpha_{1}\leq M$. Así en particular ocurre que: $\alpha_{1}\leq \alpha_{2}$ es cota superior.

Análogamente para $\alpha_{2}$ tenemos que: $\alpha_{2} \leq M$ donde $M$ es cota superior de $A$.
$\Rightarrow \alpha_{2}\leq \alpha_{1}$ es cota superior.

Debido a que $\alpha_{1}\leq \alpha_{2}$ y $\alpha_{2}\leq \alpha_{1}$ concluimos:
$$\alpha_{1}=\alpha_{2}.$$
$\therefore\quad$ El supremo de $A$ es único.

$\square$

Relaciones entre supremos e ínfimos

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

Demostración:
Primero observamos que $A$ tiene supremo, ya que como $A \neq \emptyset$ y $B \neq \emptyset$:
$\Rightarrow \exists b_{0} \in B, \forall a\in A $ se cumple que $a \leq b_{0}$
$\Rightarrow b_{0}$ es cota superior de $A$
$\Rightarrow A \neq \emptyset$ y acotado superiormente
$\therefore \exists \alpha =sup(A) \in \r.$

Ahora vemos que $B$ tiene ínfimo, esto se sigue de $B \neq \emptyset$ y $A \neq \emptyset$:
$\Rightarrow \exists a_{0} \in A, \forall b\in B$ ocurre que $a_{0} \leq b$
$\Rightarrow a_{0}$ es cota inferior de $B$
$\Rightarrow B \neq \emptyset$ y acotado inferiormente
$\therefore \exists \beta =inf(B) \in \r.$

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

$\square$

Proposición: Sean $C \subseteq A \subseteq \r$ donde $C$ es no vacío y $A$ acotado.
$\Rightarrow inf(A) \leq inf(C) \leq sup(C) \leq sup(A)$.
Demostración:

Sea $C \neq \emptyset$ subconjunto de $A$, como $ C \subseteq A \Rightarrow A \neq \emptyset$.
Ya que $A$ es acotado para toda $a \in A$ ocurre que: $m \leq a \leq 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 \leq c \leq M \Rightarrow C$ es acotado.
Por lo que afirmamos que existen:
$$sup(A), \quad sup(C), \quad inf(A), \quad 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) \leq sup(A).$$
Análogamente para los ínfimos se sigue que:
$$inf(A) \leq inf(C).$$
Y como $inf(C) < sup(C)$ obtenemos:
$$inf(A) \leq inf(C) \leq sup(C) \leq sup(A).$$

$\square$

Proposición: Sean $A’ \subseteq A \subseteq \r$ y $B’ \subseteq B \subseteq \r$ donde $A’, B’$ son distintos del vacío. Si se cumple que:

  • $\forall a\in A, \forall b \in B \quad (a \leq b)$
  • $sup(A’)=inf(B’)$

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

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

  • $A’ \neq \emptyset$ y $A’ \subseteq A$
  • $B’ \neq \emptyset$ y $B’ \subseteq B$

Por lo que afirmamos que existen en $\r$:
$$sup(A) \quad inf(B)$$
Por hipótesis aplicando el resultado anterior y la primera proposición de esta sección tenemos:
$$sup(A’) \leq sup(A) \leq inf(B) \leq inf(B’)$$
$$\therefore sup (A) \leq inf(B)$$
Además vemos que:
$$inf(B) \leq inf(B’) = sup(A’) \leq sup(A)$$
$$\therefore inf(B) \leq sup (A) $$
Por lo que obtenemos la igualdad:
$$inf(B)= sup (A)$$

$\square$

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 \r$ con $A\neq \emptyset$. Decimos que $\alpha \in \r$ es:

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

Ejemplos

Veamos para
$$B=\left\{2-\frac{1}{n}: n\in \mathbb{N}\setminus \left\{0\right\}\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 \leq 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{align*}
    1 \leq 2- \frac{1}{n} &\Leftrightarrow 1-2 \leq – \frac{1}{n}\\
    &\Leftrightarrow -1 \leq – \frac{1}{n}\\
    &\Leftrightarrow 1 \geq \frac{1}{n}\\
    &\Leftrightarrow n \geq 1
    \end{align*}
    $\therefore 1$ es cota inferior
  • Ahora probamos que $\forall \varepsilon > 0, \exists x_{\varepsilon} \in B$ tal que $x_{\varepsilon}< 1+ \varepsilon$.
    Sea $\varepsilon >0$. Tomemos $x_{\varepsilon}=1 \in B$ entonces $1<1+\varepsilon$
    $\therefore 1$ es ínfimo de $B$.

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

  • $2$ es cota superior de $B$, es decir, $2 \geq 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{align*}
    2 \geq 2-\frac{1}{n} &\Leftrightarrow 2-2 \geq -\frac{1}{n}\\
    &\Leftrightarrow 0 \geq -\frac{1}{n}\\
    &\Leftrightarrow 0 \leq \frac{1}{n}\\
    \end{align*}
    $\therefore 2$ es cota superior
  • Demostremos que $\forall \varepsilon > 0, \exists x_{\varepsilon} \in B$ tal que
    $2- \varepsilon < x_{\varepsilon}$.
    Sea $\varepsilon >0$. Tomemos $x_{\varepsilon}= 2-\frac{1}{n}$ para algún $n \in \mathbb{N}\setminus \left\{0\right\}$.
    \begin{align*}
    2- \varepsilon < 2-\frac{1}{n}&\Leftrightarrow – \varepsilon < -\frac{1}{n}\\
    &\Leftrightarrow \varepsilon > \frac{1}{n}\\
    &\Leftrightarrow (\varepsilon )n> 1\\
    &\Leftrightarrow n> \frac{1}{\varepsilon}\\
    \end{align*}
    $\therefore 2$ es supremo de $B$

$\square$

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

Solución:
Notemos que:
\begin{align*}
x^{2}+x+1 \geq 0 &\Leftrightarrow x^{2}+x+\frac{1}{4}+1-\frac{1}{4} \geq 0\\
&\Leftrightarrow \left(x + \frac{1}{2} \right)^{2}+\frac{3}{4} \geq 0\\
\end{align*}
Vemos que la última desigualdad la cumple cualquier número real. Por lo tanto, tenemos que $C= \r$.
$\therefore \quad$ no existe ni $sup(C)$ ni $inf(C)$

$\square$

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= \left\{\frac{1}{n}: n\in \mathbb{N}\setminus \left\{0\right\} \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= \left\{x: x^{2}+x-1 < 0 \right\}$$

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.

Entradas relacionadas

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»