TEMA 25 (Oposiciones de Matemticas)

LMITES DE FUNCIONES. CONTINUIDAD Y DISCONTINUIDAD. TEOREMA DE BOLZANO.

1. Introduccin. 2. Lmites de funciones. 2.1. Lmite de una funcin en un punto. 2.2. Lmites laterales. 2.3. Lmites Infinitos y Lmites en el Infinito. 2.4. Definicin de Lmite mediante Entornos. 2.5. Propiedades de los Lmites. 2.5.1. Acotacin. 2.6. Definicin de lmite mediante sucesiones. 2.7. Criterio de Cauchy. 2.8. Operaciones Aritmticas con Lmites. 2.8.1. Lmites de una suma. 2.8.2. Lmites de un producto. 2.8.3. Lmites de un cociente. 2.9. Infinitsimos. 3. Continuidad y Discontinuidad. 3.1. Continuidad de una funcin en un punto. 3.2. Continuidad Lateral. 3.3. Continuidad en un intervalo. 3.4. Algebra de funciones continuas. 3.5. Composicin de funciones Continuas. 3.6. Propiedades y Teoremas fundamentales. 3.7. Discontinuidades. 3.8. Continuidad de la Funcin Inversa. 3.9. Continuidad Uniforme. 3.10. Asntotas. Ramas Infinitas. Bibliografa Recomendada.

1/21

TEMA 25 LMITES DE FUNCIONES. CONTINUIDAD Y DISCONTINUIDAD. TEOREMA DE BOLZANO.

1. INTRODUCCIN. Entre todos los conceptos con los que nos podemos encontrar en el clculo infinitesimal, el ms importante es el de lmite. A partir de l podemos definir otros conceptos como son el de continuidad, derivabilidad, integrabilidad, etc. Informalmente, podemos decir que la funcin f tiende hacia el lmite l cerca de a, si se puede conseguir que f(x) est tan cerca como queramos de l tomando x suficientemente cerca de a, pero siendo distinto en a. Esta primera aproximacin al concepto de lmite nonos resulta til debido a su falta de precisin. Por eso, daremos ms adelante otra que nos permita utilizarla en las demostraciones de los teoremas. Otro concepto importante es el de continuidad, si bien, tard en aparecer debido a que cuando comenz a desarrollarse el clculo, casi todas las funciones eran continuas. Por tanto, no era necesario definir la continuidad. Poco a poco comenzaron a surgir en Fsica, Qumica y otras ramas del saber funciones discontinuas. Una definicin de continuidad, expresada solamente a partir de las propiedades de los nmeros reales, fue formulada por primera vez en 1821 por Cauchy. 2. LMITES DE FUNCIONES. 2.1. Lmite de una funcin en un punto. Para formalizar la definicin de lmite vista en la introduccin, tenemos que concretar las expresiones tan cerca como queramos o suficientemente cerca. El concepto de distancia entre nmeros reales nos lo da el valor absoluto. El valor absoluto de la diferencia entre dos nmeros reales nos indica el grado de aproximacin entre los mismos. As pues, podemos definir el lmite de una funcin en un punto como sigue. DEF Sea A3 un intervalo, aA y f: A 3. Diremos que el lmite de f(x) cuando x tiende a a es L, y se representa por Lim f ( x) = L , si
x a

> 0

> 0 / 0 < x a < f ( x ) L <

OBS Que x tiende a a se traduce en que x se puede hacer tan prximo al n a como queramos, pero nunca igual.

2/21

OBS Que f ( x ) L < es lo mismo que f (x ) ( L , L + ) y que 0 < x a < es equivalente a que x (a , a + ) y x a. Ejemplos. 1) Dada la funcin f(x) = 3x + 5, comprobemos que lim f ( x ) = 8
x 1

> 0

> 0/ |3x+5-8|<

si |x-1|< = 3 lim f ( x ) = 8
x 1

|3x+5-8|=|3x-3|=3|x-1|<3 =

2) Dada la funcin f(x) = E(x) (parte entera de x) comprobemos que en x=2 no tiene lmite. Demostracin anloga En la definicin de lmite hemos supuesto que A era un intervalo y que x poda llegar a tomar el valor de a. Podemos dar una definicin ms general suponiendo que A es un subconjunto, no necesariamente un intervalo, y que a es un punto de acumulacin de dicho subconjunto. DEF Sea A3 un subconjunto, a un punto de acumulacin de A y f: A 3 una funcin. Diremos que el lmite de f(x) cuando x tiende a a es L, y se representa por lim f ( x) = L , si
x a

> 0

> 0 / 0 < x a < f ( x ) L <

OBS Si f(x) est definida en todos los puntos del subconjunto A3 menos en un nmero finito de ellos, y a es uno de esos puntos, significa que f(a) no existe. Pero eso no implica que lim f ( x) no vaya a existir.
x a

2.2. Lmites Laterales. Vamos a suponer que f: A 3 es una funcin, con A3 un subconjunto y a3 un punto de acumulacin de A. DEF Diremos que el lmite de f(x) cuando x tiende a a por al izquierda es L, y se representa por lim f ( x) = L , si
x a

> 0

> 0 / a < x < a + f ( x ) L <

3/21

PROP Lim f ( x) = L Lim f ( x ) = Lim f ( x ) = L

x a x a x a

Dem. > 0 > 0 > 0

x a +

> 0/ |3x-a|<

|f(x)L|< f(x)-L < lim+ f ( x) = L

x a

> 0 / a < x < a + > 0 / a < x < a

f(x)-L < lim - f ( x) = L

x a

lim f ( x) = lim f ( x) = L
x a

Si lim+ f ( x) = L > 0
x a

' > 0 / a < x < a + ' " > 0 / a " < x < a

f(x)-L < f(x)-L <

Si lim f ( x) = L > 0
x a

Si tomamos = min{ ' , "} > 0 > 0 / x - a < f(x)-L <

lim f ( x) = L
x a

Ejemplo. Dada la funcin f(x) = E(x) calcular los lmites laterales para z = z. Demostracin anloga 2.3. Lmites Infinitos y Lmites en el Infinito. De nuevo, sea A3 un subconjunto y a3 un punto de acumulacin de A. Veamos lo lmites infinitos. DEF Diremos que el lmite de f(x) cuando x tiende a a es + , y se representa por lim f ( x) = + , si
x a

K > 0 > 0 / 0 < x a < f ( x ) > K A partir de estas dos definiciones y teniendo en cuenta las vistas para lmites laterales, podemos mezclarlas obteniendo cuatro nuevas, que seran desglosar cada una de las dos anteriores en sus laterales. Por ejemplo. DEF Diremos que el lmite de f(x) cuando x tiende a a por al izquierda es + , y se representa por lim f ( x ) = + , si
x a

4/21

K > 0 > 0 / a < x < a f (x ) > K Anlogamente para lim+ f ( x ) = +,

x a x a

lim f ( x ) =

x a +

lim f (x ) = .

Ejemplo. 1) Comprobar que lim 1 = + ( x 1)2 1 >K (x - 1) 2 ( x 1) < + 1 K

x 1

K > 0 > 0 / 0 < x 1 <

1 >K (x - 1) 2

( x 1) 2 <

1 K

0 < x 1 < +

1 K

=+

1 K

lim

1 = + 2 x 1 ( x 1)

2) Comprobar que lim 1 = x 0 x 1 lim+ = + x 0 x lim

x 0

1 no existe x

lim /

1 x 0 x

Para definir los lmites en el infinito, es necesario que el subconjunto A3 cumpla alguna condicin, como es el no estar acotado superiormente o inferiormente, segn corresponda. DEF Sea f: A 3 una funcin con A 3 subconjunto no acotado superiormente. Diremos que el lmite de f(x) cuando x tiende a + es L, si se representa por lim f ( x ) = L
x +

> 0

H > 0 / x > H f ( x ) L <

OBS En los lmites en el infinito no tiene sentido hablar de lmites laterales. Ejemplo. 1) Comprobar que lim x +1 =1 x

x +

5/21

 > 0

H > 0 / x > H

x +1 1 < x

1 x +1 =1 x

1 x +1 x + 1 x 1 1 = = < x> x x x

H =

x +

lim

Una vez vistos los lmites infinitos y los lmites en el infinito, podemos juntarlos obteniendo lmites infinitos en el infinito. Su representacin sera: 1) lim f ( x ) = +
x +

2) lim f ( x ) = +
x

3) lim f ( x ) =
x +

4) lim f ( x ) =
x

Sus definiciones se obtienen a partir de las definiciones de cada uno de ellos. 2.4. Definicin de Lmite mediante entornos. Vamos a caracterizar los lmites mediante entornos. Recordemos las definiciones de entornos 1) E (a, ) = {x 3/ a < x < a + } 2) E * (a, ) = E (a, ) {a} El primero es el entorno de centro a y radio y es equivalente al intervalo (a , a + ) , que tambin se escribe como x a < El segundo es el mismo, pero sin incluir el punto central a. Recibe el nombre de entorno reducido de centro a y radio r. Con estas consideraciones, podemos dar la siguiente definicin. DEF Sea A3 un subconjunto, a3 un punto de acumulacin de A y f: A 3 una funcin. Diremos que el lmite de f(x) cuando x tiende a a es L, y se representa por lim f ( x ) = L , si
x a

> 0

> 0 / x E * (a , ) A f ( x ) E (L, )

Si adems, denotamos como E (+ , r ) = {x 3 / x > r}

6/21

E ( , r ) = {x 3 / x < r} a las semirectas (r ,+ ) y ( ,r ) respectivamente, la definicin nos sirve tambin para los lmites infinitos, lmites en el infinito o ambos. 2.5. Propiedades de los lmites. 2.5.1. Acotacin. PROP Si lim f ( x ) = L , con L finito, la funcin f(x) est acotada cuando x tiende a a .
x a

Dem. > 0 > 0 / x a < f ( x) L <

si x (a , a + )

f ( x ) ( L , L + ) f(x) est acotada.

La siguiente proposicin se conoce comnmente como Regla del Sndwich. PROP Si tres funciones f(x), g(x) y h(x) estn relacionadas entre si por la desigualdad doble f(x) g(x) h(x) y si lim f ( x ) = lim h( x ) = L , entonces lim g ( x ) = L.
x a x a x a

Dem. lim f ( x) = L > 0 ' > 0 / x (a ' , a + ')

x a

f ( x ) ( L , L + )

como lim h( x) = L > 0 " > 0 / x (a ", a + ") h ( x ) ( L , L + )

x a

si tomamos = min{' , "} y como

f ( x ) g ( x) h ( x )

si x (a , a + ) g ( x) (L , L + ) > 0 > 0 / x a < g ( x) L < lim g ( x ) = L

x a

PROP Si f(x) no toma valores negativos cuando x tiende a a y existe lim f ( x ) = L

x a

entonces L 0. Dem. Supongamos que L<0 Si tomamos = L se tiene que: 2

7/21

 > 0 > 0 / x a < si f (x ) < 0

f ( x ) ( L , L + )

x (a , a + ) Contradiccin L 0

PROP Si dos funciones f y g verifican la desigualdad f(x) g(x) para valores de x que tienden a a y existen lim f ( x ) y lim g ( x ) entonces lim f ( x ) lim g ( x ) .
x a x a x a x a

Dem. Anloga 2.6. Definicin de lmite mediante sucesiones. PROP Sea A3 un subconjunto, a3 un punto de acumulacin de A y f: A 3 una funcin. lim f ( x ) = L ( xn )n N A con lim x n = a lim f xn = L
x a n n

( )

}
x +

Dem. Dada x n con x n A y lim xn = a , se trata de probar que lim f ( xn ) = L , es

x +

decir, que dado > 0 n0 / f ( xn ) L < si n n0 Para ese > 0 > 0 / f (B( a, ) ) B( L, ) pero n0 / xn B( a, )

si n n0 en cuyo caso f ( xn ) B( L, ) si n n0 Dado > 0 se trata de demostrar que > 0 tal que f (B( a, ) ) B( L, ) Supongamos que que buscamos que buscamos / Para cada = Pero entonces 1 no vale, luego x n / x n (a,1 n ) pero f ( x n ) B( L, ) . n
n +

lim f ( xn ) = a

f ( xn ) B( L, ) contradiccin

n +

lim f ( x n ) L

(ya que estamos admitiendo que si x n a f ( x n ) L ) > 0 buscado. 2.7. Criterio de Cauchy. PROP Sea A3 un subconjunto a3 un punto de acumulacin de A y f: A 3 una funcin.

8/21

Existe lim f ( x ) > 0 > 0 / x1 , x 2 E * (a, ) f ( x1 ) f ( x2 ) <

x a

Dem. Realizar como ejercicio 2.8. Operaciones Aritmticas con Lmites. En este punto, y salvo que se diga lo contrario A3 es un subconjunto y a3 es un punto de acumulacin de A. 2.8.1. Lmite de una suma. PROP Sean f: A 3 y g: A 3 dos funciones. Si existen lim f ( x ) = L1 y lim g (x ) = L2 y son finitos entonces existe:
x a x a

lim ( f ( x ) + g ( x )) = L1 + L2
x a

Dem. Como ' > 0 ' > 0 / x a < ' y ' > 0 " > 0 / x a < " f ( x ) L1 < ' g ( x ) L2 < '

si tomamos = min{' , "} entonces: f ( x ) + g ( x ) L1 L2 = f ( x) L1 + g ( x ) L2 f ( x) L1 + g ( x ) L2 < '+' = 2' = > 0 > 0 / ( f ( x) + g ( x) ) ( L1 + L2 ) < si x a < lim ( f ( x ) + g ( x ) ) = L1 + L2
x a

PROP Sean f, g: A 3 dos funciones. Si existen lim f ( x ) = L1 y lim g (x ) = L2 . Y son finitos, entonces existe lim ( f ( x ) g ( x )) = L1 L2 .
x a x a x a

Dem. Anloga a la anterior. Si alguno de los dos lmites fuese infinito tenemos

9/21

PROP Sean f, g: A 3 dos funciones. Si existen lim f ( x ) = L1 y lim g ( x ) = + con L1 finito, entonces existe lim ( f ( x ) + g ( x )) = + .
x a x a x a

Dem. Realizar como ejercicio De forma anloga se podra demostrar que: 1) L1 = + y L2 finito L1 + L2 = + 2) L1 finito y L2 = - L1 + L2 = - 3) L1 = - y L2 finito L1 + L2 = + 4) L1 = + y L2 = + L1 + L2 = + 5) L1 = - y L2 = - L1 + L2 = - En el caso de que ambos lmites sean infinitos y de signo contrario no podemos garantizar la existencia de la suma. Igualmente se hara para la resta. 2.8.2. Lmite de un producto. PROP Sean f, g: A 3 dos funciones. Si existen lim f ( x ) = L1 y lim g (x ) = L2 y son finitos. Entonces existe lim ( f ( x ) g ( x )) = L1 L2
x a x a x a

Dem. Como ' > 0 ' > 0 / x a < ' y ' > 0 " > 0 / x a < " f ( x ) ( L1 ' , L1 + ') g ( x) (L2 ' , L2 + ')

f ( x ) g ( x) L1 L2 = f ( x ) g ( x) L1 g ( x) + L1 g ( x ) L1 L2 = = ( f ( x) L1 ) g ( x) + L1 ( g ( x) L2 ) f ( x) L1 g ( x) + L1 g ( x) L2 '( L1 + ') + L1 ' = si tomamos = min{' , "} xa <.

> 0 > 0 / f ( x). g ( x ) L1 L2 < si

10/21

PROP Sean f, g: A 3 dos funciones. Si existen lim f ( x ) = L1 0 y lim g ( x ) = + y L1 finito, entonces existe lim ( f ( x ) g ( x )) = + si L1 > 0 lim ( f ( x ) g ( x )) = si L1 > 0
x a x a x a x a

Dem. Anloga. Anlogamente se podra demostrar el resto de combinaciones para L1 y L2 menos las siguientes; que son indeterminadas: 1) L1 = 0 y L2 = + 2) L1 = 0 y L1 = - 3) L1 = + y L2 = 0 4) L1 = - y L2 = 0 OBS Si a = 0 hay que usar lmites laterales. 2.8.3. Lmite de un cociente. PROP Sea g: A 3 una funcin. Si existe lim g (x ) = L y es no nulo, entonces existe
x a

lim

x a

1 1 = g(x) L Dem. Realizar como ejercicio.

PROP Sean f, g: A 3 dos funciones. Si existe lim f ( x ) = L1 y lim g (x ) = L2 con L2 0 entonces existe lim Dem. Realizar como ejercicio. Las nicas indeterminaciones que nos encontramos es que ambos lmites sean nulos o ambos sean infinitos (independientemente del signo). OBS Si a = 0 hay que usar lmites laterales. 2.9. Infinitsimos. DEF Llamaremos a la funcin f(x) infinitsimo cuando x tiende a a si lim f ( x ) = 0 .
x a x a

f ( x ) L1 = g (x ) L2

x a

x a

11/21

PROP la suma algebraica de un nmero de infinitsimos es un infinitsimo. Cuando x tiende a a . Dem. Utilizando las propiedades anteriores PROP El producto de un infinitsimo por una funcin acotada es un infinitsimo cuando x tiende a a . Dem. Utilizando las propiedades anteriores COROLARIO a a. El producto de dos infinitsimos es otro infinitsimo cuando x tiende

PROP Si I(x) es un infinitsimo cuando x tiende a a , entonces lim Dem. Inmediata.

x a

1 = I (x )

PROP Si I(x) es un infinitsimo cuando x tiende a a y f: A 3 es otra funcin con I ( x) lim f ( x ) = L con L finito y no nulo, entonces es un infinitsimo cuando x tiende x a f ( x) a a. Dem. Inmediata 3. CONTINUIDAD Y DISCONTINUIDAD. 3.1. Continuidad de una funcin en un punto. De forma intuitiva, podemos definir el concepto de continuidad de una funcin en un punto si al representarse la grfica, en un entorno del punto no se levanta el bolgrafo de la hoja. Es decir, diremos que f(x) es continua en x 0 a si para todo punto prximo a x = a, el valor de la funcin es prximo a f(a). Veamos ahora una definicin ms forma. DEF Sea A3 un subconjunto y a3 un punto de acumulacin de A. Sea f: A 3 una funcin. Diremos que f(x) es continua en x = a si 1) f (a )

12/21

2) lim f ( x )
x a

3) lim f ( x ) = f (a )
x a

Tambin es posible dar la definicin basndose en la de lmite. DEF Sea A3 un subconjunto y a3 un punto de acumulacin de A. Sea f: A 3 una funcin. Diremos que f(x) es continua en x = a si > 0 > 0 / x a < f ( x ) f (a ) <

Y al igual que hicimos con la definicin de lmite, podemos dar la definicin continuidad en trminos de entornos. Esta definicin sirve cuando la funcin no solo es real de variable real. DEF Sea A3 un subconjunto y a3 un punto de acumulacin de A. Sea f: A 3 una funcin. Diremos que f(x) es continua si x = a si > 0 > 0 / x A E (a, ) f ( x ) E ( f (a ), ) 3.2. Continuidad Lateral. Supondremos A3 un subconjunto, a3 un punto de acumulacin de A y f: A 3 una funcin. DEF Diremos que f(x) es continua por la derecha en x = a si > 0 / a x < a + f ( x ) f (a ) <

> 0 DEF

Diremos que f(x) es continua por la izquierda en x = a si > 0 / a < x a f ( x ) f (a ) <

> 0

OBS Podemos observar que la definicin de continuidad lateral se basa en la de lmite lateral. 3.3. Continuidad en un Intervalo. DEF Diremos que f: (a, b) 3 es continua en (a, b) 3 si es continua en todo punto del intervalo. DEF Diremos que f: [a, b] 3 es continua en [a, b] 3 si es continua en todo punto x(a, b) y adems es continua por la derecha en x = a y continua por la izquierda en x = b.

13/21

3.4. Algebra de funciones Continuas. PROP Sean f y g dos funciones continuas en x = a3. Entonces: 1) ( f g ) es continua en x = a. 2) f g es continua en x = a. 3) Si g(a) 0 Dem. La demostracin es inmediata teniendo en cuenta que el lmite de una suma, diferencia, producto o cociente es la suma, diferencia, producto o cociente de los lmites. Slo hay que especificar que el cociente de dos funciones continuas ser otra funcin continua, exceptuando los puntos en los que el denominador sea nulo. OBS Sabiendo que las funciones constantes son continuas y que f(x) = x tambin es continua, podemos demostrar que todo polinomio es una funcin continua. Es ms, si llamamos funcin racional a r(x) obtenida como cociente de dos polinomios p(x) y q(x), estar definida en todo x3 tal que q(x) 0. Entonces r(x) ser continua en todo su dominio de definicin. Sea A3 un subconjunto. Sabemos que f sera continua en A si lo es en todos sus puntos. Llamamos C (A) al conjunto formado por todas las funciones continuas en A. (C (A), +, ) tiene estructura de Anillo conmutativo con unidad, con la suma y producto de funciones visto. Su demostracin es inmediata. Tambin podemos indicar que (C (A), +, 3) es un 3-espacio vectorial, siendo 3 el producto de un nmero real por una funcin. Como conclusin C (A) es un lgebra. 3.5. Composicin de funciones continuas. PROP Sean A, B, C3 subconjuntos, f: A B y g: B C funciones aA un punto que verifica que f es continua en x = a y que g es continua en x = f(a)B. Entonces la funcin f o g : A C es continua en x = a. Dem. Inmediata. f es continua en x = a. g

14/21

3.6. Propiedades y Teoremas Fundamentales. Sea f(x) una funcin continua en x = a y f(a) 0. Entonces existe >0 tal que x a < f ( x ) f (a ) > 0 . Dem. Supongamos f (a ) > 0 (anlogo si f (a ) < 0 ) sea = Como f(x) es continua en x=a para = f ( a) >0 2 f (a ) 2

> 0 / x a < f (a ) f ( x ) f (a ) > 0 2

f ( x ) ( f ( a ) , f ( a ) + ) f ( x ) > f ( a ) =

COROLARIO Si f es continua en x = a y toma valores de signo contrario en todo entorno de a, entonces f(a) = 0. Dem. Anloga TEOREMA. Teorema de Acotacin. 1) Sea f(x) una funcin continua en x = a. Entonces f(x) est acotada en un entorno de a. 2) Toda funcin f(x) continua en un intervalo cerrado [a, b] es acotada. Dem. 1) Como f es continua en x=a > 0 > 0 / x a < f ( x ) f ( a) < f (x ) est acotado f ( x ) ( f ( a ) , f ( a ) + ) x (a , a + )

2) Anloga. TEOREMA. Teorema de Bolzano. Si f(x) es continua en [a, b] y f(a) f(b) < 0 entonces existe al menos un punto (a, b) tal que f() = 0. Dem. Denotemos el intervalo [a,b] por I0 y lo dividimos en dos intervalos de igual longitud. Si en el punto medio de I0 (a+b)/2= 0 la funcin vale cero FIN

15/21

Si f(0 )0 designamos por I1 al intervalo en el que la funcin toma en sus extremos valores de signos opuestos. Hacemos lo mismo que con I0 ; si en el punto medio de I1 (3+b)/4= 1 la funcin vale cero FIN Si f(1 )0 construimos I2 .

Repitiendo el procedimiento en el supuesto de que f no se anule en el punto central tenemos dos posibilidades: a) O bien en un nmero finito de pasos habremos encontrado un punto donde f se anula y entonces hemos acabado. b) O bien, tendremos una sucesin de intervalos cerradosde la forma I0 >I1 >I2 > y f toma valores de signo opuesto en los extremos de cada In . Si tomamos un punto x n de cada In obtendremos una sucesin de Cauchy que tendr un lmite: llammosle L tal que L I n n ( L = I n por el teorema de encaje
nN

de Cantor) Veamos si f(L)=0 - Supongamos f(L)>0 en todo entorno ( L , L + ) la funcin tomara valores positivos, contradiccin (porque para n suficientemente grande I n (L , L + ) y f toma valores de signo opuesto en los extremos de In ). - Supongamos f(L)<0 en todo entorno ( L , L + ) la funcin tomara valores negativos, contradiccin (porque para n suficientemente grande I n ' (L , L + ) y f toma valores de signo opuesto en los extremos de In). f(L)=0

TEOREMA. Teorema de Weierstrass. Si f(x) es continua en [a, b], entonces existe 1 , 2 [a, b] tales que f( 1 ) = Sup f(x) y f( 2 ) = Inf f(x). Es decir, el conjunto {f(x) / x[a, b]} tiene mximo y mnimo. Dem. i) La funcin f es acotada, lo que significa que f([a,b])=Im f es un conjunto de 3. Supongamos que f([a,b]) no fuera acotado

16/21

x1 con f ( x1 ) > 1 x2 con f ( x2 ) > 2 .......... .......... xn con f ( x n ) > n

( xn ) n [a, b ] con

f ( x n ) > n para cada n

Como (xn )n es acotada posee una subsucesin convergente

(xnk )k

f continua f(x nk)k f() pero entonces f(x nk)k es acotada. Tenemos que M / f ( xnk ) M pero nk < f ( x nk ) M Contradiccin

ii) f ([a , b ]) 3 acotada

sup{ f ( x); x [a, b]} =:

n +

xn [a, b] con 1 n < f ( xn )

lim f ( xn ) =

( xn ) n es acotada existe una subsucesin convergente a un punto 1 [a, b ] ( xnk ) 1 [a, b ] como f es continua como el lmite es nico 1 f ( x ) = f (1 ) f alcanza un mximo absoluto en 1 . Razonando anlogamente con el nfimo de f[a,b], se prueba que: 1 [a, b] tal que f (1 ) = inf { f ( x) / x [a, b]} f (1 ) = f ( x nk ) f (1 )

TEOREMA. Teorema de los valores Intermedios. Si f(x) es una funcin continua en [a, b] y K3 un nmero comprendido entre f(a) y f(b). Entonces existe al menos un nmero z[a, b] tal que f(z) = K. Dem. Definimos g ( x) = f ( x) K que es continua.

g ( a ) = f (a ) K < 0 la funcin se anula en algn punto (Bolzano) g ( b) = f (b) K > 0 z [a , b ] / g ( z ) = 0 g ( z) = f (z) K = 0 f (z) = K

17/21

3.7. Discontinuidades. Sea f: A 3 una funcin y aA. DEF Diremos que f presenta una discontinuidad evitable en x = a si existe lim f ( x ) y
x a

no existe f(a). OBS Recibe el nombre de discontinuidad evitable ya que se podra evitar si definimos f (a ) = lim f ( x ) .
x a

DEF Diremos que f presenta una discontinuidad de salto finito en x = a si existen lim f ( x ) y lim+ f ( x ) y son finitos pero distintos.
x a x a

DEF Diremos que f presenta una discontinuidad evitable en x = a si existen f(a) y lim f ( x ) y son distintos.
x a

DEF Diremos que f presenta una discontinuidad inevitable de salto finito si lim f ( x) lim+ f ( x ) y su diferencia es finita.
x a x a

DEF Diremos que f presenta una discontinuidad inevitable de salto infinito en x = a si alguno de los lmites laterales no existe o es infinito. 3.8. Continuidad de la Funcin Inversa. Recordatorio Sea f(x) una funcin continua y estrictamente creciente en el intervalo [a,b]. Sabemos que si x[a,b] entonces f(x) toma cada valor y del intervalo [f(a),f(b)] por lo menos una vez (teorema de los valores intermedios] y solo una vez (por ser estrictamente creciente). Si f es biyectiva entre [a,b] y [f(a),f(b)], entonces f-1 tambin lo es. A f-1 se le llama funcin inversa. PROP Si f: [a, b] 3 es continua y estrictamente creciente, entonces f es biyectiva entre [a, b] y [f(a), f(b)]. Dem. f es continua en [a, b], aplicando el teorema de Weierstrass, f alcanza un mximo M, un mnimo m y todos los valores comprendidos entre ambos f([a, b]) = [m, M]. Por ser f estrictamente creciente tenemos que f(a) = m y f(b) = M

Entonces x[a, b] y [f(a), f(b)] / f(x) = y PROP Si una funcin y = f(x) es estrictamente creciente (decreciente) y continua en [a, b], entonces f-1(y) tambin es estrictamente creciente y continua en [f(a), f(b)].

18/21

Dem. f-1 es estrictamente creciente. Supongamos que f es estrictamente creciente. Entonces y < y con y, yDom f-1. Entonces x, xDom f tal que f(x) = y y f(x) = y Como y< y y f es estrictamente creciente tenemos que x < x, ya que lo contrario sera una contradiccin. Entonces f-1 es estrictamente creciente. f-1 es continua. Sea yo (f(a), f(b) y > 0. Sea f-1 (yo ) = xo f(xo - ) = y f(xo + ) = y Entonces f-1 (y) < xo < f-1 (y) xo - < f-1 (y) < xo + f-1 (yo ) - < f-1 (y) < f-1 (yo ) + Sea = min {yo y, y - yo } Entonces, siempre que y yo < f 1 ( y ) f 1 ( y o ) < 3.9. Continuidad Uniforme. DEF Sea f:3 3 una funcin real de variable real.

Se dice que f(x) es uniformemente continua si: > 0 > 0 / x y < f ( x ) f ( y) <

NOTA Toda funcin uniformemente continua es continua. Pero el recproco no es cierto. Teorema. Sea f:[a,b] 3 una funcin continua en el compacto [a,b] f(x) es uniformemente continua en [a,b].

19/21

3.10.

Asntotas. Ramas Infinitas.

El conjunto {(x, f(x) / x Dom f} recibe el nombre de grfica de f y se denota por Graf (f). DEF Diremos que un punto se aleja infinitamente sobre una curva cuando su abscisa o su ordenada o ambas coordenadas crecen infinitamente. Podemos afirmar que el punto recorre una rama infinita. DEF Si al recorrer un punto P una rama infinita, la recta OP tiende a una posicin lmite, entonces esa recta lmite y sus paralelas definen una direccin asntota. DEF Llamaremos a la recta r asntota de la curva Graf (f) si su direccin es una direccin asntota de la curva y la distancia de un punto P a r tiende a Cero cuando P se aleja infinitamente. DEF Llamaremos asntota horizontal de f(x) a la recta y=K que verifica una de las dos condiciones siguientes: 1) lim f ( x ) = K
x +

2) lim f ( x ) = K
x

DEF Llamamos asntota vertical de f(x) a la recta x=a si se verifica alguna de las condiciones siguientes: 1) lim f ( x ) =
x a

2) lim+ f ( x ) =
x a

3) lim f ( x ) = +
x a

4) lim+ f ( x ) = +
x a

DEF Dada una funcin f(x) tal que en el infinito tiene lmite infinito, diremos que presenta una asntota de ecuacin y=mx+n si verifica una de las dos condiciones siguientes. 1) lim f (x) =m0 x f (x) =m0 x y lim ( f ( x ) mx) = n lim ( f ( x ) mx) = n

x +

x +

2) lim

20/21

Bibliografa Recomendada. Anlisis Matemtico I. Aut. J.A. Fernndez Via. Ed. Tecnos Lecciones de Clculo Infinitesimal I. Aut. R. Molina Legaz, M. Franco. Ed. Universidad de Murcia. Principios de Anlisis Matemtico. Aut. W. Rudin. Ed. McGraw-Hill Curso de Anlisis Matemtico I. Aut. E.L. Luna. Ed. Edunsa, 1991. Calculus. Aut. M. Spivak. Ed. Revert. Anlisis Matemtico. Aut. M. de Guzmn, B. Rubio. Ed. Pirmide. Calculus. Aut. Apostol. Ed. Revert

21/21