Archivo del Autor: Juan Manuel Naranjo Jurado

Cálculo Diferencial e Integral I: Sucesiones de números reales

Por Juan Manuel Naranjo Jurado

Introducción

En la unidad anterior se revisó el concepto de función, sus características y diversas clasificaciones, los conocimientos adquiridos nos ayudarán a dar inicio a esta nueva unidad referente a un tipo especial de funciones que tienen como domino los números naturales y codominio los números reales, éstas son llamadas sucesiones.

En esta entrada nos enfocaremos en entender la definición y estudiar algunos ejemplos que nos permitan familiarizarnos de forma adecuada con este nuevo concepto.

Sucesiones

Es probable que recuerdes ejercicios del tipo «Encuentra el siguiente término de la sucesión 1.1, 4.2, 9.3, 16.4, __, 36.6». Para resolver estos problemas, hacíamos uso de nuestra creatividad con el fin de poder encontrar el patrón que nos permitiera generar cada uno de los números y, para lograrlo, resultaba fundamental establecer una especie de orden: el primer término, luego el segundo, seguido del tercero, etc. En nuestro ejemplo tenemos lo siguiente:

Primer término: 1.1.
Segundo término: 4.2.
Tercer término: 9.3.
Cuarto término: 16.4.
Quinto término: __.
Sexto término: 36.6.

Considerando esto, es que podíamos notar que la sucesión está determinada por $n^2 + \frac{n}{10}$ donde $n$ hace referencia al término $n$-ésimo. Finalmente, calculábamos el término faltante, en nuestro caso el quinto, que sería $5^2+\frac{5}{10} = 25.5$. Sin embargo, ahora estudiaremos las sucesiones desde una perspectiva distinta donde conoceremos desde un inicio esta regla de asignación que nos permite generar la sucesión y más bien nos importará determinar las características que ésta posea.

Definición. Una sucesión de números reales o sucesión en $\RR$ es una función $f$ definida en el conjunto de los números naturales $\mathbb{N}$ con codominio en los reales $\RR$, es decir, $f: \mathbb{N} \to \RR$.

Dada una sucesión $f: \mathbb{N} \to \RR$, los términos de la misma se obtendrán evaluando la función $f$ en elementos de su dominio. Es decir, el primer término de la sucesión es $f(1) = a_1$, el segundo $f(2)=a_2$, y así sucesivamente. De esta manera, identificamos al $n$-ésimo término mediante $a_n$ y denotamos a la sucesión en sí como $\{ a_n \}$.

Es importante destacar que en la definición especificamos que estamos hablando de una sucesión de números reales, pues, en principio, podemos definir funciones de $\mathbb{N}$ a cualquier otro conjunto $A$, sin embargo, en este curso sólo trataremos el caso donde tal conjunto $A$ es el conjunto de los números reales.

Retomando el ejemplo anterior y considerando la definición dada, podemos ser más formales y establecer que la anterior sucesión es una función $f: \mathbb{N} \to \RR$ donde $f(n) = n^2 + \frac{n}{10}$, o bien, podemos denotarla simplemente como $\{ n^2 + \frac{n}{10} \}$.

De esta forma, el primer término de nuestro ejemplo es $a_1 = 1^2+\frac{1}{10} =1.1$, el segundo término es $a_2 = 2^2+\frac{2}{10} =4.2$ y así sucesivamente. De forma más general, el $n$-ésimo término de la sucesión es $a_n = n^2 + \frac{n}{10}$. A continuación mostramos la gráfica de la sucesión:

Ejemplos de sucesiones

Ahora revisaremos algunos ejemplos de sucesiones.

Ejemplo 1. Sea $c \in \mathbb{R}$, la sucesión $\{a_n \}$ generada por $a_n = c$ para todo $n \in \mathbb{N}$, la llamamos sucesión constante. Así, la sucesión constante siempre toma el mismo valor y es de la forma $$\{ c, c, \ldots, c, \ldots \}.$$

Ejemplo 2. La sucesión $\{a_n\}$ generada por $a_n = 2n$ es la sucesión de los números pares positivos. Donde sus términos son $$\{ 2, 4, 6, \ldots, 2k, \ldots \}.$$

Ejemplo 3. Sea $\{a_n\}$ la sucesión generada por $a_n = (-1)^n$. Los términos de la sucesión son $$\{ -1,1,-1,\ldots, -1^k, \ldots \}.$$

Ejemplo 4. Sea $\{a_n\}$ la sucesión generada por $a_n =\frac{1}{n}$. De esta forma, sus términos son $$\left\{ 1, \frac{1}{2}, \frac{1}{3}, \ldots, \frac{1}{k}, \ldots \right\}.$$

Ejemplo 5. Sea $\{a_n\}$ la sucesión generada por $a_n = 2^n$. Con lo cual sus términos son $$\{ 2, 4, 8, 16, \ldots, 2^k \ldots \}.$$

Ejemplo 6. Una de las sucesiones más famosas es la sucesión de Fibonacci $\{f_n\}$ la cual se define de forma inductiva, es decir, cada término se define con base en los anteriores.

\begin{align*}
f_1 & = 1, \\
f_2 & = 1, \\
f_{n+1} & = f_{n-1}+f_{n} \quad \forall n \geq 3.
\end{align*}

A modo ilustrativo, calcularemos los primeros 5 elementos de la sucesión $\{f_n\}$.
$$f_1 = 1, \quad f_2 = 1, \quad f_3 = 1+1 = 2, \quad f_4 = 1+2 = 3, \quad f_5 = 2+3 = 5.$$

Ejemplo 7. Sea $\{a_n\}$ una sucesión definida inductivamente de la siguiente forma:

\begin{align*}
a_1 & = 1, \\
a_n & = n \cdot a_{n-1} \quad \forall n \geq 2.
\end{align*}

De esta forma, los primeros 5 términos de la sucesión son $$\{ 1, 2, 6, 24, 120 \}.$$

Al $n$-ésimo término de esta sucesión se le denota comúnmente como $n!$ y su valor está dado por $$n! = n \cdot (n-1) \cdot (n-2) \cdot \ldots \cdot 2 \cdot 1.$$ Adicionalmente, se define $0! = 1$.

Operaciones con sucesiones

Las reglas de la suma, la resta, el producto y el cociente de funciones particularmente aplican a las sucesiones, pues éstas también son funciones. Considerando esto, dadas dos sucesiones $\{a_n\}$, $\{b_n\}$ y si $c \in \mathbb{R}$, definimos:

  1. La suma: $\{a_n\} + \{b_n\} = \{a_n + b_n\}.$
  2. La resta: $\{a_n\} – \{b_n\} = \{a_n – b_n\}.$
  3. La multiplicación: $\{a_n\} \cdot \{b_n\} = \{a_n \cdot b_n\}.$
  4. La multiplicación por un escalar: $ c \cdot \{a_n\} = \{ c \cdot a_n \}.$
  5. El cociente: Si además $b_n \neq 0$ para todo $n \in \mathbb{N}$, entonces $$\frac{ \{a_n\} }{ \{b_n\} } = \left\{ \frac{a_n}{b_n} \right\}.$$

A continuación veremos algunos ejemplos.

Ejemplo 8. Sean $\{ a_n \} = \{ n^2 \}$ y $\{ b_n \}= \{ \frac{n}{10} \}$, entonces $\{a_n\} + \{b_n\} = \{ n^2 + \frac{n}{10} \}$. Denotamos a la sucesión generada como $\{ c_n \} = \{ n^2 + \frac{n}{10} \}$. A continuación se calculan los primeros tres términos:

\begin{align*}
c_1 =1^2 + \frac{1}{10} = 1.1, \\ \\
c_2 =2^2 + \frac{2}{10} = 4.2, \\ \\
c_3 =3^2 + \frac{3}{10} = 9.3.
\end{align*}
Así, los términos de la sucesión son: $$\left\{ 1.1, 4.2, 9.3, \ldots, k^2 + \frac{k}{10}, \ldots \right\}.$$

Ejemplo 9. Sean $\{ a_n \} = \{ n \} $ y $\{ b_n \}= \{ n+1 \}$, entonces $\{a_n\} – \{b_n\} = \{ -1 \}$. Denotamos a la sucesión generada como $\{ c_n \} = \{ -1 \}$. Los primeros tres términos son:

\begin{align*}
c_1 = -1, \\ \\
c_2 = -1, \\ \\
c_3 = -1.
\end{align*}
Así, los términos de la sucesión son: $$\{ -1, -1, -1, \ldots, -1, \ldots \}.$$

Ejemplo 10. Sean $\{ a_n \} = \{n-1\} $ y $\{ b_n \}= \{n+1\}$, entonces $\{a_n\} \cdot \{b_n\} = \{n^2-1\}$. Denotamos a la sucesión generada como $\{ c_n \} = \{n^2-1\}$. Los primeros tres términos son:

\begin{align*}
c_1 = 1^2-1 = 0, \\ \\
c_2 = 2^2-1 = 3, \\ \\
c_3 = 3^2-1 = 8.
\end{align*}
Así, los términos de la sucesión son: $$\{ 0, 3, 8, \ldots, k^2-1, \ldots \}.$$

Ejemplo 11. Sean $c = 5 $ y $\{ a_n \}= \{n \}$, entonces $5 \cdot \{a_n\} = \{5n\}$. Denotamos a la sucesión generada como $\{ c_n \} = \{5n\}$. Los primeros tres términos son:

\begin{align*}
c_1 = 5(1) = 5, \\ \\
c_2 = 5(2) = 10, \\ \\
c_3 = 5(3) = 15.
\end{align*}
Así, los términos de la sucesión son: $$\{ 5, 10, 15, \ldots, 5k, \ldots \}.$$

Ejemplo 12. Sean $\{ a_n \} = \{ n \} $ y $\{ b_n \}= \{ (-1)^n \}$, entonces $\frac{ \{a_n\} }{ \{b_n\}} = \left\{ \frac{ n }{ (-1)^n } \right\}$. Denotamos a la sucesión generada como $\{ c_n \} = \left\{ \frac{ n }{ (-1)^n } \right\}$. Los primeros tres términos son:

\begin{align*}
c_1 = \frac{1}{(-1)^1} = -1, \\ \\
c_2 = \frac{2}{(-1)^2} = 2, \\ \\
c_3 = \frac{3}{(-1)^3} = -3.
\end{align*}
Así, los términos de la sucesión son: $$\left\{-1, 2, -3, \ldots, \frac{k}{(-1)^k}, \ldots \right\}.$$

Más adelante…

En la siguiente entrada se hará la revisión del concepto de sucesión convergente. Para este propósito, revisaremos la definición de límite aplicado a sucesiones, que será clave para el estudio de todos los temas subsecuentes en el curso dado que es el antecesor de la definición del límite de una función.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

  • Considera la sucesión de Fibonacci definida en esta entrada. Encuentra $f_8$.
  • Consideremos las sucesiones $\{ a_n \}$ y $\{b_n\}$ donde $a_n = n^2-5n+10$ y $b_n = \frac{1}{n}$. Determina los primeros 8 términos de las siguientes sucesiones:
    • $\{ a_n \} \cdot \{b_n\}.$
    • $\{ a_n \} + \{b_n\}.$
    • $\frac{\{ a_n \}}{\{b_n\}}.$
    • $8 \cdot \{ a_n \} – 10 \cdot \{ \frac{1}{b_n}\}.$

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: Continuidad de la función inversa

Por Juan Manuel Naranjo Jurado

Introducción

Esta entrada será la última referente a las funciones continuas y se hará el estudio de las condiciones necesarias para que, dada una función continua, su inversa también sea continua. Para lograr nuestro objetivo, haremos uso de los conceptos revisados en la entrada anterior e iniciaremos retomando la definición de intervalo y probaremos un teorema que nos permite caracterizarlos.

Intervalos

Anteriormente, se había dado la siguiente definición de intervalos.

Definición: Sean $a,b \in \r$. Definimos los siguientes intervalos en $\RR$ como sigue:

  • Intervalo cerrado
    \[
    [a,b]=\left\{x : a \leq x \leq b\right\}
    \]
  • Intervalo abierto
    \[
    (a,b)=\left\{x : a < x < b\right\}
    \]
  • Abierto por la izquierda / Cerrado por la derecha
    \[
    (a,b]=\left\{x : a < x \leq b\right\}
    \]
  • Abierto por la derecha / Cerrado por la izquierda
    \[
    [a,b)=\left\{x : a \leq x < b\right\}
    \]

Sea $a\in \r$. Para los intervalos que involucran al infinito tenemos las siguientes definiciones:

  • \[
    (-\infty ,a)=\left\{x : x < a \right\}
    \]
  • \[
    (-\infty ,a]=\left\{x : x \leq a \right\}
    \]
  • \[
    (a, \infty) =\left\{x : a < x\right\}
    \]
  • \[
    [a, \infty) =\left\{x : a \leq x\right\}
    \]
  • \[
    (- \infty, \infty)=\r
    \]

Ahora revisaremos un teorema que nos permite caracterizar a los intervalos y éste nos dice que si se toman cualesquiera dos puntos de un intervalo $A$, entonces el intervalo generado por tales puntos está contenido dentro de $A$.

Teorema. Si $A$ es un subconjunto de $\mathbb{R}$ que contiene al menos dos puntos y tiene la propiedad

$$\text{si } x, y \in A \quad \Rightarrow \quad [x,y] \subset A. \tag{1}$$

Entonces $A$ es un intervalo.

Demostración.

La demostración se divide en cuatro casos de acuerdo a si está o no acotado.

  • Caso 1: $A$ está acotado.
    Dado que $A$ está acotado y $A \neq \varnothing$, podemos definir el supremo y el ínfimo. Sean $a = infA$ y $b = supA.$ Entonces $A \subset [a,b]$. Nos enfocaremos en demostrar que $(a,b) \subset A$.

    Si $z \in (a,b)$, es decir, $a<z<b$, entonces $z$ no es cota inferior de $A$, por lo que existe $x \in A$ tal que $x<z$. De la misma forma, $z$ no es una cota superior de $A$, por lo que existe $y \in A$ tal que $z<y.$ Por lo tanto, $z \in [x,y]$ y por $(1)$ se tiene que $z \in A$. Puesto que $z$ es un elemento arbitrario de $(a,b)$, podemos concluir que $(a,b) \subset A$.

    Notemos que si $a \in A$ y $b \in A$, se tiene que $A= [a,b]$ pues $a$ y $b$ son el ínfimo y supremo respectivamente. Si $a \notin A$ y $b \notin A$, entonces $A = (a,b)$. Si $a \notin A$ y $b \in A$, entonces $A = (a,b]$. Finalmente, si $a \in A$ y $b \notin A$, entonces $A = [a,b)$.

  • Caso 2: $A$ está acotado superiormente pero no inferiormente.
    Definimos $b = supA$. Entonces $A \subset (- \infty, b]$. Veremos que $(- \infty, b) \subset A$.

    Si $z \in (- \infty, b)$, es decir $z<b$, entonces no es cota superior, por lo que existe $y \in A$ tal que $z < y$, además dado que $A$ no está acotado inferiormente, existe $x \in A$ tal que $x < z$. De esta forma, gracias a $(1)$ se tiene que $z \in [x,y] \subset A$. Dado que $z$ es un elemento arbitrario de $(- \infty, b)$, entonces $(-\infty, b) \subset A$.

    Notemos que si $b \in A$, entonces $A = (- \infty, b]$ y si $b \notin A$, entonces $A = (- \infty, b)$.

  • Caso 3: $A$ está acotado inferiormente pero no superiormente.
    La prueba es análoga al caso 2.

  • Caso 4: $A$ no está acotado inferiormente ni superiormente.
    La prueba es muy similar a la de los casos anteriores por lo cual se dejará como tarea moral.

$\square$

Notemos que el regreso también es cierto, es decir, si $A$ es un intervalo, entonces cumple $(1)$ y la demostración también quedará como tarea moral.

Continuidad de la función inversa

El siguiente teorema nos indica que una función continua mapea intervalos en intervalos.

Teorema (Preservación de intervalos). Sea $I$ un intervalo y sea $f: I \to \mathbb{R}$ continua en $I$. Entonces el conjunto $f(I)$ es un intervalo.

Demostración.

Sean $y_1$, $y_2 \in f(I)$ tal que $y_1 < y_2$, entonces existen los puntos $x_1$, $x_2$ tal que $y_1 = f(x_1)$ y $y_2 = f(x_2)$. Por el teorema del valor intermedio, se tiene que si $y \in [y_1,y_2]$, entonces existe $x \in I$ tal que $y = f(x) \in f(I)$. Por lo tanto, se tiene que $[y_1,y_2] \subset f(I)$ y por el teorema de caracterización de intervalos, se concluye que $f(I)$ es un intervalo.

$\square$

Ahora veremos que la monotonía también se preserva bajo la función inversa.

Proposición. Si $f: A \to \mathbb{R}$ es una función estrictamente creciente, entonces $f^{-1}: f(A) \to \mathbb{R}$ también es estrictamente creciente. Si $f$ es estrictamente decreciente, $f^{-1}$ también lo es.

Demostración.

Sea $f$ una función estrictamente creciente y sean $y_1$, $y_2 \in f(A)$ tal que $y_1<y_2$ y sean $x_1 = f^{-1}(y_1)$, $x_2 = f^{-1}(y_2)$.

Supongamos que $x_2 < x_1$, pero $f$ es creciente lo que implica que $y_2 = f(x_2) < f(x_1) = y_1$ lo cual es una contradicción pues $y_1<y_2$. Por lo tanto, $f^{-1}(y_1)=x_1 < x_2 = f^{-1}(y_2)$. Por lo tanto $f^{-1}$ es estrictamente creciente.

La prueba es análoga para el caso donde $f$ es estrictamente decreciente.

$\square$

Los últimos dos teoremas de la entrada hacen referencia a las condiciones que deben estar presentes para que la inversa de una función continua también sea continua.

Teorema. Si $I$ es un intervalo y $f: I \to \mathbb{R}$ es estrictamente monótona, entonces $f^{-1}$ es continua.

Demostración.

Por la proposición, anterior tenemos que $f^{-1}: f(I) \to \mathbb{R}$ también es estrictamente monótona y sabemos que $f(I)$ es un intervalo. Por el teorema revisado en la entrada anterior, concluimos que $f^{-1}$ también es continua.

$\square$

Teorema. Si $I$ es un intervalo y $f: I \to \mathbb{R}$ es continua e inyectiva, entonces $f^{-1}$ es continua.

Demostración.

Por lo revisado en la entrada anterior, sabemos que si $f$ es continua e inyectiva, entonces es estrictamente monótona y se sigue por el teorema anterior que $f^{-1}$ es continua.

$\square$

Más adelante…

En la siguiente entrada daremos inicio a una nueva unidad y entraremos a uno de los temas más famosos del cálculo: la derivada. Dentro de esta nueva unidad, veremos a profundidad la definición de derivada, así como su interpretación geométrica y sus propiedades. Una vez se conozcan los fundamentos teóricos, se verán aplicaciones que existen en diversos campos tales como la economía, la física, etc.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

  • Prueba el caso 4 para el teorema de preservación de intervalos.
  • Prueba que si $A$ es un intervalo con al menos dos puntos, entonces se cumple que
    $$\text{si } x, y \in A \quad \Rightarrow \quad [x,y] \subset A.$$
  • Sea $I$ un intervalo y sea $f: I \to \mathbb{R}$ una función inyectiva. Menciona qué relación existe entre las siguientes condiciones:
    • $f$ es continua.
    • $f(I)$ es un intervalo.
    • $f$ es estrictamente monótona.
    • $f^{-1}$ es continua.

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: Continuidad y monotonía

Por Juan Manuel Naranjo Jurado

Introducción

En esta entrada estableceremos la relación existente entre la monotonía y la continuidad. Para lo cual haremos un repaso rápido de algunos conceptos revisados previamente.

Definición. Sea $A \subset \mathbb{R}$ y $f: A \to \mathbb{R}$.

  • Se dice que $f$ es creciente si para cada $x_1$, $x_2 \in A$ tales que $x_1 < x_2$, entonces se tiene que $f(x_1) \leq f(x_2)$. Decimos que es estrictamente creciente si se da la desigualdad estricta, es decir, $f(x_1) < f(x_2)$.
  • Análogamente, decimos que $f$ es decreciente si para cada $x_1$, $x_2 \in A$ tales que $x_1 < x_2$, entonces se tiene que $f(x_1) \geq f(x_2)$. Decimos que es estrictamente decreciente si se da la desigualdad estricta, es decir, $f(x_1) > f(x_2)$.
  • Si una función es creciente o decreciente decimos que es monótona. Si la función es estrictamente creciente o estrictamente decreciente, decimos que es estrictamente monótona.

Tras haber retomado las definiciones anteriores, vale la pena mencionar que el hecho de que una función sea monótona en un intervalo no implica que sea continua. Podemos considerar como ejemplo:
$$f(x) = \begin{cases}
-1 & \text{ si } x < 0 \\
1 & \text{ si } x \geq 0.
\end{cases}$$

Se tiene que $f$ es monótona en $\mathbb{R}$, pero no es continua en $x=1$.

Funciones continuas que son monótonas

Estamos listos para ver la relación que existe entre la monotonía y la continuidad. Iniciaremos de viendo un resultado que va de continuidad a monotonía.

Teorema. Sea $A = [a, b]$ un intervalo y $f : A \to \mathbb{R}$ una función continua e inyectiva. Entonces $f$ es estrictamente monótona.

Demostración.

Dado que la función es inyectiva, se tiene que $f(a) \neq f(b)$. Así, tenemos dos casos.

  • Caso 1: $f(a) < f(b)$.
    Primero veamos que si $x \in [a,b]$, entonces se tiene que
    $$f(a) \leq f(x) \leq f(b) \tag{1}.$$
    Sea $x \in [a,b]$ y supongamos que $f(x) < f(a)$. Por el teorema del valor intermedio, sabemos que existe $y \in [x, b]$ tal que $f(y) = f(a)$, pero esto contradice la inyectividad. Por tanto, se concluye que $f(a) \leq f(x)$.

    Análogamente, si $x \in [a,b]$ y supongamos que $f(b) < f(x)$. Por el teorema del valor intermedio, existe $y \in [a,x]$ tal que $f(y) = f(b)$, pero esto contradice la inyectividad. Por tanto, se concluye que $f(x) \leq f(b)$.

    Ahora probaremos que $f$ es estrictamente creciente. Sean $x$, $y \in [a,b]$ tal que $x<y$. Por $(1)$, se tiene que $f(x) \leq f(b)$, más aún, se tiene la desigualdad estricta $f(x) < f(b)$ dado que la función es inyectiva y $x< y \leq b$. Tomemos el intervalo $[x,b]$ donde $f$ sigue siendo continua e inyectiva y se cumple que $f(x) < f(b)$, aplicando nuevamente $(1)$, se tiene que $f(x) \leq f(y)$ y por ser $f$ inyectiva se tiene la desigualdad estricta, es decir, $f(x) < f(y)$ y por tanto $f$ es estrictamente creciente.

  • Caso 2: $f(b) > f(a)$.
    Definimos $g: [a,b] \to \mathbb{R}$ tal que $g(x) = -f(x)$ para todo $x \in \mathbb{R}$. De esta forma $g$ también es continua e inyectiva en $[a,b]$. Notemos que $g(a) = -f(a) < -f(b) = g(b)$, es decir, $g(a) < g(b)$; y por el Caso 1, se tiene que si $x$, $y \in [a,b]$ tales que $x <y$, entonces $g(x) < g(y)$, esto implica que $-f(x) < -f(y)$ por lo que se concluye que $f(y) > f(x)$. Es decir, se tiene que $f$ es estrictamente decreciente.

De ambos casos, se concluye que si $f$ es continua e inyectiva en el intervalo $[a,b]$ entonces $f$ es estrictamente monótona.

$\square$

En el teorema anterior, nos limitamos a intervalos de la forma $[a, b]$. Sin embargo, podemos extender aún más este resultado para cualquier tipo de intervalo.

Teorema. Sea $A \subset \mathbb{R}$ un intervalo y $f : A \to \mathbb{R}$ una función continua e inyectiva. Entonces $f$ es estrictamente monótona.

Demostración.

Procederemos a realizar esta demostración por contradicción.

Supongamos que $f : A \to \mathbb{R}$ es una función continua e inyectiva, pero no es monótona. Es decir, existen $x_1,$ $x_2,$ $y_1,$ $y_2 \in A$ tales que

$$ x_1 < y_1, \quad x_2 < y_2 \quad \text{ y } \quad f(x_1) > f(y_1), \quad f(x_2) < f(y_2) \tag{1}.$$

Sea $a = min\{x_1, x_2 \}$ y $b = max \{y_1, y_2\}$.

Haremos uso de un resultado que se probará en la siguiente entrada: Si $A$ es un intervalo, entonces para cualesquiera $x$, $y \in A$, $x < y$, se tiene que $[x,y] \subset A$.

Aplicando lo anterior, tenemos que $[a,b] \subset A$ y así $f$ es continua e inyectiva en el intervalo $[a,b]$. Dado que $x_1$, $x_2$, $y_1$, $y_2 \in [a,b]$ y por $(1)$ se sigue que $f$ no es monótona en el intervalo lo cual es una contradicción al teorema anterior. Por tanto, $f$ sí es monótona en $A$.

$\square$

Funciones monótonas que son continuas

Para finalizar, veremos un teorema que relaciona funciones monótonas con la continuidad.

Teorema. Si $f : A \to \mathbb{R}$ es una función creciente y $f(A)$ es un intervalo, entonces $f$ es continua en $A$.

Demostración.

Supongamos que $f$ es creciente. Sea $x \in A$. Para probar que $f$ es continua en $x$ haremos uso de la relación existente entre el límite de una función y el de una sucesión. Tomaremos una sucesión monótona arbitraria $\{a_n\}$ tal que $a_n \to x$ y probaremos que $\{f(a_n)\} \to f(x)$.

Sea $\{a_n\}$ una sucesión creciente que converge a $x$. Entonces para todo $n \in \mathbb{N}$ se cumple que $a_n \leq a_{n+1} \leq x$ y debido a que $f$ es creciente se tiene que $f(a_n) \leq f(a_{n+1}) \leq f(x)$. Por lo anterior, se tiene que $\{f(a_n)\}$ es una sucesión creciente y acotada superiormente por lo que también es convergente.

Sea $L = \lim\limits_{n \to \infty} f(a_n)$, se cumple que $L \leq f(x)$.

Supongamos que $L < f(x)$ y consideremos $y \in \mathbb{R}$ tal que $L < y < f(x)$. Como $\{f(a_n)\}$ es creciente, se sigue que $f(a_1) < y < f(x)$. Dado que $f(A)$ es un intervalo, entonces existe $z \in A$ tal que $f(z) = y$. Se tienen dos casos.

  • Caso 1: $z \geq x$.
    Esto genera una contradicción al hecho de que $f$ es creciente, pues $y = f(z) < f(x)$.

  • Caso 2: $z < x$.
    Como $\{a_n\} \to x$, existe $n_0 \in \mathbb{N}$ tal que $z < a_{n_0} < x$ lo que implica que $y = f(z) \leq f(a_{n_0}) \leq f(x)$, lo cual es una contradicción pues estamos suponiendo que $L < y < f(x)$.

De ambos casos, se concluye que $L = f(x)$. Es decir, $\{f(a_n)\} \to f(x)$ y dado que $x$ es un punto arbitrario se $A$, se concluye que $f$ es continua en $A$.

$\square$

Más adelante…

En la siguiente entrada veremos qué sucede con la inversa de una función continua para lo cual será fundamental tener presentes los conceptos y teoremas revisados en esta entrada respecto a funciones monótonas.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista

  • Da un ejemplo de una función que sea creciente y continua y un ejemplo de una función que sea decreciente y discontinua.
  • Demuestra que si $f$ y $g$ son funciones crecientes y positivas en un intervalo $A$, entonces su producto es creciente en $A$.
  • Prueba que si $f : A \to \mathbb{R}$ es una función decreciente y $f(A)$ es un intervalo, entonces $f$ es continua en $A$.
  • Sea $f: \mathbb{R} \to \mathbb{R}$ una función continua. Prueba que si $f|_{\mathbb{Q}}$ es monótona, entonces $f$ es monótona.
  • Sea $A=[a,b]$ un intervalo y $f: A \to \mathbb{R}$ una función creciente. Entonces el punto $a$ se tiene un mínimo de $f$ y en $b$ un máximo.

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: Continuidad uniforme

Por Juan Manuel Naranjo Jurado

Introducción

En las entradas anteriores nos enfocamos en estudiar la definición de continuidad y sus propiedades. Especialmente, los teoremas revisados empleaban fuertemente el concepto de continuidad en un intervalo. En esta entrada haremos la revisión de un tipo de continuidad aún más exigente: la continuidad uniforme.

Primero recordemos que una función es continua en un intervalo $A$ si lo es para cada uno de sus elementos. Es decir,

$$\lim_{x \to y} f(x) = f(y) \quad \forall y \in A.$$

En términos de la definición del límite, lo podemos ver de la siguiente forma: Dado $\varepsilon > 0$ y $y \in [a,b]$, existe $\delta > 0$ tal que para todo $x \in A$ tal que $0 < |x – y| < \delta$ se satisface que $|f(x)-f(y)| < \varepsilon$. Es importante enfatizar que, en general, el valor de $\delta$ dependerá tanto de $\varepsilon$ como de $y$.

Analicemos con mayor detalle los siguientes ejemplos:

$$f(x) = x, \quad g(x) = x^2.$$

Ambas funciones son continuas en todo $\mathbb{R}$. Consideremos $y \in \mathbb{R}$ y calculemos el valor de $\delta$ en términos de un valor dado $\varepsilon > 0$ para probar la continuidad en $y$.

Para la función $f$, consideremos $\delta = \varepsilon$. Si $0<|x-y| < \delta$, entonces

$$|f(x) -f(y)| = |x-y| < \delta = \varepsilon.$$

Para $g$, el valor de delta anteriormente dado no funciona. En este caso, como se probó en una entrada anterior, podemos considerar $\delta’ = min \{ 1, \frac{\varepsilon}{1+2|y|} \}$. Si $0 < |x-y| < \delta’$, entonces

\begin{align*}
|x^2-y^2| & = |x-y||x+y| \\ \\
& < |x-y|(1+2|y|) \\ \\
& < \delta’ (1+2|y|) \\ \\
& \leq \frac{\varepsilon}{1+2|y|} \cdot (1+2|y|) \\ \\
& = \varepsilon.
\end{align*}

Podemos observar que el valor de $\delta$ para $f$ depende únicamente de $\varepsilon$, mientras que para la función $g$, depende tanto de $\varepsilon$ como de $y$. Esto debido a que $g$ tiene cambios más «drásticos» que $f$.

Continuidad uniforme

Motivado directamente de lo anterior, si $\delta$ funciona para cualesquiera $x$, $y$, es decir, no depende de $y$, entonces tenemos la siguiente definición.

Definición. Sea $f: A \to \mathbb{R}$. Se dice que $f$ es uniformemente continua en $A$ si para todo $\varepsilon > 0$ existe $\delta > 0$ tal que para cualesquiera $x$, $y \in A$ que satisfacen $|x-y| < \delta$, entonces $|f(x) – f(y)| < \varepsilon$.

De la definición se sigue que toda función uniformemente continua es continua. Sin embargo, el recíproco no es cierto y como contraejemplo tenemos la función $g(x) = x^2$ que es continua, pero por lo revisado al inicio podemos decir intuitivamente que no es uniformemente continua en $\mathbb{R}$. Considerando esto, vale la pena mencionar algunos criterios que permiten identificar cuando una función $f$ no es uniformemente continua.

Criterios de no continuidad uniforme. Sea $f: A \to \mathbb{R}$. Entonces los siguientes enunciados son equivalentes.

  1. $f$ no es uniformemente continua en $A$.
  2. Existe $\varepsilon_0 > 0$ tal que para todo $\delta > 0$ existen los puntos $x_\delta$, $y_\delta$ en $A$ tales que $|x_\delta – y_\delta| < \delta,$ pero $|f(x_\delta) – f(y_\delta)| \geq \varepsilon_0$.
  3. Existe $\varepsilon_0 > 0$ y dos sucesiones $\{x_n\}$, $\{y_n\}$ tales que $\lim\limits_{n \to \infty} (x_n-y_n) = 0$ y $|f(x_n)-f(y_n)| \geq \varepsilon_0$ para todo $n \in \mathbb{N}$.

Ahora revisaremos un teorema que nos servirá para saber en qué momento se tiene continuidad uniforme en un intervalo de la forma $[a,b]$.

Teorema de continuidad uniforme. Si $f$ es continua en un intervalo acotado y cerrado $[a,b]$, entonces $f$ es uniformemente continua.

Demostración.

Supongamos que $f$ no es uniformemente continua en $[a, b]$. Entonces existe $\varepsilon_0 > 0$ y dos sucesiones $\{x_n\}$ y $\{y_n\}$ en $[a,b]$ tales que $|x_n-y_n| < \frac{1}{n}$, pero $|f(x_n)-f(y_n)| \geq \varepsilon_0$ para todo $n \in \mathbb{N}$.

Dado que $[a, b]$ está acotado, la sucesión $\{x_n\}$ también está acotada. De esta forma, por el teorema de Bolzano-Weierstrass, existe una subsucesión $\{ x_{n_k} \}$ de $\{x_n\}$ que converge a un real $z$. Además, como $[a, b]$ es un intervalo cerrado, el límite $z$ pertenece al intervalo (por el corolario revisado en esta entrada). Notemos que para la subsucesión $\{y_{n_k}\}$, se tiene que

$$|y_{n_k} – z| \leq |y_{n_k} – x_{n_k}| + |x_{n_k} – z|.$$

Por lo que se sigue que $\{y_{n_k} \}$ también converge a $z$.

Además, si $f$ es continua en el punto $z$, entonces las subsucesiones $\{f(x_{n_k}) \}$ y $\{f(y_{n_k}) \}$ convergen a $f(z)$. Pero esto es una contradicción, pues $|f(x_n)-f(y_n)| \geq \varepsilon_0$ para todo $n \in \mathbb{N}$.

Así, la hipótesis de que $f$ no es uniformemente continua en el intervalo acotado y cerrado $[a, b]$ implica que $f$ no es continua en algún punto $z \in [a,b]$. Por tanto, concluimos que si $f$ es continua en todo punto del intervalo $[a, b]$, entonces $f$ es uniformemente continua.

$\square$

Retomando el ejemplo $g(x) = x^2$, $g$ no es uniformemente continua en $\mathbb{R}$, sin embargo, sí es uniformemente continua en cualquier intervalo $[a,b]$. En particular, podemos modificar ligeramente el valor de delta que se propuso anteriormente $\delta’ = min \{ 1, \frac{\varepsilon}{1+2|y|} \}$, y usar en su lugar $\delta = min \{ 1, \frac{\varepsilon}{1+2 max\{|a|, |b| \}} \}$. Notemos que este último valor no depende de $y$.

Funciones Lipschitz

Probar mediante la definición que una función es uniformemente continua puede ser una tarea difícil. Por ello, revisaremos una condición que, de cumplirse, nos facilitará este problema.

Definición. Sea $f: A \to \mathbb{R}$. Si existe una constante $K > 0$ tal que
$$|f(x) – f(y)| \leq K|x-y|$$

para todos $x$, $y \in A$, entonces se dice que $f$ es una función de Lipschitz en $A$.

La definición anterior nos permite clasificar a las funciones que cumplen que

$$\frac{|f(x) – f(y)|}{|x-y|} \leq K, \quad x \neq y.$$

Observemos que el miembro izquierdo de la desigualdad es el valor absoluto de la pendiente de la recta que pasa por los puntos $(x, f(x))$ y $(y, f(y))$. Así, podemos interpretar que una función es de Lipschitz si la pendiente de la recta formada por cualesquiera dos puntos en la gráfica de $f$ está acotada por algún valor $K$.

Teorema. Si $f: A \to \mathbb{R}$ es una función de Lipschitz, entonces $f$ es uniformemente continua.

Demostración.

Sea $\varepsilon > 0$.

Como $f$ es una función de Lipschitz, existe $K > 0$ tal que para cualesquiera $x, y \in A$, $|f(x) – f(y)| \leq K|x-y|.$

Consideremos $\delta = \frac{\varepsilon}{K}$. Si $|x-y| < \delta$, entonces se tiene que

\begin{align*}
|f(x)-f(y)| & < K|x-y| \\
& < K \frac{\varepsilon}{K} \\ 
& = \varepsilon.
\end{align*}

Por tanto, $f$ es uniformemente continua.

$\square$

Revisemos un ejemplo donde se prueba continuidad uniforme a través del teorema anterior.

Ejemplo 1. La función $f(x) = x^2$ es uniformemente continua en $A = [0, b]$, con $b > 0$.

Demostración.

Notemos que

\begin{align*}
|f(x)-f(y)| & = |x^2 – y^2| \\
& = |x+y||x-y| \\
& \leq 2b |x-y|.
\end{align*}

$$\therefore |f(x)-f(y)| \leq 2b |x-y|.$$

Consideremos $K = 2b$. Como $f$ es de Lipschitz, entonces es uniformemente continua.

$\square$

Cabe resaltar que no toda función uniformemente continua es de Lipschitz, para probarlo veamos el siguiente ejemplo.

Ejemplo 2. La función $f(x) = \sqrt{x}$ es uniformemente continua en $A = [0,2]$, pero no es de Lipschitz.

Demostración.

Como $f$ es continua en el intervalo cerrado y acotado $[0,2]$, entonces $f$ es uniformemente continua.

Consideremos $x$, $y \in A$ con $y = 0$, $x \neq 0$ y supongamos que existe $K > 0$ tal que $|f(x)-f(0)| \leq K|x – 0|$, es decir $|g(x)| < K|x|$. Entonces

\begin{gather*}
& |\sqrt{x}| < K |x|.
\end{gather*}

Como $x \in A$, se sigue que
\begin{gather*}
& \sqrt{x} < K x. \\ \\
\Leftrightarrow & \frac{\sqrt{x}}{x} < K. \\ \\
\Leftrightarrow & \frac{1}{\sqrt{x}} < K \tag{1}.
\end{gather*}

Además, notemos que $1<K+1$, esto implica que $1<(K+1)^2$. Es decir, $ \frac{1}{(K+1)^2} < 1$. Por tanto, $\frac{1}{(K+1)^2} \in (0,1) \subset A$.

De está forma, podríamos considerar particularmente a $x \neq 0$ como $x = \frac{1}{(K+1)^2}$. Sin embargo, también debe cumplir $(1)$, esto implica que $K +1 < K$. Lo cual es una contradicción. Por tanto, $f$ no es de Lipschitz.

$\square$

Finalmente, veremos un ejemplo donde usamos los dos teoremas vistos en esta entrada con la finalidad de probar continuidad uniforme.

Ejemplo 3. Prueba que la función $f(x) = \sqrt{x}$ es uniformemente continua en $A = [0, \infty)$.

Demostración.

Del ejemplo anterior, sabemos que $f$ es uniformemente continua en el intervalo $[0,2]$. Ahora probaremos que también lo es en el intervalo $[1,\infty).$

Sean $x$, $y \in [1, \infty)$, entonces se tiene que

\begin{align*}
|f(x)-f(y)| & = | \sqrt{x}-\sqrt{y}| \\
& = | \sqrt{x}-\sqrt{y}| \cdot \frac{\sqrt{x}+\sqrt{y}}{\sqrt{x}+\sqrt{y}} \\
& = \frac{|x-y|}{\sqrt{x}+\sqrt{y}} \\
& \leq \frac{1}{2} |x-y|.
\end{align*}

Por lo tanto, $f$ es una función de Lipschitz en el intervalo $[1, \infty)$. Por lo que se sigue que es uniformemente continua en tal intervalo. Como $f$ es uniformemente continua en $[0,2]$ y $[1, \infty)$, entonces también lo es en $A = [0,2] \cup [1, \infty).$

$\square$

Más adelante…

En las siguientes entradas complementaremos el estudio de las funciones continuas revisando propiedades específicas relacionas con las funciones monótonas. Adicionalmente, responderemos una pregunta que surge de forma muy natural: si $f$ es una función continua, ¿qué sucede con su inversa?

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

  • Da un ejemplo de función que sea uniformemente continua.
  • Demostrar que la función $f(x) = \frac{1}{x}$ es uniformemente continua en $[a, \infty)$ siendo $a$ una constante positiva.
  • Prueba que la función $f(x) = \frac{1}{x^2}$ no es uniformemente continua en $(0, \infty)$. Sugerencia: Usa el criterio 3 de no continuidad uniforme y considera las sucesiones $\{ \frac{1}{n} \}$ y $\{ \frac{1}{n+1} \}.$
  • Demuestra que si $f$ y $g$ son funciones uniformemente continuas en $A \subset \mathbb{R}$, entonces $f+g$ también es uniformemente continua en $A.$
  • Demuestra que si $f$ y $g$ son funciones uniformemente continuas en $A \subset \mathbb{R}$ y ambas están acotadas en $A$, entonces $f \cdot g$ es uniformemente continua en $A.$

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: Resultados derivados de los teoremas del valor intermedio y del máximo-mínimo

Por Juan Manuel Naranjo Jurado

Introducción

Anteriormente revisamos el teorema del valor intermedio y el teorema del máximo-mínimo. Esta entrada será un complemento a las anteriores, pues estudiaremos resultados derivados de tales teoremas.

La raíz $k$-ésima

Iniciaremos esta entrada probando que todo número real positivo tiene raíz cuadrada y, posteriormente probaremos que todo número real positivo tiene raíz $k$-ésima.

Proposición. Para todo $a \in \mathbb{R}$, $a >0$, existe $b >0$ tal que $b^2 = a$. Es decir, todo real positivo tiene raíz cuadrada.

Demostración.

Sea $a > 0$.

Consideremos la función $f(x) = x^2$, $f$ es continua en $\mathbb{R}$. Notemos que $f(0) = 0^2 = 0$. Además, como $\mathbb{N}$ no está acotado superiormente, existe $n \in \mathbb{N}$ tal que $a<n$. Entonces

$$f(n) = n^2 \quad \text{y} \quad a<n \leq n^2 = f(n).$$

Por lo anterior, se tiene que $f$ es continua en $[0, n]$ y $f(0)<a<f(n)$. Por el teorema del valor intermedio, existe $c \in \mathbb{R}$, $0<c<n$ tal que $f(c)=a$, es decir, $c^2 = a.$
Consideremos $b = c$, entonces $b^2 = a.$

$\square$

Definición. Sean $a > 0$, $b > 0$, $k \in \mathbb{N}$, decimos que $b$ es la raíz $k$-ésima de $a$ si $b^k = a$ y lo denotamos como $b = \sqrt[k]{a}.$

Proposición. Para todo $a >0$, todo $k \in \mathbb{N}$, existe la raíz $k$-ésima de $a.$

Demostración.

Sean $a>0$ y $k \in \mathbb{N}.$

Consideremos la función $f(x) = x^k$, continua en $\mathbb{R}$. Entonces, para algún $n \in \mathbb{N}$ se tiene que

$$f(0) = 0^k = 0 < a < n \leq n^k = f(n).$$

Por el teorema del valor intermedio, existe $b$ tal que $0<b<n$ y $f(b) = a.$

$$\therefore b^k = a.$$

$\square$

Notemos que en la definición dada consideramos únicamente los valores positivos que cumplen $b^k = a,$ de esta forma, $b$ es único.

Proposición. La raíz $k$-ésima es única.

Demostración.

Si existen $b > 0$, $c > 0$ tal que $b^k = a$ y $c^k = a$.
Si $b \neq c$ entonces $b > c$ ó $b<c$.
\begin{gather*}
\text{Si } b < c \Rightarrow b^k < c^k \Rightarrow a < a \text{ (contradicción).} \\
\text{Si } b > c \Rightarrow b^k > c^k \Rightarrow a > a \text{ (contradicción).}
\end{gather*}

$$\therefore b = c.$$

$\square$

Polinomios

Otro de los resultados derivados del teorema del valor intermedio es la existencia de las raíces para cierto tipo de polinomios.

Teorema. Si $n$ es impar, entonces cualquier ecuación de la forma

$$x^n+a_{n-1}x^{n-1}+ \ldots + a_0 = 0$$

tiene una raíz.

Demostración.

La demostración se basa en probar que existen $x_1$ y $x_2$ tales que la función $f(x) = x^n+a_{n-1}x^{n-1}+ \ldots + a_0$ cumple $f(x_1) < 0$ y $f(x_2) >0$. Además, dado que $f$ es continua, podremos usar el teorema del valor intermedio y concluir que existe $x_0$ tal que $f(x_0) = 0$, es decir, que la ecuación $x^n+a_{n-1}x^{n-1}+ \ldots + a_0 = 0$ tiene una raíz.

A continuación haremos una manipulación algebraica que permitirá mostrar de forma más sencilla que mientras $|x| \to \infty$, entonces $f$ tendrá un comportamiento similar a la función $g(x) = x^n$ y considerando que $n$ es impar, entonces para valores positivos lo suficientemente grandes $f$ será positivo, mientras que para valores negativos lo suficientemente grandes, $f$ será negativo.

$$ f(x) = x^n+a_{n-1}x^{n-1}+ \ldots + a_0 = x^n \left( 1+\frac{a_{n-1}}{x} + \frac{a_{n-2}}{x^2} + \ldots + \frac{a_0}{x^n} \right), \quad \text{para } x \neq 0.$$

Daremos inicio a la demostración viendo que

$$\left\lvert \frac{a_{n-1}}{x} + \frac{a_{n-2}}{x^2} + \ldots + \frac{a_0}{x^n} \right\rvert \leq \frac{|a_{n-1}|}{|x|} + \ldots + \frac{|a_{0}|}{|x^n|}.$$

Ahora trataremos de acotar la expresión anterior, para ello estamos buscando $|x|$ lo suficientemente grande para acotar la suma de $n$ términos de la forma $\frac{|a_{n-k}|}{|x^k|} $. Primero vayamos con el denominador y notemos que si $|x|>1$, entonces se tiene que $|x|^k \geq|x|$ para todo $k \in \mathbb{N}$. Esto implica que $\frac{1}{|x|^k } \leq \frac{1}{|x|}.$ Para el numerador es suficiente considerar el máximo de los términos $|a_{n-k}|$ y sumarlo $n$-veces, es decir, el máximo de los $n|a_{n-k}|.$ Sin embargo, por fines algebraicos (visibles en $(2)$), utilizaremos $2n|a_{n-k}|.$

De esta forma, si $$|x| > max\{1, 2n|a_{n-1}|, \dots, 2n|a_0|\}, \tag{1}$$
entonces $|x^k|>|x|$ y

$$\frac{|a_{n-k}|}{|x^k|} < \frac{|a_{n-k}|}{|x|} < \frac{|a_{n-k}|}{2n|a_{n-k}|} = \frac{1}{2n}$$

es decir,

$$\left\lvert \frac{a_{n-1}}{x} + \frac{a_{n-2}}{x^2} + \ldots + \frac{a_0}{x^n} \right\rvert \leq \frac{1}{2n} + \frac{1}{2n} + \ldots + \frac{1}{2n}= \frac{n}{2n} =\frac{1}{2}.$$

$$\Rightarrow -\frac{1}{2} \leq \frac{a_{n-1}}{x} + \ldots + \frac{a_0}{x^n} \leq \frac{1}{2}.$$

Sumando $1$ a la expresión anterior, se sigue que

$$\frac{1}{2} \leq 1 + \frac{a_{n-1}}{x} + \ldots + \frac{a_0}{x^n}. \tag{2}$$

Si consideramos $x_1 < 0$ que satisface $(1)$, entonces $x_1^n < 0$ puesto que $n$ es impar, y de la expresión anterior se obtiene

$$0 > \frac{x_1^n}{2} \geq x_1^n \left( 1 + \frac{a_{n-1}}{x_1} + \ldots + \frac{a_0}{x_1^n} \right) = f(x_1).$$

Por otro lado, si consideramos $x_2 > 0$ tal que satisface $(1)$, entonces $x_2^n >0$ y así tenemos

$$0 < \frac{x_2^n}{2} \leq x_2^n \left( 1 + \frac{a_{n-1}}{x_2} + \ldots + \frac{a_0}{x_2^n} \right) = f(x_2).$$

Por lo cual $f(x_1) < 0$ y $f(x_2) > 0$. Por el teorema del valor intermedio, concluimos que existe $x_0 \in [x_1,x_2]$ tal que $f(x_0) = 0$.

$\square$

Después de haber probado el teorema anterior, podemos notar que fue fundamental en la demostración usar que $n$ es impar. El caso cuando $n$ es par se convierte en un problema más complejo derivado del hecho de que hay algunos polinomios que no tienen solución en los reales, tal es el caso de $x^2+1 = 0$; sin embargo, para este tipo de polinomios podemos probar que existe un mínimo.

Teorema. Si $n$ es par y $f(x) = x^n+a_{n-1}x^{n-1} + \ldots + a_0$, entonces existe un $x_0$ tal que $f(x_0) \leq f(x)$ para todo $x \in \mathbb{R}$.

Demostración.

Por el teorema del máximo-mínimo, sabemos que toda función continua en un intervalo cerrado $[a,b]$ tiene un mínimo en dicho intervalo. Así que nos enfocaremos en encontrar un mínimo para cuando nuestra función esté fuera de tal intervalo.

De forma similar a la demostración anterior, consideremos $M = max\{1, 2n|a_{n-1}|, \dots, 2n|a_0| \}$, entonces para todo $x$ que satisfaga $|x| \geq M$, se tiene que

$$\frac{1}{2} \leq 1 + \frac{a_{n-1}}{x} + \ldots+ \frac{a_0}{x^n}.$$

Como $n$ es par, $x^n>0$ para todo $x$, por tanto

$$\frac{x^n}{2} \leq x^n \left( 1 + \frac{a_{n-1}}{x} + \ldots + \frac{a_0}{x^n} \right) = f(x), \text{si } |x|\geq M.$$

Consideremos ahora el número $f(0)$. Sea $b > 0$ un número tal que $b^n \geq 2f(0)$ y $b>M$. Entonces si $x \geq b$, obtenemos

$$f(x) \geq \frac{x^n}{2} \geq \frac{b^n}{2} \geq f(0). \tag{1}$$

Análogamente, si $x \leq -b$, entonces

$$f(x) \geq \frac{x^n}{2} \geq \frac{(-b)^n}{2}= \frac{b^n}{2} \geq f(0). \tag{2}$$

Por lo que si $x \geq b$ ó $x \leq -b$, entonces $f(x) \geq f(0)$.

Dado que $f$ es continua, podemos aplicar el teorema del máximo-mínimo en el intervalo $[-b,b],$. Por tanto, existe un número $x_0$ tal que si $-b \leq x \leq b$, entonces $f(x_0) \leq f(x)$. En particular, $f(x_0) \leq f(0)$.

Además, por $(1)$ y $(2)$ sabemos que si $x \geq b$ ó $x \leq -b$, entonces $f(x) \geq f(0) \geq f(x_0)$.

Por lo anterior, podemos concluir que $f(x_0) \leq f(x)$ para todo $x$.

$\square$

Más adelante…

En la siguiente entrada daremos la definición de continuidad uniforme y veremos su relación con el concepto que conocemos de continuidad. También revisaremos el concepto de funciones de Lipschitz y el papel que juegan dentro de la continuidad.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

  • Supongamos que $f$ es una función continua en $[0,1]$ y que $f(x)$ pertenece al intervalo $[0,1]$ para cada $x$. Demuestra que $f(x) = x$ para algún $x$.
  • Demuestra que existe algún número $x$ tal que $sen(x) = x-1$.
  • Encuentra la solución al polinomio $x^5+5x^4+2x+1$.

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»