Menu
Distancia entre dos rectas que se cruzan. Perpendicular común

Distancia entre dos rectas que se c…

En un espacio de tres dim...

La regla de Cramer

La regla de Cramer

Consideremos un sistema d...

¿Necesitas ayuda con las matemáticas? ¿Piensas que nunca serás capaz de entenderlas?

¿Necesitas ayuda con las matemática…

Ahora puedes tener un pro...

Completando cuadrados. Aplicación al cálculo de primitivas o integrales indefinidas

Completando cuadrados. Aplicación a…

Supongamos que me piden c...

La Universidad Europea de Madrid (UEM)

La Universidad Europea de Madrid (U…

La Universidad Europea de...

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

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 ...
Suscribirse a este canal RSS

lasmatematicas.eu

Aplicaciones

Sígueme

webs de matemáticas