Menu
Cuadratura de un segmento de parábola

Cuadratura de un segmento de parábo…

Una forma de acercarse al...

Ejercicios de aplicaciones de las derivadas y del teorema del valor medio

Ejercicios de aplicaciones de las d…

Se proponen a continuaci&...

Aplicaciones de las derivadas. El teorema del valor medio

Aplicaciones de las derivadas. El t…

Ya hemos hablado en un pa...

Derivada de la función compuesta. Regla de la cadena

Derivada de la función compuesta. R…

Cuando en las matem&aacut...

Series infinitas de números reales. Series convergentes

Series infinitas de números reales.…

Las sucesiones de n&uacut...

La paradoja de Zenón

La paradoja de Zenón

El filósofo griego...

Funciones continuas e inyectivas

Funciones continuas e inyectivas

Nuestro último teo...

El problema de la velocidad. Derivada de una función. Ejemplos de derivadas

El problema de la velocidad. Deriva…

Un problema relativo a ve...

Prev Next

La propiedad de compacidad para funciones continuas

En un artículo anterior hemos obtenido dos importantes resultados relacionados con la continuidad de una función en un intervalo: el teorema de los ceros de Bolzano y el teorema del valor intermedio. De hecho, este último afirma que la imagen por una función continua de un intervalo es otro intervalo. Sin embargo el intervalo imagen no tiene por qué ser del mismo tipo que el de partida (podemos ver ejemplos de esto en los ejercicios 4, 5 y 6 del mencionado artículo). No obstante hay un tipo de intervalos que sí se conserva.

Teorema (propiedad de compacidad).

La imagen por una función continua de un intervalo cerrado y acotado es un intervalo cerrado y acotado.

Sea \(f:[a,b]\rightarrow\mathbb{R}\) continua en \([a,b]\). Sabemos que \(f([a,b])\) es un intervalo.

Empezaremos probando que \(f([a,b])\) está acotado. De lo contrario el conjunto \(\{|f(x)|\,:\,x\in[a,b]\}\) no está mayorado, luego dado un natural \(n\) debe existir un punto \(x_n\in[a,b]\) tal que \(|f(x_n)|>n\). La sucesión \(\{x_n\}\) así construida es acotada, luego por el teorema de Bolzano-Weierstrass admite una sucesión parcial \(\{x_{\sigma(n)}\}\) convergente. Sea \(x=\lim x_{\sigma(n)}\). Por ser \(a\leqslant x_{\sigma(n)}\leqslant b\,,\,\forall\,n\in\mathbb{N}\), tenemos que \(x\in[a,b]\) y por ser \(f\) continua en \(x\) la sucesión \(\{f(x_{\sigma(n)})\}\) converge a \(f(x)\) y en particular es una sucesión acotada. Ello es una contradicción, pues entonces existe un número real \(M\) tal que \(|f(x_{\sigma(n)})|\leqslant M,\,\forall\,n\in\mathbb{N}\), de donde para cada natural \(n\) se tiene que \(n\leqslant\sigma(n)<|f(x_{\sigma(n)})|\leqslant M\). Así pues, \(f([a,b])\) es acotado.

Sean \(\alpha=\inf f([a,b])\) y \(\beta=\sup f([a,b])\). Sea \(\{y_n\}\) una sucesión de puntos de \(f([a,b])\) convergente a \(\beta\) y para cada natural \(n\) sea \(t_n\in[a,b]\) tal que \(f(t_n)=y_n\). Entonces \(\{t_n\}\) es una sucesión acotada; sea \(\{t_{\sigma(n)}\}\) una sucesión parcial convergente a un \(t\in[a,b]\). Por ser \(f\) continua en \(t\) tenemos que \(\{f(t_{\sigma(n)})\}\) converge a \(f(t)\), pero \(\{f(t_{\sigma(n)})\}=\{y_{\sigma(n)}\}\) e \(\{y_{\sigma(n)}\}\) converge a \(\beta\), de donde se deduce que \(\beta=f(t)\in f([a,b])\). El mismo razonamiento puede hacerse para probar que \(\alpha\in f([a,b])\) (\(\alpha\) también es límite de una sucesión de puntos de \(f([a,b])\)). Por el teorema del valor intermedio tenemos que \([\alpha,\beta]\subset f([a,b])\) pero la inclusión contraria es trivialmente cierta y, por tanto, \(f([a,b])=[\alpha,\beta]\), lo que demuestra el teorema.

Obsérvese que la hipótesis de que el intervalo de definición de la función, en el teorema anterior, sea cerrado y acotado, es esencial en la demostración; si hubiésemos tenido un intervalo no acotado las sucesiones \(\{x_n\}\) y \(\{t_n\}\) que aparecen en la demostración no tendrían por qué ser acotadas, mientras que si hubiéramos tenido un intervalo acotado pero no cerrado los límites \(x\) y \(t\) de las parciales convergentes extraídas no tendrían por qué pertenecer al intervalo.

Vamos a introducir ahora alguna terminología que nos permita enunciar el teorema anterior de manera más sugerente.

Sea \(f:A\rightarrow\mathbb{R}\) una función real de variable real. Diremos que \(f\) está acotada (respectivamente mayorada, minorada) si su imagen \(f(A)=\{f(x)\,:\,x\in A\}\) es un conjunto acotado (respectivamente mayorado, minorado) de números reales. Así pues, simbólicamente:

\(f\) está mayorada \(\Leftrightarrow\exists\,K\in\mathbb{R}\,:\,K\geqslant f(x),\,\forall x\in A\).

\(f\) está minorada \(\Leftrightarrow\exists\,k\in\mathbb{R}\,:\,k\leqslant f(x),\,\forall x\in A\).

\(f\) está acotada \(\Leftrightarrow\exists\,M\in\mathbb{R}^+\,:\,M\geqslant|f(x)|,\,\forall x\in A\).

Esta definición extiende a la que en su momento se dio para sucesiones de números reales.

Diremos que \(f:A\rightarrow\mathbb{R}\) tiene máximo (respectivamente mínimo) si su imagen \(f(A)\) tiene máximo (respectivamente mínimo). Si \(x_0\in A\) es tal que \(f(x_0)=\max f(A)\) (respectivamente \(f(x_0)=\min f(A)\)), diremos que \(f\) alcanza su máximo (respectivamente mínimo) absoluto en el punto \(x_0\). Es conveniente observar que una función puede alcanzar su máximo o su mínimo en más de un punto, lo cual no significa naturalmente que \(f(A)\) tenga más de un máximo o más de un mínimo. Debe distinguirse claramente el punto \(x_0\) donde se alcanza el máximo o el mínimo absoluto de una función del máximo o mínimo absoluto alcanzado, \(f(x_0)\).

Con la terminología anterior, la propiedad de compacidad puede enunciarse diciendo que toda función continua en un intervalo cerrado y acotado está acotada y tiene máximo y mínimo absolutos (el hecho de que la imagen sea un intervalo viene ya obligado por el teorema del valor intermedio). Enunciado el teorema en la forma anterior, cabe volver a analizar la demostración para ver como juega la hipótesis de que el conjunto de definición sea un intervalo cerrado y acotado. Lo que realmente se utiliza de \([a,b]\) para probar que \(f\) está acotada y tiene máximo y mínimo absolutos es que toda sucesión de puntos de \([a,b]\) admita una parcial convergente a un punto de \([a,b]\). Se puede comprobar sin dificultad que los únicos intervalos con esta propiedad son los cerrados y acotados, pero existen conjuntos no vacíos de números reales que no son intervalos y que cumplen la propiedad anterior, como por ejemplo los conjuntos finitos o el conjunto \([0,1]\cup[2,3]\).

Proponemos a continuación cuatro ejercicios relacionados con la propiedad de compacidad (con sus respectivas soluciones).

Ejercicios

1. Sean \(f:(0,1)\rightarrow\mathbb{R}\) y \(g:\mathbb{R}\rightarrow\mathbb{R}\) definidas por \(f(x)=x,\,\forall\,x\in(0,1)\); \(g(x)=\left\{\begin{array}{ccc}
               \frac{x}{1+x} & \text{si} & x\geqslant0 \\
               \frac{x}{1-x} & \text{si} & x<0
             \end{array}
      \right.\). Comprobar que \(f\) y \(g\) son continuas y acotadas pero no tienen máximo ni mínimo absolutos.

\(f\) es continua en todo \(\mathbb{R}\) por ser polinómica y, por el carácter local de la continuidad, también lo es en el intervalo \((0,1)\). La imagen de la función \(f\) vuelve a ser el intervalo \((0,1)\) (\(f\) es la función identidad) que no tiene ni máximo ni mínimo, luego \(f\) no tiene máximo ni mínimo absolutos.

Usando el carácter local de la continuidad \(g\) es claramente continua en \(\mathbb{R}^+\) y en \(\mathbb{R}^-\) pues las respectivas restricciones de \(g\) a \(\mathbb{R}^+\) y \(\mathbb{R}^-\) son funciones racionales, luego continuas. En \(x_0=0\) también es continua pues si \(\{x_n\}\) es una sucesión de números reales convergente a \(0\), la sucesión \(\{g(x_n)\}\) converge a \(g(0)=0\) (basta observar para ello que \(\{g(x_n)\}\) es de la forma \(\left\{\frac{x_n}{1+x_n}\right\}\) o \(\left\{\frac{x_n}{1-x_n}\right\}\) que claramente convergen a cero pues \(\{x_n\}\rightarrow0\)). Así pues \(g\) es continua.

compacidad 01

Dado \(x_0\in\mathbb{R}_0^+\) se tiene \(0\leqslant x<1+x\Leftrightarrow 0\leqslant\frac{x}{1+x}<1\). Ahora bien, dado \(x\in\mathbb{R}^-\), \(-x\in\mathbb{R}^+\) y entonces por los visto anteriormente \(0<\frac{-x}{1-x}<1\Leftrightarrow 0>\frac{x}{1-x}>-1\), o lo que es lo mismo, \(-1<\frac{x}{1-x}<0\). Esto demuestra que la imagen de la función \(g\) es el intervalo \((-1,1)\), que no tiene máximo ni mínimo. Por tanto \(g\) no tiene ni máximo ni mínimo absolutos (véase la representación gráfica de la función en la figura anterior).

2. Probar que si \(f:\mathbb{R}\rightarrow\mathbb{R}\) es una función continua en \(0\), entonces existe un número real y positivo \(\delta\) tal que la restricción de \(f\) al intervalo \([-\delta,\delta]\) está acotada.

Al ser \(f\) es continua en \(0\) se tiene que

\[\forall\,\varepsilon>0,\ \exists\,\delta'>0\,:\,|x|<\delta'\Rightarrow|f(x)-f(0)|<\varepsilon\]

Tomando \(\varepsilon=1\) tenemos entonces que

\[|f(x)|-|f(0)|\leqslant|f(x)-f(0)|<1\Rightarrow|f(x)|<|f(0)|+1\]

Esto demuestra que \(f\) está acotada en \((-\delta',\delta')\). Tomando \(\delta=\frac{\delta'}{2}\), tenemos que \(f\) está acotada en \([-\delta,\delta]\).

3. Sea \(I\) un intervalo cerrado y acotado y \(f:I\rightarrow\mathbb{R}\) una función continua en \(I\). Supongamos que existe una sucesión \(\{x_n\}\) de puntos de \(I\) tal que \(f(x_n)=\frac{1}{n},\,\forall\,n\in\mathbb{N}\). Pruébese que \(0\in f(I)\). Muéstrese con ejemplos que la hipótesis de que el intervalo \(I\) sea cerrado y acotado no puede suprimirse.

Por ser \(I\) cerrado y acotado y \(f\) continua en \(I\), \(f(I)\) es un intervalo cerrado y acotado: \([\alpha,\beta]\). La sucesión \(\{\frac{1}{n}\}\) converge a \(0\) y como \(\alpha\leqslant\frac{1}{n}\leqslant\beta,\,\forall\,n\in\mathbb{N}\), tenemos que \(0\in[\alpha,\beta]=f(I)\).

Sea \(f:(0,1]\rightarrow\mathbb{R}\) definida por \(f(x)=x,\,\forall\,x\in[0,1]\). Sea \(\{x_n\}=\{\frac{1}{n}\}\). Entonces tenemos que \(\{f(x_n)\}=\{f(\frac{1}{n})\}=\{\frac{1}{n}\}\). La imagen de la función \(f\), por ser ésta la identidad, es el intervalo \((0,1]\) al cual, obviamente, no pertenece el cero. Así se muestra que la hipótesis de que el intervalo \(I\) sea cerrado y acotado efectivamente no puede suprimirse.

4. Sea \(f:[-1,1]\rightarrow\mathbb{R}\) la función definida por \(f(x)=\frac{x^2}{1+x^2},\,\forall\,x\in[-1,1]\). Determínese la imagen de \(f\).

La imagen de \(f\) es un intervalo cerrado y acotado. Sea éste \([\alpha,\beta]\). Como \(f(x)=\frac{x^2}{1+x^2}\geqslant0\), \(\forall\,x\in[-1,1]\) y \(f(0)=0\) entonces \(\alpha=0\) (\(f\) tiene en \(0\) un mínimo absoluto y éste toma el valor \(0\)). Supongamos que \(\exists\,x\in[-1,1]\) tal que \(f(x)=\frac{x^2}{1+x^2}>\frac{1}{2}\). Entonces \(1+x^2<2x^2\Leftrightarrow1<x^2\), pero esto es absurdo pues \(-1\leqslant x\leqslant1\). Así pues \(f(x)=\frac{x^2}{1+x^2},\,\forall\,x\in[-1,1]\). Como \(f(1)=\frac{1}{2}\), entonces \(\beta=1\) (\(f\) tiene en \(1\) un máximo absoluto y éste toma el valor \(\frac{1}{2}\)). De esta forma la imagen de \(f\) es el intervalo \([0.\frac{1}{2}]\) (ver a continuación la representación gráfica de la función \(f\)).

compacidad 02


Puedes descargar el artículo completo en pdf haciendo clic aquí.


Leer más ...

Continuidad de una función en un intervalo. El teorema del valor intermedio

Ya hemos tratado en un artículo anterior el problema de la continuidad de una función. Ahora nos hemos de preguntar sobre las ventajas que, en análisis matemático, nos proporciona este hecho. Existen una serie de resultados importantes que nos dan propiedades fundamentales de las funciones continuas, sobre todo de las funciones definidas por intervalos. Lo pondremos de manifiesto en este artículo (dedicado al teorema de los ceros de Bolzano y al teorema del valor intermedio), y en otros dos próximos (propiedad de compacidad, funciones continuas e inyectivas). La lectura de este artículo también exigiría la lectura anterior del artículo dedicado a los mayorantes y minorantes, al supremo y al ínfimo y al axioma del supremo.

Antes de entrar de lleno en las propiedades de las funciones continuas definidas por intervalos recordaremos una amplia familia de subconjuntos de \(\mathbb{R}\).

Dados dos números reales \(a\) y \(b\), con \(a\leqslant b\), notaremos:

\[[a,b]=\{x\in\mathbb{R}\,:\,a\leqslant x\leqslant b\}\]

\[[a,b)=\{x\in\mathbb{R}\,:\,a\leqslant x< b\}\]

\[(a,b]=\{x\in\mathbb{R}\,:\,a< x\leqslant b\}\]

\[(a,b)=\{x\in\mathbb{R}\,:\,a<x<b\}\]

Estos conjuntos reciben, respectivamente, el nombre de intervalo cerrado, semiabierto por la derecha, semiabierto por la izquierda y abierto, de origen \(a\) y extremo \(b\).

Dado un número real \(a\) cualquiera, notaremos también:

\[(\leftarrow,a]=\{x\in\mathbb{R}\,:\,x\leqslant a\}\]

\[(\leftarrow,a)=\{x\in\mathbb{R}\,:\,x<a\}\]

\[[a,\rightarrow)=\{x\in\mathbb{R}\,:\,x\geqslant a\}\]

\[(a,\rightarrow)=\{x\in\mathbb{R}\,:\,x<a\}\]

conjuntos que reciben, respectivamente, el nombre de semirrecta cerrada de extremo \(a\), abierta de extremo \(a\), cerrada de origen \(a\) y abierta de origen \(a\). A los conjuntos anteriores también se les suele notar, respectivamente, del siguiente modo: \((-\infty,a]\), \((-\infty,a)\), \([a,+\infty)\), \((a,+\infty)\).

Diremos que un conjunto \(A\) de números reales es un intervalo si \(A=\mathbb{R}\) o bien \(A\) responde a una de las ocho descripciones dadas anteriormente. Por cierto, hay que hacer notar que el conjunto vacío y el conjunto \(\{a\}\) (formado por un solo elemento) en que \(a\) es un número real, son intervalos.

Es inmediato comprobar que si \(A\) es un intervalo y \(x\), \(y\) son elementos de \(A\) con \(x<y\) todo real \(z\) en la situación \(x\leqslant z\leqslant y\) pertenece al conjunto \(A\). Veamos a continuación una propiedad que caracteriza a los intervalos y que no es tan evidente.

Proposición.

Condición necesaria y suficiente para que un conjunto \(A\) de números reales sea un intervalo es que para cualesquiera dos elementos \(x\) e \(y\) de \(A\) con \(x<y\) se tenga \([x,y]\subset A\).

La necesidad de la condición es comprobación inmediata, tal y como se ha comentado anteriormente.

Para probar la suficiencia, sea \(A\) un conjunto de números reales verificando la siguiente condición:

\[x,\,y\in A\,,\,x<y\Rightarrow[x,y]\subset A\]

Deberemos probar que \(A\) es uno de los nueve tipos de intervalos definidos anteriormente.

Si \(A\) es vacío no hay nada que demostrar, pues entonces para cualquier número real \(a\) se tiene \(A=(a,a)\). Supongamos por tanto \(A\) no vacío y distingamos varios casos.

  • Si \(A\) no está minorado ni mayorado, dado \(z\in\mathbb{R}\), \(z\) no puede ser minorante ni mayorante de \(A\), luego existen \(x\), \(y\) en \(A\), con \(x<z<y\), de donde \(z\in[x,y]\subset A\) y obtenemos \(A=\mathbb{R}\).
  • Si \(A\) está mayorado pero no minorado, sea \(b=\sup A\). Entonces, dado \(z\in\mathbb{R}\), con \(z<b\), \(z\) no es mayorante ni minorante de \(A\), luego existen \(x,\,y\in A\), con \(x<z<y\), de donde \(z\in[x,y]\subset A\). Se tiene por tanto: \((-\infty,b)\subset A\subset (-\infty, b]\), lo que deja dos posibilidades: \(A=(-\infty,b)\) o bien \(A=(-\infty, b]\).
  • Si \(A\) está minorado pero no mayorado se demuestra de manera análoga al caso anterior que o bien \(A=(a,+\infty)\) o bien \(A=[a,+\infty)\), en que \(a=\inf A\).
  • Finalmente, si \(A\) está acotado, sean \(a=\inf A\) y \(b=\sup A\). Dado \(z\), con \(a<z<b\), \(z\) no puede ser mayorante ni minorante de \(A\), luego existen otra vez \(x,\,y\in A\) tales que \(x<z<y\), de donde \(z\in A\). Así tenemos: \((a,b)\subset A\subset[a,b]\), lo que deja cuatro posibilidades según que \(a\) y \(b\) pertenezcan o no al conjunto \(A\), a saber: \(A=(a,b)\), \(A=(a,b]\), \(A=[a,b)\), \(A=[a,b]\).

La primera de las propiedades de las funciones continuas definidas en intervalos es la conocida como propiedad del valor intermedio, según la cual una función continua en un intervalo que tome dos valores está obligada a tomar todos los comprendidos entre ellos. Desde el punto de vista gráfico es bastante intuitivo imaginar esta situación, la cual vamos a formalizar. Antes necesitamos probar algunos resultados.

Lema de conservación del signo.

Sea \(A\) un conjunto de números reales, \(x_0\) un punto de \(A\) y \(f:A\rightarrow\mathbb{R}\) una función continua en \(x_0\) con \(f(x_0)\neq0\). Entonces existe un número real positivo \(\delta\) tal que si \(x\) es cualquier punto de \(A\) verificando \(|x-x_0|<\delta\) se tiene \(f(x)f(x_0)>0\) (o lo que es lo mismo, \(f(x)\) tiene el mismo signo que \(f(x_0)\)).

Por ser \(f\) una función continua en \(x_0\) tenemos, por la caracterización de la continuidad (ver el final de artículo dedicado a la continuidad de una función), que

\[\forall\,\varepsilon>0\,,\exists\,\delta>0\,:\,x\in A\cap(x_0-\delta,x_0+\delta)\Rightarrow|f(x)-f(x_0)|<\varepsilon\]

En particular, tomando \(\varepsilon=|f(x_0)|\), obtenemos

\[\exists\,\delta>0\,:\,x\in A\cap(x_0-\delta,x_0+\delta)\Rightarrow|f(x)-f(x_0)|<|f(x_0)|\]

y por tanto

\[f(x_0)-|f(x_0)|<f(x)<f(x_0)+|f(x_0)|\qquad(1)\]

de donde se obtiene que \(|f(x)|\) y \(|f(x_0)|\) tienen el mismo signo, ya que

  • Si \(f(x_0)<0\), la doble desigualdad \((1)\) se transforma en \(2f(x_0)<f(x)<0\).
  • Si \(f(x_0)>0\), la doble desigualdad \((1)\) se transforma en \(0<f(x)<2f(x_0)\).

En particular, si \(f(x_0)<0\Rightarrow f(x)<0\) y si \(f(x_0)>0\Rightarrow f(x)>0\).

Teorema de los ceros de Bolzano.

Sean \(a\), \(b\) números reales con \(a<b\) y \(f\) una función de \([a,b]\) en \(\mathbb{R}\) continua en \([a,b]\) y verificando \(f(a)<0<f(b)\). Entonces existe un número real \(c\) con \(a<c<b\), tal que \(f(c)=0\).

Sea \(C=\{x\in[a,b]\,:\,f(x)<0\}\). Evidentemente \(C\) es no vacío pues \(a\in C\), y \(C\) está mayorado (por \(b\)). Por el axioma del supremo, llamemos \(c=\sup C\) que claramente verifica \(a\leq c\leq b\). Sólo resta probar que \(f(c)=0\) (pues entonces \(a\neq c\) y \(b\neq c\), luego \(c\in(a,b)\)).

Por ser \(c=\sup C\) existe una sucesión \(\{x_n\}\) de puntos de \(C\) convergente a \(c\) (ver el ejercicio 4 del artículo dedicado a las propiedades de las sucesiones convergentes). Como \(f\) es continua en el punto \(c\) tenemos que \(\{f(x_n)\}\rightarrow c\) y, por ser \(f(x_n)<0\), \(\forall\,n\in\mathbb{N}\), obtenemos que \(f(c)\leqslant0\) (en virtud del corolario 3 del artículo dedicado a las propiedades de las sucesiones convergentes).

Supongamos ahora la desigualdad estricta, es decir, que \(f(c)<0\); aplicando el lema anterior encontramos \(\delta>0\) tal que si \(x\in[a,b]\) y \(|x-c|<\delta\) se tiene \(f(x)<0\). Por ser \(f(b)>0\) deducimos que \(|b-c|\geqslant\delta\), esto es, \(c+\delta\leqslant b\); entonces \(c+\frac{\delta}{2}\in[a,b]\) y \(f\left(c+\frac{\delta}{2}\right)<0\) luego \(c+\frac{\delta}{2}\in C\), lo cual es una contradicción. Así pues hemos obtenido \(f(c)=0\), tal y como se quería.

Teorema del valor intermedio.

Sea \(I\) un intervalo y \(f:I\rightarrow\mathbb{R}\) una función continua en \(I\). Entonces \(f(I)\) es un intervalo.

Sean \(\alpha,\beta\in f(I)\) verificando \(\alpha<\beta\); bastará probar, teniendo en cuenta la proposición demostrada al principio de este artículo, que \([\alpha,\beta]\subset f(I)\), esto es, dado \(\lambda\in\mathbb{R}\) con \(\alpha<\lambda<\beta\) debemos encontrar un \(z\) de \(I\) tal que \(f(z)=\lambda\). Sean \(x\), \(y\) puntos de \(I\) tales que \(f(x)=\alpha\), \(f(y)=\beta\). Puesto que \(x\neq y\), podrán darse dos casos.

Si \(x<y\) se tiene \([x,y]\subset I\); sea \(g:[x,y]\rightarrow\mathbb{R}\) definida por \(g(t)=f(t)-\lambda,\,\forall\,t\in[x,y]\). Evidentemente \(g\) es continua en \([x,y]\) y se verifica

\[g(x)=\alpha-\lambda<0<\beta-\lambda=g(y)\]

luego, por el teorema de los ceros de Bolzano, existe \(z\in(x,y)\) tal que \(g(z)=0\). Entonces \(z\in I\) y \(f(z)=\lambda\).

Si \(x>y\) se aplica el mismo razonamiento tomando el intervalo \([y,x]\) y la función \(g:[y,x]\rightarrow\mathbb{R}\) dada por \(g(t)=\lambda-f(t),\,\forall\,t\in[y,x]\).

Nótese que el hecho de que \(f(I)\) sea un intervalo significa (como se ha puesto de manifiesto en la demostración) ni más ni menos que si \(f\) toma dos valores está obligada a tomar todos los intermedios. Queda claro pues que el teorema del valor intermedio incluye al teorema de los ceros de Bolzano como caso particular (aunque también muy especial pues la demostración del primero se reduce, tal y como hemos visto, al segundo).

Proponemos a continuación una colección de doce ejercicios (con sus soluciones) relacionados con los dos teoremas demostrados anteriormente.

Ejercicios

1. Dar un ejemplo de una función continua en un punto \(x_0\) que no tenga signo constante en ningún intervalo abierto centrado en dicho punto (intervalo de la forma \((x_0-\delta,x_0+\delta)\) con \(\delta>0\)).

Sea \(f:\mathbb{R}\rightarrow\mathbb{R}\) definida por \(f(x)=x^3\). Tomemos \(x_0=0\). Entonces \(f\) no tiene signo constante en ningún intervalo de la forma \((-\delta,\delta)\), pues si \(\alpha\in(-\delta,0)\), entonces \(f(\alpha)=\alpha^3<0\) pues \(\alpha<0\); y si \(\alpha\in(0,\delta)\), \(f(\alpha)=\alpha^3>0\) ya que \(\alpha>0\).

2. Dar un ejemplo de una función continua cuya imagen no sea un intervalo.

Sea \(f:A=[-1,0]\cup[1,2]\rightarrow\mathbb{R}\) definida por \(f(x)=x\). Claramente \(f\) es continua en todo punto de su conjunto de definición. Sin embargo \(f(A)=[-1,0]\cup[1,2]\), que no es un intervalo.

3. Dar un ejemplo de una función definida en un intervalo cuya imagen sea un intervalo y que no sea continua.

Sea \(f:A=[-1,1]\rightarrow\mathbb{R}\) definida del siguiente modo:

\[f(x)=\left\{
    \begin{array}{lll}
    -x&\text{si}&-1\leqslant x\leqslant0\\
    1-x&\text{si}&0<x\leqslant1
    \end{array}
  \right.\]

La función \(f\) está definida en un intervalo y no es continua en cero. Sin embargo se tiene que \(f(A)=[0,1]\), que sí que es un intervalo.

4. Dar un ejemplo de una función continua en todo \(\mathbb{R}\), no constante y cuya imagen sea un conjunto (obligadamente un intervalo) acotado.

Sea \(f:\mathbb{R}\rightarrow\mathbb{R}\) definida por \(f(x)=\dfrac{x^2}{x^2-1}\). La función \(f\) es continua en todo \(\mathbb{R}\) por ser una función racional y no es constante. Además \(f(\mathbb{R})=[0,1)\) (véase la representación gráfica).

grafica 01

5. Dar un ejemplo de una función continua en \([0,1)\) tal que \(f([0,1))\) sea no acotado.

Sea \(f:[0,1)\rightarrow\mathbb{R}\) definida por \(f(x)=\dfrac{x}{1-x}\). Claramente \(f\) es continua en \([0,1)\) por ser una función racional. Además \(f([0,1))=[0,+\infty)\), que es un intervalo no acotado (ver representación gráfica).

grafica 02

6. Dar un ejemplo de una función continua definida en un intervalo abierto acotado y cuya imagen sea un intervalo cerrado y acotado.

Sea \(f:(-2,2)\rightarrow\mathbb{R}\) definida por

\[f(x)=\left\{
    \begin{array}{lll}
    -1&\text{si}&-2<x<-1\\
    x&\text{si}&-1\leqslant x\leqslant1\\
    1&\text{si}&1<x<2
    \end{array}
  \right.\]

La función es claramente continua y \(f\left((-2,2)\right)=[-1,1]\).

grafica 03

7. Pruébese que si \(I\) es un intervalo y \(f:I\rightarrow\mathbb{R}\) es una función continua en \(I\) verificando \(f(I)\subset\mathbb{Q}\), entonces \(f\) es constante.

Si \(f\) no fuese constante podría tomar, al menos, dos valores distintos. Sean éstos \(x_1,x_2\in I\) con \(x_1<x_2\) tal que, por ejemplo, \(f(x_1)<f(x_2)\). Como \(f\) es continua en \(I\), e \(I\) es un intervalo, \(f(I)\) también es un intervalo y por tanto \([f(x_1),f(x_2)]\subset f(I)\subset\mathbb{Q}\). Esto es absurdo pues entre dos racionales siempre hay algún irracional. Por tanto \(f\) toma un solo valor y \(f\) es constante.

8. Sea \(A\) un conjunto no vacío de números reales. Supongamos que toda función continua de \(A\) en \(\{0,1\}\) (es decir, cuya imagen esté incluida en el conjunto \(\{0,1\}\)) es constante. Pruébese que \(A\) es un intervalo.

Si \(A\) no fuese un intervalo, dados \(x_1,x_2\in A\) con \(x_1<x_2\), sería posible encontrar un número real \(z\) tal que \(x_1<z<x_2\) con \(z\notin A\). Sea ahora la función \(f:A\rightarrow\mathbb{R}\) definida por

\[f(x)=\left\{
    \begin{array}{lll}
    0&\text{si}&x<z\\
    1&\text{si}&x>z
    \end{array}
  \right.\]

Es claro que \(f\) es continua en \(A\) (recuérdese que la continuidad es un propiedad local) y además toma el valor \(0\) y el valor \(1\), lo cual contradice el supuesto de que toda función continua de \(A\) en \(\{0,1\}\) es constante. Así pues, \(A\) es un intervalo.

9. Pruébese que todo polinomio de grado impar admite al menos una raíz real.

Sea \(f:\mathbb{R}\rightarrow\mathbb{R}\) la función polinómica

\[f(x)=a_nx^n+a_{n-1}x^{n-1}+\ldots+a_2x^2+a_1x+a_0\]

con \(a_n\neq0\) y \(n\) impar. Podemos suponer \(a_n=1\) (en caso contrario bastaría dividir todo entre \(a_n\)). Por tanto tomaremos

\[f(x)=x^n+a_{n-1}x^{n-1}+\ldots+a_2x^2+a_1x+a_0\]

Entonces

\[\frac{f(x)}{x^n}=1+\frac{a_{n-1}}{x}+\ldots+\frac{a_1}{x^{n-1}}+\frac{a_0}{x^n}\]

Consideremos la sucesión

\[\left\{\frac{f(k)}{k^n}\right\}_{k\in\mathbb{N}}=\left\{1+\frac{a_{n-1}}{k}+\ldots+\frac{a_1}{k^{n-1}}+\frac{a_0}{k^n}\right\}\]

Claramente \(\left\{\dfrac{f(k)}{k^n}\right\}\rightarrow1\). Por tanto existe \(m_1\in\mathbb{N}\) tal que \(\dfrac{f(m_1)}{m_1^n}>0\), de donde se deduce que \(f(m_1)>0\).

Consideremos, por otro lado, la sucesión

\[\left\{\frac{f(-k)}{(-k)^n}\right\}_{k\in\mathbb{N}}=\left\{1-\frac{a_{n-1}}{k}+\ldots+\frac{a_1}{k^{n-1}}-\frac{a_0}{k^n}\right\}\]

También es claro que \(\left\{\dfrac{f(-k)}{(-k)^n}\right\}\rightarrow1\), con lo que existe \(m_2\in\mathbb{N}\) tal que \(\dfrac{f(-m_2)}{(-m_2)^n}>0\), con lo que \(f(-m_2)<0\) (ya que al ser \(n\) impar \((-m_2)^n<0\).

Como consecuencia, por el teorema de los ceros de Bolzano, existe \(c\in(-m_2,m_1)\) tal que \(f(c)=0\), es decir, tal que

\[a_nc^n+a_{n-1}c^{n-1}+\ldots+a_2c^2+a_1c+a_0=0\]

y, por tanto, \(c\) es una raíz del polinomio.

10. Dado un número real positiva \(a\), pruébese que existe \(x\in\mathbb{R}^+\) tal que \(x^2=a\). El tal \(x\) es único.

Sea \(f:[0,b]\rightarrow\mathbb{R}\) definida por \(f(x)=x^2-a\), donde \(b\) es un número real cumpliendo que \(b^2>a\). \(f\) es claramente continua y además \(f(0)=-a<0<b^2-a=f(b)\). Por el teorema de los ceros de Bolzano, existe \(c\in(0,b)\) tal que \(f(c)=c^2-a=0\), o lo que es lo mismo, \(c^2=a\). Si existiera otro valor \(d\in(0,b)\) tal que \(d^2=a\) tendríamos \(c^2=d^2\) de donde se deduce que \(c=d\), ya que tanto \(c\) como \(d\) son números reales positivos. Así pues el número que se busca es único.

11. Sea \(f:[0,1]\rightarrow[0,1]\) una función continua en \([0,1]\). Pruébese que \(f\) tiene un punto fijo: \(\exists\,x\in[0,1]\,:\,f(x)=x\).

Sea \(f:[0,1]\rightarrow[0,1]\) definida por \(g(x)=f(x)-x\). La función \(g\) es continua en \([0,1]\) por serlo \(f\). Además, \(g(0)=f(0)-0=f(0)\geqslant0\) (la imagen de \(f\) es el intervalo \([0,1]\)), y \(g(1)=f(1)-1\leqslant0\). Si en una de las dos desigualdades se da el igual, entonces el punto buscado es el \(0\) o el \(1\). Si las desigualdades son estrictas, por el teorema de los ceros de Bolzano, existe \(c\in(0,1)\) tal que \(g(c)=f(c)-c=0\), es decir, \(f(c)=c\).

12. Suponiendo que la temperatura varía de manera continua a lo largo del Ecuador, pruébese que, en cualquier instante, existen dos puntos antípodas sobre el Ecuador que se hallan a la misma temperatura.

Consideremos la función temperatura definida sobre una circunferencia, es decir, sobre el Ecuador \(T:[0,2\pi]\rightarrow\mathbb{R}\) que según la hipótesis es continua y sea ahora la siguiente función: \(f:[0,\pi]\rightarrow\mathbb{R}\) definida por \(f(x)=T(x+\pi)-T(x)\), que es continua por serlo \(T\). Se tiene, por un lado, que \(f(0)=T(\pi)-T(0)\), y por otro \(f(\pi)=T(2\pi)-T(\pi)=T(0)-T(\pi)\). Ahora se pueden dar dos casos. Que \(T(\pi)-T(0)=0\Rightarrow T(\pi)=T(0)\), y hemos terminado. O bien que \(T(\pi)-T(0)\neq0\). En este caso \(f(0)=T(\pi)-T(0)\) y \(f(\pi)=T(0)-T(\pi)\) tienen distinto signo por ser números opuestos. Aplicando el teorema de los ceros de Bolzano, existe \(c\in(0,\pi)\) tal que \(f(c)=T(c+\pi)-T(c)=0\), es decir, \(T(c+\pi)=T(c)\), tal y como queríamos demostrar.


Puedes descargar el artículo completo en pdf haciendo clic aquí.


Leer más ...

Funciones continuas. Definición y propiedades

Para la lectura de este artículo es recomendable haber leído con anterioridad otros tres artículos relacionados con las sucesiones de números reales y las funciones reales de variable real. Son los siguientes:

Por otro lado, nos gustaría hacer notar que en bachillerato el concepto de función continua en un punto se introduce a través del concepto de límite de una función en un punto y, desde el punto de vista gráfico, diciendo que la gráfica de la función al pasar por ese punto se puede dibujar "sin levantar el lápiz del papel". De hecho, del concepto de límite se habla en términos gráficos muy generales y raras veces se da la definición de límite funcional de manera algo más rigurosa (cosa que nosotros haremos en un artículo posterior). Lo que vamos a ver aquí es el concepto de función continua en un punto y en un conjunto, así como sus propiedades, sin necesidad de utilizar el concepto de límite de una función, sino solamente usando sucesiones de números reales, el concepto de sucesión convergente y sus propiedades (merece la pena insistir: ya veremos que para definir el concepto de límite de una función se usa el de límite de una sucesión). Finalmente daremos una caracterización de la continuidad muy útil en algunos casos. Insistimos en que el lenguaje matemático a este nivel puede parecer difícil a un alumno que ha finalizado el bachillerato, pero no hay que preocuparse, con el tiempo y un poco de tesón uno se acostumbra con cierta facilidad. Es un lenguaje preciso y conviene interpretarlo adecuadamente. Empezaremos por definir el concepto de función continua en un punto.

Definición 1.

Sea \(f:A\rightarrow\mathbb{R}\) una función real de variable real y sea \(x\) un elemento de \(A\). Diremos que \(f\) es continua en el punto \(x\) si para toda sucesión \(\{x_n\}\) de elementos de \(A\) convergente a \(x\), se tiene que la sucesión \(\{f(x_n)\}\) converge a \(f(x)\). Dado un subconjunto no vacío \(B\) de \(A\), es muy natural decir que \(f\) es continua en \(B\) cuando sea continua en todos los puntos de \(B\). Por supuesto, puede ser \(B=A\).

Si pensamos en la definición anterior, y la llevamos a la representación gráfica de la función, seremos capaces de visualizar el significado (que, en realidad es el mismo que se obliga a visualizar a los estudiantes de bachillerato usando el concepto de límite de una función). Por cierto, es conveniente hacer notar que si una función no está definida en un punto no se puede hablar de la continuidad de la función en ese punto; o sea, no es que la función sea o deje de ser continua en el punto, es que no tiene sentido hablar de la continuidad de una función en un punto que no pertenece a su dominio de definición. Así por ejemplo, afirmar que "la función \(f(x)=\frac{x+1}{x-1}\) no es continua en el punto \(x=1\)" es algo que carece de sentido pues la función no está definida en \(x=1\). Esto supone "liquidarse" de alguna manera la visualización de la idea de continuidad como eso de "dibujar sin levantar el lápiz del papel"; tal idea gráfica conviene reducirla única y exclusivamente al dominio de definición de la función. En los puntos que no pertenezcan al dominio de definición ocurrirán otras cosas. Así por ejemplo, volviendo a la función anterior, lo que ocurre es que \(x=1\) es una asíntota vertical de la función \(f(x)=\frac{x+1}{x-1}\).

De entrada hay dos funciones continuas en todos los puntos de cualquier conjunto \(A\) no vacío de números reales en los que estén definidas. La demostración de este hecho es prácticamente inmediata usando directamente la definición anterior. Son las siguientes:

  • La función constante en \(A\): dado \(k\in\mathbb{R}\); \(f(x)=k\,,\forall\,x\in A\).
  • La función identidad en \(A\): \(f(x)=x\,,\forall\,x\in A\).

Las proposiciones que demostraremos a continuación permitirán obtener más funciones continuas a partir de las dos anteriores.

Proposición 1.

Sea \(A\) un conjunto no vacío de números reales. Si \(f\) y \(g\) son funciones de \(A\) en \(\mathbb{R}\) continuas en un punto \(a\) de \(A\), entonces \(f+g\) y \(fg\) son continuas en \(a\). Como consecuencia, si \(f\) y \(g\) son continuas en un subconjunto \(B\) de \(A\), también lo serán \(f+g\) y \(fg\).

Sea \(\{x_n\}\) cualquier sucesión de puntos de \(A\) convergente a \(a\). Entonces, por ser \(f\) y \(g\) continuas en \(a\) tenemos que

\[\{f(x_n)\}\rightarrow f(a)\quad\text{y}\quad\{g(x_n)\}\rightarrow g(a)\]

Por tanto:

\[\{(f+g)(x_n)\}=\{f(x_n)+g(x_n)\}\rightarrow f(a)+g(a)=(f+g)(a)\]

y

\[\{(fg)(x_n)\}=\{f(x_n)g(x_n)\}\rightarrow f(a)g(a)=(fg)(a)\]

Aquí hemos utilizado la Proposición 2 y el Corolario 1 del artículo dedicado a las propiedades de las sucesiones convergentes.

Proposición 2.

Sea \(A\) un conjunto no vacío de números reales, \(f\) y \(g\) funciones de \(A\) en \(\mathbb{R}\). Supongamos que \(g(x)\neq0\,,\forall\,x\in A\). Si \(f\) y \(g\) son continuas en un punto \(a\) de \(A\), entonces la función \(\dfrac{f}{g}\) es continua en \(a\). Como consecuencia, si \(f\) y \(g\) son continuas en un subconjunto \(B\) de \(A\), también lo es \(\dfrac{f}{g}\).

Demostrando que la función \(\dfrac{1}{g}\) es continua en \(a\), haciendo uso la proposición anterior, tendremos demostrado este resultado. Pues bien, si \(\{x_n\}\rightarrow a\) con \(x_n\in A\,,\forall\,n\in\mathbb{N}\), tenemos, por ser \(g\) continua en \(a\), que \(\{g(x_n)\}\rightarrow g(a)\). Además  \(g(x_n)\neq0\,,\forall\,n\in\mathbb{N}\) y \(g(a)\neq0\). Por tanto, usando la Proposición 4 del artículo dedicado a las propiedades de las sucesiones convergentes, tenemos:

\[\left\{\frac{1}{g}(x_n)\right\}=\left\{\frac{1}{g(x_n)}\right\}\rightarrow\frac{1}{g(a)}=\frac{1}{g}(a)\]

tal y como queríamos demostrar.

Puesto que de todos es conocido lo que es un polinomio, podemos definir una función polinómica como sigue. Si \(A\) es un conjunto no vacío de números reales, una función \(f:A\rightarrow\mathbb{R}\) se dice que es \emph{polinómica} si existe un entero \(p\geq0\) y números reales \(a_0,a_1,\ldots,a_p\) tales que

\[f(x)=a_0+a_1x+a_2x^2+\cdots+a_px^p\,,\forall\,x\in A\]

Diremos también que una función \(f:A\rightarrow\mathbb{R}\) es racional si existen funciones polinómicas \(f_1\) y \(f_2\) en \(A\), con \(f_1(x)\neq0\,,\forall\,x\in A\), tales que

\[f(x)=\frac{f_1(x)}{f_2(x)}\,,\forall\,x\in A\]

Puesto que la función constante y la función identidad son continuas, las proposiciones anteriores permiten afirmar que toda función racional definida en un conjunto \(A\) no vacío de números reales es continua en \(A\).

Todo lo anterior se puede resumir diciendo que la continuidad se conserva para la suma, el producto y el cociente de funciones. Básicamente, si dos funciones son continuas, la suma, el producto y el cociente de ambas también son funciones continuas. Recordemos que en el artículo dedicado a la funciones reales de variable real vimos el concepto de composición de funciones. Veremos por último también que si dos funciones son continuas la composición de ambas también lo es.

Proposición 3.

Sean \(f:A\rightarrow\mathbb{R}\), \(g:B\rightarrow\mathbb{R}\) funciones reales de variable real y supongamos \(f(A)\subset B\). Si \(f\) es continua en un punto \(a\) de \(A\) y \(g\) es continua en el punto \(f(a)\), entonces la composición \(g\circ f\) es continua en \(a\). Como consecuencia, si \(f\) es continua en \(A\) y \(g\) es continua en \(f(A)\), entonces \(g\circ f\) es continua en \(A\).

Sea \(\{x_n\}\) una sucesión de puntos de \(A\) tal que \(\{x_n\}\rightarrow a\) y sea \(y_n=f(x_n)\,,\forall\,n\in\mathbb{N}\). Entonces \(\{y_n\}\) es una sucesión de puntos de \(B\) que, por ser \(f\) continua en \(a\), converge a \(f(a)\). Por ser \(g\) continua en \(f(a)\) tenemos que \(\{g(y_n)\}\) converge a \(\{g(f(a))\}\), es decir

\[\{(g\circ f)(x_n)\}\rightarrow(g\circ f)(a)\]

tal y como queríamos.

Vamos a demostrar ahora que la función \(g:\mathbb{R}\rightarrow\mathbb{R}\) definida por

\[g(x)=|x|\,,\forall\,x\in\mathbb{R}\]

(función valor absoluto) es continua en \(\mathbb{R}\).

Sea \(a\in\mathbb{R}\) y \(\{x_n\}\) una sucesión de números reales tal que \(\{x_n\}\rightarrow a\). Hemos de demostrar que \(\{g(x_n)\}\rightarrow g(a)\), o lo que es lo mismo, que \(\{|x_n|\}\rightarrow |a|\). Para ello utilizaremos la definición de sucesión convergente. Consideremos \(\varepsilon>0\). Como \(\{x_n\}\rightarrow a\), \(\exists\ m\in\mathbb{N}\) tal que si \(n\geq m\), entonces \(|x_n-a|<\varepsilon\). Pero, por las propiedades del valor absoluto, \(||x_n|-|a||\leq|x_n-a|\) siempre que \(n\geq m\), con lo que hemos demostrado que \(\{|x_n|\}\rightarrow |a|\), tal y como queríamos.

De lo anterior se deduce que, dada una función \(f:A\rightarrow\mathbb{R}\), la función \(|f|:A\rightarrow\mathbb{R}\) definida por

\[|f|(x)=|f(x)|\,,\forall\,x\in A\]

es continua en todo punto de \(A\) donde lo sea \(f\). La razón es que la función anterior es la composición de la función de \(f\) con la función valor absoluto.

Esto nos permite ampliar el conjunto de las funciones continuas. Así, la función \(f(x)=|p(x)|\) donde \(p\) es una función polinómica, es continua en todo \(\mathbb{R}\).

Por ejemplo, como \(f(x)=x^3-2x^2-5x+6\) es continua en todo \(\mathbb{R}\), la función \(|f|(x)=|f(x)|=|x^3-2x^2-5x+6|\) también es continua en todo \(\mathbb{R}\). Sus gráficas son las siguientes:

funcion continua 01

funcion continua 02

Obsérvese que la gráfica de \(|f|\) coincide con la de \(f\) cuando \(f(x)\geq0\) ya que, en este caso, \(|f(x)|=f(x)\). Sin embargo, cuando \(f(x)<0\), tenemos que \(|f(x)|=-f(x)\), con lo que para obtener la gráfica de \(|f|\) basta situar simétricamente al eje \(X\) los puntos en los que la ordenada de \(f\) es menor que cero. Resumiendo:

\[|f|(x)=|f(x)|=\left\{\begin{array}{ccc} f(x) & \text{si} & f(x)\geq0 \\ -f(x) & \text{si} & f(x)<0             \end{array}\right.\]

Sin embargo puede ocurrir que \(|f|\) sea continua en un punto y que \(f\) no lo sea. Por ejemplo, la función

\[f(x)=\left\{\begin{array}{ccc} 1 & \text{si} & x\geq0 \\ -1 & \text{si} & x<0\end{array}\right.\]

claramente no es continua en cero (¿serías capaz de demostrarlo usando la definición de función continua en un punto?). Sin embargo

\(|f|(x)=|f(x)|=1\,,\forall\,x\in\mathbb{R}\), es constante y por tanto es continua en cero.

Proponemos a continuación tres ejercicios acerca de la continuidad de funciones reales de variable real.

Ejercicios

1. Estúdiese la continuidad de la función \(f\) de \(\mathbb{R}\) en \(\mathbb{R}\) definida por

\[f(x)=\left\{\begin{array}{ccc}
    x & \text{si} & x\in\mathbb{Q} \\
    1-x & \text{si} & x\in\mathbb{R}-\mathbb{Q}
  \end{array}\right.\]

Sea \(x_0\in\mathbb{Q}\) y \(\{x_n\}\) una sucesión de irracionales convergente a \(x_0\) (que sabemos que existe por el ejercicio 5 del artículo dedicado a las propiedades de las sucesiones convergentes). Entonces \(\{f(x_n)\}=\{1-x_n\}\rightarrow1-x_0\). Para que \(f\) sea continua en \(x_0\) debe ocurrir que \(\{f(x_n)\}\rightarrow f(x_0)=x_0\), es decir, \(1-x_0=x_0\Rightarrow x_0=\frac{1}{2}\).

De manera similar, sea ahora \(x_0\in\mathbb{R}-\mathbb{Q}\) y \(\{x_n\}\) una sucesión de racionales convergente a \(x_0\) (que también sabemos que existe por el mismo ejercicio mencionado anteriormente). Entonces \(\{f(x_n)\}=\{x_n\}\rightarrow x_0\). Para que \(f\) sea continua en \(x_0\) debe ocurrir que \(\{f(x_n)\}\rightarrow f(x_0)=1-x_0\), es decir, \(x_0=1-x_0\Rightarrow x_0=\frac{1}{2}\). Pero esto es absurdo pues \(x_0\in\mathbb{R}-\mathbb{Q}\).

Debemos concluir por tanto que \(f\) solamente es continua en el punto \(x=\frac{1}{2}\).

2. Sean \(f\) y \(g\) funciones de \(\mathbb{R}\) en \(\mathbb{R}\), continuas en todo \(\mathbb{R}\). Supongamos que \(f(x)=g(x)\,,\forall\,x\in\mathbb{Q}\). Pruébese que \(f=g\). En particular, si \(f:\mathbb{R}\rightarrow\mathbb{R}\) es continua y la restricción de \(f\) a \(\mathbb{Q}\) es constante, entonces \(f\) es constante.

Supongamos que existe un número \(a\in\mathbb{R}-\mathbb{Q}\) tal que \(f(a)\neq g(a)\). Sea \(\{a_n\}\) una sucesión de números racionales convergente al punto \(a\). Entonces \(\{f(a_n)\}\rightarrow f(a)\) y \(\{g(a_n)\}\rightarrow g(a)\) por ser \(f\) y \(g\) continuas en todo \(\mathbb{R}\). Pero \(f(a_n)=g(a_n)\,,\forall\,n\in\mathbb{N}\) pues \(a_n\in\mathbb{Q}\,,\forall\,n\in\mathbb{N}\). Esto significa que \(f(a)=g(a)\), en contradicción con que \(f(a)\neq g(a)\). Por tanto \(f=g\).

3. Sea \(A\) un conjunto no vacío de números reales. Sea \(f:\mathbb{R}\rightarrow\mathbb{R}\) la función definida por \(f(x)=\inf\{|x-a|\,:\,x\in A\}\). Pruébese que \(|f(x)-f(y)|\leqslant|x-y|\,,\forall\,x\,,y\in\mathbb{R}\). Dedúzcase que \(f\) es continua en todo \(\mathbb{R}\).

Sea \(a\in A\). De la desigualdad \(||x-a|-|y-a||\leqslant|(x-a)-(y-a)|=|x-y|\) se deduce inmediatamente \(|f(x)-f(y)|\leqslant|x-y|\,,\forall\,x\,,y\in\mathbb{R}\). Sea ahora una sucesión \(\{x_n\}\) de números reales convergente a un número real \(x\). Entonces dado un número real y positivo \(\varepsilon\) existe \(m\in\mathbb{N}\) tal que si \(n\geqslant m\), entonces \(|f(x_n)-f(x)|\leqslant|x_n-x|<\varepsilon\). De aquí se deduce que \(\{f(x_n)\}\rightarrow f(x)\), y por tanto \(f\) es continua en todo \(\mathbb{R}\).

Caracterización de la continuidad

De la misma forma que para la definición de sucesión convergente se usó cierta terminología para dar forma a la idea de que todos los términos de la sucesión, salvo un número finito de ellos, estaban tan cerca del límite como quisiéramos; podemos dar una caracterización de función continua en un punto \(a\in\mathbb{R}\). En este caso, la idea es formalizar mediante una notación adecuada el hecho de que "si en el eje \(Y\) las imágenes por la función \(f\) están tan cerca como queramos de \(f(a)\), es porque en el eje \(X\) también estamos tan cerca como queramos del punto \(a\)". Vamos a formalizar lo anterior adecuadamente.

Sea \(A\) un conjunto no vacío de números reales, \(f\) una función real definida en \(A\) y \(a\) un punto de \(A\). Las siguientes afirmaciones son equivalentes:

i) \(f\) es continua en \(a\).

ii) Para toda sucesión \(\{x_n\}\) de puntos de \(A\), monótona y convergente al punto \(a\), la sucesión \(\{f(x_n)\}\) converge a \(f(a)\).

iii) Para cada número real y positivo \(\varepsilon\) puede encontrarse un número real positivo \(\delta\) tal que si \(x\) es un punto de \(A\) verificando \(|x-a|<\delta\), se tiene \(|f(x)-f(a)|<\varepsilon\).

i) \(\Rightarrow\) ii) Es evidente pues lo que en i) se exige para todas sucesión de \(A\) que converja al punto \(a\), en ii) se exige solamente para aquellas que sean monótonas.

ii) \(\Rightarrow\) iii) Supongamos, razonando por reducción al absurdo, que se cumple ii) pero no se cumple iii). Entonces existe un número real positivo \(\varepsilon_0\) con la siguiente propiedad:

\[\forall\,\delta>0\  \ \exists\,x_{\delta}\in A\,:\, |x_{\delta}-a|<\delta\quad\text{y}\quad|f(x_{\delta})-f(a)|\geq\varepsilon_0\]

Para cada natural \(n\), aplicamos lo anterior para \(\delta=\dfrac{1}{n}\) y sea \(y_n=x_{1/n}\). Obtenemos así una sucesión \(\{y_n\}\) de puntos de \(A\) que verifica

\[|y_n-a|<\frac{1}{n}\quad\text{y}\quad|f(y_n)-f(a)|\geq\varepsilon_0\ ,\ \forall\,n\in\mathbb{N}\]

Claramente \(\{y_n\}\) converge al punto \(a\); entonces existe con seguridad una sucesión parcial \(\{y_{\sigma(n)}\}\) de \(\{y_n\}\) que es monótona (ver lema 2 del artículo dedicado a las sucesiones parciales y monótonas). Aplicando la hipótesis ii) tenemos que la sucesión \(\{f(y_{\sigma(n)})\}\) converge a \(f(a)\), lo cual es absurdo pues

\[|f(y_{\sigma(n)})-f(a)|\geq\varepsilon_0\ ,\ \forall\,n\in\mathbb{N}\]

iii) \(\Rightarrow\) i) Sea \(\{x_n\}\) una sucesión de puntos de \(A\) convergente al punto \(a\). Sea \(\varepsilon>0\) arbitrario y \(\delta\) el número positivo dado por la hipótesis iii). Por ser \(\{x_n\}\rightarrow a\) tenemos:

\[\exists\,m\in\mathbb{N}\,:\,n\geq m\Rightarrow|x_n-a|<\delta\]

y puesto que \(x_n\in A\) tenemos por iii) que \(|f(x_n)-f(a)|<\varepsilon\) para \(n\geq m\). Esto demuestra que

\[\{f(x_n)\}\rightarrow f(a)\]

y por tanto que \(f\) es continua en el punto \(a\), tal y como queríamos.

Proponemos a continuación otros tres ejercicios para practicar la caracterización de la continuidad.

Ejercicios

1. Sean \(f_1\), \(f_2\) funciones de \(\mathbb{R}\) en \(\mathbb{R}\). Estúdiese la continuidad de la función \(f:\mathbb{R}\rightarrow\mathbb{R}\) definida por

\[f(x)=\left\{\begin{array}{ccc}
    f_1(x) & \text{si} & x\in\mathbb{R}^- \\
    f_2(x) & \text{si} & x\in\mathbb{R}_0^+
  \end{array}\right.\]

\(f\) es claramente continua si \(x\in\mathbb{R}^-\) o si \(x\in\mathbb{R}^+\), pues dado un punto cualquiera de \(\mathbb{R}^-\) (respectivamente, de \(\mathbb{R}^+\)), es posible encontrar un intervalo centrado en el punto y contenido en \(\mathbb{R}^-\) (respectivamente, \(\mathbb{R}^+\)), y dado el carácter local de la continuidad se tiene el resultado. Estudiemos pues la continuidad en cero.

Sea la sucesión \(\{\frac{(-1)^n}{n}\}\), que converge a \(0\). Entonces \(\{f(x_n)\}=\{f_1(x_n)\}\) si \(n\) es impar y \(\{f(x_n)\}=\{f_2(x_n)\}\) si \(n\) es par. Consideremos las sucesiones parciales \(\{x_{2n-1}\}\) y \(\{x_{2n}\}\), ambas convergentes a cero. Así, por un lado, \(\{f(x_{2n-1})\}=\{f_1(x_{2n-1})\}\rightarrow f_1(0)\); y por otro, \(\{f(x_{2n})\}=\{f_2(x_{2n})\}\rightarrow f_2(0)\), pues \(f_1\) y \(f_2\) son continuas en todo \(\mathbb{R}\). De aquí se deduce que si \(f_1(0)=f_2(0)\), \(f\) es continua en \(0\). Pero si \(f_1(0)\neq f_2(0)\), entonces \(f\) no es continua en \(0\).

2. Utilícese la afirmación iii) del teorema anterior para probar que la función \(f\) del ejercicio 1 de la sección anterior es continua en el punto \(\frac{1}{2}\).

Hemos de demostrar que dado un número real y positivo \(\varepsilon\), existe un número real positivo \(\delta\) tal que si \(x\) es un punto de \(\mathbb{R}\) verificando \(|x-\frac{1}{2}|<\delta\), entonces \(|f(x)-f(\frac{1}{2})|<\varepsilon\). Pero es que si \(x\in\mathbb{Q}\), entonces \(|f(x)-f(\frac{1}{2})|=|x-\frac{1}{2}|\) y basta tomar \(\delta=\varepsilon\). Ahora bien, si \(x\in\mathbb{R}-\mathbb{Q}\), se tiene que \(|f(x)-f(\frac{1}{2})|=|1-x-\frac{1}{2}|=|\frac{1}{2}-x|=|x-\frac{1}{2}|\), y basta en este caso tomar también \(\delta=\varepsilon\).

3. Pruébese, utilizando la afirmación iii) del teorema anterior, que la función \(f:\mathbb{R}\rightarrow\mathbb{R}\) definida por \(f(x)=x^2\,,\forall\,x\in\mathbb{R}\) es continua en \(\mathbb{R}\).

Sea \(x_0\in\mathbb{R}\). Tenemos:

\[|f(x)-f(x_0)|=|x^2-x_0^2|=|(x+x_0)(x-x_0)|=|x+x_0||x-x_0|\]

Dado \(\varepsilon>0\) sea \(\delta=\frac{\varepsilon}{|x+x_0|}\). Entonces, si \(|x-x_0|<\delta\):

\[|f(x)-f(x_0)|=|x+x_0||x-x_0|<|x+x_0|\delta=|x+x_0|\frac{\varepsilon}{|x+x_0|}=\varepsilon\]

con lo que \(f\) es continua en todo \(\mathbb{R}\).

Finalmente, procede de nuevo insistir en que en este artículo se ha definido la continuidad de una función en un punto haciendo uso de la convergencia de una sucesión en un punto. En algunos textos se define directamente la continuidad de una función en un punto sin haber visto para nada las sucesiones de números reales. En su lugar se define el límite de una función en un punto de una forma equivalente a la parte iii) del teorema anterior y luego se dice que una función \(f\) es continua en un punto \(a\) si \(\displaystyle\lim_{x\rightarrow a}f(x)=f(a)\) . Las dos formas de introducir la continuidad son completamente lícitas. No olvidemos que, usemos sucesiones o usemos el concepto de límite para definir la continuidad, en realidad estamos hablando de lo mismo. Nosotros introduciremos el concepto de límite de una función en un punto (y en el infinito) en un artículo posterior. Lo que haremos a continuación es presentar algunos teoremas relacionados con la continuidad de importancia capital en el análisis matemático.


Puedes descargar el artículo completo en pdf haciendo clic aquí.


Leer más ...

Teorema de los ceros de Bolzano

Continuidad de una función en un punto

Sabemos que una función \(f\) es continua en un punto \(x=a\) cuando se cumplen las tres condiciones siguientes:

  • Existe, y es finito, el límite de la función en el punto \(x=a\), es decir, \(\displaystyle\lim_{x\to a}f(x)=L\,,\ L\in\mathbb{R}\).
  • La función \(f\) está definida en el punto, o lo que es lo mismo, existe la imagen de la función en el punto \(x=a\), es decir, existe \(f(a)\).
  • El límite de la función en el punto \(x=a\) es igual a la imagen de la función en dicho punto: \(\displaystyle\lim_{x\to a}f(x)=L=f(a)\).

La continuidad es una propiedad local. Lo que queremos decir con esto es que para estudiar la continuidad de una función en un punto nos interesa saber lo que ocurre "en las cercanías del punto". De hecho, el concepto de límite obliga a que, supuesto que tomemos un entorno cualquiera de \(L\), \((L-\varepsilon\,,\,L+\varepsilon)\), en el eje \(Y\), siempre podremos encontrar un entorno del punto \(a\) en el eje \(X\), \((a-\delta\,,\,a+\delta)\), cuyas imágenes estén contenidas en el entorno anterior \((L-\varepsilon\,,\,L+\varepsilon)\). Esta idea se transcribe en lenguaje matemático así:

\[\lim_{x\to a}f(x)=L\Leftrightarrow \forall\,\varepsilon>0\,,\,\exists\,\delta>0\,:\,a-\delta<x<a+\delta\,\Rightarrow\,L-\varepsilon<f(x)<L+\varepsilon\]

El concepto anterior lo extenderemos de manera natural a un intervalo de números reales.

Continuidad de una función en un intervalo

Se dice que una función es continua en un intervalo \(I\) de \(\mathbb{R}\) si es continua en cada uno de los puntos del intervalo \(I\):

\[f\ \text{es continua en}\ I\Leftrightarrow f\ \text{es continua en}\ a,\,\forall\,a\in I\]

El intervalo \(I\) puede ser abierto o cerrado, abierto por uno de sus extremos y cerrado por el otro; también puede ser una semirrecta abierta o cerrada del tipo \((-\infty\,,\,3]\) o \((-2\,,\,+\infty)\). El intervalo también puede ser todo el conjunto \(\mathbb{R}\) de los números reales. Cuando el intervalo es cerrado en uno de sus extremos, entenderemos la continuidad en el punto extremo como la continuidad lateral, bien por la izquierda (si el intervalo es cerrado por la derecha), bien por la derecha (si el intervalo es cerrado por la izquierda).

Todas las funciones elementales conocidas (polinómicas, racionales, exponenciales, logarítmicas, trigonométricas) son continuas en sus dominios de definición. Construir funciones que no sean continuas no es difícil. Basta tomar una función definida por trozos de la forma

\[f(x)=\begin{cases}g(x)&\text{si}&x\leqslant a\\h(x)&\text{si}&x>a\end{cases}\]

donde \(g\) y \(h\) son funciones continuas en el punto \(a\) con \(g(a)\neq h(a)\).

Teorema de los ceros de Bolzano

El teorema de los ceros de Bolzano formaliza la idea de que si una función es continua en un intervalo cerrado y las imágenes de los extremos tienen distinto signo, entonces existe algún punto del interior del intervalo donde la imagen se anula (ver la imagen con la que se encabeza este artículo).

Teorema de los ceros de Bolzano

Sea \(f\) una función continua en un intervalo cerrado \([a\,,\,b]\) y supongamos que el signo de \(f(a)\) es distinto que el signo de \(f(b)\). Entonces existe \(c\in(a\,,\,b)\) tal que \(f(c)=0\).

El teorema de los ceros de Bolzano recibe su nombre en honor al matemático y filósofo checo Bernard Bolzano. Su demostración formal requiere de algunas premisas previas. No es un contenido mínimo para las matemáticas de bachillerato, pero puedes verla aquí.

También tienes una presentación interesante sobre el teorema de los ceros de Bolzano aquí.

Consecuencias del teorema de los ceros de Bolzano

Teorema de los valores intermedios

Sea \(f\) una función continua en un intervalo cerrado \([a\,,\,b]\). Entonces \(f\) toma todos los valores intermedios entre \(f(a)\) y \(f(b)\).

Es decir, cualquiera que sea el número \(k\) comprendido entre \(f(a)\) y \(f(b)\), existe \(c\in(a\,,\,b)\), tal que \(f(c)=k\).

¿Serías capaz de demostrarlo? Usando el teorema de los ceros de Bolzano la demostración del teorema anterior es un ejercicio sencillo.

Otra consecuencia inmediata del teorema anterior y, por tanto, del teorema de los ceros de Bolzano es la siguiente:

Si \(f\) y \(g\) son funciones continuas en \([a\,,\,b]\) con \(f(a)<g(a)\) y \(f(b)>g(b)\), entonces existe \(c\in(a\,,\,b)\), tal que \(f(c)=g(c)\).

Teorema de Weierstrass

Sea \(f\) una función continua en un intervalo cerrado \([a\,,\,b]\). Entonces \(f\) tiene un máximo y un mínimo absoluto en ese intervalo. Es decir, existen números \(c\) y \(d\) del intervalo \([a\,,\,b]\) para los cuales se cumple que:

\[\forall\,x\in[a\,,\,b]\ \text{es}\ f(d)\leqslant f(x)\leqslant f(c)\]

Un bonito ejercicio de aplicación del teorema de los ceros de Bolzano es el siguiente.

Ejercicio

Suponiendo que la temperatura varía de manera continua a lo largo del Ecuador, pruébese que, en cualquier instante, existen dos puntos antípodas sobre el Ecuador que se hallan a la misma temperatura

Consideremos la función temperatura definida sobre una circunferencia (Ecuador) \(T:[0,\,2\pi]\rightarrow\mathbb{R}\) que según la hipótesis es continua y sea ahora la función \(f:[0,\,\pi]\rightarrow\mathbb{R}\) definida por \(f(x)=T(x+\pi)-T(x)\), que es continua por serlo \(T\).

Se tiene, por un lado, que \(f(0)=T(\pi)-T(0)\) y, por otro, que \(f(\pi)=T(2\pi)-T(\pi)=T(0)-T(\pi)\).

Si \(T(\pi)-T(0)=0\Rightarrow T(\pi)=T(0)\) y habríamos terminado (\(0\) y \(\pi\) son, evidentemente, puntos antípodas).

Supongamos que \(T(\pi)-T(0)\neq 0\). Entonces puede ocurrir que \(f(0)=T(\pi)-T(0)>0\), con lo que \(f(\pi)=T(0)-T(\pi)<0\). O puede ocurrir que \(f(0)=T(\pi)-T(0)<0\), con lo que , en este caso será \(f(\pi)=T(0)-T(\pi)>0\).

En cualquier caso, aplicando el teorema de los ceros de Bolzano, existe \(c\in(0,\,\pi)\) tal que \(f(c)=T(c+\pi)-T(c)=0\), es decir, \(T(c+\pi)=T(c)\), tal y como queríamos demostrar.

Leer más ...

Otros 5 ejercicios sobre continuidad, límites y derivadas

Ejercicio 1

Sea la siguiente función

\[f(x)=\begin{cases}\displaystyle\frac{x+3a}{10}&\text{si}&x<0\\\displaystyle\frac{2x+1}{7x+5}&\text{si}& 0\leq x\leq1\\\displaystyle\frac{\sqrt{x+3}-2}{x-1}&\text{si}&x>1\end{cases}\]

Hallar el valor de \(a\) para que \(f\) sea continua en \(x=0\). Estudiar la continuidad de \(f\) en \(x=1\).

\[\begin{cases}\displaystyle\lim_{x\rightarrow0^-}f(x)=\lim_{x\rightarrow0^-}\frac{x+3a}{10}=\frac{3a}{10}\\\displaystyle\lim_{x\rightarrow0^+}f(x)=\lim_{x\rightarrow0^+}\frac{2x+1}{7x+5}=\frac{1}{5}=f(0)\end{cases}\]

Entonces, para que \(f\) sea continua en \(x=0\) debe de ocurrir que

\[\lim_{x\rightarrow0^-}f(x)=\lim_{x\rightarrow0^+}f(x)=f(0)\]

Por tanto:

\[\frac{3a}{10}=\frac{1}{5}\Rightarrow a=\frac{10}{15}=\frac{2}{3}\]

Estudiemos ahora la continudad de la función en \(x=1\).

Por un lado:

\[\lim_{x\rightarrow1^-}f(x)=\lim_{x\rightarrow1^-}\frac{2x+1}{7x+5}=\frac{3}{12}=\frac{1}{4}\]

Por otro lado:

\[\lim_{x\rightarrow1^+}f(x)=\lim_{x\rightarrow1^+}\frac{\sqrt{x+3}-2}{x-1}=\left[\frac{0}{0}\right]=\lim_{x\rightarrow1^+}\frac{(\sqrt{x+3}-2)(\sqrt{x+3}+2)}{(x-1)(\sqrt{x+3}+2)}=\]

\[=\lim_{x\rightarrow1^+}\frac{x+3-4}{(x-1)(\sqrt{x+3}+2)}=\lim_{x\rightarrow1^+}\frac{x-1}{(x-1)(\sqrt{x+3}+2)}=\lim_{x\rightarrow1^+}\frac{1}{\sqrt{x+3}+2}=\frac{1}{4}\]

Como los límites laterales son iguales, entonces existe el límite: \(\displaystyle\lim{x\rightarrow1}f(x)=\dfrac{1}{4}\). Además \(f(1)=\dfrac{1}{4}\). Por tanto \(\displaystyle\lim_{x\rightarrow1}f(x)=f(1)=\dfrac{1}{4}\), y \(f\) es continua en \(x=1\).

Ejercicio 2

Calcular los siguientes límites:

a) \(\displaystyle\lim_{x\rightarrow-\infty}\dfrac{-12x^2+7x+1}{(2x+1)(1-4x)}\) ; b) \(\displaystyle\lim_{x\rightarrow0^-}\left(\dfrac{2}{x}-\dfrac{3}{x+1}\right)\) ;

c) \(\displaystyle\lim_{x\rightarrow+\infty}\left(\sqrt{x^2+x}-\sqrt{x^2-x}\right)\) ; d) \(\displaystyle\lim_{x\rightarrow1}\dfrac{\sqrt{x}-\displaystyle\frac{1}{x}}{x-1}\)

a) \(\displaystyle\lim_{x\rightarrow-\infty}\dfrac{-12x^2+7x+1}{(2x+1)(1-4x)}=\lim_{x\rightarrow-\infty}\dfrac{-12x^2+7x+1}{-8x^2-2x-1)}=\dfrac{-12}{-8}=\dfrac{1}{4}\)

b) \(\displaystyle\lim_{x\rightarrow0^-}\left(\dfrac{2}{x}-\dfrac{3}{x+1}\right)=\lim_{x\rightarrow0^-}\dfrac{2(x+1)-3x}{x(x+1)}=\left[\dfrac{0}{0}\right]=-\infty\)

Pero es más fácil hacerlo así: \(\displaystyle\lim_{x\rightarrow0^-}\left(\dfrac{2}{x}-\dfrac{3}{x+1}\right)=-\infty-3=-\infty\)

c) \(\displaystyle\lim_{x\rightarrow+\infty}\left(\sqrt{x^2+x}-\sqrt{x^2-x}\right)=\left[\infty-\infty\right]\lim_{x\rightarrow+\infty}\dfrac{\left(\sqrt{x^2+x}-\sqrt{x^2-x}\right)\left(\sqrt{x^2+x}+\sqrt{x^2-x}\right)}{\sqrt{x^2+x}+\sqrt{x^2-x}}=\)

\(=\lim_{x\rightarrow+\infty}\dfrac{x^2+x-x^2+x}{\sqrt{x^2+x}+\sqrt{x^2-x}}=\lim_{x\rightarrow+\infty}\dfrac{2x}{\sqrt{x^2+x}+\sqrt{x^2-x}}=\dfrac{2}{1+1}=\dfrac{2}{2}=1\)

d) \(\displaystyle\lim_{x\rightarrow1}\dfrac{\sqrt{x}-\displaystyle\frac{1}{x}}{x-1}=\left[\dfrac{0}{0}\right]=\lim_{x\rightarrow1}\dfrac{x\sqrt{x}-1}{x(x-1)}=\lim_{x\rightarrow1}\dfrac{(x\sqrt{x}-1)(x\sqrt{x}+1)}{x(x-1)(x\sqrt{x}+1)}=\)

\(=\displaystyle\lim_{x\rightarrow1}\dfrac{x^3-1}{x(x-1)(x\sqrt{x}+1)}=\lim_{x\rightarrow1}\dfrac{(x-1)(x^2+x+1)}{x(x-1)(x\sqrt{x}+1)}=\lim_{x\rightarrow1}\dfrac{x^2+x+1}{x(x\sqrt{x}+1)}=\dfrac{3}{2}\)

Ejercicio 3

De la función siguiente calcular el dominio, los puntos de corte con los ejes y las asíntotas. Hacer una representación gráfica aproximada de la misma.

\[f(x)=\frac{x^3-27}{x^2-2x-15}\]

Las soluciones de \(x^2-2x-15=0\) son \(x=-3\) y \(x=5\). Por tanto \(\text{Dom}\,f=\mathbb{R}-\{-3\,,\,5\}\).

\(\dfrac{x^3-27}{x^2-2x-15}=0\Rightarrow x^3-27=0\Rightarrow x^3=27\Rightarrow x=\sqrt[3]{27}=3\). Por tanto el punto de corte con el eje \(X\) es \((3\,,\,0)\).

\(\dfrac{0^3-27}{0^2-2\cdot0-15}=\dfrac{-27}{-15}=\dfrac{9}{5}\), lo que quiere decir que el punto de corte con el eje \(Y\) es \(\left(0\,,\,\dfrac{9}{5}\right)\).

\(\displaystyle\lim_{x\rightarrow-3}\dfrac{x^3-27}{x^2-2x-15}=\left[\dfrac{-54}{0}\right]=\begin{cases}-\infty&si&x\rightarrow-3^-\\+\infty&si&x\rightarrow-3^+\end{cases}\)

\(\displaystyle\lim_{x\rightarrow5}\dfrac{x^3-27}{x^2-2x-15}=\left[\dfrac{98}{0}\right]=\begin{cases}-\infty&si&x\rightarrow5^-\\+\infty&si&x\rightarrow5^+\end{cases}\)

De lo anterior se deduce que \(x=-3\) y \(x=5\) son asíntotas verticales de la función.

\(\displaystyle\lim_{x\rightarrow\infty}\dfrac{x^3-27}{x^2-2x-15}=\begin{cases}+\infty&si&x\rightarrow+\infty\\-\infty&si&x\rightarrow-\infty\end{cases}\), lo que quiere decir que \(f\) no tiene asíntotas horizontales.

Al dividir \(x^3-27\) entre \(x^2-2x-15\) se obtiene de cociente \(x+2\), lo que significa que \(y=x+2\) es una asíntota oblicua de la función.

Representación gráfica:

desmos 09

Ejercicio 4

Hallar, usando la definición, la derivada de la función \(f(x)=\dfrac{x-3x^2}{1-2x^2}\) en el punto \(x=1\).

\(\displaystyle\lim_{x\rightarrow1}\dfrac{f(x)-f(1)}{x-1}=\lim_{x\rightarrow1}\dfrac{\displaystyle\frac{x-3x^2}{1-2x^2}-2)}{x-2}=\lim_{x\rightarrow1}\dfrac{\displaystyle\frac{x-3x^2-2(1-2x^2)}{1-2x^2}}{x-1}=\displaystyle\lim_{x\rightarrow1}\dfrac{x-3x^2-2+4x^2}{(x-1)(1-2x^2)}=\)

\(=\displaystyle\lim_{x\rightarrow1}\dfrac{x^2+x-2}{(x-1)(1-2x^2)}=\lim_{x\rightarrow1}\dfrac{(x-1)(x+2)}{(x-1)(1-2x^2)}=\lim_{x\rightarrow1}\dfrac{x+2}{1-2x^2}=\dfrac{3}{-1}=-3\)

Entonces \(f'(1)=-3\).

Ejercicio 5

Hallar la derivada de las siguientes funciones y simplificar el resultado en la medida de lo posible.

a) \(f(x)=\dfrac{5x^2+2x^3-10x+1}{5}\)  ;  b) \(f(x)=\dfrac{x-3x^2}{1-2x^2}\)  ;

c) \(f(x)=x^2\cdot(\sqrt{x}-1)\)  ;  d) \(f(x)=\left(\dfrac{2}{x}-\dfrac{1}{x^3}\right)\cdot x^2\)

a) \(f(x)=\dfrac{5x^2+2x^3-10x+1}{5}=\dfrac{1}{5}(5x^2+2x-10x+1)\).

Entonces \(f'(x)=\dfrac{1}{5}(10x+6x^2-10)=2x+\dfrac{6}{5}x^2-2\)

Otra forma (más enrevesada, utilizando la regla de derivación de un cociente):

\(\displaystyle f'(x)=\dfrac{(10x+6x^2-10)\cdot5-(5x^2+2x^3-10x+1)\cdot0}{5^2}=\dfrac{50x+30x^2-50}{25}=2x+\dfrac{6}{5}x^2-2\)

b) Usando otra vez la regla de derivación de un cociente tenemos:

\(f'(x)=\dfrac{(1-6x)(1-2x^2)-(x-3x^2)(-4x)}{(1-2x^2)^2}=\dfrac{1-2x^2-6x+12x^2+4x^2-12x^3}{(1-2x^2)^2}=\dfrac{2x^2-6x+1}{(1-2x^2)^2}\)

c) \(f'(x)=2x(\sqrt{x}-1)+x^2\dfrac{1}{2\sqrt{x}}=2x\sqrt{x}-2x+\dfrac{x^2}{2\sqrt{x}}=\)

\(=\dfrac{4x^2-4x\sqrt{x}+x^2}{2\sqrt{x}}=\dfrac{5x^2-4x\sqrt{x}}{2\sqrt{x}}=\dfrac{5x^2\sqrt{x}-4x^2}{2x}=\dfrac{5x\sqrt{x}-4x}{2}\)

Otra forma, expresando previamente la función de otra manera equivalente.

\(f(x)=x^2\cdot(\sqrt{x}-1)=x^2\sqrt{x}-x^2=x^2\cdot x^{1/2}-x^2=x^{5/2}-x^2\Rightarrow\)

\(\Rightarrow f'(x)=\dfrac{5}{2}x^{3/2}-2x=\dfrac{5}{2}\sqrt{x^3}-2x=\dfrac{5x\sqrt{x}}{2}-2x=\dfrac{5x\sqrt{x}-4x}{2}\)

d) \(f(x)=\left(\dfrac{2}{x}-\dfrac{1}{x^3}\right)\cdot x^2=\dfrac{2x^2}{x}-\dfrac{x^2}{x^3}=2x-\dfrac{1}{x}\Rightarrow\)

\(\Rightarrow f'(x)=2-\dfrac{-1}{x^2}=\dfrac{2x^2+1}{x^2}\)

Hagámoslo de otra manera:

\(f(x)=\left(\dfrac{2}{x}-\dfrac{1}{x^3}\right)\cdot x^2=\dfrac{2x^2-1}{x^3}\cdot x^2=\dfrac{(2x^2-1)x^2}{x^3}=\dfrac{2x^2-1}{x}\Rightarrow\)

\(\Rightarrow f'(x)=\dfrac{4x\cdot x-(2x^2-1)\cdot1}{x^2}=\dfrac{4x^2-2x^2+1}{x^2}=\dfrac{2x^2+1}{x^2}\)

Leer más ...

5 ejercicios sobre continuidad, límites y derivadas

Ejercicio 1

Estudiar la continuidad de la siguiente función definida por trozos. En el caso de que no sea continua, decir el tipo de discontinuidad existente. Representarla gráficamente.

\[f(x)=\begin{cases}\displaystyle\frac{x^2-4}{x+2}&\text{si}&x<-2\\-2x-4&\text{si}& -2\leq x<1\\5&\text{si}& x=1\\\displaystyle\frac{-6}{2x-1}&\text{si}&x>1\end{cases}\]

\(f\) es continua en todo \(\mathbb{R}\) salvo, quizá, en \(x=-2\) y en \(x=1\). Esto es porque cada uno de los trozos en los que está definida \(f\) son funciones polinómicas y racionales, continuas en todo su dominio de definición. Estudiemos pues la continuidad en los puntos anteriores.

\(x=-2\)

Calculemos los límites laterales.

\[\lim_{x\rightarrow-2^-}f(x)=\lim_{x\rightarrow-2^-}\frac{x^2-4}{x+2}=\left[\text{INDETERMINACIÓN}\ \frac{0}{0}\right]=\]

\[=\lim_{x\rightarrow-2^-}\frac{(x+2)(x-2)}{x+2}=\lim_{x\rightarrow-2^-}(x-2)=-4\ \ \text{;}\]

\[\lim_{x\rightarrow-2^+}f(x)=\lim_{x\rightarrow-2^+}(-2x-4)=0\]

Como \(\displaystyle\lim_{x\rightarrow-2^-}f(x)\neq\lim_{x\rightarrow-2^+}f(x)\), entonces no existe \(\lim_{x\rightarrow-2}f(x)\) y, por tanto, \(f\) no es continua en \(x=-2\). En tal punto hay una discontinuidad de salto finito por ser los límites laterales finitos y distintos.

\(x=1\)

Calculemos los límites laterales.

\[\lim_{x\rightarrow1^-}f(x)=\lim_{x\rightarrow1^-}(-2x-4)=-6\ \ \text{;}\]

\[\lim_{x\rightarrow1^+}f(x)=\lim_{x\rightarrow1^+}\frac{-6}{2x-1}=-6\]

Como los límites laterales son iguales y finitos, entonces existe el límite cuando \(x\) tiende a \(1\) y tiene el mismo valor:

\[\lim_{x\rightarrow1}f(x)=-6\]

Sin embargo \(f(1)=5\). Por tanto

\[\lim_{x\rightarrow1}f(x)=-6\neq f(1)=5\]

Como el límite de la función en el punto no coincide con la imagen de la función en el punto, \(f\) no es continua en \(x=1\). Hay una discontinuidad evitable en dicho punto.

Representación gráfica de la función:

desmos 07

Ejercicio 2

Calcular los siguientes límites:

a) \(\displaystyle\lim_{x\rightarrow-\infty}\dfrac{x^2-3x^3+4x-5}{2x^2+4x-5}\)  ;  b) \(\displaystyle\lim_{x\rightarrow-2}\dfrac{3x^2-x^3+10x}{-x^2-5x-6}\)  ;

c) \(\displaystyle\lim_{x\rightarrow+\infty}\dfrac{x^2-\sqrt{x^4-2x^2}}{-x^2+2}\)  ;  d) \(\displaystyle\lim_{x\rightarrow1}\dfrac{\displaystyle\frac{1}{x}-1}{\sqrt{x}-1}\)

a) \(\displaystyle\lim_{x\rightarrow-\infty}\dfrac{x^2-3x^3+4x-5}{2x^2+4x-5}=\lim_{x\rightarrow-\infty}\dfrac{-3x^3}{2x^2}=\lim_{x\rightarrow-\infty}\dfrac{-3x}{2}=+\infty\)

Recuerda que si \(x\rightarrow\pm\infty\) el límite de una función racional también es \(\pm\infty\). El signo del infinito dependerá de los términos de mayor grado del numerador y del denominador que son los "dominantes" en un polinomio cuando \(x\rightarrow\pm\infty\).

b) \(\displaystyle\lim_{x\rightarrow-2}\dfrac{3x^2-x^3+10x}{-x^2-5x-6}=\left[\text{INDETERMINACIÓN}\ \frac{0}{0}\right]=\quad(*)\)

En este caso, para resolver la indeterminiación, hemos de simplificar la fracción algebraica. Para ello factorizamos el polinomio del numerador y del denominador.

\((*)\quad=\displaystyle\lim_{x\rightarrow-2}\dfrac{(x+2)(-x^2+5x)}{(x+2)(-x-3)}=\lim_{x\rightarrow-2}\dfrac{-x^2+5x}{-x-3}=\dfrac{-14}{-1}=14\)

c) \(\displaystyle\lim_{x\rightarrow+\infty}\dfrac{x^2-\sqrt{x^4-2x^2}}{-x^2+2}=\displaystyle\lim_{x\rightarrow+\infty}\dfrac{(x^2-\sqrt{x^4-2x^2})(x^2+\sqrt{x^4-2x^2})}{(-x^2+2)(x^2-\sqrt{x^4+2x^2})}=\)

\(=\displaystyle\lim_{x\rightarrow+\infty}\dfrac{x^4-x^4+2x^2}{(-x^2+2)(x^2-\sqrt{x^4+2x^2})}=\displaystyle\lim_{x\rightarrow+\infty}\dfrac{2x^2}{(-x^2+2)(x^2-\sqrt{x^4+2x^2})}=0\)

El último límite es igual a \(0\) porque el grado del numerador es menor que el grado del denominador (el grado del numerador es \(2\) y el del denominador es \(4\)). Esto ya se podía percibir en el límite de la función original, pero hemos multiplicado y dividido por el conjugado del numerador para que se se vea con más claridad.

d) \(\displaystyle\lim_{x\rightarrow1}\dfrac{\displaystyle\frac{1}{x}-1}{\sqrt{x}-1}=\displaystyle\lim_{x\rightarrow1}\dfrac{\displaystyle\dfrac{1-x}{x}}{\sqrt{x}-1}=\displaystyle\lim_{x\rightarrow1}\dfrac{1-x}{x\left(\sqrt{x}-1\right)}=\left[\text{INDETERMINACIÓN}\ \frac{0}{0}\right]=\quad(*)\)

Para resolver la indeterminación multiplicamos y dividimos por el conjugado de \(\sqrt{x}-1\)

\((*)\ =\displaystyle\lim_{x\rightarrow1}\dfrac{(1-x)\left(\sqrt{x}+1\right)}{x\left(\sqrt{x}-1\right)\left(\sqrt{x}+1\right)}=\displaystyle\lim_{x\rightarrow1}\dfrac{(1-x)\left(\sqrt{x}+1\right)}{x(x-1)}=\displaystyle\lim_{x\rightarrow1}\dfrac{-(x-1)\left(\sqrt{x}+1\right)}{x(x-1)}=\)

\(=\displaystyle\lim_{x\rightarrow1}\dfrac{-\left(\sqrt{x}+1\right)}{x}=\dfrac{-2}{1}=-2\)

Ejercicio 3

De la función siguiente calcular el dominio, los puntos de corte con los ejes y las asíntotas. Hacer una representación gráfica aproximada de la misma.

\[f(x)=\frac{-2x^3+x+1}{x^2-2x-3}\]

Si igualamos a cero el denominador obtenemos los números reales que no pertenecen al dominio de la función. Como las soluciones de la ecuación \(x^2-2x-3=0\) son \(x=-1\) y \(x=3\), entonces \(\text{Dom}\,f=\mathbb{R}-\{-1\,,\,3\}\).

Calculemos ahora los límites de la función en los puntos anteriores pues, de obtener como resultado infinito en alguno de ellos o en ambos, estos darían lugar a asíntotas verticales.

\[\lim_{x\rightarrow-1}\frac{-2x^3+x+1}{x^2-2x-3}=\left[\frac{2}{0}\right]=\begin{cases}+\infty&\text{si}&x\rightarrow-1^-\\-\infty&\text{si}&x\rightarrow-1^+\end{cases}\]

\[\lim_{x\rightarrow3}\frac{-2x^3+x+1}{x^2-2x-3}=\left[\frac{-50}{0}\right]=\begin{cases}+\infty&\text{si}&x\rightarrow3^-\\-\infty&\text{si}&x\rightarrow3^+\end{cases}\]

De lo anterior se desprende que las rectas \(x=-1\) y \(x=3\) son asíntotas verticales. Además, las tendencias a la izquierda y a la derecha de tales puntos nos permiten dibujar las correspondientes ramas hacia \(+\infty\) o hacia \(-\infty\) de la función.

Por otro lado, como \(\displaystyle\lim_{x\rightarrow-\infty}\dfrac{-2x^3+x+1}{x^2-2x-3}=+\infty\) y \(\displaystyle\lim_{x\rightarrow+\infty}\dfrac{-2x^3+x+1}{x^2-2x-3}=-\infty\), \(f\) no tiene asíntotas horizontales. Pero sí que sabemos que en \(-\infty\) y en \(+\infty\) la función tiene ramas infinitas. Si la función tuviera alguna asíntota oblicua esas ramas infinitas serían asintóticas. Veámoslo a continuación.

De la división del polinomio \(-2x^3+x+1\) entre el polinomio \(x^2-2x-3\) se obtiene de cociente \(-2x-4\) y de resto \(-13x-11\). Por tanto:

\[-2x^3+x+1=(x^2-2x-3)(-2x-4)+(-13x-11)\Rightarrow\]

\[\Rightarrow\frac{-2x^3+x+1}{x^2-2x-3}=-2x-4+\frac{-13x-11}{x^2-2x-3}\Rightarrow\]

\[\Rightarrow\frac{-2x^3+x+1}{x^2-2x-3}-(-2x-4)=\frac{-13x-11}{x^2-2x-3}\]

De lo anterior se deduce que \(y=-2x-4\) es una asíntota oblicua. La última de las igualdades anteriores nos indica si la rama asintótica correspondiente está por encima o por debajo de tal asíntota oblicua. Si el signo de \(\frac{-13x-11}{x^2-2x-3}\) es mayor que cero para valores "muy grandes y positivos" la rama infinita estará por encima de la asíntota oblicua; en caso contrario, si el signo es menor que cero, la rama infinita estará por debajo de la asíntota oblicua. Algo similar ocurre si al mismo cociente le damos valores "muy grandes y negativos".

Finalmente, antes de dibujar la función, hallemos los puntos de corte con los ejes.

Si resolvemos la ecuación \(-2x^3+x+1=0\) obtendremos los puntos de coordenada \(y\) igual a cero y, por tanto, los puntos de corte con el eje \(X\). La ecuación anterior tiene una raíz entera: \(x=1\), con lo que \(-2x^3+x+1=0\Leftrightarrow(x-1)(-2x^2-2x-1)=0\). La ecuación \(-2x^2-2x-1=0\) no tiene soluciones reales. Por tanto el único punto de corte con el eje \(X\) es \((1\,,\,0)\). Por otro lado, si hacemos \(x=0\) obtenemos \(y=-\dfrac{1}{3}\), con lo que el punto de corte con el eje \(Y\) es \(\left(0\,,\,-\dfrac{1}{3}\right)\).

La representación gráfica de la función es la siguiente (incluye asíntotas):

desmos 08

Ejercicio 4

Hallar, usando la definición, la derivada de la función \(f(x)=\dfrac{x^2}{3x-1}\) en el punto \(x=2\).

La derivada en \(x=2\) será igual al valor del siguiente límite, caso de existir: \(\displaystyle\lim_{x\rightarrow2}\dfrac{f(x)-f(2)}{x-2}\). Es fácil calcular la imagen de \(2\): \(f(2)=\dfrac{2^2}{3\cdot2-1}=\dfrac{4}{5}\) Calculemos ya el límite anterior:

\[\lim_{x\rightarrow2}\dfrac{f(x)-f(2)}{x-2}=\lim_{x\rightarrow2}\dfrac{\displaystyle\frac{x^2}{3x-1}-\frac{4}{5}}{x-2}=\lim_{x\rightarrow2}\dfrac{\displaystyle\frac{5x^2-4(3x-1)}{5(3x-1)}}{x-2}=\]

\[=\lim_{x\rightarrow2}\dfrac{5x^2-12x+4}{5(3x-1)(x-2)}=\left[\frac{0}{0}\right]=\lim_{x\rightarrow2}\dfrac{(x-2)(5x-2)}{5(3x-1)(x-2)}=\]

\[=\lim_{x\rightarrow2}\dfrac{5x-2}{5(3x-1)}=\frac{5\cdot2-2}{5(3\cdot2-1)}=\frac{8}{25}\]

Por tanto \(f'(2)=\dfrac{8}{25}\).

Ejercicio 5

Hallar la derivada de las siguientes funciones:

a) \(f(x)=\dfrac{2x^2-3x-x^3}{3}\)  ;  b) \(f(x)=\dfrac{2-3x}{x^2-1}\)  ;

c) \(f(x)=x\cdot\left(\sqrt{x}+x\right)\)  ;  d) \(f(x)=\left(-3x+\dfrac{1}{x^2}\right)\cdot x\)

a) \(f(x)=\dfrac{2x^2-3x-x^3}{3}=\dfrac{1}{3}(2x^2-3x-x^3)\Rightarrow\)

\(\Rightarrow f'(x)=\dfrac{1}{3}(4x-3-3x^2)=\dfrac{-3x^2+4x-3}{3}=-x^2+\dfrac{4x}{3}-1\)

b) \(f(x)=\dfrac{2-3x}{x^2-1}\). Usemos la regla de derivación de un cociente.

\(f'(x)=\dfrac{-3\cdot(x^2-1)-(2-3x)\cdot2x}{(x^2-1)^2}=\dfrac{-3x^2+3-4x+6x^2}{(x^2-1)^2}=\dfrac{3x^2-4x+3}{(x^2-1)^2}\)

c) \(f(x)=x\cdot\left(\sqrt{x}+x\right)\). Aplicamos ahora la regla de derivación de un producto.

\(f'(x)=1\cdot(\sqrt{x}+x)+x\cdot\left(\dfrac{1}{2\sqrt{x}}+1\right)=\sqrt{x}+x+\dfrac{x}{2\sqrt{x}}+x=\sqrt{x}+\dfrac{x}{2\sqrt{x}}+2x\)

\(=\dfrac{2x+x+4x\sqrt{x}}{2\sqrt{x}}=\dfrac{3x\sqrt{x}+4x^2}{2x}=\dfrac{3\sqrt{x}+4x}{2}\)

d) \(f(x)=\left(-3x+\dfrac{1}{x^2}\right)\cdot x=-3x^2+\dfrac{x}{x^2}=-3x^2+\dfrac{1}{x}\). Sabemos que la derivada de \(y=\dfrac{1}{x}\) es \(y'=-\dfrac{1}{x^2}\). Entonces \(f'(x)=-6x-\dfrac{1}{x^2}=\dfrac{-6x^3-1}{x^2}\)

Leer más ...

Una prueba del bloque de Análisis para Matemáticas aplicadas a las CCSS I

En la prueba que puedes ver a continuación se repasan los siguientes conceptos relativos al bloque de Análisis de la materia Matemáticas aplicadas a las Ciencias Sociales I:

  • Cálculo de límites.
  • Estudio de la continuidad de una función definida por trozos.
  • Cálculo de derivadas.
  • Estudio de una función: dominio, asíntotas, puntos de corte con los ejes, intervalos de crecimiento y decrecimiento, máximos y mínimos relativos, representación gráfica.
Leer más ...
Suscribirse a este canal RSS

lasmatematicas.eu

Aplicaciones

Sígueme

webs de matemáticas