Continuidad

f(x)=x2

Intuitivamente, la continuidad significa que un pequeo cambio en la variable x implica slo un pequeo cambio en el valor de f(x), es decir, la grfica consiste de un slo trozo de curva.

f(x)=sgn x

En contraste, una grfica como la de la funcin f(x) = sgn x (signo de x) que consiste de pedazos de curva separados por un vaco en una abcisa exhibe all una discontinuidad. La continuidad de la funcin f(x) para un valor a significa que f(x) difiere arbitrariamente poco del valor f(a) cuando x est suficientemente cerca de a. Expresemos esto en trminos del concepto de lmite... Definicin Continuidad Una funcin f(x) es continua en un punto a si limx->af(x) = f(a). Nota: observar que debe existir f(a) y debe existir el limx->a f(x) y debe ser igual a f(a). Ejemplos de discontinuidad

f(x)= 1/x2 Discontinua en x=0 (No existe f(0))

f(x) = x2 si x <= 2 2x - 4 si x > 2 Discontinua en x=2. Si bien existe f(2), no existe limx->2f(x), pues limx->2-f(x)=4 y limx->2+f(x)=0

Sin embargo, si miramos la funcin para x prximos a 2 pero menores, e ignoramos los x mayores que 2, la funcin es continua en 2 "por la izquierda". Definicin Continuidad por la izquierda Una funcin f(x) es continua por la izquierda en el punto a si existe f(a) y limx->a-f(x) = f(a). Definicin Continuidad por la derecha Una funcin f(x) es continua por la derecha en el punto a si existe f(a) y limx->a+f(x) = f(a). La funcin anterior es continua por la izquierda en x=2, pero no por la derecha. Definicin Continuidad en un intervalo cerrado [a,b] Una funcin f(x) es continua en un intervalo cerrado [a,b] si: f es continua en a por la derecha

f es continua en b por la izquierda f es continua en x, para todo x perteneciente al intervalo abierto (a,b) Clasificacin de discontinuidades Evitable Caso A: No existe f(a) pero existe limx->af(x). Ejemplo:

f(x)= e-1/x2 + 2

No existe f(0) pues anula un denominador. limx->0-f(x) = limx->0+f(x) = 2 o sea limx->0f(x)=2 Podemos extender la definicin de la funcin, asignndole en el punto a el valor del lmite, con lo cual la funcin se torna continua. Por ello este tipo de discontinuidad se denomina evitable. Caso B: Existe f(a) y existe limx->af(x)=b pero bf(a). (Existe f(a) pero es distinto al valor del lmite). Ejemplo:

f(x) = x2 si x2 8 si x=2

f(2) = 8 limx->2 f(x) = 4 Asignndole a la funcin el valor 4 en x=2, se elimina la discontinuidad. No evitable 1 especie: limx->a-f(x) limx->a+f(x). (Los lmites laterales son distintos). Ejemplo:

f(x) = x/(x - 2)

limx->2-f(x) = -inf limx->2+f(x) = +inf 2 especie: No existe limx->a-f(x) o no existe limx->a+f(x). (No existe por lo menos uno de los lmites laterales). Ejemplo:

______ f(x) = \|x2 - 4

En x=-2 y x=2 la funcin presenta discontinuidades no evitables de 2 especie. No existe limx->-2+f(x) y no existe limx->2-f(x).

Operaciones con funciones continuas Si f y g son funciones continuas en x=a, la suma, multiplicacin y cociente de f y g (con g(a) 0) son funciones continuas en x=a. H) f(x) es continua en x=a. g(x) es continua en x=a. T) f(x) + g(x) es continua en x=a. Demostracin Por definicin de continuidad, existe f(a) y existe limx->af(x) = f(a) existe g(a) y existe limx->ag(x) = g(a) => por teo. lmite de la suma de funciones, el lmite de una suma de funciones es igual a la suma de los lmites de cada funcin, si stos son finitos. limx->a f(x) + g(x) = f(a) + g(a) => por def. de continuidad f(x) + g(x) es continua en x=a. Anlogamente se prueba la continuidad del producto y el cociente. Teorema Continuidad de la funcin compuesta H) f es continua en x=a. g es continua en x=f(a). T) g o f es continua en x=a. Demostracin: Queremos demostrar que limx->a g[f(x)]=g[f(a)], o sea, por definicin de lmite, queremos probar que, dado >0 existe >0 tal que para todo x perteneciente al E*a, g[f(x)] perteneciente al Eg*f(a)+,. Por hiptesis g es continua en f(a) => por def. de continuidad limx->f(a) g(x)=g[f(a)] => por def. de lmite, dado >0 existe >0 tal que... para todo x perteneciente al E*f(a), g(x) pertenece al Eg*f(a)+, (1) Por hiptesis f es continua en a => por def. de continuidad limx->af(x) = f(a), es decir que (por def. de lmite) si tomamos el nmero de (1), existe >0 tal que... para todo x perteneciente al E*a, f(x) pertenece al Ef(a), (2)

De (1) y (2) se deduce que: Dado >0 existe >0 / para todo x perteneciente al E*a, g[f(x)] pertenece al Eg*f(a)+,.

Teorema de Bolzano Antes de enunciar el teorema de Bolzano, veamos una definicin y una propiedad relativas a sucesiones, que se emplearn en la demostracin de dicho teorema. (Por ms detalles, visitar la pgina sobre sucesiones). Definicin: Par de sucesiones montonas convergentes (PSMC) ((an),(bn)) es un PSMC <=> 1) (an) es creciente (bn) es decreciente 2) Para todo n natural an < bn 3) Para todo > 0 existe h natural / bh - ah < Propiedad: Todo PSMC tiene frontera ((an),(bn)) es un PSMC => existe c / para todo n an <= c <= bn, lim an = c- y lim bn = c+. Teorema de Bolzano Bernhard Bolzano (1781-1848) Si una funcin f(x) es continua en un intervalo cerrado [a,b] y f(a) y f(b) son de distinto signo, existe por lo menos un punto entre a y b para el cual f(c)=0. H) f(x) continua en [a,b] f(a).f(b) < 0 T) Existe c perteneciente a (a,b) / f(c) = 0

Geomtricamente, el teorema establece que si dos puntos (a,f(a)) y (b,f(b)) de la grfica de una funcin continua estn situados en diferentes lados del eje x, entonces la grfica intersecta al eje en algn punto entre a y b. Por supuesto que pueden haber varias intersecciones. Demostracin: Supongamos que f(a)<0 y f(b)>0. (La demostracin sera anloga si supusiramos f(a)>0 y f(b)<0.) Consideremos el punto medio de [a,b]: (a+b)/2. Si f((a+b)/2)=0 queda demostrado el teorema. Sino, f ser positiva o negativa en (a+b)/2. Tomemos una de las mitades del intervalo [a,b] donde la funcin sea negativa en un extremo y positiva en el otro. Llamemos a1 y b1 a los extremos de este intervalo. Ahora dividamos [a1,b1] a la mitad. Si f no vale cero en el punto medio, ser positiva o negativa. Tomemos la mitad donde f tiene distinto signo en cada extremo, y llamemos a estos puntos a2 y b2. Si continuamos de esta manera, obtenemos una sucesin de intervalos [a,b], [a1,b1], [a2,b2], etc., tales que a <= a1 <= a2 <= ... <= an y b >= b1 >= b2 >= ... >= bn.

Es decir, 1) Los ai forman una sucesin creciente y los bi forman una sucesin decreciente. 2) Los ai son siempre menores que los bi. Veamos cul es el limn->+inf bn - an. bn - an es la longitud del intervalo [an,bn]. La longitud del intervalo [a1,b1] es (b - a)/2, la mitad de la longitud de [a,b] que es b - a.

La longitud del intervalo [a2,b2] es (b - a)/22, la mitad de la longitud de [a1,b1] que es (b - a)/2. Y siguiendo de esta manera, la longitud del intervalo [an,bn] es (b - a)/2n. De modo que, 3) limn->+inf bn - an = limn->+inf (b - a)/2n = 0. 1), 2) y 3) son las condiciones de la definicin de PSMC:

an es creciente, bn es decreciente Para todo n natural an < bn Para todo >0 existe h natural / bh - ah < (que es lo mismo que limn->+inf bn - an = 0.)

Todo PSMC tiene la propiedad de definir un nmero frontera entre ambas sucesiones. ((an),(bn)) es un PSMC => existe c / para todo n an <= c <= bn, lim an = c- y lim bn = c+. lim an = c- significa que para todo >0 existe n1 / para todo n>=n1 c - < an < c. lim bn = c+ significa que para todo >0 existe n2 / para todo n>=n2 c < bn < c + . O sea que tomando el mayor entre n1 y n2, llammosle n3, se cumplen ambas cosas. Es decir, para todo >0 existe n3 / para todo n >= n3 c- < *an,bn+ < c+. Esto significa que, para cualquier entorno de c que consideremos, existe un intervalo [an,bn] contenido en dicho entorno.

Por otro lado, f es continua en [a,b] por hiptesis. Por lo tanto es continua en c. Por definicin de continuidad, limx->c f(x)=f(c). Si f(c)<0, por teo. de conservacin del signo existe un entorno de c donde f(x) es negativa.

Dentro de este entorno, existe un intervalo [an,bn], donde f(an) es de distinto signo que f(bn). Esto es una contradiccin, por lo tanto f(c) no puede ser negativo. Si f(c)>0, por teo. de conservacin del signo existe un entorno de c donde f(x) es positiva.

Pero, otra vez, dentro de ese entorno existe un intervalo [an,bn] tal que f(an) es de distinto signo que f(bn). Por lo tanto, no existe otra posibilidad: f(c)=0. Propiedad de Darboux Gaston Darboux (1842-1917) Si una funcin f(x) es continua en un intervalo cerrado [a,b] y k es cualquier nmero entre f(a) y f(b), entonces existe un valor d entre a y b para el cual f(d)=k. H) f continua en [a,b] f(a) < k < f(b) T) Existe d perteneciente a (a,b) / f(d)=k

Sea g una funcin auxiliar: g(x) = f(x) - k. 1. g es continua en [a,b] por ser suma de funciones continuas 2. g(a) = f(a) - k < 0 3. g(b) = f(b) - k > 0 => de 1), 2) y 3) por teorema de Bolzano, existe d perteneciente a (a,b) / g(d) = f(d) - k = 0 O sea, existe d perteneciente a (a,b) / f(d)=k. Weierstrass Antes que nada, veamos una definicin y una propiedad relativas a sucesiones, que se emplearn en la demostracin del lema de Weierstrass. Definicin: Par de sucesiones montonas convergentes (PSMC)

((an),(bn)) es un PSMC <=> 1) (an) es creciente (bn) es decreciente 2) Para todo n natural an < bn 3) Para todo > 0 existe n0 natural / bn0 - an0 < Propiedad: Todo PSMC tiene frontera ((an),(bn)) es un PSMC => existe c / para todo n an <= c <= bn, lim an = c- y lim bn = c+. Lema de Weierstrass Karl Weierstrass (1815-1897) Una funcin continua en un intervalo cerrado est acotada. H) f continua en [a,b] T) f est acotada en [a,b] Demostracin: La demostracin se realiza por el absurdo. Esto es, se supone falsa la tesis y se llega a una contradiccin. Suponemos entonces que f(x) no est acotada en [a,b]. Dividamos el intervalo [a,b] a la mitad. Si f est acotada en una de las mitades, entonces no lo est en la otra. Tomemos esta mitad. Llamemos a1 y b1 a los extremos de este nuevo intervalo. f no est acotada en [a1,b1]. Dividamos [a1,b1] en dos intervalos iguales. Si f est acotada en uno de ellos, tomemos el otro, si no, tomemos cualquiera. Llamemos a sus extremos a2 y b2. Continuando de esta manera, tenemos una sucesin de intervalos [a,b], [a1,b1], [a2,b2], etc., tales que a <= a1 <= a2 <= ... <= an y b >= b1 >= b2 >= ... >= bn.

Es decir, 1) Los ai forman una sucesin creciente y los bi forman una sucesin decreciente. 2) Los ai son siempre menores que los bi. Veamos cul es el limn->+inf bn - an. bn - an es la longitud del intervalo [an,bn]. La longitud del intervalo [a1,b1] es (b-a)/2, la mitad de la longitud de [a,b] que es b-a. La longitud del intervalo [a2,b2] es (b-a)/22, la mitad de la longitud de [a1,b1] que es (b-a)/2. Y siguiendo de esta manera, la longitud del intervalo [an,bn] es (b-a)/2n.

De modo que... 3) limn->+inf bn - an = limn->+inf (b - a)/2n = 0. (1), (2) y (3) son las condiciones de la definicin de PSMC. Es decir que las sucesiones an y bn cumplen con la definicin de PSMC:

an es creciente, bn es decreciente Para todo n natural an < bn Para todo >0 existe n0 natural / bn0 - an0 < (que es lo mismo que limn->+inf bn - an = 0.)

((an),(bn)) es un PSMC y, por lo tanto, tiene frontera: existe c / para todo n an <= c <= bn, lim an = c- y lim bn = c+. lim an = c- significa que para todo > 0 existe n1 / para todo n >= n1 c - < an < c. lim bn = c+ significa que para todo > 0 existe n2 / para todo n >= n2 c < bn < c + . O sea que tomando el mayor entre n1y n2, llammosle n3, se cumplen ambas cosas. Es decir, para todo > 0 existe n3 / para todo n >= n3 c - < *an,bn+ < c + . Esto significa que, para cualquier entorno de c que consideremos, existe un intervalo [an,bn] contenido en dicho entorno.

Por otro lado, f es continua en [a,b] por hiptesis. Por lo tanto es continua en c. Por definicin de continuidad, limx->cf(x) = f(c), o sea, para todo > 0 existe > 0 / para todo x perteneciente al E*c, f(c) - < f(x) < f(c) + . Es decir, f est acotada en (c - , c + ). Pero antes dijimos que f no estaba acotada en ninguno de los intervalos [an,bn].

Tenemos pues aqu una contradiccin: decimos que f est acotada en (c - , c + ), pero no en *an,bn] que est contenido dentro, lo cual es absurdo. Este absurdo proviene de suponer que f no est acotada en [a,b]. Mximo y mnimo absoluto

Llamamos mximos relativos y mnimos relativos a aquellos puntos donde la funcin f tiene un valor mximo o mnimo comparado con los valores de f(x) para x en algn entorno de esos puntos. Cuando hablamos de mximo y mnimo absoluto nos referimos al mximo y al mnimo de f en relacin con todos los valores posibles de f(x), para todo x del dominio. Para localizar los mximos absolutos (mnimos absolutos) de la funcin, debemos comparar los mximos relativos (mnimos relativos) y ver cul de estos valores es el mayor (menor). Teorema de Weierstrass Una funcin continua en un intervalo cerrado, tiene mximo y mnimo absoluto en dicho intervalo. H) f es continua en [a,b]. T) f tiene mximo y mnimo absoluto en [a,b]. Demostracin: Por hiptesis, f es continua en [a,b] => por el lema de Weierstrass f est acotada en [a,b], es decir, existen m y n tales que m <= f(x) <= n para todo x perteneciente a [a,b]. La demostracin se realiza por reduccin al absurdo. Primero demostraremos que f tiene mximo absoluto en [a,b]. Queremos probar que existe x1 perteneciente a [a,b] / f(x1) = n. Supongamos lo contrario de lo que queremos demostrar, o sea que para todo x perteneciente a *a,b+ f(x) n, f(x) < n. Sea g una funcin auxiliar: g(x)=1/(n - f(x)). g es continua en [a,b] por ser diferencia y cociente de funciones continuas y n - f(x) 0. Por el lema de Weierstrass, g est acotada, es decir, para todo x perteneciente a [a,b] s <= g(x) <= t 1/(n - f(x)) <= t 1/t <= n - f(x) f(x) <= n - 1/t => n - 1/t es una cota superior de f en [a,b] (1) Por otro lado g(x) > 0 => t > 0 => 1/t > 0 => n - 1/t < n (2) De (1) y (2) se deduce que existe una cota superior de f menor que n, el extremo superior, lo cual es absurdo, pues el extremo superior es la menor de las cotas superiores.

El absurdo surge de suponer que no existe x tal que f(x)=n, por lo tanto existe x1 perteneciente a [a,b] / f(x1)=n. Demostraremos ahora que f tiene mnimo absoluto. Procederemos como en el caso anterior, por el absurdo. Supondremos que para todo x perteneciente a *a,b+ f(x) m, f(x) > m. Sea h una funcin auxiliar: h(x) = 1/(f(x)-m) h es continua en *a,b+ por ser diferencia y cociente de funciones continuas y f(x)m. Por el lema de Weierstrass, h est acotada, es decir, para todo x perteneciente a [a,b] h <= h(x) <= k 1/(f(x)-m) <= k 1/k <= f(x) - m f(x) >= 1/k + m => 1/k + m es una cota inferior de f (1) Por otro lado h(x)>0 => k>0 => 1/k>0 => 1/k + m > m (2) De (1) y (2) se deduce que existe una cota inferior de f mayor que el extremo inferior, lo cual es absurdo. Este absurdo proviene de suponer que no existe x tal que f(x)=m. Por lo tanto, s existe algn x tal que f(x)=m.