Cálculo Diferencial e Integral I: Funciones crecientes y decrecientes. Funciones acotadas

Por Karen González Cárdenas

Introducción

Continuando con ahora con las funciones crecientes y decrecientes, veremos que condiciones se deben cumplir para decir si una función crece o decrece en un intervalo. De igual manera cuando una función es no creciente o no decreciente para finalizar con la definición de función acotada.

Definición de función creciente y decreciente

Definición: Sea $f: A \rightarrow B$ una función.

  • Decimos que $f$ es una función creciente si y sólo si para cualesquiera $x_{1}, x_{2} \in A$ tales que
    $$x_{1}< x_{2} \Rightarrow f(x_{1})<f(x_{2})$$
  • Decimos que $f$ es una función decreciente si y sólo si para cualesquiera $x_{1}, x_{2} \in A$ tales que
    $$x_{1}< x_{2} \Rightarrow f(x_{2})<f(x_{1})$$

Definición de función no creciente y no decreciente

Definición: Consideremos a la función $f: A \rightarrow B$.

  • Llamamos a $f$ una función no creciente (que decrece o permanece igual) si y sólo si para cualesquiera $x_{1}, x_{2} \in A$ que cumplen
    $$x_{1}< x_{2} \Rightarrow f(x_{2})\leq f(x_{1})$$
  • Llamamos a $f$ una función no decreciente (que crece o permanece igual) si y sólo si para cualesquiera $x_{1}, x_{2} \in A$ que cumplen
    $$x_{1}< x_{2} \Rightarrow f(x_{1})\leq f(x_{2})$$

Ejemplo 1

Veamos que para la función definida como:
$$f(x)=x^{2}$$

Tenemos las siguientes observaciones:

  1. Es creciente en el intervalo $[0, \infty)$
  2. Es decreciente en el intervalo $(- \infty,0)$

Demostración:

  1. Sea $0 \leq x_{1} < x_{2}$ así se sigue que:
    \begin{align*}
    &\Rightarrow x_{1}^{2} < x_{2}^{2}\\
    &\Rightarrow f(x_{1}) < f(x_{2})
    \end{align*}
    $\therefore f$ es creciente en $[0, \infty)$
  2. Ahora tomemos $x_{1} < x_{2} < 0$
    \begin{align*}
    &\Rightarrow 0< -x_{2} <-x_{1}\tag{ Multiplicando por $-1$}\\
    &\Rightarrow f(-x_{2})<f(-x_{1})\tag{por 1.}\\
    &\Rightarrow (-x_{2})^{2} <(-x_{1})^{2}\\
    &\Rightarrow x_{2}^{2} < x_{1}^{2}\\
    &\Rightarrow f(x_{2})<f(x_{1})
    \end{align*}
    $\therefore f$ es decreciente en $(- \infty,0)$

$\square$

Ejemplo 2

Para la función $g(x)= x^{2}-5x+2$ probaremos que es creciente en el intervalo $[0,\infty)$.

Tomemos $x_{1}, x_{2} \in [0,\infty)$ tales que $x_{1} < x_{2}$. Queremos demostrar que $g(x_{1})<g(x_{2})$ por lo que desarrollamos lo siguiente:
\begin{align*}
x_{1} < x_{2} &\Rightarrow x_{1} – 5 < x_{2}-5 \tag{restando $-5$}\\
&\Rightarrow x_{1}(x_{1} – 5) <x_{2}( x_{2}-5) \tag{multiplicando por $x_{1}$ y $x_{2}$}\\
&\Rightarrow x_{1}^{2} – 5x_{1} < x_{2}^{2}-5x_{2}\\
&\Rightarrow x_{1}^{2} – 5x_{1}+2 < x_{2}^{2}-5x_{2}+2 \tag{sumado $2$}\\
&\Rightarrow g(x_{1})<g(x_{2})
\end{align*}
Así concluimos que $g$ es creciente en el intervalo $[0,\infty)$.

$\square$

Algunos teoremas

Teorema: Sean $f,g: D \subseteq \r \rightarrow \r$ si $f$ y $g$ son crecientes en $D$ tales que
$f(x)>0$ y $g(x) >0$ para todo $x \in D \Rightarrow fg$ es creciente en D.
Demostración:
Tomemos $x_{1}, x_{2} \in D$ tales que $x_{1}<x_{2}$. Queremos probar que:
$$(fg)(x_{1})< (fg)(x_{2})$$
Es decir, queremos ver que se cumple la siguiente desigualdad:
$$f(x_{1})g(x_{1})< f(x_{2})g(x_{2})$$
Observemos que por hipótesis tenemos que se cumplen para todo $x \in D$ las siguientes desigualdades:

  1. $f(x)>0$ y $g(x)>0$
  2. $f(x_{1}) < f(x_{2})$ ya que $f$ es creciente
  3. $g(x_{1}) < g(x_{2})$ ya que $g$ es creciente

De los puntos 2 y 3 al realizar el producto obtenemos:
$$f(x_{1})g(x_{1})< f(x_{2})g(x_{2})$$

$\square$

Teorema: Si tenemos una función $f$ tal que:

  1. $f$ par y creciente en el intervalo $[0, \infty) \Rightarrow f$ es decreciente en $(-\infty, 0)$
  2. $f$ par y decreciente en el intervalo $[0, \infty) \Rightarrow f$ es creciente en $(-\infty, 0)$
  3. $f$ impar y creciente en el intervalo $[0, \infty) \Rightarrow f$ es creciente en $(-\infty, 0)$
  4. $f$ impar y decreciente en el intervalo $[0, \infty) \Rightarrow f$ es decreciente en $(-\infty, 0)$

Demostración 4:

Queremos probar que $f$ es decreciente en $(-\infty, 0)$.
Tenemos por hipótesis que $f$ es una función impar, así por definición:
$$f(-x)=-f(x)$$
Ahora si tomamos $0< x_{1}<x_{2}$ ocurre que:
\begin{align*}
f(-x_{1})&= -f(x_{1}) & f(-x_{2})&= -f(x_{2})\\
\end{align*}
Vemos que si multiplicamos por $-1$ las igualdades anteriores tenemos la siguiente equivalencia:
\begin{align}
-f(-x_{1})&= f(x_{1}) & -f(-x_{2})&= f(x_{2})\\
\end{align}

Como $f$ es una función decreciente en $[0, \infty)$ para $x_{1}$ y $x_{2}$ se sigue:
$$f(x_{2})< f(x_{1})$$
Aplicando $(1)$ tendríamos la siguiente desigualdad:
$$-f(-x_{2})< -f(-x_{1})$$
donde $-x_{1},-x_{2} \in (-\infty,0)$

$\square$

Definición de función acotada

Definición: Sea $f: A \rightarrow B$. Decimos que:

  • $f$ está acotada superiormente $\Leftrightarrow$ existe $M \in \r$ tal que $f(x) \leq M$ para todo $x \in A$.
La gráfica de $f$ queda por debajo del valor $M$.
  • $f$ está acotada inferiormente $\Leftrightarrow$ existe $m \in \r$ tal que $m \leq f(x)$ para todo $x \in A$.
La gráfica de $f$ queda por arriba del valor $m$.
  • $f$ está acotada $\Leftrightarrow$ existe $m, M \in \r$ tal que $m \leq f(x) \leq M$ para todo $x \in A$.
La gráfica de $f$ queda entre los valores de $M$ y $m$.
  • Una equivalencia para la última definición sería:
    $f$ está acotada $\Leftrightarrow$ existe $N \in \r$ tal que $|f(x)| \leq N$ para todo $x \in A$.
La gráfica de $f$ queda entre los valores de $N$ y $-N$.
  • $f$ no está acotada $\Leftrightarrow$ para toda $M >0$ existe $x_{M} \in A$ tal que $|f(x_{M})|>M$.

Ejemplo 1

Si tenemos la función $f: \r^{+} \rightarrow \r$ definida como:
$$f(x)=\sqrt{x}$$

Probaremos que $f$ no es acotada en su dominio.
Demostración: Consideremos a $M>0$ y a $x_{M}=(M+1)^{2}$ donde $x_{M} \in D_{f}$. Así al evaluar la función en $x_{M}$ tenemos:
\begin{align*}
f(x_{M})&=f((M+1)^{2})\\
&=\sqrt{(M+1)^{2}}\\
&= M+1
\end{align*}
aquí observamos siempre ocurre que: $M+1>M$
$\therefore f$ es no acotada en su dominio.

$\square$

Ejemplo 2

Ahora si consideramos la función $g: (0, \infty) \rightarrow \r^{+}$ definida como:
\begin{equation*}
g(x)=\frac{1}{\sqrt[3]{x^{2}}}
\end{equation*}

Veremos ahora que $g$ no es acotada en su dominio.
Demostración: Sea $N>0$ y a $x_{N} \in D_{g}$ definida como:
\begin{equation*}
x_{N}= \frac{1}{(N+1)^{\frac{3}{2}}}
\end{equation*}
Al tomar $g(x_{N})$ tenemos:
\begin{align*}
g(x_{N})&=g\left(\frac{1}{(N+1)^{\frac{3}{2}}}\right)\\
&=\frac{1}{\left(\frac{1}{(N+1)^{\frac{3}{2}}}\right)^{\frac{2}{3}}}\\
&=\frac{1}{\frac{1}{N+1}}\\
&=N+1
\end{align*}
donde $N+1>N$ por lo que conluimos que $g$ es no acotada en su dominio.

$\square$

Tarea moral

  • Dada la función $f(x)=x^{3}$. Demuestra que:
    • $f$ es creciente en $[0, \infty)$
    • $f$ es creciente en $(-\infty,0)$
  • Demuestra los puntos 2 y 3 del Teorema:
    • $f$ par y decreciente en el intervalo $[0, \infty) \Rightarrow f$ es creciente en $(-\infty, 0)$
    • $f$ impar y creciente en el intervalo $[0, \infty) \Rightarrow f$ es creciente en $(-\infty, 0)$
  • Demuestra que la función $h: (0,1) \rightarrow \r$ definida como:
    $$h(x)=\frac{1}{x^{3}}$$
    no es acotada en su dominio.

Más adelante

En la siguiente entrada veremos a un conjunto de funciones muy particular: las funciones polinomiales. Adicionalmente revisaremos las funciones racionales. Para ambos tipos de funciones revisaremos su definición y algunos ejemplos.

Entradas relacionadas

Deja una respuesta

Tu dirección de correo electrónico no será publicada.

Este sitio usa Akismet para reducir el spam. Aprende cómo se procesan los datos de tus comentarios.