Archivo de la etiqueta: Números reales

Cálculo Diferencial e Integral I: Cortaduras de Dedekind (Adicional)

Por Karen González Cárdenas

Introducción

Ya hemos visto que el campo de los números reales cumple con la propiedad de ser completos, esta propiedad la vimos enunciada con el Axioma del Supremo en la entrada pasada. Ahora veremos que utilizando Cortaduras de Dedekind podemos dar una equivalencia.

Una idea intuitiva

Previamente vimos que existe una relación biunívoca entre el conjunto de los números reales $\r$ y la recta: a cada punto en la recta le corresponde un único número real y viceversa.

Imaginemos que tomamos un punto $p$ en la recta:

Observemos que ahora la recta queda dividida en dos secciones. La primera conformada por todos los elementos menores (o iguales) que $p$ a la que llamaremos $A$:

Y la segunda por los elementos mayores (o iguales) que $p$ que será $B$:

De este modo vemos que tenemos las siguientes posibilidades:

Cada una cumple que $A$ y $B$ no son vacíos además de ser ajenos. En la próxima sección veremos formalmente su definición.

Definición de Cortadura

Definición: Sean $A, B \subseteq \r$. Decimos que la pareja $(A,B)$ forma una cortadura de un campo ordenado $\mathbb{U} \Leftrightarrow$

  • $A$ y $B$ son distintos del vacío.
  • Para todo $x \in A$ y $y \in B$ ocurre que $x \leq y$.
  • $A \cup B = \mathbb{U}$
    $A \cap B = \emptyset$.

Completitud por Cortaduras de Dedekind

Principio de Completitud por Cortaduras de Dedekind: Para toda cortadura $(A,B)$ de $\r$ existe un único $p \in \r$ tal que $\forall x \in A, \forall y \in B$:
$$x \leq p \leq y.$$

Este principio no lo cumplen los números racionales. A continuación veremos la razón:
Consideremos al campo como $\mathbb{U} = \mathbb{Q}$. Proponemos a los conjuntos $A$ y $B$ siguientes:
$$ A = \left\{ x \in \mathbb{Q} : x^{2} \leq 2 \quad \text{o} \quad x < 0 \right\}$$
$$ B = \left\{ y \in \mathbb{Q} : y^{2} > 2 \quad \text{y} \quad y > 0 \right\}$$

Primero debemos probar que son una cortadura de $\mathbb{Q}$:

  • $A \neq \emptyset$ ya que $-1 <0$. Por lo que $-1 \in A$.
    $B \neq \emptyset$ pues $2 <3^{2}$. Así $2 \in B$.
  • Vemos que $A,B \subseteq \mathbb{Q}$.
    • Para $x \in A$ observamos que $x^{2} \leq 2$ o $x<0$.
      $\Rightarrow |x| \leq \sqrt{2}$ o $x <0$.
      $\therefore x \in [- \sqrt{2}, \sqrt{2}] \cup (-\infty, 0) = (- \infty, \sqrt{2}) \cap \mathbb{Q}$.
      Por lo que concluimos $A=(- \infty, \sqrt{2}] \cap \mathbb{Q}$ que vemos es un subconjunto de $\mathbb{Q}$.
    • Ahora si $y \in B$ tenemos que $y^{2} > 2$ y $y>0$.
      $\Rightarrow |y| > \sqrt{2}$ y $y >0$.
      $\therefore y \in ((-\infty, -\sqrt{2}) \cup (\sqrt{2},\infty)) \cap (0,\infty) = (\sqrt{2}, \infty) \cap \mathbb{Q}$.
      Así $B = (\sqrt{2}, \infty) \cap \mathbb{Q}$ y vemos que también es un subconjunto de los racionales.
  • Notemos que para toda $x \in A$ y para toda $y \in B$ ocurre:
    $-\sqrt{2} \leq x \leq \sqrt{2}\quad$ o $\quad x<0$, $\sqrt{2}<y\quad$ y $\quad y>0$.
    $\Rightarrow x \leq \sqrt{2}\quad$ o $\quad x<0<y$.
    $\therefore x\leq y$.
  • Además de que:
    • \begin {align*}
      A \cup B&=((- \infty, \sqrt{2}] \cap \mathbb{Q}) \cup ((\sqrt{2}, \infty) \cap \mathbb{Q})\\
      &= ((-\infty, \sqrt{2}] \cup (\sqrt{2}, \infty)) \cap \mathbb{Q}\\
      &= \mathbb{Q}\\
      \end{align*}
    • \begin{align*}
      A \cap B&=((- \infty, \sqrt{2}] \cap \mathbb{Q}) \cap ((\sqrt{2}, \infty) \cap \mathbb{Q})\\
      &=(- \infty, \sqrt{2}] \cap (\sqrt{2}, \infty) \cap \mathbb{Q}\\
      &= \emptyset\\
      \end{align*}

Así probamos que $A$ y $B$ son una cortadura de $\mathbb{Q}$.

Veamos que el único número $p$ que cumple la desigualdad $x \leq p \leq y$ para cualesquiera $x \in A$ y $y \in B$ es $p = \sqrt{2} \notin \mathbb{Q}$.
$\therefore \mathbb{Q}$ no es completo.

$\square$

Notemos que anteriormente afirmamos que $\sqrt{2} \notin \mathbb{Q}$, a continuación, veremos su prueba:
Afirmación: $\sqrt{2}$ es irracional.
Demostración: Procederemos por contradicción. Supongamos que $\sqrt{2}$ es racional, es por ello que podemos expresar dicha raíz como una fracción irreducible:
$$\sqrt{2}=\frac{a}{b}.$$

De este modo, $a$ y $b\in \mathbb{Z}$ no tienen ningún factor en común distinto de $1$.

Ahora bien, elevando al cuadrado la igualdad anterior:
\begin{align*}
2=\frac{a^{2}}{b^{2}} &\Rightarrow 2b^{2}= a^{2}\\
&\Rightarrow a^{2} \text{ es par}\\
&\Rightarrow a \quad\text{es par} \tag{por Lema auxiliar}\\
&\therefore a=2q.
\end{align*}

Sustituyendo $a=2q$ nos queda:
\begin{align*}
2b^{2}= a^{2}&\Rightarrow 2b^{2}= (2q)^{2}\\
&\Rightarrow 2b^{2}= 4q^{2}\\
&\Rightarrow b^{2}= 2q^{2}\\
&\Rightarrow b^{2} \text{ es par}\\
&\Rightarrow b \quad\text{es par}. \tag{por Lema auxiliar}\\
\end{align*}
Concluimos que $2$ es un factor común de $a$ y $b \contradiccion$ lo cual es una contradicción.

$\square$

Lema auxiliar: Sean $p,q \in \mathbb{Z}$ números pares $\Rightarrow pq$ es par.

Equivalencia

Ahora veremos que el Axioma del Supremo y el Principio de Completitud por Cortaduras de Dedekind son equivalentes:

Teorema: Axioma del Supremo $\Leftrightarrow$ Principio de Completitud por Cortaduras de Dedekind
Demostración:
$\Rightarrow ):$ Tomemos $(A,B)$ una cortadura de Dedekind de $\r$ cualquiera, así por definición sabemos que se cumple:
$$x \leq y,$$
para cualquier $x \in A$ y cualquier $y \in B$.

Observemos que $A$ es un conjunto acotado superiormente, entonces aplicando el Axioma del Supremo se sigue que:
$\exists \alpha \in \r$ tal que $\alpha = sup(A).$
Por lo que $\alpha$ cumple ser la menor de las cotas superiores de $A$ y $x \leq \alpha$ para toda $x \in A$.
Ya que para todo $y \in B$ ocurre que $y$ es cota superior de $A$ y $\alpha$ supremo de $A$
$\Rightarrow \alpha \leq y.$
Así concluimos que $\forall x \in A$ y $\forall y \in B$:
$$x \leq \alpha \leq y.$$

$\Leftarrow ):$ Consideremos a un conjunto de reales $C$ no vacío y acotado superiormente. Así tenemos que existe $M \in \r$ cota superior de $C$ por lo que si tomamos:
$$B = \left\{ cotas \quad superiores \quad de \quad C \right\},$$
podemos afirmar que $B \neq \emptyset$. Definamos al conjunto $A = B^{c}$ y hagamos las siguientes observaciones:

  • $A\neq \emptyset$. Si suponemos lo contrario se seguiría:
    $A= \emptyset \Rightarrow A^{c}= (B^{c})^{c} \Rightarrow B= \r$.
    Por lo que $C = \emptyset \quad \contradiccion$ lo que es una contradicción.
    $\therefore A, B$ son no vacíos.
  • $A \cup B= B^{c} \cup B= \r$
    $A \cap B= B^{c} \cap B= \emptyset$
  • Para cualquier $x \in A$ y para cualquier $y \in B$ se cumple la desigualdad $x \leq y$. De lo contrario tendríamos que:
    $\Rightarrow \exists x_{0} \in A$ y $\exists y_{0} \in B$ donde $y_{0} < x_{0}$.
    Como $y_{0}$ es cota superior de $C$, para cualquier $x \in C$ se cumple que:
    $$x \leq y_{0} < x_{0} \Rightarrow x < x_{0}.$$
    $\therefore x_{0}$ es cota superior de $C$.
    Por lo que $x_{0} \in B=A^{c}$ y $x_{0} \in A \quad \contradiccion.$

De todo lo anterior concluimos que los conjuntos $A$ y $B$ son una cortadura de Dedekind de $\r$.

Por el Principio de Completitud por Cortaduras de Dedekind existe un único $p \in \r$ tal que para todo $x \in A$ y para todo $y \in B$ cumple que:
$$x \leq p \leq y.$$
Queremos probar que $p =sup(C)$, es decir:

  1. $p$ es cota superior de $C$.
  2. $p$ es la menor de todas las cotas superiores.

Comenzaremos probando el punto 1 procediendo por contradicción:
Supongamos que $p$ no es una cota superior de $C$, así existe $x’ \in C$ donde $p<x’$.
Aplicando la densidad de los reales se sigue que existe $y’ \in \r$ tal que:
$$p<y'<x’.$$
Por hipótesis toda $x \in A$ cumple $x \leq p$ entonces $x < y’$. Por lo que concluiríamos que $y’ \in B$ por ser cota superior de $C$ y $y'<x$ con $x \in C \quad \contradiccion$.
$\therefore p$ es cota superior de $C$.

Ahora debemos probar que $p$ es la menor de las cotas superiores. Si suponemos que no lo es entonces existe $M \in B$ con $M<p \quad \contradiccion$ lo que contradice que $p \leq y$ para toda $y \in B$.
$\therefore p= sup(C)$.

$\square$

Más adelante

En la siguiente entrada veremos como tema adicional para esta unidad a los Conjuntos infinitos. Para ello daremos las definiciones necesarias y revisaremos teoremas útiles.

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»

Cálculo Diferencial e Integral I: Axioma del supremo y sus aplicaciones

Por Karen González Cárdenas

Introducción

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

Una idea de completitud en $\r$

La completitud de los reales afirma que el conjunto $\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:
$$punto \quad en \quad la \quad recta = número \quad real$$
Previamente hemos hecho uso de esta idea al representar gráficamente al conjunto $\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 \r$ es no vacío y $A$ es acotado superiormente entonces existe $\alpha \in \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 $\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 \r$ no vacío y $A$ es acotado inferiormente entonces existe $\beta \in \r$ tal que:
$$\beta= inf(A)$$

Demostración:
Sea $A \neq \emptyset$ acotado inferiormente. Ahora consideremos el siguiente conjunto:
$$ B = \left\{ -x \in \r | x \in A \right\}$$

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

$m \leq x \Leftrightarrow -m \geq -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 \leq \alpha$.

Del punto $3$ observamos que:
$$x \geq -\alpha \quad \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).$$

$\square$

$\mathbb{N}$ y $\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 \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 \leq \alpha$$
Y $n+1 \in \mathbb{N}$ entonces:
$$n+1 \leq \alpha \Leftrightarrow n \leq \alpha -1$$

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

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

$\square$

Corolario: El conjunto $\r$ no es acotado superiormente.

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

$\square$

Propiedad de Arquímedes

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

Demostración (Por contradicción): Suponemos que no se cumple, es decir,
$\exists x >0$ y $y \in \r$ tal que $\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.

$\square$

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 \r$ y $\lambda >0$ con $\alpha = sup(A)$. Para el conjunto
$$\lambda A := \left\{ x:x=\lambda a \quad\text{con}\quad a \in A \right\}$$
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 \leq \alpha$ así al multiplicar por $\lambda >0$:
$$\Rightarrow \lambda a \leq \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 \leq \lambda \alpha.$$

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

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

$\square$

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 $\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 $\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 \r$ con $\alpha = sup(A)$ y $\beta=sup(B)$. Definimos el siguiente conjunto
    $$ A+B := \left\{ x:x=a+b; a \in A, b \in B \right\}$$
    Demuestra que existe $sup(A+B)$ y que $sup(A+B)= \alpha + \beta$.

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»

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 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 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$

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= \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\}$$

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»

Cálculo Diferencial e Integral I: Cota superior e inferior de un conjunto

Por Karen González Cárdenas

Introducción

Ahora comenzaremos a ver un tema un tanto diferente a los vistos en la entrada anterior. Primero veremos los conceptos de máximo y mínimo de un conjunto, después las definiciones formales para cota superior e inferior, y terminaremos revisando algunos ejemplos donde las aplicaremos.

Máximo y mínimo de un conjunto

Definición: Sean $A\subseteq \r$ no vacíos. Decimos que:

  • $A$ tiene elemento máximo $\Leftrightarrow \exists a_{0} \in A$ tal que $\forall a \in A$ se cumple que: $a \leq a_{0}$
  • $A$ tiene elemento mínimo $\Leftrightarrow \exists b_{0} \in A$ tal que $\forall b \in A$ se cumple que: $b_{0} \leq b$

Para darnos una idea más clara de estas definiciones veamos los siguientes ejemplos:

$$C=(0,1]$$

  1. No tiene mínimo.
  2. Tiene máximo y es 1.

Para probar estas afirmaciones haremos uso de las definiciones anteriores:
Demostración 1 (por contradicción): Supondremos que existe un elemento $c_{0} \in C$ tal que $\forall c \in A$ cumple que $c_{0} \leq c$. Por lo que se sigue que: $0<c_{0}<1$.
Observemos que $\frac{c_{0}}{2} \in C$ ya que $0<\frac{c_{0}}{2}<c_{0}$
$$\Rightarrow c_{0}\leq \frac{c_{0}}{2}<c_{0} \contradiccion$$
Lo cual es una contradicción.

Demostración 2: Veamos que por la definición del conjunto C tenemos:
$$C=\left\{ c\in \r\quad|\quad 0<c \leq 1 \right \}$$
Por lo que $1\in C$ y se cumple que $\forall c\in C, c\leq 1$.

$\square$

Observación:

  • El elemento máximo de un conjunto es único.
  • El elemento mínimo de un conjunto es único.

La demostración de estas afirmaciones se quedará como ejercicios de la Tarea moral.

Cota superior e inferior de un conjunto

Definición: Sea $A \subseteq \r$. Decimos que un número $M \in \r$ es:

  • Cota superior $\Leftrightarrow \forall a \in A$ se cumple que: $a\leq M$.
  • Cota inferior $\Leftrightarrow \forall a \in A$ se cumple que: $a\geq M$.

Observación: Si hay una cota superior $M \Rightarrow \forall a \in A$ ocurre que: $$ a \leq M < M+1<M+2<M+3 \ldots$$ Es decir, hay una infinidad de cotas superiores de $A$.

Antes de continuar con el ejemplo de esta sección, aclaremos la diferencia entre máximos y cotas superiores de un conjunto, así como la diferencia entre mínimos y cotas inferiores. La distinción principal radica en que el máximo es un elemento específico del conjunto, mientras que una cota superior es simplemente un número que es mayor o igual que todos los elementos del conjunto, pero no necesariamente pertenece al mismo. De manera análoga, la diferencia clave es que el mínimo es un elemento específico dentro del conjunto, mientras que una cota inferior es simplemente un número que es menor o igual que todos los elementos del conjunto, pero no necesariamente pertenece a él.


Ejemplo

Consideremos el conjunto:
$$E=(0,2]$$
Vemos que para todo $x\in E$ ocurre que $-2<0<x$
$$\therefore \quad-2 \leq x$$
Por lo que podemos concluir que $-2$ es cota inferior de $E$.

Y además tenemos que $\forall x \in E$ se cumple $ x \leq 2.$
$\therefore \quad 2$ es cota superior de $E$.

Conjuntos acotados

Definición: Consideremos $A \subseteq \r$. Decimos que:

  1. $A$ es acotado superiormente si existe $M$ en $\r$ que es cota superior de $A$. Es decir, si $\exists M\in \r$ tal que $\forall a \in A$, $a \leq M$.
  2. $A$ es acotado inferiormente si existe $m$ en $\r$ que es cota inferior de $A$. Es decir, si $ \exists m\in \r$ tal que $\forall a \in A$, $m \leq a$.
  3. $A$ es acotado si existe $m$ y $M$ en $\r$ donde $m$ es cota inferior de $A$ y $M$ es cota superior de $A$. Es decir, si $\exists m,M \in \r$ tal que $\forall a \in A$: $m \leq a \leq M$.

    Otra manera de definir qué $A$ es acotado es la siguiente:
  4. $A$ es acotado si existe $M$ en $\r$ mayor o igual que el valor absoluto de cualquier elemento $a$ en $A$. Es decir, si $\exists M \in \r$ tal que $\forall a \in A$: $|a| \leq M$.

Lema: Vamos a demostrar que las definiciones 3 y 4 son equivalentes.

Demostración:
$\Rightarrow)$ Sean $m_0, M_0 \in \r$ tal que $m_0 \leq a \leq M_0$. Queremos demostrar que existe $M \in \r$ que cumple con:
$$-M \leq a \quad \quad \text{y}\quad \quad a \leq M$$
Proponemos a $M=\max\{|m_0|,|M_0|\}.

Por definición de $m_0$ y $M_0$ vemos que se cumple:
\begin{align*}
a&\geq m_0 \geq -|m_0|\geq -M\\
a&\leq M_0 \leq |M_0| \leq M.
\end{align*}
Por transitividad obtenemos
\begin{align*}
a&\geq -M\\
a&\leq M.
\end{align*}

Concluimos entonces que:
$$-M \leq a \leq M$$
$$\therefore |a|\leq M.$$

$\Leftarrow)$ Como $|a| \leq M$ se sigue que $-M \leq a \leq M$. Como $-M \leq a$ tenemos que $A$ es acotado inferiormente por definición si tomamos $m := -M$:
$$m \leq a$$
Análogamente de $a \leq M$ tenemos que $A$ es acotado superiormente por definición concluimos:
$$\therefore m \leq a \leq M$$

$\square$

Lema: Para cualesquiera $A,B \subseteq \r$. Si $A\subseteq B$ y $B$ es acotado entonces $A$ es acotado.

Demostración: Como tenemos que $B$ es acotado existe $M>0$ tal que para todo $b\in B$:
$$|b|\leq M$$
CASO 1 $A\neq\emptyset$: Como $A \subseteq B$ entonces para todo $a \in A$ existe $b \in B$ tal que $a=b$.
$\therefore a \in A, a=b \Rightarrow |a|=|b|\leq M$
CASO 2 $A= \emptyset$: Sabemos que $A =\emptyset\subseteq B$ por lo que se sigue $A$ es acotado por vacuidad.

$\square$

Ejemplo

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

Observamos que:

  • $A$ es acotado superiormente ya que para todo $n\in \mathbb{N}\setminus\left\{0\right\}$:
    $$1<n \Leftrightarrow \frac{1}{n} \leq 1$$
    $\therefore 1$ es cota superior de $A$.
  • $A$ tiene elemento máximo. Tenemos que $\forall n\in \mathbb{N}\setminus\left\{0\right\}: \frac{1}{n} \leq 1$
    Así para $n=1$ ocurre que $\frac{1}{1} \leq 1$.
    $\therefore 1$ es máximo de $A$.
  • El conjunto de cotas superiores de $A$ está dado por:
    $$[1, \infty),$$
    que tiene elemento mínimo y es 1. Esto nos indica que existe una mínima cota superior.
  • $A$ es acotado inferiormente. Vemos que para todo $n\in \mathbb{N}, \frac{1}{n} > 0$ por lo que $0 \notin A$. Concluimos así que $\forall a\in A, 0 \leq \frac{1}{n}$.
    $\therefore 0$ es cota inferior de $A$
  • El conjunto de cotas inferiores de $A$ esta dado por:
    $$(- \infty, 0],$$
    que tiene elemento máximo y es 0. Esto nos indica que existe una máxima cota inferior.
  • $A$ no tiene elemento mínimo. Si suponemos que existe un elemento $a_{0} \in A$ tal que $\forall n\in \mathbb{N}, a_{0} \leq \frac{1}{n}$. Tenemos que $a_{0}$ sería de la forma
    $a_{0} = \frac{1}{n_{0}} > 0$
    $\Rightarrow 0< \frac{1}{2n_{0}}<\frac{1}{n_{0}}$ con $\frac{1}{2n_{0}} \in A$.
    De lo anterior vemos que $a_{0}$ no es mínimo $\Rightarrow \frac{1}{n_{0}}\leq\frac{1}{2n_{0}} \contradiccion$, lo cual nos lleva a una contradicción.

$\square$

Más adelante

Ahora que ya hemos revisado los conceptos de máximo, mínimo y cotas superiores e inferiores de un conjunto en $\r$ tenemos los antecedentes necesarios para comenzar a hablar de supremos e ínfimos.

Tarea moral

  • Demuestra que:
    • El elemento máximo de un conjunto es único.
    • El elemento mínimo de un conjunto es único.
  • Para el conjunto $D=(-\infty, 1)$ demuestra que se cumplen las siguientes afirmaciones:
    • D no tiene elemento mínimo
    • D no tiene elemento máximo
    • D es acotado superiormente
    • D no tiene cotas inferiores

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»

Cálculo Diferencial e Integral I: Raíz cuadrada y desigualdades

Por Karen González Cárdenas

Introducción

Ahora veremos el concepto de raíz cuadrada, su definición formal, resultados útiles y ejercicios de desigualdades donde se vea involucrada.

Definición de raíz cuadrada de un número real

Definición (Raíz cuadrada): Sea $x,y \in \r$ tal que $x, y \geq 0$. Definiremos a la raíz cuadrada de $x$ como sigue:
$$\sqrt{x}=y \Leftrightarrow x= y^{2}.$$

Para dejar más clara la definición observemos el siguientes ejemplo:

  • Si $x =9$ tenemos que para $\sqrt{9}$:
    $\sqrt{(3)^{2}}= 3$

Observaciones

  1. Para toda $x \in \r$ con $x>0$. Observamos que la raíz cuadra de $x$ cumple con las siguientes desigualdades, es decir, $$-\sqrt{x} \leq 0 , \quad \sqrt{x} \geq 0.$$
  2. Para $y \in \r$ tenemos que $\sqrt{y^{2}} =|y|.$
  3. $|y^{2}|=y^{2};$
    $|y^{2}|=|y|^{2}.$

Demostración de 1: Consideramos $x=y^{2}$ donde $y^{2}\geq 0$. Así al sustituir y aplicar la raíz cuadrada se sigue que:
\begin{equation*}
\sqrt{y^{2}}=
\begin{cases}
y &\text{si $y \geq 0$}\\
-y & \text{si $y< 0$}.
\end{cases}
\end{equation*}

Demostración de 2: Vemos que esto se sigue de la observación anterior ya que
\begin{equation*}
|y|=
\begin{cases}
y &\text{si $y \geq 0$}\\
-y & \text{si $y< 0$}.
\end{cases}
\end{equation*}
$$\therefore \sqrt{y^{2}} =|y|.$$

$\square$

Algunos resultados importantes

Teorema: Para $x,y \in \r$ donde $x \geq 0$ y $y \geq 0$.
$$x \leq y \Leftrightarrow x^{2} \leq y^{2}$$

Demostración:
$\Rightarrow$): Como tenemos por hipótesis $x \leq y$ vemos que al multiplicar por $x$ obtendríamos
$$x \leq y \Rightarrow x^{2} \leq xy$$
Y si multiplicamos por $y$:
$$x \leq y \Rightarrow xy \leq y^{2}$$
Así por transitividad:
$$\Rightarrow x^{2} \leq y^{2}$$
$\Leftarrow$): Ahora tenemos como hipótesis que $x^{2} \leq y^{2}$. Y esto es equivalente a decir
$$0 \leq y^{2}-x^{2} \Leftrightarrow (y+x)(y-x) \geq 0$$

Por lo que debemos considerar los casos en que:
a) $y+x \geq 0$ y $y-x \geq 0$
De la segunda desigualdad concluimos $y \geq x$.

O el caso b) $y+x \leq 0$ y $y-x \leq 0$
Vemos que este caso no tiene sentido.
$$\therefore \quad y \geq x$$

$\square$

Corolario: Para $x \geq 0$, $y \geq 0$.
$$x\leq y \Leftrightarrow \sqrt{x} \leq \sqrt{y}$$
Demostración:
Tomemos $a = \sqrt{x}$ y $b=\sqrt{y}$.
$\Rightarrow$):
Entonces $a^{2}=(\sqrt{x})^{2}$ y $b^{2}=(\sqrt{y})^{2}\Rightarrow a^{2}=x$ y $b^{2}=y$
Y como por hipótesis $x\leq y$
\begin{align*}
&\Rightarrow a^{2} \leq b^{2}\\
&\Rightarrow a \leq b\\
&\Rightarrow \sqrt{x} \leq \sqrt{y}
\end{align*}
$\Leftarrow$):
Ahora como por hipótesis $\sqrt{x} \leq \sqrt{y}$
\begin{align*}
&\Rightarrow a \leq b\\
&\Rightarrow a^{2} \leq b^{2}\\
&\Rightarrow x \leq y
\end{align*}

$\square$

Corolario: Para cualesquiera $x,y \in \r$ donde $y\geq 0$.
$$|x|^{2}\leq y \Leftrightarrow |x| \leq \sqrt{y}$$
Demostración:
Aplicando el corolario anterior tenemos las siguientes equivalencias
\begin{align*}
|x|^{2}\leq y &\Leftrightarrow \sqrt{|x|^{2}} \leq \sqrt{y}\\
&\Leftrightarrow \sqrt{x^{2}} \leq \sqrt{y}\\
&\Leftrightarrow |x| \leq \sqrt{y}\\
\end{align*}

$\square$

A continuación resolveremos ejercicios de desigualdades donde se encontraran involucrados la raíz cuadrada y el valor absoluto.

Ejercicio 1

Encuentra los valores $x$ que cumplan la desigualdad:

$$2x^{2}<|x-1|$$

Por el valor absoluto presente sabemos que debemos tomar casos, por lo que tenemos:

CASO 1: $x-1\geq 0 \Leftrightarrow x\geq 1$

Sustituyendo nos queda:
\begin{align*}
2x^{2}<|x-1|&\Leftrightarrow 2x^{2}< x-1\\
&\Leftrightarrow 2x^{2}- x+1<0\\
\end{align*}
Aplicando la fórmula general para ecuaciones de segundo grado:
\begin{align*}
x &=\frac{1 \pm \sqrt{(-1)^2 -4(2)(1)}}{2(2)}\\
&=\frac{1 \pm \sqrt{1-8}}{4}\\
&=\frac{1 \pm \sqrt{-7}}{4}.\\
\end{align*}
Pero como $\sqrt{-7}$ no tiene solución en $\r$, tenemos que la solución de este caso es:
$$[1,\infty) \cap \emptyset= \emptyset.$$

CASO 2: $x-1\leq 0 \Leftrightarrow x\leq 1$
Por lo que tendríamos:
\begin{align*}
2x^{2}<|x-1|&\Leftrightarrow 2x^{2}< -(x-1)\\
&\Leftrightarrow 2x^{2}+x-1<0\\
\end{align*}

Y por la fórmula general se sigue:
\begin{align*}
x&=\frac{-1\pm \sqrt{(1)^2 -4(2)(-1)}}{2(2)}\\
&=\frac{-1\pm \sqrt{9}}{4}\\
&=\frac{-1\pm 3}{4}.\\
\end{align*}
$$\therefore \quad x_{1}=\frac{1}{2}, \quad x_{2}=-1$$
Sustituyendo lo anterior tenemos que:
$$2x^{2}+x-1<0 \Rightarrow \left(x-\frac{1}{2} \right)(x+1)<0$$

Dado lo anterior notamos que para que el producto satisfaga la desigualdad hay que considerar el siguiente par de casos:
CASO 2.1: $x-\frac{1}{2}>0$ y $ x+1<0$
De donde $x>\frac{1}{2}$ y $ x<-1$. Al considerar la intersección vemos que ocurre:
$$\left(\frac{1}{2}, \infty \right) \cap (-\infty,-1)= \emptyset$$

CASO 2.2: $x-\frac{1}{2}<0$ y $ x+1>0$
Ahora tendríamos que $x<\frac{1}{2}$ y $ x>-1$. Y la solución sería:
$$\left(-1,\frac{1}{2} \right)$$

Concluimos así que la solución del CASO 2 esta dada por:
$$\left[\emptyset \cup \left(-1, \frac{1}{2} \right) \right] \cap (-\infty, 1)=\left(-1,\frac{1}{2} \right)$$

Finalmente la solución total es:
$$\left(-1,\frac{1}{2} \right)\cup \emptyset =\left(-1,\frac{1}{2} \right)$$


Ejercicio 2

$$x^{2}-4x-1 >0$$

Buscando la solución de la ecuación $x^{2}-4x-1 =0$:
\begin{align*}
x &=\frac{-(-4)\pm \sqrt{(-4)^2 -4(1)(-1)}}{2(1)}\\
&=\frac{4\pm \sqrt{16+4}}{2}\\
&=\frac{4\pm \sqrt{20}}{2}\\
&=\frac{4\pm 2\sqrt{5}}{2}\\
&= 2\pm 2\sqrt{5}
\end{align*}
$$\therefore \quad x_{1}=2+\sqrt{5},\quad x_{2}=2-\sqrt{5}$$

Entonces la desigualdad que queremos resolver sería:
$$(x – (2+\sqrt{5}))(x-(2-\sqrt{5}))>0$$

Para que el producto cumpla con la condición de ser mayor que cero debemos considerar los casos:
CASO 1: $x-2-\sqrt{5} >0$ y $x-2+\sqrt{5} >0$
$\Rightarrow x>2+\sqrt{5}$ y $x>2-\sqrt{5}$
$\Rightarrow x>2+\sqrt{5}$

CASO 2: $x-2-\sqrt{5} <0$ y $x-2+\sqrt{5} <0$
$\Rightarrow x<2+\sqrt{5}$ y $x<2-\sqrt{5}$
$\Rightarrow x<2-\sqrt{5}$


De los casos anteriores obtenemos que nuestro conjunto solución es:
$$(-\infty, 2-\sqrt{5}) \cup (2+\sqrt{5}, \infty)$$

Ahora que ya hemos revisado estos ejercicios, te invitamos a poner en práctica los procedimientos vistos con los siguientes ejercicios.

Más adelante

En la siguiente entrada veremos las cotas de un conjunto en $\r$. Definiremos formalmente los conceptos de cota superior e inferior y veremos algunos ejemplos donde los aplicaremos. Estos serán de suma importancia para comenzar a hablar de ínfimos y supremos posteriormente.

Tarea moral

Prueba que:

  • $|y^{2}|=y^{2}$
  • $|y^{2}|=|y|^{2}$

Obtén todos los valores de $x$ que satisfagan las siguientes desigualdades:

  • $-5x^{2} + 2x +|x|-1 \leq 3$
  • $x^{2}-4x-1<0$
  • $-7x^{2}+2x+|x|<-4$

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»