Sei sulla pagina 1di 255

Continuidad

Guillermo Barcelona
Tacuaremb o

25 de julio de 2013

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

1 / 35

Introducci on

Decir que una funci on es continua signica, intuitivamente, que su gr aco puede hacerse ((en un solo trazo)), es decir, que no tiene saltos, huecos o aberturas. Pero esta descripci on es poco precisa; intentaremos construir una denici on rigurosa de continuidad con la noci on de l mite. Para ello, estudiaremos funciones que no son continuas intuitivamente en un determinado punto, y analizaremos las causas t ecnicas en cada una. As podremos descubrir una denici on formal de continuidad.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

2 / 35

Introducci on

Decir que una funci on es continua signica, intuitivamente, que su gr aco puede hacerse ((en un solo trazo)), es decir, que no tiene saltos, huecos o aberturas. Pero esta descripci on es poco precisa; intentaremos construir una denici on rigurosa de continuidad con la noci on de l mite. Para ello, estudiaremos funciones que no son continuas intuitivamente en un determinado punto, y analizaremos las causas t ecnicas en cada una. As podremos descubrir una denici on formal de continuidad.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

2 / 35

Actividad
Graca las funciones f, g y h tales que f (x) = x2 1 3 2x si x < 2 x2 1 , g (x) = 3 si x > 2 2x 1 2 x 1 si x < 2 3 h(x) = 2 x si x > 2 . 5 si x = 2 si si x<2 , x2 y

De acuerdo a la noci on intuitiva, determina si ellas son continuas en x = 2; si no lo son, estudia l mites e im agenes en 2, en cada caso. Qu e hecho impide que cada funci on sea continua? Gen ericamente, en qu e circunstancias una funci on no es continua en un punto a?

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

3 / 35

Actividad
Graca las funciones f, g y h tales que f (x) = x2 1 3 2x si x < 2 x2 1 , g (x) = 3 si x > 2 2x 1 2 x 1 si x < 2 3 h(x) = 2 x si x > 2 . 5 si x = 2 si si x<2 , x2 y

De acuerdo a la noci on intuitiva, determina si ellas son continuas en x = 2; si no lo son, estudia l mites e im agenes en 2, en cada caso. Qu e hecho impide que cada funci on sea continua? Gen ericamente, en qu e circunstancias una funci on no es continua en un punto a?

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

3 / 35

Estudio de las ((discontinuidades))


En resumen, una funci on f no es continua en a cuando: 1 f no est a denida en a (la curva de f presenta un ((hueco)) en a).
2

No existe el l mxa f (x) (los l mites laterales son distintos, o alguno de ellos no existe). El l mxa f (x) y f (a) existen, pero son distintos (f (a) est a ((corrido)) de la curva de f ).

De esta manera, una funci on no es continua si alguna de las condiciones anteriores ocurre. En conclusi on, para que una funci on s sea continua, no debe darse ninguna de las condiciones anteriores.

Actividad
Elabora una denici on de funci on continua en un punto a.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

4 / 35

Estudio de las ((discontinuidades))


En resumen, una funci on f no es continua en a cuando: 1 f no est a denida en a (la curva de f presenta un ((hueco)) en a).
2

No existe el l mxa f (x) (los l mites laterales son distintos, o alguno de ellos no existe). El l mxa f (x) y f (a) existen, pero son distintos (f (a) est a ((corrido)) de la curva de f ).

De esta manera, una funci on no es continua si alguna de las condiciones anteriores ocurre. En conclusi on, para que una funci on s sea continua, no debe darse ninguna de las condiciones anteriores.

Actividad
Elabora una denici on de funci on continua en un punto a.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

4 / 35

Estudio de las ((discontinuidades))


En resumen, una funci on f no es continua en a cuando: 1 f no est a denida en a (la curva de f presenta un ((hueco)) en a).
2

No existe el l mxa f (x) (los l mites laterales son distintos, o alguno de ellos no existe). El l mxa f (x) y f (a) existen, pero son distintos (f (a) est a ((corrido)) de la curva de f ).

De esta manera, una funci on no es continua si alguna de las condiciones anteriores ocurre. En conclusi on, para que una funci on s sea continua, no debe darse ninguna de las condiciones anteriores.

Actividad
Elabora una denici on de funci on continua en un punto a.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

4 / 35

Estudio de las ((discontinuidades))


En resumen, una funci on f no es continua en a cuando: 1 f no est a denida en a (la curva de f presenta un ((hueco)) en a).
2

No existe el l mxa f (x) (los l mites laterales son distintos, o alguno de ellos no existe). El l mxa f (x) y f (a) existen, pero son distintos (f (a) est a ((corrido)) de la curva de f ).

De esta manera, una funci on no es continua si alguna de las condiciones anteriores ocurre. En conclusi on, para que una funci on s sea continua, no debe darse ninguna de las condiciones anteriores.

Actividad
Elabora una denici on de funci on continua en un punto a.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

4 / 35

Estudio de las ((discontinuidades))


En resumen, una funci on f no es continua en a cuando: 1 f no est a denida en a (la curva de f presenta un ((hueco)) en a).
2

No existe el l mxa f (x) (los l mites laterales son distintos, o alguno de ellos no existe). El l mxa f (x) y f (a) existen, pero son distintos (f (a) est a ((corrido)) de la curva de f ).

De esta manera, una funci on no es continua si alguna de las condiciones anteriores ocurre. En conclusi on, para que una funci on s sea continua, no debe darse ninguna de las condiciones anteriores.

Actividad
Elabora una denici on de funci on continua en un punto a.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

4 / 35

Estudio de las ((discontinuidades))


En resumen, una funci on f no es continua en a cuando: 1 f no est a denida en a (la curva de f presenta un ((hueco)) en a).
2

No existe el l mxa f (x) (los l mites laterales son distintos, o alguno de ellos no existe). El l mxa f (x) y f (a) existen, pero son distintos (f (a) est a ((corrido)) de la curva de f ).

De esta manera, una funci on no es continua si alguna de las condiciones anteriores ocurre. En conclusi on, para que una funci on s sea continua, no debe darse ninguna de las condiciones anteriores.

Actividad
Elabora una denici on de funci on continua en un punto a.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

4 / 35

Estudio de las ((discontinuidades))


En resumen, una funci on f no es continua en a cuando: 1 f no est a denida en a (la curva de f presenta un ((hueco)) en a).
2

No existe el l mxa f (x) (los l mites laterales son distintos, o alguno de ellos no existe). El l mxa f (x) y f (a) existen, pero son distintos (f (a) est a ((corrido)) de la curva de f ).

De esta manera, una funci on no es continua si alguna de las condiciones anteriores ocurre. En conclusi on, para que una funci on s sea continua, no debe darse ninguna de las condiciones anteriores.

Actividad
Elabora una denici on de funci on continua en un punto a.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

4 / 35

Continuidad puntual
Denici on
Decimos que una funci on f es continua en un punto a si:
1 2 3

existe f (a) (a pertenece al dominio de f ); existe el l mxa f (x); l mxa f (x) = f (a).

Una denici on m as reducida es:

Denici on
Una funci on f es continua en un punto a si:
xa

l m f (x) = f (a),

suponiendo que existe el l mite y la imagen.

Actividad
Con la terminolog a , escribe la denici on de continuidad puntual.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 5 / 35

Continuidad puntual
Denici on
Decimos que una funci on f es continua en un punto a si:
1 2 3

existe f (a) (a pertenece al dominio de f ); existe el l mxa f (x); l mxa f (x) = f (a).

Una denici on m as reducida es:

Denici on
Una funci on f es continua en un punto a si:
xa

l m f (x) = f (a),

suponiendo que existe el l mite y la imagen.

Actividad
Con la terminolog a , escribe la denici on de continuidad puntual.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 5 / 35

Continuidad puntual
Denici on
Decimos que una funci on f es continua en un punto a si:
1 2 3

existe f (a) (a pertenece al dominio de f ); existe el l mxa f (x); l mxa f (x) = f (a).

Una denici on m as reducida es:

Denici on
Una funci on f es continua en un punto a si:
xa

l m f (x) = f (a),

suponiendo que existe el l mite y la imagen.

Actividad
Con la terminolog a , escribe la denici on de continuidad puntual.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 5 / 35

Continuidad puntual
Denici on
Decimos que una funci on f es continua en un punto a si:
1 2 3

existe f (a) (a pertenece al dominio de f ); existe el l mxa f (x); l mxa f (x) = f (a).

Una denici on m as reducida es:

Denici on
Una funci on f es continua en un punto a si:
xa

l m f (x) = f (a),

suponiendo que existe el l mite y la imagen.

Actividad
Con la terminolog a , escribe la denici on de continuidad puntual.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 5 / 35

Continuidad puntual
Denici on
Decimos que una funci on f es continua en un punto a si:
1 2 3

existe f (a) (a pertenece al dominio de f ); existe el l mxa f (x); l mxa f (x) = f (a).

Una denici on m as reducida es:

Denici on
Una funci on f es continua en un punto a si:
xa

l m f (x) = f (a),

suponiendo que existe el l mite y la imagen.

Actividad
Con la terminolog a , escribe la denici on de continuidad puntual.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 5 / 35

Continuidad puntual
Denici on
Decimos que una funci on f es continua en un punto a si:
1 2 3

existe f (a) (a pertenece al dominio de f ); existe el l mxa f (x); l mxa f (x) = f (a).

Una denici on m as reducida es:

Denici on
Una funci on f es continua en un punto a si:
xa

l m f (x) = f (a),

suponiendo que existe el l mite y la imagen.

Actividad
Con la terminolog a , escribe la denici on de continuidad puntual.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 5 / 35

Continuidad puntual
Denici on
Decimos que una funci on f es continua en un punto a si:
1 2 3

existe f (a) (a pertenece al dominio de f ); existe el l mxa f (x); l mxa f (x) = f (a).

Una denici on m as reducida es:

Denici on
Una funci on f es continua en un punto a si:
xa

l m f (x) = f (a),

suponiendo que existe el l mite y la imagen.

Actividad
Con la terminolog a , escribe la denici on de continuidad puntual.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 5 / 35

Continuidad puntual
Denici on
Decimos que una funci on f es continua en un punto a si:
1 2 3

existe f (a) (a pertenece al dominio de f ); existe el l mxa f (x); l mxa f (x) = f (a).

Una denici on m as reducida es:

Denici on
Una funci on f es continua en un punto a si:
xa

l m f (x) = f (a),

suponiendo que existe el l mite y la imagen.

Actividad
Con la terminolog a , escribe la denici on de continuidad puntual.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 5 / 35

Continuidad puntual
Denici on
Decimos que una funci on f es continua en un punto a si:
1 2 3

existe f (a) (a pertenece al dominio de f ); existe el l mxa f (x); l mxa f (x) = f (a).

Una denici on m as reducida es:

Denici on
Una funci on f es continua en un punto a si:
xa

l m f (x) = f (a),

suponiendo que existe el l mite y la imagen.

Actividad
Con la terminolog a , escribe la denici on de continuidad puntual.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 5 / 35

Denici on de continuidad

Denici on
Una funci on f es continua en a si l mxa f (x) = f (a), que de acuerdo a la terminolog a es: para todo > 0, existe > 0 tal que |x a| < implica |f (x) f (a)| < .

Nota
Aqu ya no es necesario que 0 < |x a|, es decir x = a, porque f (a) existe y |f (x) f (a)| = 0 < con x = a, para cualquier , > 0.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

6 / 35

Denici on de continuidad

Denici on
Una funci on f es continua en a si l mxa f (x) = f (a), que de acuerdo a la terminolog a es: para todo > 0, existe > 0 tal que |x a| < implica |f (x) f (a)| < .

Nota
Aqu ya no es necesario que 0 < |x a|, es decir x = a, porque f (a) existe y |f (x) f (a)| = 0 < con x = a, para cualquier , > 0.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

6 / 35

Denici on de continuidad

Denici on
Una funci on f es continua en a si l mxa f (x) = f (a), que de acuerdo a la terminolog a es: para todo > 0, existe > 0 tal que |x a| < implica |f (x) f (a)| < .

Nota
Aqu ya no es necesario que 0 < |x a|, es decir x = a, porque f (a) existe y |f (x) f (a)| = 0 < con x = a, para cualquier , > 0.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

6 / 35

Denici on de continuidad

Denici on
Una funci on f es continua en a si l mxa f (x) = f (a), que de acuerdo a la terminolog a es: para todo > 0, existe > 0 tal que |x a| < implica |f (x) f (a)| < .

Nota
Aqu ya no es necesario que 0 < |x a|, es decir x = a, porque f (a) existe y |f (x) f (a)| = 0 < con x = a, para cualquier , > 0.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

6 / 35

Denici on de continuidad

Denici on
Una funci on f es continua en a si l mxa f (x) = f (a), que de acuerdo a la terminolog a es: para todo > 0, existe > 0 tal que |x a| < implica |f (x) f (a)| < .

Nota
Aqu ya no es necesario que 0 < |x a|, es decir x = a, porque f (a) existe y |f (x) f (a)| = 0 < con x = a, para cualquier , > 0.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

6 / 35

Denici on de continuidad

Denici on
Una funci on f es continua en a si l mxa f (x) = f (a), que de acuerdo a la terminolog a es: para todo > 0, existe > 0 tal que |x a| < implica |f (x) f (a)| < .

Nota
Aqu ya no es necesario que 0 < |x a|, es decir x = a, porque f (a) existe y |f (x) f (a)| = 0 < con x = a, para cualquier , > 0.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

6 / 35

Teorema del pasaje en continuidad


El teorema del pasaje visto en l mites, el cual involucraba sucesiones, dec a que

Teorema
El l mxa f (x) = L si, y s olo si, para toda sucesi on (xn ) con l mite en a y xn = a para cada n, se tenga l m f (xn ) = L. La potencia de este teorema est a en que para asegurar que el l mxa f (x) = L, basta con probar que cualquier sucesi on (xn ) con l mite en a y xn = a para todo n, determina una sucesi on de im agenes (f (xn )) con l mite en L.

Actividad
C omo puede adecuarse el teorema del pasaje para el caso de continuidad? Pueden reducirse las condiciones? Elabora un enunciado.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

7 / 35

Teorema del pasaje en continuidad


El teorema del pasaje visto en l mites, el cual involucraba sucesiones, dec a que

Teorema
El l mxa f (x) = L si, y s olo si, para toda sucesi on (xn ) con l mite en a y xn = a para cada n, se tenga l m f (xn ) = L. La potencia de este teorema est a en que para asegurar que el l mxa f (x) = L, basta con probar que cualquier sucesi on (xn ) con l mite en a y xn = a para todo n, determina una sucesi on de im agenes (f (xn )) con l mite en L.

Actividad
C omo puede adecuarse el teorema del pasaje para el caso de continuidad? Pueden reducirse las condiciones? Elabora un enunciado.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

7 / 35

Teorema del pasaje en continuidad


El teorema del pasaje visto en l mites, el cual involucraba sucesiones, dec a que

Teorema
El l mxa f (x) = L si, y s olo si, para toda sucesi on (xn ) con l mite en a y xn = a para cada n, se tenga l m f (xn ) = L. La potencia de este teorema est a en que para asegurar que el l mxa f (x) = L, basta con probar que cualquier sucesi on (xn ) con l mite en a y xn = a para todo n, determina una sucesi on de im agenes (f (xn )) con l mite en L.

Actividad
C omo puede adecuarse el teorema del pasaje para el caso de continuidad? Pueden reducirse las condiciones? Elabora un enunciado.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

7 / 35

Teorema del pasaje en continuidad


El teorema del pasaje visto en l mites, el cual involucraba sucesiones, dec a que

Teorema
El l mxa f (x) = L si, y s olo si, para toda sucesi on (xn ) con l mite en a y xn = a para cada n, se tenga l m f (xn ) = L. La potencia de este teorema est a en que para asegurar que el l mxa f (x) = L, basta con probar que cualquier sucesi on (xn ) con l mite en a y xn = a para todo n, determina una sucesi on de im agenes (f (xn )) con l mite en L.

Actividad
C omo puede adecuarse el teorema del pasaje para el caso de continuidad? Pueden reducirse las condiciones? Elabora un enunciado.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

7 / 35

Teorema del pasaje en continuidad


El teorema del pasaje visto en l mites, el cual involucraba sucesiones, dec a que

Teorema
El l mxa f (x) = L si, y s olo si, para toda sucesi on (xn ) con l mite en a y xn = a para cada n, se tenga l m f (xn ) = L. La potencia de este teorema est a en que para asegurar que el l mxa f (x) = L, basta con probar que cualquier sucesi on (xn ) con l mite en a y xn = a para todo n, determina una sucesi on de im agenes (f (xn )) con l mite en L.

Actividad
C omo puede adecuarse el teorema del pasaje para el caso de continuidad? Pueden reducirse las condiciones? Elabora un enunciado.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

7 / 35

Teorema del pasaje en continuidad

Teorema
Una funci on f es continua en a si, y s olo s , para toda sucesi on (xn ) con l mite en a, se tenga l m f (xn ) = f (a). La demostraci on de este teorema es an alogo al primer teorema del pasaje, y por eso se omite. El inter es de este resultado viene por el lado de aliviar posteriores demostraciones.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

8 / 35

Teorema del pasaje en continuidad

Teorema
Una funci on f es continua en a si, y s olo s , para toda sucesi on (xn ) con l mite en a, se tenga l m f (xn ) = f (a). La demostraci on de este teorema es an alogo al primer teorema del pasaje, y por eso se omite. El inter es de este resultado viene por el lado de aliviar posteriores demostraciones.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

8 / 35

Teorema del pasaje en continuidad

Teorema
Una funci on f es continua en a si, y s olo s , para toda sucesi on (xn ) con l mite en a, se tenga l m f (xn ) = f (a). La demostraci on de este teorema es an alogo al primer teorema del pasaje, y por eso se omite. El inter es de este resultado viene por el lado de aliviar posteriores demostraciones.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

8 / 35

Operaciones con funciones continuas

Cualquier combinaci on de funciones continuas es continua. Comencemos con las operaciones aritm eticas b asicas.

Actividad
1

Si dos funciones f y g son continuas en un punto a, qu e puede intuirse sobre f + g en el punto a? Y sobre f g , f g y f /g , en el mismo punto? Qu e cuidado habr a que tener en el caso f /g ? Enuncia en un teorema los resultados anteriores.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

9 / 35

Operaciones con funciones continuas

Cualquier combinaci on de funciones continuas es continua. Comencemos con las operaciones aritm eticas b asicas.

Actividad
1

Si dos funciones f y g son continuas en un punto a, qu e puede intuirse sobre f + g en el punto a? Y sobre f g , f g y f /g , en el mismo punto? Qu e cuidado habr a que tener en el caso f /g ? Enuncia en un teorema los resultados anteriores.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

9 / 35

Operaciones con funciones continuas

Cualquier combinaci on de funciones continuas es continua. Comencemos con las operaciones aritm eticas b asicas.

Actividad
1

Si dos funciones f y g son continuas en un punto a, qu e puede intuirse sobre f + g en el punto a? Y sobre f g , f g y f /g , en el mismo punto? Qu e cuidado habr a que tener en el caso f /g ? Enuncia en un teorema los resultados anteriores.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

9 / 35

Operaciones con funciones continuas

Cualquier combinaci on de funciones continuas es continua. Comencemos con las operaciones aritm eticas b asicas.

Actividad
1

Si dos funciones f y g son continuas en un punto a, qu e puede intuirse sobre f + g en el punto a? Y sobre f g , f g y f /g , en el mismo punto? Qu e cuidado habr a que tener en el caso f /g ? Enuncia en un teorema los resultados anteriores.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

9 / 35

Operaciones con funciones continuas

Cualquier combinaci on de funciones continuas es continua. Comencemos con las operaciones aritm eticas b asicas.

Actividad
1

Si dos funciones f y g son continuas en un punto a, qu e puede intuirse sobre f + g en el punto a? Y sobre f g , f g y f /g , en el mismo punto? Qu e cuidado habr a que tener en el caso f /g ? Enuncia en un teorema los resultados anteriores.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

9 / 35

Operaciones con l mites

Teorema
Sean f y g dos funciones continuas en un punto a. Entonces las funciones f + g, f g, f g y f /g son continuas en a (para el ultimo caso, debe exigirse g (a) = 0).

Actividad
Demuestra estos teoremas, usando las operaciones con l mites.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

10 / 35

Operaciones con l mites

Teorema
Sean f y g dos funciones continuas en un punto a. Entonces las funciones f + g, f g, f g y f /g son continuas en a (para el ultimo caso, debe exigirse g (a) = 0).

Actividad
Demuestra estos teoremas, usando las operaciones con l mites.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

10 / 35

Operaciones con l mites

Teorema
Sean f y g dos funciones continuas en un punto a. Entonces las funciones f + g, f g, f g y f /g son continuas en a (para el ultimo caso, debe exigirse g (a) = 0).

Actividad
Demuestra estos teoremas, usando las operaciones con l mites.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

10 / 35

Operaciones con l mites

Teorema
Sean f y g dos funciones continuas en un punto a. Entonces las funciones f + g, f g, f g y f /g son continuas en a (para el ultimo caso, debe exigirse g (a) = 0).

Actividad
Demuestra estos teoremas, usando las operaciones con l mites.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

10 / 35

Demostraci on.
Demostraremos el teorema de la suma, mostrando que
xa

l m (f + g )(x) = (f + g )(a).

Se tiene
xa

l m (f + g )(x) = l m f (x) + l m g (x) = f (a) + g (a) = (f + g )(a);


xa xa

la primera igualdad se debe a que ((el l mite de la suma es la suma de los l mites)), la segunda se debe a que f y g son continuas en a. Las restantes demostraciones son completamente an alogas. La composici on de funciones continuas es tambi en continua, como se enuncia y se demuestra a continuaci on.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

11 / 35

Demostraci on.
Demostraremos el teorema de la suma, mostrando que
xa

l m (f + g )(x) = (f + g )(a).

Se tiene
xa

l m (f + g )(x) = l m f (x) + l m g (x) = f (a) + g (a) = (f + g )(a);


xa xa

la primera igualdad se debe a que ((el l mite de la suma es la suma de los l mites)), la segunda se debe a que f y g son continuas en a. Las restantes demostraciones son completamente an alogas. La composici on de funciones continuas es tambi en continua, como se enuncia y se demuestra a continuaci on.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

11 / 35

Demostraci on.
Demostraremos el teorema de la suma, mostrando que
xa

l m (f + g )(x) = (f + g )(a).

Se tiene
xa

l m (f + g )(x) = l m f (x) + l m g (x) = f (a) + g (a) = (f + g )(a);


xa xa

la primera igualdad se debe a que ((el l mite de la suma es la suma de los l mites)), la segunda se debe a que f y g son continuas en a. Las restantes demostraciones son completamente an alogas. La composici on de funciones continuas es tambi en continua, como se enuncia y se demuestra a continuaci on.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

11 / 35

Demostraci on.
Demostraremos el teorema de la suma, mostrando que
xa

l m (f + g )(x) = (f + g )(a).

Se tiene
xa

l m (f + g )(x) = l m f (x) + l m g (x) = f (a) + g (a) = (f + g )(a);


xa xa

la primera igualdad se debe a que ((el l mite de la suma es la suma de los l mites)), la segunda se debe a que f y g son continuas en a. Las restantes demostraciones son completamente an alogas. La composici on de funciones continuas es tambi en continua, como se enuncia y se demuestra a continuaci on.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

11 / 35

Demostraci on.
Demostraremos el teorema de la suma, mostrando que
xa

l m (f + g )(x) = (f + g )(a).

Se tiene
xa

l m (f + g )(x) = l m f (x) + l m g (x) = f (a) + g (a) = (f + g )(a);


xa xa

la primera igualdad se debe a que ((el l mite de la suma es la suma de los l mites)), la segunda se debe a que f y g son continuas en a. Las restantes demostraciones son completamente an alogas. La composici on de funciones continuas es tambi en continua, como se enuncia y se demuestra a continuaci on.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

11 / 35

Demostraci on.
Demostraremos el teorema de la suma, mostrando que
xa

l m (f + g )(x) = (f + g )(a).

Se tiene
xa

l m (f + g )(x) = l m f (x) + l m g (x) = f (a) + g (a) = (f + g )(a);


xa xa

la primera igualdad se debe a que ((el l mite de la suma es la suma de los l mites)), la segunda se debe a que f y g son continuas en a. Las restantes demostraciones son completamente an alogas. La composici on de funciones continuas es tambi en continua, como se enuncia y se demuestra a continuaci on.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

11 / 35

Demostraci on.
Demostraremos el teorema de la suma, mostrando que
xa

l m (f + g )(x) = (f + g )(a).

Se tiene
xa

l m (f + g )(x) = l m f (x) + l m g (x) = f (a) + g (a) = (f + g )(a);


xa xa

la primera igualdad se debe a que ((el l mite de la suma es la suma de los l mites)), la segunda se debe a que f y g son continuas en a. Las restantes demostraciones son completamente an alogas. La composici on de funciones continuas es tambi en continua, como se enuncia y se demuestra a continuaci on.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

11 / 35

Demostraci on.
Demostraremos el teorema de la suma, mostrando que
xa

l m (f + g )(x) = (f + g )(a).

Se tiene
xa

l m (f + g )(x) = l m f (x) + l m g (x) = f (a) + g (a) = (f + g )(a);


xa xa

la primera igualdad se debe a que ((el l mite de la suma es la suma de los l mites)), la segunda se debe a que f y g son continuas en a. Las restantes demostraciones son completamente an alogas. La composici on de funciones continuas es tambi en continua, como se enuncia y se demuestra a continuaci on.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

11 / 35

Demostraci on.
Demostraremos el teorema de la suma, mostrando que
xa

l m (f + g )(x) = (f + g )(a).

Se tiene
xa

l m (f + g )(x) = l m f (x) + l m g (x) = f (a) + g (a) = (f + g )(a);


xa xa

la primera igualdad se debe a que ((el l mite de la suma es la suma de los l mites)), la segunda se debe a que f y g son continuas en a. Las restantes demostraciones son completamente an alogas. La composici on de funciones continuas es tambi en continua, como se enuncia y se demuestra a continuaci on.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

11 / 35

Demostraci on.
Demostraremos el teorema de la suma, mostrando que
xa

l m (f + g )(x) = (f + g )(a).

Se tiene
xa

l m (f + g )(x) = l m f (x) + l m g (x) = f (a) + g (a) = (f + g )(a);


xa xa

la primera igualdad se debe a que ((el l mite de la suma es la suma de los l mites)), la segunda se debe a que f y g son continuas en a. Las restantes demostraciones son completamente an alogas. La composici on de funciones continuas es tambi en continua, como se enuncia y se demuestra a continuaci on.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

11 / 35

Demostraci on.
Demostraremos el teorema de la suma, mostrando que
xa

l m (f + g )(x) = (f + g )(a).

Se tiene
xa

l m (f + g )(x) = l m f (x) + l m g (x) = f (a) + g (a) = (f + g )(a);


xa xa

la primera igualdad se debe a que ((el l mite de la suma es la suma de los l mites)), la segunda se debe a que f y g son continuas en a. Las restantes demostraciones son completamente an alogas. La composici on de funciones continuas es tambi en continua, como se enuncia y se demuestra a continuaci on.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

11 / 35

Funci on compuesta por funciones continuas


Teorema
Si una funci on f es continua en a, y una funci on g es continua en b = f (a), entonces la composici on g f es continua en a.

Demostraci on.
Se pretende alcanzar la denici on de continuidad para g f . Como g es continua en b = f (a), de acuerdo a la denici on , usando la letra y para la variable de g , tenemos que para todo > 0, existe > 0 tal que ...(1) (Completa). Si f es continua en a, qu e ocurre? Si usamos la denici on : para el > 0 anterior, existe > 0 (eta) tal que ...(2) (Completa). Luego, teniendo en cuenta que y = f (x) y b = f (a), |x a| < = |f (x) f (a)| < = |g (f (x)) g (f (a))| < . En resumen, para cada > 0, existe > 0 tal que |x a| < = |(g f )(x) (g f )(a)| < , y as g f es continua en a.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 12 / 35

Funci on compuesta por funciones continuas


Teorema
Si una funci on f es continua en a, y una funci on g es continua en b = f (a), entonces la composici on g f es continua en a.

Demostraci on.
Se pretende alcanzar la denici on de continuidad para g f . Como g es continua en b = f (a), de acuerdo a la denici on , usando la letra y para la variable de g , tenemos que para todo > 0, existe > 0 tal que ...(1) (Completa). Si f es continua en a, qu e ocurre? Si usamos la denici on : para el > 0 anterior, existe > 0 (eta) tal que ...(2) (Completa). Luego, teniendo en cuenta que y = f (x) y b = f (a), |x a| < = |f (x) f (a)| < = |g (f (x)) g (f (a))| < . En resumen, para cada > 0, existe > 0 tal que |x a| < = |(g f )(x) (g f )(a)| < , y as g f es continua en a.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 12 / 35

Funci on compuesta por funciones continuas


Teorema
Si una funci on f es continua en a, y una funci on g es continua en b = f (a), entonces la composici on g f es continua en a.

Demostraci on.
Se pretende alcanzar la denici on de continuidad para g f . Como g es continua en b = f (a), de acuerdo a la denici on , usando la letra y para la variable de g , tenemos que para todo > 0, existe > 0 tal que ...(1) (Completa). Si f es continua en a, qu e ocurre? Si usamos la denici on : para el > 0 anterior, existe > 0 (eta) tal que ...(2) (Completa). Luego, teniendo en cuenta que y = f (x) y b = f (a), |x a| < = |f (x) f (a)| < = |g (f (x)) g (f (a))| < . En resumen, para cada > 0, existe > 0 tal que |x a| < = |(g f )(x) (g f )(a)| < , y as g f es continua en a.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 12 / 35

Funci on compuesta por funciones continuas


Teorema
Si una funci on f es continua en a, y una funci on g es continua en b = f (a), entonces la composici on g f es continua en a.

Demostraci on.
Se pretende alcanzar la denici on de continuidad para g f . Como g es continua en b = f (a), de acuerdo a la denici on , usando la letra y para la variable de g , tenemos que para todo > 0, existe > 0 tal que ...(1) (Completa). Si f es continua en a, qu e ocurre? Si usamos la denici on : para el > 0 anterior, existe > 0 (eta) tal que ...(2) (Completa). Luego, teniendo en cuenta que y = f (x) y b = f (a), |x a| < = |f (x) f (a)| < = |g (f (x)) g (f (a))| < . En resumen, para cada > 0, existe > 0 tal que |x a| < = |(g f )(x) (g f )(a)| < , y as g f es continua en a.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 12 / 35

Funci on compuesta por funciones continuas


Teorema
Si una funci on f es continua en a, y una funci on g es continua en b = f (a), entonces la composici on g f es continua en a.

Demostraci on.
Se pretende alcanzar la denici on de continuidad para g f . Como g es continua en b = f (a), de acuerdo a la denici on , usando la letra y para la variable de g , tenemos que para todo > 0, existe > 0 tal que ...(1) (Completa). Si f es continua en a, qu e ocurre? Si usamos la denici on : para el > 0 anterior, existe > 0 (eta) tal que ...(2) (Completa). Luego, teniendo en cuenta que y = f (x) y b = f (a), |x a| < = |f (x) f (a)| < = |g (f (x)) g (f (a))| < . En resumen, para cada > 0, existe > 0 tal que |x a| < = |(g f )(x) (g f )(a)| < , y as g f es continua en a.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 12 / 35

Funci on compuesta por funciones continuas


Teorema
Si una funci on f es continua en a, y una funci on g es continua en b = f (a), entonces la composici on g f es continua en a.

Demostraci on.
Se pretende alcanzar la denici on de continuidad para g f . Como g es continua en b = f (a), de acuerdo a la denici on , usando la letra y para la variable de g , tenemos que para todo > 0, existe > 0 tal que ...(1) (Completa). Si f es continua en a, qu e ocurre? Si usamos la denici on : para el > 0 anterior, existe > 0 (eta) tal que ...(2) (Completa). Luego, teniendo en cuenta que y = f (x) y b = f (a), |x a| < = |f (x) f (a)| < = |g (f (x)) g (f (a))| < . En resumen, para cada > 0, existe > 0 tal que |x a| < = |(g f )(x) (g f )(a)| < , y as g f es continua en a.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 12 / 35

Funci on compuesta por funciones continuas


Teorema
Si una funci on f es continua en a, y una funci on g es continua en b = f (a), entonces la composici on g f es continua en a.

Demostraci on.
Se pretende alcanzar la denici on de continuidad para g f . Como g es continua en b = f (a), de acuerdo a la denici on , usando la letra y para la variable de g , tenemos que para todo > 0, existe > 0 tal que ...(1) (Completa). Si f es continua en a, qu e ocurre? Si usamos la denici on : para el > 0 anterior, existe > 0 (eta) tal que ...(2) (Completa). Luego, teniendo en cuenta que y = f (x) y b = f (a), |x a| < = |f (x) f (a)| < = |g (f (x)) g (f (a))| < . En resumen, para cada > 0, existe > 0 tal que |x a| < = |(g f )(x) (g f )(a)| < , y as g f es continua en a.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 12 / 35

Funci on compuesta por funciones continuas


Teorema
Si una funci on f es continua en a, y una funci on g es continua en b = f (a), entonces la composici on g f es continua en a.

Demostraci on.
Se pretende alcanzar la denici on de continuidad para g f . Como g es continua en b = f (a), de acuerdo a la denici on , usando la letra y para la variable de g , tenemos que para todo > 0, existe > 0 tal que ...(1) (Completa). Si f es continua en a, qu e ocurre? Si usamos la denici on : para el > 0 anterior, existe > 0 (eta) tal que ...(2) (Completa). Luego, teniendo en cuenta que y = f (x) y b = f (a), |x a| < = |f (x) f (a)| < = |g (f (x)) g (f (a))| < . En resumen, para cada > 0, existe > 0 tal que |x a| < = |(g f )(x) (g f )(a)| < , y as g f es continua en a.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 12 / 35

Funci on compuesta por funciones continuas


Teorema
Si una funci on f es continua en a, y una funci on g es continua en b = f (a), entonces la composici on g f es continua en a.

Demostraci on.
Se pretende alcanzar la denici on de continuidad para g f . Como g es continua en b = f (a), de acuerdo a la denici on , usando la letra y para la variable de g , tenemos que para todo > 0, existe > 0 tal que ...(1) (Completa). Si f es continua en a, qu e ocurre? Si usamos la denici on : para el > 0 anterior, existe > 0 (eta) tal que ...(2) (Completa). Luego, teniendo en cuenta que y = f (x) y b = f (a), |x a| < = |f (x) f (a)| < = |g (f (x)) g (f (a))| < . En resumen, para cada > 0, existe > 0 tal que |x a| < = |(g f )(x) (g f )(a)| < , y as g f es continua en a.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 12 / 35

Funci on compuesta por funciones continuas


Teorema
Si una funci on f es continua en a, y una funci on g es continua en b = f (a), entonces la composici on g f es continua en a.

Demostraci on.
Se pretende alcanzar la denici on de continuidad para g f . Como g es continua en b = f (a), de acuerdo a la denici on , usando la letra y para la variable de g , tenemos que para todo > 0, existe > 0 tal que ...(1) (Completa). Si f es continua en a, qu e ocurre? Si usamos la denici on : para el > 0 anterior, existe > 0 (eta) tal que ...(2) (Completa). Luego, teniendo en cuenta que y = f (x) y b = f (a), |x a| < = |f (x) f (a)| < = |g (f (x)) g (f (a))| < . En resumen, para cada > 0, existe > 0 tal que |x a| < = |(g f )(x) (g f )(a)| < , y as g f es continua en a.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 12 / 35

Funci on compuesta por funciones continuas


Teorema
Si una funci on f es continua en a, y una funci on g es continua en b = f (a), entonces la composici on g f es continua en a.

Demostraci on.
Se pretende alcanzar la denici on de continuidad para g f . Como g es continua en b = f (a), de acuerdo a la denici on , usando la letra y para la variable de g , tenemos que para todo > 0, existe > 0 tal que ...(1) (Completa). Si f es continua en a, qu e ocurre? Si usamos la denici on : para el > 0 anterior, existe > 0 (eta) tal que ...(2) (Completa). Luego, teniendo en cuenta que y = f (x) y b = f (a), |x a| < = |f (x) f (a)| < = |g (f (x)) g (f (a))| < . En resumen, para cada > 0, existe > 0 tal que |x a| < = |(g f )(x) (g f )(a)| < , y as g f es continua en a.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 12 / 35

Funci on compuesta por funciones continuas


Teorema
Si una funci on f es continua en a, y una funci on g es continua en b = f (a), entonces la composici on g f es continua en a.

Demostraci on.
Se pretende alcanzar la denici on de continuidad para g f . Como g es continua en b = f (a), de acuerdo a la denici on , usando la letra y para la variable de g , tenemos que para todo > 0, existe > 0 tal que ...(1) (Completa). Si f es continua en a, qu e ocurre? Si usamos la denici on : para el > 0 anterior, existe > 0 (eta) tal que ...(2) (Completa). Luego, teniendo en cuenta que y = f (x) y b = f (a), |x a| < = |f (x) f (a)| < = |g (f (x)) g (f (a))| < . En resumen, para cada > 0, existe > 0 tal que |x a| < = |(g f )(x) (g f )(a)| < , y as g f es continua en a.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 12 / 35

Funci on compuesta por funciones continuas


Teorema
Si una funci on f es continua en a, y una funci on g es continua en b = f (a), entonces la composici on g f es continua en a.

Demostraci on.
Se pretende alcanzar la denici on de continuidad para g f . Como g es continua en b = f (a), de acuerdo a la denici on , usando la letra y para la variable de g , tenemos que para todo > 0, existe > 0 tal que ...(1) (Completa). Si f es continua en a, qu e ocurre? Si usamos la denici on : para el > 0 anterior, existe > 0 (eta) tal que ...(2) (Completa). Luego, teniendo en cuenta que y = f (x) y b = f (a), |x a| < = |f (x) f (a)| < = |g (f (x)) g (f (a))| < . En resumen, para cada > 0, existe > 0 tal que |x a| < = |(g f )(x) (g f )(a)| < , y as g f es continua en a.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 12 / 35

Funci on compuesta por funciones continuas


Teorema
Si una funci on f es continua en a, y una funci on g es continua en b = f (a), entonces la composici on g f es continua en a.

Demostraci on.
Se pretende alcanzar la denici on de continuidad para g f . Como g es continua en b = f (a), de acuerdo a la denici on , usando la letra y para la variable de g , tenemos que para todo > 0, existe > 0 tal que ...(1) (Completa). Si f es continua en a, qu e ocurre? Si usamos la denici on : para el > 0 anterior, existe > 0 (eta) tal que ...(2) (Completa). Luego, teniendo en cuenta que y = f (x) y b = f (a), |x a| < = |f (x) f (a)| < = |g (f (x)) g (f (a))| < . En resumen, para cada > 0, existe > 0 tal que |x a| < = |(g f )(x) (g f )(a)| < , y as g f es continua en a.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 12 / 35

Otra demostraci on usando sucesiones

Demostraci on.
Aqu se pretende mostrar que g f es continua con la equivalencia del pasaje. Como f es continua en a, qu e asegura el teorema del pasaje de sucesiones? Siendo (xn ) una sucesi on con l mite en a, la sucesi on f (xn ) tiene l mite en b = f (a). Luego, como g es tambi en continua, el teorema del pasaje asegura que la tercera sucesi on g (f (xn )) = (g f )(xn ) tiene l mite en g (f (a)) = (g f )(a). En resumen, toda sucesi on (xn ) con l m xn = a determina que l m(g f )(xn ) = (g f )(a). El rec proco del teorema del pasaje aplicado sobre este hecho, qu e asegura?

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

13 / 35

Otra demostraci on usando sucesiones

Demostraci on.
Aqu se pretende mostrar que g f es continua con la equivalencia del pasaje. Como f es continua en a, qu e asegura el teorema del pasaje de sucesiones? Siendo (xn ) una sucesi on con l mite en a, la sucesi on f (xn ) tiene l mite en b = f (a). Luego, como g es tambi en continua, el teorema del pasaje asegura que la tercera sucesi on g (f (xn )) = (g f )(xn ) tiene l mite en g (f (a)) = (g f )(a). En resumen, toda sucesi on (xn ) con l m xn = a determina que l m(g f )(xn ) = (g f )(a). El rec proco del teorema del pasaje aplicado sobre este hecho, qu e asegura?

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

13 / 35

Otra demostraci on usando sucesiones

Demostraci on.
Aqu se pretende mostrar que g f es continua con la equivalencia del pasaje. Como f es continua en a, qu e asegura el teorema del pasaje de sucesiones? Siendo (xn ) una sucesi on con l mite en a, la sucesi on f (xn ) tiene l mite en b = f (a). Luego, como g es tambi en continua, el teorema del pasaje asegura que la tercera sucesi on g (f (xn )) = (g f )(xn ) tiene l mite en g (f (a)) = (g f )(a). En resumen, toda sucesi on (xn ) con l m xn = a determina que l m(g f )(xn ) = (g f )(a). El rec proco del teorema del pasaje aplicado sobre este hecho, qu e asegura?

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

13 / 35

Otra demostraci on usando sucesiones

Demostraci on.
Aqu se pretende mostrar que g f es continua con la equivalencia del pasaje. Como f es continua en a, qu e asegura el teorema del pasaje de sucesiones? Siendo (xn ) una sucesi on con l mite en a, la sucesi on f (xn ) tiene l mite en b = f (a). Luego, como g es tambi en continua, el teorema del pasaje asegura que la tercera sucesi on g (f (xn )) = (g f )(xn ) tiene l mite en g (f (a)) = (g f )(a). En resumen, toda sucesi on (xn ) con l m xn = a determina que l m(g f )(xn ) = (g f )(a). El rec proco del teorema del pasaje aplicado sobre este hecho, qu e asegura?

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

13 / 35

Otra demostraci on usando sucesiones

Demostraci on.
Aqu se pretende mostrar que g f es continua con la equivalencia del pasaje. Como f es continua en a, qu e asegura el teorema del pasaje de sucesiones? Siendo (xn ) una sucesi on con l mite en a, la sucesi on f (xn ) tiene l mite en b = f (a). Luego, como g es tambi en continua, el teorema del pasaje asegura que la tercera sucesi on g (f (xn )) = (g f )(xn ) tiene l mite en g (f (a)) = (g f )(a). En resumen, toda sucesi on (xn ) con l m xn = a determina que l m(g f )(xn ) = (g f )(a). El rec proco del teorema del pasaje aplicado sobre este hecho, qu e asegura?

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

13 / 35

Otra demostraci on usando sucesiones

Demostraci on.
Aqu se pretende mostrar que g f es continua con la equivalencia del pasaje. Como f es continua en a, qu e asegura el teorema del pasaje de sucesiones? Siendo (xn ) una sucesi on con l mite en a, la sucesi on f (xn ) tiene l mite en b = f (a). Luego, como g es tambi en continua, el teorema del pasaje asegura que la tercera sucesi on g (f (xn )) = (g f )(xn ) tiene l mite en g (f (a)) = (g f )(a). En resumen, toda sucesi on (xn ) con l m xn = a determina que l m(g f )(xn ) = (g f )(a). El rec proco del teorema del pasaje aplicado sobre este hecho, qu e asegura?

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

13 / 35

Otra demostraci on usando sucesiones

Demostraci on.
Aqu se pretende mostrar que g f es continua con la equivalencia del pasaje. Como f es continua en a, qu e asegura el teorema del pasaje de sucesiones? Siendo (xn ) una sucesi on con l mite en a, la sucesi on f (xn ) tiene l mite en b = f (a). Luego, como g es tambi en continua, el teorema del pasaje asegura que la tercera sucesi on g (f (xn )) = (g f )(xn ) tiene l mite en g (f (a)) = (g f )(a). En resumen, toda sucesi on (xn ) con l m xn = a determina que l m(g f )(xn ) = (g f )(a). El rec proco del teorema del pasaje aplicado sobre este hecho, qu e asegura?

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

13 / 35

Otra demostraci on usando sucesiones

Demostraci on.
Aqu se pretende mostrar que g f es continua con la equivalencia del pasaje. Como f es continua en a, qu e asegura el teorema del pasaje de sucesiones? Siendo (xn ) una sucesi on con l mite en a, la sucesi on f (xn ) tiene l mite en b = f (a). Luego, como g es tambi en continua, el teorema del pasaje asegura que la tercera sucesi on g (f (xn )) = (g f )(xn ) tiene l mite en g (f (a)) = (g f )(a). En resumen, toda sucesi on (xn ) con l m xn = a determina que l m(g f )(xn ) = (g f )(a). El rec proco del teorema del pasaje aplicado sobre este hecho, qu e asegura?

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

13 / 35

Teoremas de continuidad
Existen tres teoremas importantes de continuidad. Son teoremas que se muestran evidentes cuando se interpretan geom etricamente, y que al parecer no requieren de una demostraci on. Sin embargo, el primer matem atico en darse cuenta que estas propiedades, por m as evidentes que parezcan, precisan de una demostraci on rigurosa (conforme con la estructura l ogico-deductiva de la matem atica) fue el matem atico checo Bernardo Bolzano (1781-1850), quien hizo importantes aportes matem aticos en la primera mitad del siglo XIX. Luego le sigue el matem atico franc es Augustin Louis Cauchy (1789-1857), el primero en dar una denici on precisa de limite, y una idea de continuidad. El matem atico alem an Karl Weierstrass (1815-1897) fue el primero en demostrar rigurosamente varios teoremas sobre funciones; entre ellos, el teorema de Bolzano y el teorema del valor intermedio. Los tres teorema que vamos a estudiar son: 1 el teorema de Bolzano ;
2 3

el teorema del valor intermedio ; y el teorema de Weierstrass.

Antes vamos a estudiar el concepto de funci on continua en un intervalo [a, b].


Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 14 / 35

Teoremas de continuidad
Existen tres teoremas importantes de continuidad. Son teoremas que se muestran evidentes cuando se interpretan geom etricamente, y que al parecer no requieren de una demostraci on. Sin embargo, el primer matem atico en darse cuenta que estas propiedades, por m as evidentes que parezcan, precisan de una demostraci on rigurosa (conforme con la estructura l ogico-deductiva de la matem atica) fue el matem atico checo Bernardo Bolzano (1781-1850), quien hizo importantes aportes matem aticos en la primera mitad del siglo XIX. Luego le sigue el matem atico franc es Augustin Louis Cauchy (1789-1857), el primero en dar una denici on precisa de limite, y una idea de continuidad. El matem atico alem an Karl Weierstrass (1815-1897) fue el primero en demostrar rigurosamente varios teoremas sobre funciones; entre ellos, el teorema de Bolzano y el teorema del valor intermedio. Los tres teorema que vamos a estudiar son: 1 el teorema de Bolzano ;
2 3

el teorema del valor intermedio ; y el teorema de Weierstrass.

Antes vamos a estudiar el concepto de funci on continua en un intervalo [a, b].


Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 14 / 35

Teoremas de continuidad
Existen tres teoremas importantes de continuidad. Son teoremas que se muestran evidentes cuando se interpretan geom etricamente, y que al parecer no requieren de una demostraci on. Sin embargo, el primer matem atico en darse cuenta que estas propiedades, por m as evidentes que parezcan, precisan de una demostraci on rigurosa (conforme con la estructura l ogico-deductiva de la matem atica) fue el matem atico checo Bernardo Bolzano (1781-1850), quien hizo importantes aportes matem aticos en la primera mitad del siglo XIX. Luego le sigue el matem atico franc es Augustin Louis Cauchy (1789-1857), el primero en dar una denici on precisa de limite, y una idea de continuidad. El matem atico alem an Karl Weierstrass (1815-1897) fue el primero en demostrar rigurosamente varios teoremas sobre funciones; entre ellos, el teorema de Bolzano y el teorema del valor intermedio. Los tres teorema que vamos a estudiar son: 1 el teorema de Bolzano ;
2 3

el teorema del valor intermedio ; y el teorema de Weierstrass.

Antes vamos a estudiar el concepto de funci on continua en un intervalo [a, b].


Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 14 / 35

Teoremas de continuidad
Existen tres teoremas importantes de continuidad. Son teoremas que se muestran evidentes cuando se interpretan geom etricamente, y que al parecer no requieren de una demostraci on. Sin embargo, el primer matem atico en darse cuenta que estas propiedades, por m as evidentes que parezcan, precisan de una demostraci on rigurosa (conforme con la estructura l ogico-deductiva de la matem atica) fue el matem atico checo Bernardo Bolzano (1781-1850), quien hizo importantes aportes matem aticos en la primera mitad del siglo XIX. Luego le sigue el matem atico franc es Augustin Louis Cauchy (1789-1857), el primero en dar una denici on precisa de limite, y una idea de continuidad. El matem atico alem an Karl Weierstrass (1815-1897) fue el primero en demostrar rigurosamente varios teoremas sobre funciones; entre ellos, el teorema de Bolzano y el teorema del valor intermedio. Los tres teorema que vamos a estudiar son: 1 el teorema de Bolzano ;
2 3

el teorema del valor intermedio ; y el teorema de Weierstrass.

Antes vamos a estudiar el concepto de funci on continua en un intervalo [a, b].


Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 14 / 35

Teoremas de continuidad
Existen tres teoremas importantes de continuidad. Son teoremas que se muestran evidentes cuando se interpretan geom etricamente, y que al parecer no requieren de una demostraci on. Sin embargo, el primer matem atico en darse cuenta que estas propiedades, por m as evidentes que parezcan, precisan de una demostraci on rigurosa (conforme con la estructura l ogico-deductiva de la matem atica) fue el matem atico checo Bernardo Bolzano (1781-1850), quien hizo importantes aportes matem aticos en la primera mitad del siglo XIX. Luego le sigue el matem atico franc es Augustin Louis Cauchy (1789-1857), el primero en dar una denici on precisa de limite, y una idea de continuidad. El matem atico alem an Karl Weierstrass (1815-1897) fue el primero en demostrar rigurosamente varios teoremas sobre funciones; entre ellos, el teorema de Bolzano y el teorema del valor intermedio. Los tres teorema que vamos a estudiar son: 1 el teorema de Bolzano ;
2 3

el teorema del valor intermedio ; y el teorema de Weierstrass.

Antes vamos a estudiar el concepto de funci on continua en un intervalo [a, b].


Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 14 / 35

Teoremas de continuidad
Existen tres teoremas importantes de continuidad. Son teoremas que se muestran evidentes cuando se interpretan geom etricamente, y que al parecer no requieren de una demostraci on. Sin embargo, el primer matem atico en darse cuenta que estas propiedades, por m as evidentes que parezcan, precisan de una demostraci on rigurosa (conforme con la estructura l ogico-deductiva de la matem atica) fue el matem atico checo Bernardo Bolzano (1781-1850), quien hizo importantes aportes matem aticos en la primera mitad del siglo XIX. Luego le sigue el matem atico franc es Augustin Louis Cauchy (1789-1857), el primero en dar una denici on precisa de limite, y una idea de continuidad. El matem atico alem an Karl Weierstrass (1815-1897) fue el primero en demostrar rigurosamente varios teoremas sobre funciones; entre ellos, el teorema de Bolzano y el teorema del valor intermedio. Los tres teorema que vamos a estudiar son: 1 el teorema de Bolzano ;
2 3

el teorema del valor intermedio ; y el teorema de Weierstrass.

Antes vamos a estudiar el concepto de funci on continua en un intervalo [a, b].


Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 14 / 35

Funci on continua en un intervalo [a, b]

Para los teoremas siguientes, ser a necesario denir lo que es una ((funci on continua en un intervalo cerrado [a, b])). Intuitivamente, es una funci on cuya gr aca parte del punto (a, f (a)) y llega al punto (b, f (b)), sin tener ning un tipo de interrupci on. Intentaremos denir con l mites este hecho.

Actividad
De acuerdo a la noci on intuitiva, dibuja una funci on continua en [a, b]. Gen ericamente, qu e l mite tiene que haber en a por derecha, y en b por izquierda? qu e tiene que pasar en cualquier otro punto c de (a, b)? Formula una denici on.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

15 / 35

Funci on continua en un intervalo [a, b]

Para los teoremas siguientes, ser a necesario denir lo que es una ((funci on continua en un intervalo cerrado [a, b])). Intuitivamente, es una funci on cuya gr aca parte del punto (a, f (a)) y llega al punto (b, f (b)), sin tener ning un tipo de interrupci on. Intentaremos denir con l mites este hecho.

Actividad
De acuerdo a la noci on intuitiva, dibuja una funci on continua en [a, b]. Gen ericamente, qu e l mite tiene que haber en a por derecha, y en b por izquierda? qu e tiene que pasar en cualquier otro punto c de (a, b)? Formula una denici on.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

15 / 35

Funci on continua en un intervalo [a, b]

Para los teoremas siguientes, ser a necesario denir lo que es una ((funci on continua en un intervalo cerrado [a, b])). Intuitivamente, es una funci on cuya gr aca parte del punto (a, f (a)) y llega al punto (b, f (b)), sin tener ning un tipo de interrupci on. Intentaremos denir con l mites este hecho.

Actividad
De acuerdo a la noci on intuitiva, dibuja una funci on continua en [a, b]. Gen ericamente, qu e l mite tiene que haber en a por derecha, y en b por izquierda? qu e tiene que pasar en cualquier otro punto c de (a, b)? Formula una denici on.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

15 / 35

Funci on continua en un intervalo [a, b]

Denici on
Decimos que una funci on f es continua en un intervalo cerrado [a, b] si: 1 l mxa+ f (x) = f (a) y l mxb f (x) = f (b); y
2

f es continua en cualquier punto c del abierto (a, b).

Para la primera condici on puede decirse que f tiene que ser ((continua por derecha de a)) y ((continua por izquierda de b)). Esta denici on ser a util para los siguientes teoremas.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

16 / 35

Funci on continua en un intervalo [a, b]

Denici on
Decimos que una funci on f es continua en un intervalo cerrado [a, b] si: 1 l mxa+ f (x) = f (a) y l mxb f (x) = f (b); y
2

f es continua en cualquier punto c del abierto (a, b).

Para la primera condici on puede decirse que f tiene que ser ((continua por derecha de a)) y ((continua por izquierda de b)). Esta denici on ser a util para los siguientes teoremas.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

16 / 35

Funci on continua en un intervalo [a, b]

Denici on
Decimos que una funci on f es continua en un intervalo cerrado [a, b] si: 1 l mxa+ f (x) = f (a) y l mxb f (x) = f (b); y
2

f es continua en cualquier punto c del abierto (a, b).

Para la primera condici on puede decirse que f tiene que ser ((continua por derecha de a)) y ((continua por izquierda de b)). Esta denici on ser a util para los siguientes teoremas.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

16 / 35

Funci on continua en un intervalo [a, b]

Denici on
Decimos que una funci on f es continua en un intervalo cerrado [a, b] si: 1 l mxa+ f (x) = f (a) y l mxb f (x) = f (b); y
2

f es continua en cualquier punto c del abierto (a, b).

Para la primera condici on puede decirse que f tiene que ser ((continua por derecha de a)) y ((continua por izquierda de b)). Esta denici on ser a util para los siguientes teoremas.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

16 / 35

Funci on continua en un intervalo [a, b]

Denici on
Decimos que una funci on f es continua en un intervalo cerrado [a, b] si: 1 l mxa+ f (x) = f (a) y l mxb f (x) = f (b); y
2

f es continua en cualquier punto c del abierto (a, b).

Para la primera condici on puede decirse que f tiene que ser ((continua por derecha de a)) y ((continua por izquierda de b)). Esta denici on ser a util para los siguientes teoremas.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

16 / 35

Funci on continua en un intervalo [a, b]

Denici on
Decimos que una funci on f es continua en un intervalo cerrado [a, b] si: 1 l mxa+ f (x) = f (a) y l mxb f (x) = f (b); y
2

f es continua en cualquier punto c del abierto (a, b).

Para la primera condici on puede decirse que f tiene que ser ((continua por derecha de a)) y ((continua por izquierda de b)). Esta denici on ser a util para los siguientes teoremas.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

16 / 35

Funci on continua en un intervalo [a, b]

Denici on
Decimos que una funci on f es continua en un intervalo cerrado [a, b] si: 1 l mxa+ f (x) = f (a) y l mxb f (x) = f (b); y
2

f es continua en cualquier punto c del abierto (a, b).

Para la primera condici on puede decirse que f tiene que ser ((continua por derecha de a)) y ((continua por izquierda de b)). Esta denici on ser a util para los siguientes teoremas.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

16 / 35

Teorema de Bolzano (1817)

Actividad
1

3 4

Dibuja una funci on continua en un intervalo [a, b], donde f (a) > 0 y f (b) < 0. Dibuja una funci on continua en [a, b] donde f (a) > 0, f (b) > 0 y adem as: (1) Corte al eje x. (2) No corte al eje x. Idem: f no es continua en [a, b], f (a) > 0, f (b) < 0 y no corte al eje x. Puedes representar una funci on continua en [a, b], tal que f (a) y f (b) sean de distinto signo, sin cortar el eje x? Qu e conjetura podemos formular de lo anterior?

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

17 / 35

Teorema de Bolzano (1817)

Actividad
1

3 4

Dibuja una funci on continua en un intervalo [a, b], donde f (a) > 0 y f (b) < 0. Dibuja una funci on continua en [a, b] donde f (a) > 0, f (b) > 0 y adem as: (1) Corte al eje x. (2) No corte al eje x. Idem: f no es continua en [a, b], f (a) > 0, f (b) < 0 y no corte al eje x. Puedes representar una funci on continua en [a, b], tal que f (a) y f (b) sean de distinto signo, sin cortar el eje x? Qu e conjetura podemos formular de lo anterior?

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

17 / 35

Teorema de Bolzano (1817)

Actividad
1

3 4

Dibuja una funci on continua en un intervalo [a, b], donde f (a) > 0 y f (b) < 0. Dibuja una funci on continua en [a, b] donde f (a) > 0, f (b) > 0 y adem as: (1) Corte al eje x. (2) No corte al eje x. Idem: f no es continua en [a, b], f (a) > 0, f (b) < 0 y no corte al eje x. Puedes representar una funci on continua en [a, b], tal que f (a) y f (b) sean de distinto signo, sin cortar el eje x? Qu e conjetura podemos formular de lo anterior?

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

17 / 35

Teorema de Bolzano (1817)

Actividad
1

3 4

Dibuja una funci on continua en un intervalo [a, b], donde f (a) > 0 y f (b) < 0. Dibuja una funci on continua en [a, b] donde f (a) > 0, f (b) > 0 y adem as: (1) Corte al eje x. (2) No corte al eje x. Idem: f no es continua en [a, b], f (a) > 0, f (b) < 0 y no corte al eje x. Puedes representar una funci on continua en [a, b], tal que f (a) y f (b) sean de distinto signo, sin cortar el eje x? Qu e conjetura podemos formular de lo anterior?

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

17 / 35

Teorema de Bolzano (1817)

Actividad
1

3 4

Dibuja una funci on continua en un intervalo [a, b], donde f (a) > 0 y f (b) < 0. Dibuja una funci on continua en [a, b] donde f (a) > 0, f (b) > 0 y adem as: (1) Corte al eje x. (2) No corte al eje x. Idem: f no es continua en [a, b], f (a) > 0, f (b) < 0 y no corte al eje x. Puedes representar una funci on continua en [a, b], tal que f (a) y f (b) sean de distinto signo, sin cortar el eje x? Qu e conjetura podemos formular de lo anterior?

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

17 / 35

Teorema de Bolzano (1817)

Actividad
1

3 4

Dibuja una funci on continua en un intervalo [a, b], donde f (a) > 0 y f (b) < 0. Dibuja una funci on continua en [a, b] donde f (a) > 0, f (b) > 0 y adem as: (1) Corte al eje x. (2) No corte al eje x. Idem: f no es continua en [a, b], f (a) > 0, f (b) < 0 y no corte al eje x. Puedes representar una funci on continua en [a, b], tal que f (a) y f (b) sean de distinto signo, sin cortar el eje x? Qu e conjetura podemos formular de lo anterior?

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

17 / 35

Teorema de Bolzano (1817)

Actividad
1

3 4

Dibuja una funci on continua en un intervalo [a, b], donde f (a) > 0 y f (b) < 0. Dibuja una funci on continua en [a, b] donde f (a) > 0, f (b) > 0 y adem as: (1) Corte al eje x. (2) No corte al eje x. Idem: f no es continua en [a, b], f (a) > 0, f (b) < 0 y no corte al eje x. Puedes representar una funci on continua en [a, b], tal que f (a) y f (b) sean de distinto signo, sin cortar el eje x? Qu e conjetura podemos formular de lo anterior?

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

17 / 35

Teorema de Bolzano (1817)


La conjetura que extraemos, y la interpretaci on geom etrica del teorema, es: Si una funci on f es continua en [a, b] y adem as f (a) y f (b) son de distinto signo, f tiene al menos un corte con el eje x (una ra z ) en (a, b). El teorema tiene una redacci on m as precisa:

Teorema
Sea f una funci on continua en [a, b], tal que f (a) y f (b) son de distinto signo. Entonces existe c (a, b) tal que f (c) = 0. Presentaremos a continuaci on la demostraci on de este teorema. Pero para ello, se hace necesario primero estudiar el teorema de conservaci on del signo.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

18 / 35

Teorema de Bolzano (1817)


La conjetura que extraemos, y la interpretaci on geom etrica del teorema, es: Si una funci on f es continua en [a, b] y adem as f (a) y f (b) son de distinto signo, f tiene al menos un corte con el eje x (una ra z ) en (a, b). El teorema tiene una redacci on m as precisa:

Teorema
Sea f una funci on continua en [a, b], tal que f (a) y f (b) son de distinto signo. Entonces existe c (a, b) tal que f (c) = 0. Presentaremos a continuaci on la demostraci on de este teorema. Pero para ello, se hace necesario primero estudiar el teorema de conservaci on del signo.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

18 / 35

Teorema de Bolzano (1817)


La conjetura que extraemos, y la interpretaci on geom etrica del teorema, es: Si una funci on f es continua en [a, b] y adem as f (a) y f (b) son de distinto signo, f tiene al menos un corte con el eje x (una ra z ) en (a, b). El teorema tiene una redacci on m as precisa:

Teorema
Sea f una funci on continua en [a, b], tal que f (a) y f (b) son de distinto signo. Entonces existe c (a, b) tal que f (c) = 0. Presentaremos a continuaci on la demostraci on de este teorema. Pero para ello, se hace necesario primero estudiar el teorema de conservaci on del signo.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

18 / 35

Teorema de Bolzano (1817)


La conjetura que extraemos, y la interpretaci on geom etrica del teorema, es: Si una funci on f es continua en [a, b] y adem as f (a) y f (b) son de distinto signo, f tiene al menos un corte con el eje x (una ra z ) en (a, b). El teorema tiene una redacci on m as precisa:

Teorema
Sea f una funci on continua en [a, b], tal que f (a) y f (b) son de distinto signo. Entonces existe c (a, b) tal que f (c) = 0. Presentaremos a continuaci on la demostraci on de este teorema. Pero para ello, se hace necesario primero estudiar el teorema de conservaci on del signo.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

18 / 35

Teorema de Bolzano (1817)


La conjetura que extraemos, y la interpretaci on geom etrica del teorema, es: Si una funci on f es continua en [a, b] y adem as f (a) y f (b) son de distinto signo, f tiene al menos un corte con el eje x (una ra z ) en (a, b). El teorema tiene una redacci on m as precisa:

Teorema
Sea f una funci on continua en [a, b], tal que f (a) y f (b) son de distinto signo. Entonces existe c (a, b) tal que f (c) = 0. Presentaremos a continuaci on la demostraci on de este teorema. Pero para ello, se hace necesario primero estudiar el teorema de conservaci on del signo.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

18 / 35

Teorema de Bolzano (1817)


La conjetura que extraemos, y la interpretaci on geom etrica del teorema, es: Si una funci on f es continua en [a, b] y adem as f (a) y f (b) son de distinto signo, f tiene al menos un corte con el eje x (una ra z ) en (a, b). El teorema tiene una redacci on m as precisa:

Teorema
Sea f una funci on continua en [a, b], tal que f (a) y f (b) son de distinto signo. Entonces existe c (a, b) tal que f (c) = 0. Presentaremos a continuaci on la demostraci on de este teorema. Pero para ello, se hace necesario primero estudiar el teorema de conservaci on del signo.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

18 / 35

Teorema de conservaci on del signo

Actividad
Supongamos que una funci on f es continua en c y f (c) > 0. C omo son todas las im agenes de alg un entorno en c? Y si f (c) < 0? Enuncia este resultado.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

19 / 35

Teorema de conservaci on del signo

Actividad
Supongamos que una funci on f es continua en c y f (c) > 0. C omo son todas las im agenes de alg un entorno en c? Y si f (c) < 0? Enuncia este resultado.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

19 / 35

Teorema de conservaci on del signo


Teorema
Si una funci on f es continua en c y f (c) = 0, existe un entorno (c , c + ) en el que f tiene el mismo signo que f (c).

Demostraci on.
Supongamos que f (c) > 0. Por denici on de continuidad en c, sabemos que para cada > 0, existe ... (completa). Se quiere demostrar que f (x) > 0 para todo x (c , c + ), para alg un > 0 . Observemos que |f (x) f (c)| < < f (x) f (c) < = f (x) > f (c) . Si se quiere que f (x) sea positivo, debe exigirse que f (c) > 0. debe ser mayor, igual o menor a f (c)? Qu e valor puede tomar , en funci on a f (c)? Con ese valor, c omo queda reescrita la desigualdad? Es posible, con la denici on de l mite, conseguir un > 0 que cumpla con esa condici on? Por qu e? Intenta demostrar para el caso que f (c) < 0.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 20 / 35

Teorema de conservaci on del signo


Teorema
Si una funci on f es continua en c y f (c) = 0, existe un entorno (c , c + ) en el que f tiene el mismo signo que f (c).

Demostraci on.
Supongamos que f (c) > 0. Por denici on de continuidad en c, sabemos que para cada > 0, existe ... (completa). Se quiere demostrar que f (x) > 0 para todo x (c , c + ), para alg un > 0 . Observemos que |f (x) f (c)| < < f (x) f (c) < = f (x) > f (c) . Si se quiere que f (x) sea positivo, debe exigirse que f (c) > 0. debe ser mayor, igual o menor a f (c)? Qu e valor puede tomar , en funci on a f (c)? Con ese valor, c omo queda reescrita la desigualdad? Es posible, con la denici on de l mite, conseguir un > 0 que cumpla con esa condici on? Por qu e? Intenta demostrar para el caso que f (c) < 0.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 20 / 35

Teorema de conservaci on del signo


Teorema
Si una funci on f es continua en c y f (c) = 0, existe un entorno (c , c + ) en el que f tiene el mismo signo que f (c).

Demostraci on.
Supongamos que f (c) > 0. Por denici on de continuidad en c, sabemos que para cada > 0, existe ... (completa). Se quiere demostrar que f (x) > 0 para todo x (c , c + ), para alg un > 0 . Observemos que |f (x) f (c)| < < f (x) f (c) < = f (x) > f (c) . Si se quiere que f (x) sea positivo, debe exigirse que f (c) > 0. debe ser mayor, igual o menor a f (c)? Qu e valor puede tomar , en funci on a f (c)? Con ese valor, c omo queda reescrita la desigualdad? Es posible, con la denici on de l mite, conseguir un > 0 que cumpla con esa condici on? Por qu e? Intenta demostrar para el caso que f (c) < 0.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 20 / 35

Teorema de conservaci on del signo


Teorema
Si una funci on f es continua en c y f (c) = 0, existe un entorno (c , c + ) en el que f tiene el mismo signo que f (c).

Demostraci on.
Supongamos que f (c) > 0. Por denici on de continuidad en c, sabemos que para cada > 0, existe ... (completa). Se quiere demostrar que f (x) > 0 para todo x (c , c + ), para alg un > 0 . Observemos que |f (x) f (c)| < < f (x) f (c) < = f (x) > f (c) . Si se quiere que f (x) sea positivo, debe exigirse que f (c) > 0. debe ser mayor, igual o menor a f (c)? Qu e valor puede tomar , en funci on a f (c)? Con ese valor, c omo queda reescrita la desigualdad? Es posible, con la denici on de l mite, conseguir un > 0 que cumpla con esa condici on? Por qu e? Intenta demostrar para el caso que f (c) < 0.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 20 / 35

Teorema de conservaci on del signo


Teorema
Si una funci on f es continua en c y f (c) = 0, existe un entorno (c , c + ) en el que f tiene el mismo signo que f (c).

Demostraci on.
Supongamos que f (c) > 0. Por denici on de continuidad en c, sabemos que para cada > 0, existe ... (completa). Se quiere demostrar que f (x) > 0 para todo x (c , c + ), para alg un > 0 . Observemos que |f (x) f (c)| < < f (x) f (c) < = f (x) > f (c) . Si se quiere que f (x) sea positivo, debe exigirse que f (c) > 0. debe ser mayor, igual o menor a f (c)? Qu e valor puede tomar , en funci on a f (c)? Con ese valor, c omo queda reescrita la desigualdad? Es posible, con la denici on de l mite, conseguir un > 0 que cumpla con esa condici on? Por qu e? Intenta demostrar para el caso que f (c) < 0.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 20 / 35

Teorema de conservaci on del signo


Teorema
Si una funci on f es continua en c y f (c) = 0, existe un entorno (c , c + ) en el que f tiene el mismo signo que f (c).

Demostraci on.
Supongamos que f (c) > 0. Por denici on de continuidad en c, sabemos que para cada > 0, existe ... (completa). Se quiere demostrar que f (x) > 0 para todo x (c , c + ), para alg un > 0 . Observemos que |f (x) f (c)| < < f (x) f (c) < = f (x) > f (c) . Si se quiere que f (x) sea positivo, debe exigirse que f (c) > 0. debe ser mayor, igual o menor a f (c)? Qu e valor puede tomar , en funci on a f (c)? Con ese valor, c omo queda reescrita la desigualdad? Es posible, con la denici on de l mite, conseguir un > 0 que cumpla con esa condici on? Por qu e? Intenta demostrar para el caso que f (c) < 0.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 20 / 35

Teorema de conservaci on del signo


Teorema
Si una funci on f es continua en c y f (c) = 0, existe un entorno (c , c + ) en el que f tiene el mismo signo que f (c).

Demostraci on.
Supongamos que f (c) > 0. Por denici on de continuidad en c, sabemos que para cada > 0, existe ... (completa). Se quiere demostrar que f (x) > 0 para todo x (c , c + ), para alg un > 0 . Observemos que |f (x) f (c)| < < f (x) f (c) < = f (x) > f (c) . Si se quiere que f (x) sea positivo, debe exigirse que f (c) > 0. debe ser mayor, igual o menor a f (c)? Qu e valor puede tomar , en funci on a f (c)? Con ese valor, c omo queda reescrita la desigualdad? Es posible, con la denici on de l mite, conseguir un > 0 que cumpla con esa condici on? Por qu e? Intenta demostrar para el caso que f (c) < 0.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 20 / 35

Teorema de conservaci on del signo


Teorema
Si una funci on f es continua en c y f (c) = 0, existe un entorno (c , c + ) en el que f tiene el mismo signo que f (c).

Demostraci on.
Supongamos que f (c) > 0. Por denici on de continuidad en c, sabemos que para cada > 0, existe ... (completa). Se quiere demostrar que f (x) > 0 para todo x (c , c + ), para alg un > 0 . Observemos que |f (x) f (c)| < < f (x) f (c) < = f (x) > f (c) . Si se quiere que f (x) sea positivo, debe exigirse que f (c) > 0. debe ser mayor, igual o menor a f (c)? Qu e valor puede tomar , en funci on a f (c)? Con ese valor, c omo queda reescrita la desigualdad? Es posible, con la denici on de l mite, conseguir un > 0 que cumpla con esa condici on? Por qu e? Intenta demostrar para el caso que f (c) < 0.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 20 / 35

Teorema de conservaci on del signo


Teorema
Si una funci on f es continua en c y f (c) = 0, existe un entorno (c , c + ) en el que f tiene el mismo signo que f (c).

Demostraci on.
Supongamos que f (c) > 0. Por denici on de continuidad en c, sabemos que para cada > 0, existe ... (completa). Se quiere demostrar que f (x) > 0 para todo x (c , c + ), para alg un > 0 . Observemos que |f (x) f (c)| < < f (x) f (c) < = f (x) > f (c) . Si se quiere que f (x) sea positivo, debe exigirse que f (c) > 0. debe ser mayor, igual o menor a f (c)? Qu e valor puede tomar , en funci on a f (c)? Con ese valor, c omo queda reescrita la desigualdad? Es posible, con la denici on de l mite, conseguir un > 0 que cumpla con esa condici on? Por qu e? Intenta demostrar para el caso que f (c) < 0.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 20 / 35

Teorema de conservaci on del signo


Teorema
Si una funci on f es continua en c y f (c) = 0, existe un entorno (c , c + ) en el que f tiene el mismo signo que f (c).

Demostraci on.
Supongamos que f (c) > 0. Por denici on de continuidad en c, sabemos que para cada > 0, existe ... (completa). Se quiere demostrar que f (x) > 0 para todo x (c , c + ), para alg un > 0 . Observemos que |f (x) f (c)| < < f (x) f (c) < = f (x) > f (c) . Si se quiere que f (x) sea positivo, debe exigirse que f (c) > 0. debe ser mayor, igual o menor a f (c)? Qu e valor puede tomar , en funci on a f (c)? Con ese valor, c omo queda reescrita la desigualdad? Es posible, con la denici on de l mite, conseguir un > 0 que cumpla con esa condici on? Por qu e? Intenta demostrar para el caso que f (c) < 0.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 20 / 35

Teorema de conservaci on del signo


Teorema
Si una funci on f es continua en c y f (c) = 0, existe un entorno (c , c + ) en el que f tiene el mismo signo que f (c).

Demostraci on.
Supongamos que f (c) > 0. Por denici on de continuidad en c, sabemos que para cada > 0, existe ... (completa). Se quiere demostrar que f (x) > 0 para todo x (c , c + ), para alg un > 0 . Observemos que |f (x) f (c)| < < f (x) f (c) < = f (x) > f (c) . Si se quiere que f (x) sea positivo, debe exigirse que f (c) > 0. debe ser mayor, igual o menor a f (c)? Qu e valor puede tomar , en funci on a f (c)? Con ese valor, c omo queda reescrita la desigualdad? Es posible, con la denici on de l mite, conseguir un > 0 que cumpla con esa condici on? Por qu e? Intenta demostrar para el caso que f (c) < 0.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 20 / 35

Teorema de conservaci on del signo


Teorema
Si una funci on f es continua en c y f (c) = 0, existe un entorno (c , c + ) en el que f tiene el mismo signo que f (c).

Demostraci on.
Supongamos que f (c) > 0. Por denici on de continuidad en c, sabemos que para cada > 0, existe ... (completa). Se quiere demostrar que f (x) > 0 para todo x (c , c + ), para alg un > 0 . Observemos que |f (x) f (c)| < < f (x) f (c) < = f (x) > f (c) . Si se quiere que f (x) sea positivo, debe exigirse que f (c) > 0. debe ser mayor, igual o menor a f (c)? Qu e valor puede tomar , en funci on a f (c)? Con ese valor, c omo queda reescrita la desigualdad? Es posible, con la denici on de l mite, conseguir un > 0 que cumpla con esa condici on? Por qu e? Intenta demostrar para el caso que f (c) < 0.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 20 / 35

Teorema de conservaci on del signo


Teorema
Si una funci on f es continua en c y f (c) = 0, existe un entorno (c , c + ) en el que f tiene el mismo signo que f (c).

Demostraci on.
Supongamos que f (c) > 0. Por denici on de continuidad en c, sabemos que para cada > 0, existe ... (completa). Se quiere demostrar que f (x) > 0 para todo x (c , c + ), para alg un > 0 . Observemos que |f (x) f (c)| < < f (x) f (c) < = f (x) > f (c) . Si se quiere que f (x) sea positivo, debe exigirse que f (c) > 0. debe ser mayor, igual o menor a f (c)? Qu e valor puede tomar , en funci on a f (c)? Con ese valor, c omo queda reescrita la desigualdad? Es posible, con la denici on de l mite, conseguir un > 0 que cumpla con esa condici on? Por qu e? Intenta demostrar para el caso que f (c) < 0.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 20 / 35

Teorema de conservaci on del signo


Teorema
Si una funci on f es continua en c y f (c) = 0, existe un entorno (c , c + ) en el que f tiene el mismo signo que f (c).

Demostraci on.
Supongamos que f (c) > 0. Por denici on de continuidad en c, sabemos que para cada > 0, existe ... (completa). Se quiere demostrar que f (x) > 0 para todo x (c , c + ), para alg un > 0 . Observemos que |f (x) f (c)| < < f (x) f (c) < = f (x) > f (c) . Si se quiere que f (x) sea positivo, debe exigirse que f (c) > 0. debe ser mayor, igual o menor a f (c)? Qu e valor puede tomar , en funci on a f (c)? Con ese valor, c omo queda reescrita la desigualdad? Es posible, con la denici on de l mite, conseguir un > 0 que cumpla con esa condici on? Por qu e? Intenta demostrar para el caso que f (c) < 0.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 20 / 35

Teorema de conservaci on del signo


Teorema
Si una funci on f es continua en c y f (c) = 0, existe un entorno (c , c + ) en el que f tiene el mismo signo que f (c).

Demostraci on.
Supongamos que f (c) > 0. Por denici on de continuidad en c, sabemos que para cada > 0, existe ... (completa). Se quiere demostrar que f (x) > 0 para todo x (c , c + ), para alg un > 0 . Observemos que |f (x) f (c)| < < f (x) f (c) < = f (x) > f (c) . Si se quiere que f (x) sea positivo, debe exigirse que f (c) > 0. debe ser mayor, igual o menor a f (c)? Qu e valor puede tomar , en funci on a f (c)? Con ese valor, c omo queda reescrita la desigualdad? Es posible, con la denici on de l mite, conseguir un > 0 que cumpla con esa condici on? Por qu e? Intenta demostrar para el caso que f (c) < 0.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 20 / 35

Teorema de conservaci on del signo


Teorema
Si una funci on f es continua en c y f (c) = 0, existe un entorno (c , c + ) en el que f tiene el mismo signo que f (c).

Demostraci on.
Supongamos que f (c) > 0. Por denici on de continuidad en c, sabemos que para cada > 0, existe ... (completa). Se quiere demostrar que f (x) > 0 para todo x (c , c + ), para alg un > 0 . Observemos que |f (x) f (c)| < < f (x) f (c) < = f (x) > f (c) . Si se quiere que f (x) sea positivo, debe exigirse que f (c) > 0. debe ser mayor, igual o menor a f (c)? Qu e valor puede tomar , en funci on a f (c)? Con ese valor, c omo queda reescrita la desigualdad? Es posible, con la denici on de l mite, conseguir un > 0 que cumpla con esa condici on? Por qu e? Intenta demostrar para el caso que f (c) < 0.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 20 / 35

Teorema de conservaci on del signo


Teorema
Si una funci on f es continua en c y f (c) = 0, existe un entorno (c , c + ) en el que f tiene el mismo signo que f (c).

Demostraci on.
Supongamos que f (c) > 0. Por denici on de continuidad en c, sabemos que para cada > 0, existe ... (completa). Se quiere demostrar que f (x) > 0 para todo x (c , c + ), para alg un > 0 . Observemos que |f (x) f (c)| < < f (x) f (c) < = f (x) > f (c) . Si se quiere que f (x) sea positivo, debe exigirse que f (c) > 0. debe ser mayor, igual o menor a f (c)? Qu e valor puede tomar , en funci on a f (c)? Con ese valor, c omo queda reescrita la desigualdad? Es posible, con la denici on de l mite, conseguir un > 0 que cumpla con esa condici on? Por qu e? Intenta demostrar para el caso que f (c) < 0.
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 20 / 35

Teorema de conservaci on del signo

Nota
Si existe continuidad a un lado de c, entonces existe el correspondiente intervalo unilateral (c, c + ) o (c , c) en el cual f tiene el mismo signo que f (c).

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

21 / 35

Teorema de conservaci on del signo

Nota
Si existe continuidad a un lado de c, entonces existe el correspondiente intervalo unilateral (c, c + ) o (c , c) en el cual f tiene el mismo signo que f (c).

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

21 / 35

Demostraci on del teorema de Bolzano


Demostraci on.
Supongamos que f (a) < 0 y f (b) > 0. Primero, tratemos de identicar cu al es el primer valor c de (a, b) tal que f (c) = 0 (dibuja una gr aca e identif calo). Para ello, se considera el conjunto A de los puntos x de [a, b] tales que f (x) 0, y se justicar a que tiene supremo: A es vac o? por qu e? es acotado? por qu e? Sea c = sup A. Es evidente que a < c < b, y se quiere demostrar que f (c) = 0. Las posibilidades son tres: f (c) > 0, f (c) < 0 y f (c) = 0. Probemos que las primeras dos no son posibles.
1

Sea f (c) > 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c , c) es f (x) > 0. Entonces, no hay ning un valor de A entre c y c; es decir, c es una cota superior de A, menor a c. Esto es coherente si c = sup A? Dada la contradicci on, concluimos que f (c) < 0 es imposible.

Sea f (c) < 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c, c + ) es f (x) < 0. Entonces, existe un x > c tal que f (x) < 0; en otras palabras, existe x A tal que x > c. Esto es coherente si c = sup A? En conclusi on, f (c) < 0 es imposible. As , la unica posibilidad es f (c) = 0. Esto concluye la demostraci on.
2 Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 22 / 35

Demostraci on del teorema de Bolzano


Demostraci on.
Supongamos que f (a) < 0 y f (b) > 0. Primero, tratemos de identicar cu al es el primer valor c de (a, b) tal que f (c) = 0 (dibuja una gr aca e identif calo). Para ello, se considera el conjunto A de los puntos x de [a, b] tales que f (x) 0, y se justicar a que tiene supremo: A es vac o? por qu e? es acotado? por qu e? Sea c = sup A. Es evidente que a < c < b, y se quiere demostrar que f (c) = 0. Las posibilidades son tres: f (c) > 0, f (c) < 0 y f (c) = 0. Probemos que las primeras dos no son posibles.
1

Sea f (c) > 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c , c) es f (x) > 0. Entonces, no hay ning un valor de A entre c y c; es decir, c es una cota superior de A, menor a c. Esto es coherente si c = sup A? Dada la contradicci on, concluimos que f (c) < 0 es imposible.

Sea f (c) < 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c, c + ) es f (x) < 0. Entonces, existe un x > c tal que f (x) < 0; en otras palabras, existe x A tal que x > c. Esto es coherente si c = sup A? En conclusi on, f (c) < 0 es imposible. As , la unica posibilidad es f (c) = 0. Esto concluye la demostraci on.
2 Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 22 / 35

Demostraci on del teorema de Bolzano


Demostraci on.
Supongamos que f (a) < 0 y f (b) > 0. Primero, tratemos de identicar cu al es el aca e identif calo). Para primer valor c de (a, b) tal que f (c) = 0 (dibuja una gr ello, se considera el conjunto A de los puntos x de [a, b] tales que f (x) 0, y se justicar a que tiene supremo: A es vac o? por qu e? es acotado? por qu e? Sea c = sup A. Es evidente que a < c < b, y se quiere demostrar que f (c) = 0. Las posibilidades son tres: f (c) > 0, f (c) < 0 y f (c) = 0. Probemos que las primeras dos no son posibles.
1

Sea f (c) > 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c , c) es f (x) > 0. Entonces, no hay ning un valor de A entre c y c; es decir, c es una cota superior de A, menor a c. Esto es coherente si c = sup A? Dada la contradicci on, concluimos que f (c) < 0 es imposible.

Sea f (c) < 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c, c + ) es f (x) < 0. Entonces, existe un x > c tal que f (x) < 0; en otras palabras, existe x A tal que x > c. Esto es coherente si c = sup A? En conclusi on, f (c) < 0 es imposible. As , la unica posibilidad es f (c) = 0. Esto concluye la demostraci on.
2 Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 22 / 35

Demostraci on del teorema de Bolzano


Demostraci on.
Supongamos que f (a) < 0 y f (b) > 0. Primero, tratemos de identicar cu al es el primer valor c de (a, b) tal que f (c) = 0 (dibuja una gr aca e identif calo). Para ello, se considera el conjunto A de los puntos x de [a, b] tales que f (x) 0, y se justicar a que tiene supremo: A es vac o? por qu e? es acotado? por qu e? Sea c = sup A. Es evidente que a < c < b, y se quiere demostrar que f (c) = 0. Las posibilidades son tres: f (c) > 0, f (c) < 0 y f (c) = 0. Probemos que las primeras dos no son posibles.
1

Sea f (c) > 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c , c) es f (x) > 0. Entonces, no hay ning un valor de A entre c y c; es decir, c es una cota superior de A, menor a c. Esto es coherente si c = sup A? Dada la contradicci on, concluimos que f (c) < 0 es imposible.

Sea f (c) < 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c, c + ) es f (x) < 0. Entonces, existe un x > c tal que f (x) < 0; en otras palabras, existe x A tal que x > c. Esto es coherente si c = sup A? En conclusi on, f (c) < 0 es imposible. As , la unica posibilidad es f (c) = 0. Esto concluye la demostraci on.
2 Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 22 / 35

Demostraci on del teorema de Bolzano


Demostraci on.
Supongamos que f (a) < 0 y f (b) > 0. Primero, tratemos de identicar cu al es el primer valor c de (a, b) tal que f (c) = 0 (dibuja una gr aca e identif calo). Para ello, se considera el conjunto A de los puntos x de [a, b] tales que f (x) 0, y se o? por qu e? es acotado? por qu e? Sea justicar a que tiene supremo: A es vac c = sup A. Es evidente que a < c < b, y se quiere demostrar que f (c) = 0. Las posibilidades son tres: f (c) > 0, f (c) < 0 y f (c) = 0. Probemos que las primeras dos no son posibles.
1

Sea f (c) > 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c , c) es f (x) > 0. Entonces, no hay ning un valor de A entre c y c; es decir, c es una cota superior de A, menor a c. Esto es coherente si c = sup A? Dada la contradicci on, concluimos que f (c) < 0 es imposible.

Sea f (c) < 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c, c + ) es f (x) < 0. Entonces, existe un x > c tal que f (x) < 0; en otras palabras, existe x A tal que x > c. Esto es coherente si c = sup A? En conclusi on, f (c) < 0 es imposible. As , la unica posibilidad es f (c) = 0. Esto concluye la demostraci on.
2 Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 22 / 35

Demostraci on del teorema de Bolzano


Demostraci on.
Supongamos que f (a) < 0 y f (b) > 0. Primero, tratemos de identicar cu al es el primer valor c de (a, b) tal que f (c) = 0 (dibuja una gr aca e identif calo). Para ello, se considera el conjunto A de los puntos x de [a, b] tales que f (x) 0, y se e? es acotado? por qu e? Sea justicar a que tiene supremo: A es vac o? por qu c = sup A. Es evidente que a < c < b, y se quiere demostrar que f (c) = 0. Las posibilidades son tres: f (c) > 0, f (c) < 0 y f (c) = 0. Probemos que las primeras dos no son posibles.
1

Sea f (c) > 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c , c) es f (x) > 0. Entonces, no hay ning un valor de A entre c y c; es decir, c es una cota superior de A, menor a c. Esto es coherente si c = sup A? Dada la contradicci on, concluimos que f (c) < 0 es imposible.

Sea f (c) < 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c, c + ) es f (x) < 0. Entonces, existe un x > c tal que f (x) < 0; en otras palabras, existe x A tal que x > c. Esto es coherente si c = sup A? En conclusi on, f (c) < 0 es imposible. As , la unica posibilidad es f (c) = 0. Esto concluye la demostraci on.
2 Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 22 / 35

Demostraci on del teorema de Bolzano


Demostraci on.
Supongamos que f (a) < 0 y f (b) > 0. Primero, tratemos de identicar cu al es el primer valor c de (a, b) tal que f (c) = 0 (dibuja una gr aca e identif calo). Para ello, se considera el conjunto A de los puntos x de [a, b] tales que f (x) 0, y se e? Sea justicar a que tiene supremo: A es vac o? por qu e? es acotado? por qu c = sup A. Es evidente que a < c < b, y se quiere demostrar que f (c) = 0. Las posibilidades son tres: f (c) > 0, f (c) < 0 y f (c) = 0. Probemos que las primeras dos no son posibles.
1

Sea f (c) > 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c , c) es f (x) > 0. Entonces, no hay ning un valor de A entre c y c; es decir, c es una cota superior de A, menor a c. Esto es coherente si c = sup A? Dada la contradicci on, concluimos que f (c) < 0 es imposible.

Sea f (c) < 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c, c + ) es f (x) < 0. Entonces, existe un x > c tal que f (x) < 0; en otras palabras, existe x A tal que x > c. Esto es coherente si c = sup A? En conclusi on, f (c) < 0 es imposible. As , la unica posibilidad es f (c) = 0. Esto concluye la demostraci on.
2 Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 22 / 35

Demostraci on del teorema de Bolzano


Demostraci on.
Supongamos que f (a) < 0 y f (b) > 0. Primero, tratemos de identicar cu al es el primer valor c de (a, b) tal que f (c) = 0 (dibuja una gr aca e identif calo). Para ello, se considera el conjunto A de los puntos x de [a, b] tales que f (x) 0, y se e? Sea justicar a que tiene supremo: A es vac o? por qu e? es acotado? por qu c = sup A. Es evidente que a < c < b, y se quiere demostrar que f (c) = 0. Las posibilidades son tres: f (c) > 0, f (c) < 0 y f (c) = 0. Probemos que las primeras dos no son posibles.
1

Sea f (c) > 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c , c) es f (x) > 0. Entonces, no hay ning un valor de A entre c y c; es decir, c es una cota superior de A, menor a c. Esto es coherente si c = sup A? Dada la contradicci on, concluimos que f (c) < 0 es imposible.

Sea f (c) < 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c, c + ) es f (x) < 0. Entonces, existe un x > c tal que f (x) < 0; en otras palabras, existe x A tal que x > c. Esto es coherente si c = sup A? En conclusi on, f (c) < 0 es imposible. As , la unica posibilidad es f (c) = 0. Esto concluye la demostraci on.
2 Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 22 / 35

Demostraci on del teorema de Bolzano


Demostraci on.
Supongamos que f (a) < 0 y f (b) > 0. Primero, tratemos de identicar cu al es el primer valor c de (a, b) tal que f (c) = 0 (dibuja una gr aca e identif calo). Para ello, se considera el conjunto A de los puntos x de [a, b] tales que f (x) 0, y se justicar a que tiene supremo: A es vac o? por qu e? es acotado? por qu e? Sea c = sup A. Es evidente que a < c < b, y se quiere demostrar que f (c) = 0. Las posibilidades son tres: f (c) > 0, f (c) < 0 y f (c) = 0. Probemos que las primeras dos no son posibles.
1

Sea f (c) > 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c , c) es f (x) > 0. Entonces, no hay ning un valor de A entre c y c; es decir, c es una cota superior de A, menor a c. Esto es coherente si c = sup A? Dada la contradicci on, concluimos que f (c) < 0 es imposible.

Sea f (c) < 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c, c + ) es f (x) < 0. Entonces, existe un x > c tal que f (x) < 0; en otras palabras, existe x A tal que x > c. Esto es coherente si c = sup A? En conclusi on, f (c) < 0 es imposible. As , la unica posibilidad es f (c) = 0. Esto concluye la demostraci on.
2 Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 22 / 35

Demostraci on del teorema de Bolzano


Demostraci on.
Supongamos que f (a) < 0 y f (b) > 0. Primero, tratemos de identicar cu al es el primer valor c de (a, b) tal que f (c) = 0 (dibuja una gr aca e identif calo). Para ello, se considera el conjunto A de los puntos x de [a, b] tales que f (x) 0, y se justicar a que tiene supremo: A es vac o? por qu e? es acotado? por qu e? Sea c = sup A. Es evidente que a < c < b, y se quiere demostrar que f (c) = 0. Las posibilidades son tres: f (c) > 0, f (c) < 0 y f (c) = 0. Probemos que las primeras dos no son posibles.
1

Sea f (c) > 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c , c) es f (x) > 0. Entonces, no hay ning un valor de A entre c y c; es decir, c es una cota superior de A, menor a c. Esto es coherente si c = sup A? Dada la contradicci on, concluimos que f (c) < 0 es imposible.

Sea f (c) < 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c, c + ) es f (x) < 0. Entonces, existe un x > c tal que f (x) < 0; en otras palabras, existe x A tal que x > c. Esto es coherente si c = sup A? En conclusi on, f (c) < 0 es imposible. As , la unica posibilidad es f (c) = 0. Esto concluye la demostraci on.
2 Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 22 / 35

Demostraci on del teorema de Bolzano


Demostraci on.
Supongamos que f (a) < 0 y f (b) > 0. Primero, tratemos de identicar cu al es el primer valor c de (a, b) tal que f (c) = 0 (dibuja una gr aca e identif calo). Para ello, se considera el conjunto A de los puntos x de [a, b] tales que f (x) 0, y se justicar a que tiene supremo: A es vac o? por qu e? es acotado? por qu e? Sea c = sup A. Es evidente que a < c < b, y se quiere demostrar que f (c) = 0. Las posibilidades son tres: f (c) > 0, f (c) < 0 y f (c) = 0. Probemos que las primeras dos no son posibles.
1

Sea f (c) > 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c , c) es f (x) > 0. Entonces, no hay ning un valor de A entre c y c; es decir, c es una cota superior de A, menor a c. Esto es coherente si c = sup A? Dada la contradicci on, concluimos que f (c) < 0 es imposible.

Sea f (c) < 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c, c + ) es f (x) < 0. Entonces, existe un x > c tal que f (x) < 0; en otras palabras, existe x A tal que x > c. Esto es coherente si c = sup A? En conclusi on, f (c) < 0 es imposible. As , la unica posibilidad es f (c) = 0. Esto concluye la demostraci on.
2 Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 22 / 35

Demostraci on del teorema de Bolzano


Demostraci on.
Supongamos que f (a) < 0 y f (b) > 0. Primero, tratemos de identicar cu al es el primer valor c de (a, b) tal que f (c) = 0 (dibuja una gr aca e identif calo). Para ello, se considera el conjunto A de los puntos x de [a, b] tales que f (x) 0, y se justicar a que tiene supremo: A es vac o? por qu e? es acotado? por qu e? Sea c = sup A. Es evidente que a < c < b, y se quiere demostrar que f (c) = 0. Las posibilidades son tres: f (c) > 0, f (c) < 0 y f (c) = 0. Probemos que las primeras dos no son posibles.
1

Sea f (c) > 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c , c) es f (x) > 0. Entonces, no hay ning un valor de A entre c y c; es decir, c es una cota superior de A, menor a c. Esto es coherente si c = sup A? Dada la contradicci on, concluimos que f (c) < 0 es imposible.

Sea f (c) < 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c, c + ) es f (x) < 0. Entonces, existe un x > c tal que f (x) < 0; en otras palabras, existe x A tal que x > c. Esto es coherente si c = sup A? En conclusi on, f (c) < 0 es imposible. As , la unica posibilidad es f (c) = 0. Esto concluye la demostraci on.
2 Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 22 / 35

Demostraci on del teorema de Bolzano


Demostraci on.
Supongamos que f (a) < 0 y f (b) > 0. Primero, tratemos de identicar cu al es el primer valor c de (a, b) tal que f (c) = 0 (dibuja una gr aca e identif calo). Para ello, se considera el conjunto A de los puntos x de [a, b] tales que f (x) 0, y se justicar a que tiene supremo: A es vac o? por qu e? es acotado? por qu e? Sea c = sup A. Es evidente que a < c < b, y se quiere demostrar que f (c) = 0. Las posibilidades son tres: f (c) > 0, f (c) < 0 y f (c) = 0. Probemos que las primeras dos no son posibles.
1

Sea f (c) > 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c , c) es f (x) > 0. Entonces, no hay ning un valor de A entre c y c; es decir, c es una cota superior de A, menor a c. Esto es coherente si c = sup A? Dada la contradicci on, concluimos que f (c) < 0 es imposible.

Sea f (c) < 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c, c + ) es f (x) < 0. Entonces, existe un x > c tal que f (x) < 0; en otras palabras, existe x A tal que x > c. Esto es coherente si c = sup A? En conclusi on, f (c) < 0 es imposible. As , la unica posibilidad es f (c) = 0. Esto concluye la demostraci on.
2 Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 22 / 35

Demostraci on del teorema de Bolzano


Demostraci on.
Supongamos que f (a) < 0 y f (b) > 0. Primero, tratemos de identicar cu al es el primer valor c de (a, b) tal que f (c) = 0 (dibuja una gr aca e identif calo). Para ello, se considera el conjunto A de los puntos x de [a, b] tales que f (x) 0, y se justicar a que tiene supremo: A es vac o? por qu e? es acotado? por qu e? Sea c = sup A. Es evidente que a < c < b, y se quiere demostrar que f (c) = 0. Las posibilidades son tres: f (c) > 0, f (c) < 0 y f (c) = 0. Probemos que las primeras dos no son posibles.
1

Sea f (c) > 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c , c) es f (x) > 0. Entonces, no hay ning un valor de A entre c y c; es decir, c es una cota superior de A, menor a c. Esto es coherente si c = sup A? Dada la contradicci on, concluimos que f (c) < 0 es imposible.

Sea f (c) < 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c, c + ) es f (x) < 0. Entonces, existe un x > c tal que f (x) < 0; en otras palabras, existe x A tal que x > c. Esto es coherente si c = sup A? En conclusi on, f (c) < 0 es imposible. As , la unica posibilidad es f (c) = 0. Esto concluye la demostraci on.
2 Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 22 / 35

Demostraci on del teorema de Bolzano


Demostraci on.
Supongamos que f (a) < 0 y f (b) > 0. Primero, tratemos de identicar cu al es el primer valor c de (a, b) tal que f (c) = 0 (dibuja una gr aca e identif calo). Para ello, se considera el conjunto A de los puntos x de [a, b] tales que f (x) 0, y se justicar a que tiene supremo: A es vac o? por qu e? es acotado? por qu e? Sea c = sup A. Es evidente que a < c < b, y se quiere demostrar que f (c) = 0. Las posibilidades son tres: f (c) > 0, f (c) < 0 y f (c) = 0. Probemos que las primeras dos no son posibles.
1

Sea f (c) > 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c , c) es f (x) > 0. Entonces, no hay ning un valor de A entre c y c; es decir, c es una cota superior de A, menor a c. Esto es coherente si c = sup A? Dada la contradicci on, concluimos que f (c) < 0 es imposible.

Sea f (c) < 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c, c + ) es f (x) < 0. Entonces, existe un x > c tal que f (x) < 0; en otras palabras, existe x A tal que x > c. Esto es coherente si c = sup A? En conclusi on, f (c) < 0 es imposible. As , la unica posibilidad es f (c) = 0. Esto concluye la demostraci on.
2 Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 22 / 35

Demostraci on del teorema de Bolzano


Demostraci on.
Supongamos que f (a) < 0 y f (b) > 0. Primero, tratemos de identicar cu al es el primer valor c de (a, b) tal que f (c) = 0 (dibuja una gr aca e identif calo). Para ello, se considera el conjunto A de los puntos x de [a, b] tales que f (x) 0, y se justicar a que tiene supremo: A es vac o? por qu e? es acotado? por qu e? Sea c = sup A. Es evidente que a < c < b, y se quiere demostrar que f (c) = 0. Las posibilidades son tres: f (c) > 0, f (c) < 0 y f (c) = 0. Probemos que las primeras dos no son posibles.
1

Sea f (c) > 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c , c) es f (x) > 0. Entonces, no hay ning un valor de A entre c y c; es decir, c es una cota superior de A, menor a c. Esto es coherente si c = sup A? Dada la contradicci on, concluimos que f (c) < 0 es imposible.

Sea f (c) < 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c, c + ) es f (x) < 0. Entonces, existe un x > c tal que f (x) < 0; en otras palabras, existe x A tal que x > c. Esto es coherente si c = sup A? En conclusi on, f (c) < 0 es imposible. As , la unica posibilidad es f (c) = 0. Esto concluye la demostraci on.
2 Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 22 / 35

Demostraci on del teorema de Bolzano


Demostraci on.
Supongamos que f (a) < 0 y f (b) > 0. Primero, tratemos de identicar cu al es el primer valor c de (a, b) tal que f (c) = 0 (dibuja una gr aca e identif calo). Para ello, se considera el conjunto A de los puntos x de [a, b] tales que f (x) 0, y se justicar a que tiene supremo: A es vac o? por qu e? es acotado? por qu e? Sea c = sup A. Es evidente que a < c < b, y se quiere demostrar que f (c) = 0. Las posibilidades son tres: f (c) > 0, f (c) < 0 y f (c) = 0. Probemos que las primeras dos no son posibles.
1

Sea f (c) > 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c , c) es f (x) > 0. Entonces, no hay ning un valor de A entre c y c; es decir, c es una cota superior de A, menor a c. Esto es coherente si c = sup A? Dada la contradicci on, concluimos que f (c) < 0 es imposible.

Sea f (c) < 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c, c + ) es f (x) < 0. Entonces, existe un x > c tal que f (x) < 0; en otras palabras, existe x A tal que x > c. Esto es coherente si c = sup A? En conclusi on, f (c) < 0 es imposible. As , la unica posibilidad es f (c) = 0. Esto concluye la demostraci on.
2 Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 22 / 35

Demostraci on del teorema de Bolzano


Demostraci on.
Supongamos que f (a) < 0 y f (b) > 0. Primero, tratemos de identicar cu al es el primer valor c de (a, b) tal que f (c) = 0 (dibuja una gr aca e identif calo). Para ello, se considera el conjunto A de los puntos x de [a, b] tales que f (x) 0, y se justicar a que tiene supremo: A es vac o? por qu e? es acotado? por qu e? Sea c = sup A. Es evidente que a < c < b, y se quiere demostrar que f (c) = 0. Las posibilidades son tres: f (c) > 0, f (c) < 0 y f (c) = 0. Probemos que las primeras dos no son posibles.
1

Sea f (c) > 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c , c) es f (x) > 0. Entonces, no hay ning un valor de A entre c y c; es decir, c es una cota superior de A, menor a c. Esto es coherente si c = sup A? Dada la contradicci on, concluimos que f (c) < 0 es imposible.

Sea f (c) < 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c, c + ) es f (x) < 0. Entonces, existe un x > c tal que f (x) < 0; en otras palabras, existe x A tal que x > c. Esto es coherente si c = sup A? En conclusi on, f (c) < 0 es imposible. As , la unica posibilidad es f (c) = 0. Esto concluye la demostraci on.
2 Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 22 / 35

Demostraci on del teorema de Bolzano


Demostraci on.
Supongamos que f (a) < 0 y f (b) > 0. Primero, tratemos de identicar cu al es el primer valor c de (a, b) tal que f (c) = 0 (dibuja una gr aca e identif calo). Para ello, se considera el conjunto A de los puntos x de [a, b] tales que f (x) 0, y se justicar a que tiene supremo: A es vac o? por qu e? es acotado? por qu e? Sea c = sup A. Es evidente que a < c < b, y se quiere demostrar que f (c) = 0. Las posibilidades son tres: f (c) > 0, f (c) < 0 y f (c) = 0. Probemos que las primeras dos no son posibles.
1

Sea f (c) > 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c , c) es f (x) > 0. Entonces, no hay ning un valor de A entre c y c; es decir, c es una cota superior de A, menor a c. Esto es coherente si c = sup A? Dada la contradicci on, concluimos que f (c) < 0 es imposible.

Sea f (c) < 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c, c + ) es f (x) < 0. Entonces, existe un x > c tal que f (x) < 0; en otras palabras, existe x A tal que x > c. Esto es coherente si c = sup A? En conclusi on, f (c) < 0 es imposible. As , la unica posibilidad es f (c) = 0. Esto concluye la demostraci on.
2 Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 22 / 35

Demostraci on del teorema de Bolzano


Demostraci on.
Supongamos que f (a) < 0 y f (b) > 0. Primero, tratemos de identicar cu al es el primer valor c de (a, b) tal que f (c) = 0 (dibuja una gr aca e identif calo). Para ello, se considera el conjunto A de los puntos x de [a, b] tales que f (x) 0, y se justicar a que tiene supremo: A es vac o? por qu e? es acotado? por qu e? Sea c = sup A. Es evidente que a < c < b, y se quiere demostrar que f (c) = 0. Las posibilidades son tres: f (c) > 0, f (c) < 0 y f (c) = 0. Probemos que las primeras dos no son posibles.
1

Sea f (c) > 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c , c) es f (x) > 0. Entonces, no hay ning un valor de A entre c y c; es decir, c es una cota superior de A, menor a c. Esto es coherente si c = sup A? Dada la contradicci on, concluimos que f (c) < 0 es imposible.

Sea f (c) < 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c, c + ) es f (x) < 0. Entonces, existe un x > c tal que f (x) < 0; en otras palabras, existe x A tal que x > c. Esto es coherente si c = sup A? En conclusi on, f (c) < 0 es imposible. As , la unica posibilidad es f (c) = 0. Esto concluye la demostraci on.
2 Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 22 / 35

Demostraci on del teorema de Bolzano


Demostraci on.
Supongamos que f (a) < 0 y f (b) > 0. Primero, tratemos de identicar cu al es el primer valor c de (a, b) tal que f (c) = 0 (dibuja una gr aca e identif calo). Para ello, se considera el conjunto A de los puntos x de [a, b] tales que f (x) 0, y se justicar a que tiene supremo: A es vac o? por qu e? es acotado? por qu e? Sea c = sup A. Es evidente que a < c < b, y se quiere demostrar que f (c) = 0. Las posibilidades son tres: f (c) > 0, f (c) < 0 y f (c) = 0. Probemos que las primeras dos no son posibles.
1

Sea f (c) > 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c , c) es f (x) > 0. Entonces, no hay ning un valor de A entre c y c; es decir, c es una cota superior de A, menor a c. Esto es coherente si c = sup A? Dada la contradicci on, concluimos que f (c) < 0 es imposible.

Sea f (c) < 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c, c + ) es f (x) < 0. Entonces, existe un x > c tal que f (x) < 0; en otras palabras, existe x A tal que x > c. Esto es coherente si c = sup A? En conclusi on, f (c) < 0 es imposible. As , la unica posibilidad es f (c) = 0. Esto concluye la demostraci on.
2 Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 22 / 35

Demostraci on del teorema de Bolzano


Demostraci on.
Supongamos que f (a) < 0 y f (b) > 0. Primero, tratemos de identicar cu al es el primer valor c de (a, b) tal que f (c) = 0 (dibuja una gr aca e identif calo). Para ello, se considera el conjunto A de los puntos x de [a, b] tales que f (x) 0, y se justicar a que tiene supremo: A es vac o? por qu e? es acotado? por qu e? Sea c = sup A. Es evidente que a < c < b, y se quiere demostrar que f (c) = 0. Las posibilidades son tres: f (c) > 0, f (c) < 0 y f (c) = 0. Probemos que las primeras dos no son posibles.
1

Sea f (c) > 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c , c) es f (x) > 0. Entonces, no hay ning un valor de A entre c y c; es decir, c es una cota superior de A, menor a c. Esto es coherente si c = sup A? Dada la contradicci on, concluimos que f (c) < 0 es imposible.

Sea f (c) < 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c, c + ) es f (x) < 0. Entonces, existe un x > c tal que f (x) < 0; en otras palabras, existe x A tal que x > c. Esto es coherente si c = sup A? En conclusi on, f (c) < 0 es imposible. As , la unica posibilidad es f (c) = 0. Esto concluye la demostraci on.
2 Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 22 / 35

Demostraci on del teorema de Bolzano


Demostraci on.
Supongamos que f (a) < 0 y f (b) > 0. Primero, tratemos de identicar cu al es el primer valor c de (a, b) tal que f (c) = 0 (dibuja una gr aca e identif calo). Para ello, se considera el conjunto A de los puntos x de [a, b] tales que f (x) 0, y se justicar a que tiene supremo: A es vac o? por qu e? es acotado? por qu e? Sea c = sup A. Es evidente que a < c < b, y se quiere demostrar que f (c) = 0. Las posibilidades son tres: f (c) > 0, f (c) < 0 y f (c) = 0. Probemos que las primeras dos no son posibles.
1

Sea f (c) > 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c , c) es f (x) > 0. Entonces, no hay ning un valor de A entre c y c; es decir, c es una cota superior de A, menor a c. Esto es coherente si c = sup A? Dada la contradicci on, concluimos que f (c) < 0 es imposible.

Sea f (c) < 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c, c + ) es f (x) < 0. Entonces, existe un x > c tal que f (x) < 0; en otras palabras, existe x A tal que x > c. Esto es coherente si c = sup A? En conclusi on, f (c) < 0 es imposible. As , la unica posibilidad es f (c) = 0. Esto concluye la demostraci on.
2 Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 22 / 35

Demostraci on del teorema de Bolzano


Demostraci on.
Supongamos que f (a) < 0 y f (b) > 0. Primero, tratemos de identicar cu al es el primer valor c de (a, b) tal que f (c) = 0 (dibuja una gr aca e identif calo). Para ello, se considera el conjunto A de los puntos x de [a, b] tales que f (x) 0, y se justicar a que tiene supremo: A es vac o? por qu e? es acotado? por qu e? Sea c = sup A. Es evidente que a < c < b, y se quiere demostrar que f (c) = 0. Las posibilidades son tres: f (c) > 0, f (c) < 0 y f (c) = 0. Probemos que las primeras dos no son posibles.
1

Sea f (c) > 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c , c) es f (x) > 0. Entonces, no hay ning un valor de A entre c y c; es decir, c es una cota superior de A, menor a c. Esto es coherente si c = sup A? Dada la contradicci on, concluimos que f (c) < 0 es imposible.

Sea f (c) < 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c, c + ) es f (x) < 0. Entonces, existe un x > c tal que f (x) < 0; en otras palabras, existe x A tal que x > c. Esto es coherente si c = sup A? En conclusi on, f (c) < 0 es imposible. As , la unica posibilidad es f (c) = 0. Esto concluye la demostraci on.
2 Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 22 / 35

Demostraci on del teorema de Bolzano


Demostraci on.
Supongamos que f (a) < 0 y f (b) > 0. Primero, tratemos de identicar cu al es el primer valor c de (a, b) tal que f (c) = 0 (dibuja una gr aca e identif calo). Para ello, se considera el conjunto A de los puntos x de [a, b] tales que f (x) 0, y se justicar a que tiene supremo: A es vac o? por qu e? es acotado? por qu e? Sea c = sup A. Es evidente que a < c < b, y se quiere demostrar que f (c) = 0. Las posibilidades son tres: f (c) > 0, f (c) < 0 y f (c) = 0. Probemos que las primeras dos no son posibles.
1

Sea f (c) > 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c , c) es f (x) > 0. Entonces, no hay ning un valor de A entre c y c; es decir, c es una cota superior de A, menor a c. Esto es coherente si c = sup A? Dada la contradicci on, concluimos que f (c) < 0 es imposible.

Sea f (c) < 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c, c + ) es f (x) < 0. Entonces, existe un x > c tal que f (x) < 0; en otras palabras, existe x A tal que x > c. Esto es coherente si c = sup A? En conclusi on, f (c) < 0 es imposible. As , la unica posibilidad es f (c) = 0. Esto concluye la demostraci on.
2 Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 22 / 35

Demostraci on del teorema de Bolzano


Demostraci on.
Supongamos que f (a) < 0 y f (b) > 0. Primero, tratemos de identicar cu al es el primer valor c de (a, b) tal que f (c) = 0 (dibuja una gr aca e identif calo). Para ello, se considera el conjunto A de los puntos x de [a, b] tales que f (x) 0, y se justicar a que tiene supremo: A es vac o? por qu e? es acotado? por qu e? Sea c = sup A. Es evidente que a < c < b, y se quiere demostrar que f (c) = 0. Las posibilidades son tres: f (c) > 0, f (c) < 0 y f (c) = 0. Probemos que las primeras dos no son posibles.
1

Sea f (c) > 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c , c) es f (x) > 0. Entonces, no hay ning un valor de A entre c y c; es decir, c es una cota superior de A, menor a c. Esto es coherente si c = sup A? Dada la contradicci on, concluimos que f (c) < 0 es imposible.

Sea f (c) < 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c, c + ) es f (x) < 0. Entonces, existe un x > c tal que f (x) < 0; en otras palabras, existe x A tal que x > c. Esto es coherente si c = sup A? En conclusi on, f (c) < 0 es imposible. As , la unica posibilidad es f (c) = 0. Esto concluye la demostraci on.
2 Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 22 / 35

Demostraci on del teorema de Bolzano


Demostraci on.
Supongamos que f (a) < 0 y f (b) > 0. Primero, tratemos de identicar cu al es el primer valor c de (a, b) tal que f (c) = 0 (dibuja una gr aca e identif calo). Para ello, se considera el conjunto A de los puntos x de [a, b] tales que f (x) 0, y se justicar a que tiene supremo: A es vac o? por qu e? es acotado? por qu e? Sea c = sup A. Es evidente que a < c < b, y se quiere demostrar que f (c) = 0. Las posibilidades son tres: f (c) > 0, f (c) < 0 y f (c) = 0. Probemos que las primeras dos no son posibles.
1

Sea f (c) > 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c , c) es f (x) > 0. Entonces, no hay ning un valor de A entre c y c; es decir, c es una cota superior de A, menor a c. Esto es coherente si c = sup A? Dada la contradicci on, concluimos que f (c) < 0 es imposible.

Sea f (c) < 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c, c + ) es f (x) < 0. Entonces, existe un x > c tal que f (x) < 0; en otras palabras, existe x A tal que x > c. Esto es coherente si c = sup A? En conclusi on, f (c) < 0 es imposible. As , la unica posibilidad es f (c) = 0. Esto concluye la demostraci on.
2 Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 22 / 35

Demostraci on del teorema de Bolzano


Demostraci on.
Supongamos que f (a) < 0 y f (b) > 0. Primero, tratemos de identicar cu al es el primer valor c de (a, b) tal que f (c) = 0 (dibuja una gr aca e identif calo). Para ello, se considera el conjunto A de los puntos x de [a, b] tales que f (x) 0, y se justicar a que tiene supremo: A es vac o? por qu e? es acotado? por qu e? Sea c = sup A. Es evidente que a < c < b, y se quiere demostrar que f (c) = 0. Las posibilidades son tres: f (c) > 0, f (c) < 0 y f (c) = 0. Probemos que las primeras dos no son posibles.
1

Sea f (c) > 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c , c) es f (x) > 0. Entonces, no hay ning un valor de A entre c y c; es decir, c es una cota superior de A, menor a c. Esto es coherente si c = sup A? Dada la contradicci on, concluimos que f (c) < 0 es imposible.

Sea f (c) < 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c, c + ) es f (x) < 0. Entonces, existe un x > c tal que f (x) < 0; en otras palabras, existe x A tal que x > c. Esto es coherente si c = sup A? En conclusi on, f (c) < 0 es imposible. As , la unica posibilidad es f (c) = 0. Esto concluye la demostraci on.
2 Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 22 / 35

Demostraci on del teorema de Bolzano


Demostraci on.
Supongamos que f (a) < 0 y f (b) > 0. Primero, tratemos de identicar cu al es el primer valor c de (a, b) tal que f (c) = 0 (dibuja una gr aca e identif calo). Para ello, se considera el conjunto A de los puntos x de [a, b] tales que f (x) 0, y se justicar a que tiene supremo: A es vac o? por qu e? es acotado? por qu e? Sea c = sup A. Es evidente que a < c < b, y se quiere demostrar que f (c) = 0. Las posibilidades son tres: f (c) > 0, f (c) < 0 y f (c) = 0. Probemos que las primeras dos no son posibles.
1

Sea f (c) > 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c , c) es f (x) > 0. Entonces, no hay ning un valor de A entre c y c; es decir, c es una cota superior de A, menor a c. Esto es coherente si c = sup A? Dada la contradicci on, concluimos que f (c) < 0 es imposible.

Sea f (c) < 0. Si se aplica el teorema de conservaci on del signo, qu e se tiene? En particular, para todo x (c, c + ) es f (x) < 0. Entonces, existe un x > c tal que f (x) < 0; en otras palabras, existe x A tal que x > c. Esto es coherente si c = sup A? En conclusi on, f (c) < 0 es imposible. As , la unica posibilidad es f (c) = 0. Esto concluye la demostraci on.
2 Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 22 / 35

Bernardo Bolzano (17811848)

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

23 / 35

Teorema del valor intermedio

Una generalizaci on de la idea geom etrica del teorema de Bolzano se plasma en el teorema del valor intermedio, que veremos a continuaci on.

Actividad
Dibuja una funci on f continua en [a, b], con f (a) = f (b), que 1 tome todos los valores comprendidos entre f (a) y f (b);
2 3

no tome alg un valor k entre f (a) y f (b). Qu e conjetura podemos formular?

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

24 / 35

Teorema del valor intermedio

Una generalizaci on de la idea geom etrica del teorema de Bolzano se plasma en el teorema del valor intermedio, que veremos a continuaci on.

Actividad
Dibuja una funci on f continua en [a, b], con f (a) = f (b), que 1 tome todos los valores comprendidos entre f (a) y f (b);
2 3

no tome alg un valor k entre f (a) y f (b). Qu e conjetura podemos formular?

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

24 / 35

Teorema del valor intermedio

Una generalizaci on de la idea geom etrica del teorema de Bolzano se plasma en el teorema del valor intermedio, que veremos a continuaci on.

Actividad
Dibuja una funci on f continua en [a, b], con f (a) = f (b), que 1 tome todos los valores comprendidos entre f (a) y f (b);
2 3

no tome alg un valor k entre f (a) y f (b). Qu e conjetura podemos formular?

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

24 / 35

Teorema del valor intermedio

Una generalizaci on de la idea geom etrica del teorema de Bolzano se plasma en el teorema del valor intermedio, que veremos a continuaci on.

Actividad
Dibuja una funci on f continua en [a, b], con f (a) = f (b), que 1 tome todos los valores comprendidos entre f (a) y f (b);
2 3

no tome alg un valor k entre f (a) y f (b). Qu e conjetura podemos formular?

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

24 / 35

Teorema del valor intermedio

Una generalizaci on de la idea geom etrica del teorema de Bolzano se plasma en el teorema del valor intermedio, que veremos a continuaci on.

Actividad
Dibuja una funci on f continua en [a, b], con f (a) = f (b), que 1 tome todos los valores comprendidos entre f (a) y f (b);
2 3

no tome alg un valor k entre f (a) y f (b). Qu e conjetura podemos formular?

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

24 / 35

Teorema del valor intermedio

Una generalizaci on de la idea geom etrica del teorema de Bolzano se plasma en el teorema del valor intermedio, que veremos a continuaci on.

Actividad
Dibuja una funci on f continua en [a, b], con f (a) = f (b), que 1 tome todos los valores comprendidos entre f (a) y f (b);
2 3

no tome alg un valor k entre f (a) y f (b). Qu e conjetura podemos formular?

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

24 / 35

Teorema del valor intermedio

Una generalizaci on de la idea geom etrica del teorema de Bolzano se plasma en el teorema del valor intermedio, que veremos a continuaci on.

Actividad
Dibuja una funci on f continua en [a, b], con f (a) = f (b), que 1 tome todos los valores comprendidos entre f (a) y f (b);
2 3

no tome alg un valor k entre f (a) y f (b). Qu e conjetura podemos formular?

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

24 / 35

Teorema del valor intermedio


Teorema
Sea f una funci on continua en [a, b]. Si f (a) = f (b), todo k entre f (a) y f (b) tiene al menos un c (a, b) tal que f (c) = k.

Demostraci on.
Supongamos que f (a) < f (b); sea f (a) < k < f (b). Consideremos la funci on auxiliar : [a, b] R, denida por (x) = f (x) k. Se pretende comprobar que ( ) tiene las condiciones de Bolzano, para luego aplicar el teorema.
1 2

Verica que cumple con las condiciones de Bolzano. Qu e resultado se obtiene tras aplicar el teorema?

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

25 / 35

Teorema del valor intermedio


Teorema
Sea f una funci on continua en [a, b]. Si f (a) = f (b), todo k entre f (a) y f (b) tiene al menos un c (a, b) tal que f (c) = k.

Demostraci on.
Supongamos que f (a) < f (b); sea f (a) < k < f (b). Consideremos la funci on auxiliar : [a, b] R, denida por (x) = f (x) k. Se pretende comprobar que ( ) tiene las condiciones de Bolzano, para luego aplicar el teorema.
1 2

Verica que cumple con las condiciones de Bolzano. Qu e resultado se obtiene tras aplicar el teorema?

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

25 / 35

Teorema del valor intermedio


Teorema
Sea f una funci on continua en [a, b]. Si f (a) = f (b), todo k entre f (a) y f (b) tiene al menos un c (a, b) tal que f (c) = k.

Demostraci on.
Supongamos que f (a) < f (b); sea f (a) < k < f (b). Consideremos la funci on auxiliar : [a, b] R, denida por (x) = f (x) k. Se pretende comprobar que ( ) tiene las condiciones de Bolzano, para luego aplicar el teorema.
1 2

Verica que cumple con las condiciones de Bolzano. Qu e resultado se obtiene tras aplicar el teorema?

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

25 / 35

Teorema del valor intermedio


Teorema
Sea f una funci on continua en [a, b]. Si f (a) = f (b), todo k entre f (a) y f (b) tiene al menos un c (a, b) tal que f (c) = k.

Demostraci on.
Supongamos que f (a) < f (b); sea f (a) < k < f (b). Consideremos la funci on auxiliar : [a, b] R, denida por (x) = f (x) k. Se pretende comprobar que ( ) tiene las condiciones de Bolzano, para luego aplicar el teorema.
1 2

Verica que cumple con las condiciones de Bolzano. Qu e resultado se obtiene tras aplicar el teorema?

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

25 / 35

Teorema del valor intermedio


Teorema
Sea f una funci on continua en [a, b]. Si f (a) = f (b), todo k entre f (a) y f (b) tiene al menos un c (a, b) tal que f (c) = k.

Demostraci on.
Supongamos que f (a) < f (b); sea f (a) < k < f (b). Consideremos la funci on auxiliar : [a, b] R, denida por (x) = f (x) k. Se pretende comprobar que ( ) tiene las condiciones de Bolzano, para luego aplicar el teorema.
1 2

Verica que cumple con las condiciones de Bolzano. Qu e resultado se obtiene tras aplicar el teorema?

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

25 / 35

Teorema del valor intermedio


Teorema
Sea f una funci on continua en [a, b]. Si f (a) = f (b), todo k entre f (a) y f (b) tiene al menos un c (a, b) tal que f (c) = k.

Demostraci on.
Supongamos que f (a) < f (b); sea f (a) < k < f (b). Consideremos la funci on auxiliar : [a, b] R, denida por (x) = f (x) k. Se pretende comprobar que ( ) tiene las condiciones de Bolzano, para luego aplicar el teorema.
1 2

Verica que cumple con las condiciones de Bolzano. Qu e resultado se obtiene tras aplicar el teorema?

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

25 / 35

Teorema del valor intermedio


Teorema
Sea f una funci on continua en [a, b]. Si f (a) = f (b), todo k entre f (a) y f (b) tiene al menos un c (a, b) tal que f (c) = k.

Demostraci on.
Supongamos que f (a) < f (b); sea f (a) < k < f (b). Consideremos la funci on auxiliar : [a, b] R, denida por (x) = f (x) k. Se pretende comprobar que ( ) tiene las condiciones de Bolzano, para luego aplicar el teorema.
1 2

Verica que cumple con las condiciones de Bolzano. Qu e resultado se obtiene tras aplicar el teorema?

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

25 / 35

Teorema del valor intermedio


Teorema
Sea f una funci on continua en [a, b]. Si f (a) = f (b), todo k entre f (a) y f (b) tiene al menos un c (a, b) tal que f (c) = k.

Demostraci on.
Supongamos que f (a) < f (b); sea f (a) < k < f (b). Consideremos la funci on auxiliar : [a, b] R, denida por (x) = f (x) k. Se pretende comprobar que ( ) tiene las condiciones de Bolzano, para luego aplicar el teorema.
1 2

Verica que cumple con las condiciones de Bolzano. Qu e resultado se obtiene tras aplicar el teorema?

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

25 / 35

Funci on acotada

Una funci on se dice acotada cuando su gr aca se contiene en una banda horizontal. M as precisamente, cuando existe C > 0 tal que C < f (x) < C , para todo x del dominio de f , lo que es equivalente a |f (x)| < C . Gr acamente, los valores de f (x) se encuentran dentro del intervalo vertical (C, C ).

Actividad
Escribe una denici on de funci on acotada, usando la desigualdad con valor absoluto.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

26 / 35

Funci on acotada

Una funci on se dice acotada cuando su gr aca se contiene en una banda horizontal. M as precisamente, cuando existe C > 0 tal que C < f (x) < C , para todo x del dominio de f , lo que es equivalente a |f (x)| < C . Gr acamente, los valores de f (x) se encuentran dentro del intervalo vertical (C, C ).

Actividad
Escribe una denici on de funci on acotada, usando la desigualdad con valor absoluto.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

26 / 35

Funci on acotada

Una funci on se dice acotada cuando su gr aca se contiene en una banda horizontal. M as precisamente, cuando existe C > 0 tal que C < f (x) < C , para todo x del dominio de f , lo que es equivalente a |f (x)| < C . Gr acamente, los valores de f (x) se encuentran dentro del intervalo vertical (C, C ).

Actividad
Escribe una denici on de funci on acotada, usando la desigualdad con valor absoluto.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

26 / 35

Funci on acotada

Una funci on se dice acotada cuando su gr aca se contiene en una banda horizontal. M as precisamente, cuando existe C > 0 tal que C < f (x) < C , para todo x del dominio de f , lo que es equivalente a |f (x)| < C . Gr acamente, los valores de f (x) se encuentran dentro del intervalo vertical (C, C ).

Actividad
Escribe una denici on de funci on acotada, usando la desigualdad con valor absoluto.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

26 / 35

Funci on acotada

Una funci on se dice acotada cuando su gr aca se contiene en una banda horizontal. M as precisamente, cuando existe C > 0 tal que C < f (x) < C , para todo x del dominio de f , lo que es equivalente a |f (x)| < C . Gr acamente, los valores de f (x) se encuentran dentro del intervalo vertical (C, C ).

Actividad
Escribe una denici on de funci on acotada, usando la desigualdad con valor absoluto.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

26 / 35

Teorema de acotaci on
Este teorema ser a util para el lema que vendr a.

Teorema
Una funci on f continua en a est a acotada en un entorno de a. Esto es: existe C > 0 y > 0 tal que |x a| < implica |f (x)| < C .

Demostraci on.
Si f es continua en a, qu e se tiene por la denici on , tomando = 1? Luego |f (x)| = |f (x)f (a) + f (a)| |f (x) f (a)| + |f (a)| < 1 + |f (a)| ; la primera desigualdad se debe a la desigualdad triangular del valor absoluto; la ultima se debe a que |f (x) f (a)| < 1. Basta tomar C = 1 + |f (a)| para culminar la demostraci on.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

27 / 35

Teorema de acotaci on
Este teorema ser a util para el lema que vendr a.

Teorema
Una funci on f continua en a est a acotada en un entorno de a. Esto es: existe C > 0 y > 0 tal que |x a| < implica |f (x)| < C .

Demostraci on.
Si f es continua en a, qu e se tiene por la denici on , tomando = 1? Luego |f (x)| = |f (x)f (a) + f (a)| |f (x) f (a)| + |f (a)| < 1 + |f (a)| ; la primera desigualdad se debe a la desigualdad triangular del valor absoluto; la ultima se debe a que |f (x) f (a)| < 1. Basta tomar C = 1 + |f (a)| para culminar la demostraci on.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

27 / 35

Teorema de acotaci on
Este teorema ser a util para el lema que vendr a.

Teorema
Una funci on f continua en a est a acotada en un entorno de a. Esto es: existe C > 0 y > 0 tal que |x a| < implica |f (x)| < C .

Demostraci on.
Si f es continua en a, qu e se tiene por la denici on , tomando = 1? Luego |f (x)| = |f (x)f (a) + f (a)| |f (x) f (a)| + |f (a)| < 1 + |f (a)| ; la primera desigualdad se debe a la desigualdad triangular del valor absoluto; la ultima se debe a que |f (x) f (a)| < 1. Basta tomar C = 1 + |f (a)| para culminar la demostraci on.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

27 / 35

Teorema de acotaci on
Este teorema ser a util para el lema que vendr a.

Teorema
Una funci on f continua en a est a acotada en un entorno de a. Esto es: existe C > 0 y > 0 tal que |x a| < implica |f (x)| < C .

Demostraci on.
Si f es continua en a, qu e se tiene por la denici on , tomando = 1? Luego |f (x)| = |f (x)f (a) + f (a)| |f (x) f (a)| + |f (a)| < 1 + |f (a)| ; la primera desigualdad se debe a la desigualdad triangular del valor absoluto; la ultima se debe a que |f (x) f (a)| < 1. Basta tomar C = 1 + |f (a)| para culminar la demostraci on.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

27 / 35

Teorema de acotaci on
Este teorema ser a util para el lema que vendr a.

Teorema
Una funci on f continua en a est a acotada en un entorno de a. Esto es: existe C > 0 y > 0 tal que |x a| < implica |f (x)| < C .

Demostraci on.
Si f es continua en a, qu e se tiene por la denici on , tomando = 1? Luego |f (x)| = |f (x)f (a) + f (a)| |f (x) f (a)| + |f (a)| < 1 + |f (a)| ; la primera desigualdad se debe a la desigualdad triangular del valor absoluto; la ultima se debe a que |f (x) f (a)| < 1. Basta tomar C = 1 + |f (a)| para culminar la demostraci on.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

27 / 35

Teorema de acotaci on
Este teorema ser a util para el lema que vendr a.

Teorema
Una funci on f continua en a est a acotada en un entorno de a. Esto es: existe C > 0 y > 0 tal que |x a| < implica |f (x)| < C .

Demostraci on.
Si f es continua en a, qu e se tiene por la denici on , tomando = 1? Luego |f (x)| = |f (x)f (a) + f (a)| |f (x) f (a)| + |f (a)| < 1 + |f (a)| ; la primera desigualdad se debe a la desigualdad triangular del valor absoluto; la ultima se debe a que |f (x) f (a)| < 1. Basta tomar C = 1 + |f (a)| para culminar la demostraci on.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

27 / 35

Teorema de acotaci on
Este teorema ser a util para el lema que vendr a.

Teorema
Una funci on f continua en a est a acotada en un entorno de a. Esto es: existe C > 0 y > 0 tal que |x a| < implica |f (x)| < C .

Demostraci on.
Si f es continua en a, qu e se tiene por la denici on , tomando = 1? Luego |f (x)| = |f (x)f (a) + f (a)| |f (x) f (a)| + |f (a)| < 1 + |f (a)| ; la primera desigualdad se debe a la desigualdad triangular del valor absoluto; la ultima se debe a que |f (x) f (a)| < 1. Basta tomar C = 1 + |f (a)| para culminar la demostraci on.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

27 / 35

Teorema de acotaci on
Este teorema ser a util para el lema que vendr a.

Teorema
Una funci on f continua en a est a acotada en un entorno de a. Esto es: existe C > 0 y > 0 tal que |x a| < implica |f (x)| < C .

Demostraci on.
Si f es continua en a, qu e se tiene por la denici on , tomando = 1? Luego |f (x)| = |f (x)f (a) + f (a)| |f (x) f (a)| + |f (a)| < 1 + |f (a)| ; la primera desigualdad se debe a la desigualdad triangular del valor absoluto; la ultima se debe a que |f (x) f (a)| < 1. Basta tomar C = 1 + |f (a)| para culminar la demostraci on.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

27 / 35

Teorema de acotaci on
Este teorema ser a util para el lema que vendr a.

Teorema
Una funci on f continua en a est a acotada en un entorno de a. Esto es: existe C > 0 y > 0 tal que |x a| < implica |f (x)| < C .

Demostraci on.
Si f es continua en a, qu e se tiene por la denici on , tomando = 1? Luego |f (x)| = |f (x)f (a) + f (a)| |f (x) f (a)| + |f (a)| < 1 + |f (a)| ; la primera desigualdad se debe a la desigualdad triangular del valor absoluto; la ultima se debe a que |f (x) f (a)| < 1. Basta tomar C = 1 + |f (a)| para culminar la demostraci on.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

27 / 35

Teorema de acotaci on
Este teorema ser a util para el lema que vendr a.

Teorema
Una funci on f continua en a est a acotada en un entorno de a. Esto es: existe C > 0 y > 0 tal que |x a| < implica |f (x)| < C .

Demostraci on.
Si f es continua en a, qu e se tiene por la denici on , tomando = 1? Luego |f (x)| = |f (x)f (a) + f (a)| |f (x) f (a)| + |f (a)| < 1 + |f (a)| ; la primera desigualdad se debe a la desigualdad triangular del valor absoluto; la ultima se debe a que |f (x) f (a)| < 1. Basta tomar C = 1 + |f (a)| para culminar la demostraci on.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

27 / 35

Lema y teorema de Weierstrass


Veremos ahora el ultimo teorema fundamental de las funciones continuas: una funci on continua en [a, b] tiene m aximo y m nimo. Pero para llegar a ese resultado, desde el punto de vista l ogico-deductivo, precisamos primero conocer y demostrar el lema de Weierstrass, necesario para su demostraci on.

Actividad
Representa, si es posible, una funci on f en [a, b] que:
1 2 3 4

sea continua y acotada. sea no continua y no acotada. sea no continua y acotada. sea continua pero no acotada.

Algo para comentar? Enuncia lo que te parece necesario.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

28 / 35

Lema y teorema de Weierstrass


Veremos ahora el ultimo teorema fundamental de las funciones continuas: una funci on continua en [a, b] tiene m aximo y m nimo. Pero para llegar a ese resultado, desde el punto de vista l ogico-deductivo, precisamos primero conocer y demostrar el lema de Weierstrass, necesario para su demostraci on.

Actividad
Representa, si es posible, una funci on f en [a, b] que:
1 2 3 4

sea continua y acotada. sea no continua y no acotada. sea no continua y acotada. sea continua pero no acotada.

Algo para comentar? Enuncia lo que te parece necesario.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

28 / 35

Lema y teorema de Weierstrass


Veremos ahora el ultimo teorema fundamental de las funciones continuas: una funci on continua en [a, b] tiene m aximo y m nimo. Pero para llegar a ese resultado, desde el punto de vista l ogico-deductivo, precisamos primero conocer y demostrar el lema de Weierstrass, necesario para su demostraci on.

Actividad
Representa, si es posible, una funci on f en [a, b] que:
1 2 3 4

sea continua y acotada. sea no continua y no acotada. sea no continua y acotada. sea continua pero no acotada.

Algo para comentar? Enuncia lo que te parece necesario.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

28 / 35

Lema y teorema de Weierstrass


Veremos ahora el ultimo teorema fundamental de las funciones continuas: una funci on continua en [a, b] tiene m aximo y m nimo. Pero para llegar a ese resultado, desde el punto de vista l ogico-deductivo, precisamos primero conocer y demostrar el lema de Weierstrass, necesario para su demostraci on.

Actividad
Representa, si es posible, una funci on f en [a, b] que:
1 2 3 4

sea continua y acotada. sea no continua y no acotada. sea no continua y acotada. sea continua pero no acotada.

Algo para comentar? Enuncia lo que te parece necesario.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

28 / 35

Lema y teorema de Weierstrass


Veremos ahora el ultimo teorema fundamental de las funciones continuas: una funci on continua en [a, b] tiene m aximo y m nimo. Pero para llegar a ese resultado, desde el punto de vista l ogico-deductivo, precisamos primero conocer y demostrar el lema de Weierstrass, necesario para su demostraci on.

Actividad
Representa, si es posible, una funci on f en [a, b] que:
1 2 3 4

sea continua y acotada. sea no continua y no acotada. sea no continua y acotada. sea continua pero no acotada.

Algo para comentar? Enuncia lo que te parece necesario.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

28 / 35

Lema y teorema de Weierstrass


Veremos ahora el ultimo teorema fundamental de las funciones continuas: una funci on continua en [a, b] tiene m aximo y m nimo. Pero para llegar a ese resultado, desde el punto de vista l ogico-deductivo, precisamos primero conocer y demostrar el lema de Weierstrass, necesario para su demostraci on.

Actividad
Representa, si es posible, una funci on f en [a, b] que:
1 2 3 4

sea continua y acotada. sea no continua y no acotada. sea no continua y acotada. sea continua pero no acotada.

Algo para comentar? Enuncia lo que te parece necesario.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

28 / 35

Lema y teorema de Weierstrass


Veremos ahora el ultimo teorema fundamental de las funciones continuas: una funci on continua en [a, b] tiene m aximo y m nimo. Pero para llegar a ese resultado, desde el punto de vista l ogico-deductivo, precisamos primero conocer y demostrar el lema de Weierstrass, necesario para su demostraci on.

Actividad
Representa, si es posible, una funci on f en [a, b] que:
1 2 3 4

sea continua y acotada. sea no continua y no acotada. sea no continua y acotada. sea continua pero no acotada.

Algo para comentar? Enuncia lo que te parece necesario.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

28 / 35

Lema y teorema de Weierstrass


Veremos ahora el ultimo teorema fundamental de las funciones continuas: una funci on continua en [a, b] tiene m aximo y m nimo. Pero para llegar a ese resultado, desde el punto de vista l ogico-deductivo, precisamos primero conocer y demostrar el lema de Weierstrass, necesario para su demostraci on.

Actividad
Representa, si es posible, una funci on f en [a, b] que:
1 2 3 4

sea continua y acotada. sea no continua y no acotada. sea no continua y acotada. sea continua pero no acotada.

Algo para comentar? Enuncia lo que te parece necesario.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

28 / 35

Lema y teorema de Weierstrass


Veremos ahora el ultimo teorema fundamental de las funciones continuas: una funci on continua en [a, b] tiene m aximo y m nimo. Pero para llegar a ese resultado, desde el punto de vista l ogico-deductivo, precisamos primero conocer y demostrar el lema de Weierstrass, necesario para su demostraci on.

Actividad
Representa, si es posible, una funci on f en [a, b] que:
1 2 3 4

sea continua y acotada. sea no continua y no acotada. sea no continua y acotada. sea continua pero no acotada.

Algo para comentar? Enuncia lo que te parece necesario.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

28 / 35

Lema
Una funci on f continua en un intervalo [a, b] est a acotada en [a, b].

Demostraci on.
Consideremos el conjunto A de los puntos x de [a, b] donde f est a acotada en [a, x]. A es vac o? por qu e? Es acotado? Qu e asegura la completitud? Sea = sup A. Lo que primero se trata de demostrar es que = b (que f sea acotada en cualquier intervalo [a, x] con x < b). Supongamos por absurdo que < b. Aplicando el teorema de acotaci on sobre , qu e se tiene? Se tiene que existe un entorno ( , + ) en el que f est a acotada. Sean x0 y x1 dos puntos tales que < x0 < < x1 < + . f est a acotada en [a, x0 ]? Por qu e? f est a acotada en [x0 , x1 ]? Por qu e? Qu e se deduce, entonces, de f en [a, x0 ] [x0 , x1 ] = [a, x1 ]? Como f est a acotada en [a, x1 ], se tiene que x1 A, pero x1 > = sup A. Esto es coherente? Suponer que < b nos condujo a un error; por tanto, = b y f est a acotada, al menos, en todo [a, x] con x < b. Para completar la demostraci on, mostremos que f est a acotada en un intervalo [x0 , b], con x0 < b. f est a acotada en alg un (b , b]? Por qu e? Sea x0 un punto tal que b < x0 < b. Por lo probado primero, f est a acotada en [a, x0 ], y como tambi en lo est a en [x0 , b] (por qu e?), se concluye que f est a acotada en todo el intervalo [a, b].
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 29 / 35

Lema
Una funci on f continua en un intervalo [a, b] est a acotada en [a, b].

Demostraci on.
Consideremos el conjunto A de los puntos x de [a, b] donde f est a acotada en [a, x]. A es vac o? por qu e? Es acotado? Qu e asegura la completitud? Sea = sup A. Lo que primero se trata de demostrar es que = b (que f sea acotada en cualquier intervalo [a, x] con x < b). Supongamos por absurdo que < b. Aplicando el teorema de acotaci on sobre , qu e se tiene? Se tiene que existe un entorno ( , + ) en el que f est a acotada. Sean x0 y x1 dos puntos tales que < x0 < < x1 < + . f est a acotada en [a, x0 ]? Por qu e? f est a acotada en [x0 , x1 ]? Por qu e? Qu e se deduce, entonces, de f en [a, x0 ] [x0 , x1 ] = [a, x1 ]? Como f est a acotada en [a, x1 ], se tiene que x1 A, pero x1 > = sup A. Esto es coherente? Suponer que < b nos condujo a un error; por tanto, = b y f est a acotada, al menos, en todo [a, x] con x < b. Para completar la demostraci on, mostremos que f est a acotada en un intervalo [x0 , b], con x0 < b. f est a acotada en alg un (b , b]? Por qu e? Sea x0 un punto tal que b < x0 < b. Por lo probado primero, f est a acotada en [a, x0 ], y como tambi en lo est a en [x0 , b] (por qu e?), se concluye que f est a acotada en todo el intervalo [a, b].
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 29 / 35

Lema
Una funci on f continua en un intervalo [a, b] est a acotada en [a, b].

Demostraci on.
Consideremos el conjunto A de los puntos x de [a, b] donde f est a acotada en [a, x]. A es vac o? por qu e? Es acotado? Qu e asegura la completitud? Sea = sup A. Lo que primero se trata de demostrar es que = b (que f sea acotada en cualquier intervalo [a, x] con x < b). Supongamos por absurdo que < b. Aplicando el teorema de acotaci on sobre , qu e se tiene? Se tiene que existe un entorno ( , + ) en el que f est a acotada. Sean x0 y x1 dos puntos tales que < x0 < < x1 < + . f est a acotada en [a, x0 ]? Por qu e? f est a acotada en [x0 , x1 ]? Por qu e? Qu e se deduce, entonces, de f en [a, x0 ] [x0 , x1 ] = [a, x1 ]? Como f est a acotada en [a, x1 ], se tiene que x1 A, pero x1 > = sup A. Esto es coherente? Suponer que < b nos condujo a un error; por tanto, = b y f est a acotada, al menos, en todo [a, x] con x < b. Para completar la demostraci on, mostremos que f est a acotada en un intervalo [x0 , b], con x0 < b. f est a acotada en alg un (b , b]? Por qu e? Sea x0 un punto tal que b < x0 < b. Por lo probado primero, f est a acotada en [a, x0 ], y como tambi en lo est a en [x0 , b] (por qu e?), se concluye que f est a acotada en todo el intervalo [a, b].
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 29 / 35

Lema
Una funci on f continua en un intervalo [a, b] est a acotada en [a, b].

Demostraci on.
Consideremos el conjunto A de los puntos x de [a, b] donde f est a acotada en [a, x]. A es vac o? por qu e? Es acotado? Qu e asegura la completitud? Sea = sup A. Lo que primero se trata de demostrar es que = b (que f sea acotada en cualquier intervalo [a, x] con x < b). Supongamos por absurdo que < b. Aplicando el teorema de acotaci on sobre , qu e se tiene? Se tiene que existe un entorno ( , + ) en el que f est a acotada. Sean x0 y x1 dos puntos tales que < x0 < < x1 < + . f est a acotada en [a, x0 ]? Por qu e? f est a acotada en [x0 , x1 ]? Por qu e? Qu e se deduce, entonces, de f en [a, x0 ] [x0 , x1 ] = [a, x1 ]? Como f est a acotada en [a, x1 ], se tiene que x1 A, pero x1 > = sup A. Esto es coherente? Suponer que < b nos condujo a un error; por tanto, = b y f est a acotada, al menos, en todo [a, x] con x < b. Para completar la demostraci on, mostremos que f est a acotada en un intervalo [x0 , b], con x0 < b. f est a acotada en alg un (b , b]? Por qu e? Sea x0 un punto tal que b < x0 < b. Por lo probado primero, f est a acotada en [a, x0 ], y como tambi en lo est a en [x0 , b] (por qu e?), se concluye que f est a acotada en todo el intervalo [a, b].
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 29 / 35

Lema
Una funci on f continua en un intervalo [a, b] est a acotada en [a, b].

Demostraci on.
Consideremos el conjunto A de los puntos x de [a, b] donde f est a acotada en [a, x]. A es vac o? por qu e? Es acotado? Qu e asegura la completitud? Sea = sup A. Lo que primero se trata de demostrar es que = b (que f sea acotada en cualquier intervalo [a, x] con x < b). Supongamos por absurdo que < b. Aplicando el teorema de acotaci on sobre , qu e se tiene? Se tiene que existe un entorno ( , + ) en el que f est a acotada. Sean x0 y x1 dos puntos tales que < x0 < < x1 < + . f est a acotada en [a, x0 ]? Por qu e? f est a acotada en [x0 , x1 ]? Por qu e? Qu e se deduce, entonces, de f en [a, x0 ] [x0 , x1 ] = [a, x1 ]? Como f est a acotada en [a, x1 ], se tiene que x1 A, pero x1 > = sup A. Esto es coherente? Suponer que < b nos condujo a un error; por tanto, = b y f est a acotada, al menos, en todo [a, x] con x < b. Para completar la demostraci on, mostremos que f est a acotada en un intervalo [x0 , b], con x0 < b. f est a acotada en alg un (b , b]? Por qu e? Sea x0 un punto tal que b < x0 < b. Por lo probado primero, f est a acotada en [a, x0 ], y como tambi en lo est a en [x0 , b] (por qu e?), se concluye que f est a acotada en todo el intervalo [a, b].
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 29 / 35

Lema
Una funci on f continua en un intervalo [a, b] est a acotada en [a, b].

Demostraci on.
Consideremos el conjunto A de los puntos x de [a, b] donde f est a acotada en [a, x]. A es vac o? por qu e? Es acotado? Qu e asegura la completitud? Sea = sup A. Lo que primero se trata de demostrar es que = b (que f sea acotada en cualquier intervalo [a, x] con x < b). Supongamos por absurdo que < b. Aplicando el teorema de acotaci on sobre , qu e se tiene? Se tiene que existe un entorno ( , + ) en el que f est a acotada. Sean x0 y x1 dos puntos tales que < x0 < < x1 < + . f est a acotada en [a, x0 ]? Por qu e? f est a acotada en [x0 , x1 ]? Por qu e? Qu e se deduce, entonces, de f en [a, x0 ] [x0 , x1 ] = [a, x1 ]? Como f est a acotada en [a, x1 ], se tiene que x1 A, pero x1 > = sup A. Esto es coherente? Suponer que < b nos condujo a un error; por tanto, = b y f est a acotada, al menos, en todo [a, x] con x < b. Para completar la demostraci on, mostremos que f est a acotada en un intervalo [x0 , b], con x0 < b. f est a acotada en alg un (b , b]? Por qu e? Sea x0 un punto tal que b < x0 < b. Por lo probado primero, f est a acotada en [a, x0 ], y como tambi en lo est a en [x0 , b] (por qu e?), se concluye que f est a acotada en todo el intervalo [a, b].
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 29 / 35

Lema
Una funci on f continua en un intervalo [a, b] est a acotada en [a, b].

Demostraci on.
Consideremos el conjunto A de los puntos x de [a, b] donde f est a acotada en [a, x]. A es vac o? por qu e? Es acotado? Qu e asegura la completitud? Sea = sup A. Lo que primero se trata de demostrar es que = b (que f sea acotada en cualquier intervalo [a, x] con x < b). Supongamos por absurdo que < b. Aplicando el teorema de acotaci on sobre , qu e se tiene? Se tiene que existe un entorno ( , + ) en el que f est a acotada. Sean x0 y x1 dos puntos tales que < x0 < < x1 < + . f est a acotada en [a, x0 ]? Por qu e? f est a acotada en [x0 , x1 ]? Por qu e? Qu e se deduce, entonces, de f en [a, x0 ] [x0 , x1 ] = [a, x1 ]? Como f est a acotada en [a, x1 ], se tiene que x1 A, pero x1 > = sup A. Esto es coherente? Suponer que < b nos condujo a un error; por tanto, = b y f est a acotada, al menos, en todo [a, x] con x < b. Para completar la demostraci on, mostremos que f est a acotada en un intervalo [x0 , b], con x0 < b. f est a acotada en alg un (b , b]? Por qu e? Sea x0 un punto tal que b < x0 < b. Por lo probado primero, f est a acotada en [a, x0 ], y como tambi en lo est a en [x0 , b] (por qu e?), se concluye que f est a acotada en todo el intervalo [a, b].
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 29 / 35

Lema
Una funci on f continua en un intervalo [a, b] est a acotada en [a, b].

Demostraci on.
Consideremos el conjunto A de los puntos x de [a, b] donde f est a acotada en [a, x]. A es vac o? por qu e? Es acotado? Qu e asegura la completitud? Sea = sup A. Lo que primero se trata de demostrar es que = b (que f sea acotada en cualquier intervalo [a, x] con x < b). Supongamos por absurdo que < b. Aplicando el teorema de acotaci on sobre , qu e se tiene? Se tiene que existe un entorno ( , + ) en el que f est a acotada. Sean x0 y x1 dos puntos tales que < x0 < < x1 < + . f est a acotada en [a, x0 ]? Por qu e? f est a acotada en [x0 , x1 ]? Por qu e? Qu e se deduce, entonces, de f en [a, x0 ] [x0 , x1 ] = [a, x1 ]? Como f est a acotada en [a, x1 ], se tiene que x1 A, pero x1 > = sup A. Esto es coherente? Suponer que < b nos condujo a un error; por tanto, = b y f est a acotada, al menos, en todo [a, x] con x < b. Para completar la demostraci on, mostremos que f est a acotada en un intervalo [x0 , b], con x0 < b. f est a acotada en alg un (b , b]? Por qu e? Sea x0 un punto tal que b < x0 < b. Por lo probado primero, f est a acotada en [a, x0 ], y como tambi en lo est a en [x0 , b] (por qu e?), se concluye que f est a acotada en todo el intervalo [a, b].
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 29 / 35

Lema
Una funci on f continua en un intervalo [a, b] est a acotada en [a, b].

Demostraci on.
Consideremos el conjunto A de los puntos x de [a, b] donde f est a acotada en [a, x]. A es vac o? por qu e? Es acotado? Qu e asegura la completitud? Sea = sup A. Lo que primero se trata de demostrar es que = b (que f sea acotada en cualquier intervalo [a, x] con x < b). Supongamos por absurdo que < b. Aplicando el teorema de acotaci on sobre , qu e se tiene? Se tiene que existe un entorno ( , + ) en el que f est a acotada. Sean x0 y x1 dos puntos tales que < x0 < < x1 < + . f est a acotada en [a, x0 ]? Por qu e? f est a acotada en [x0 , x1 ]? Por qu e? Qu e se deduce, entonces, de f en [a, x0 ] [x0 , x1 ] = [a, x1 ]? Como f est a acotada en [a, x1 ], se tiene que x1 A, pero x1 > = sup A. Esto es coherente? Suponer que < b nos condujo a un error; por tanto, = b y f est a acotada, al menos, en todo [a, x] con x < b. Para completar la demostraci on, mostremos que f est a acotada en un intervalo [x0 , b], con x0 < b. f est a acotada en alg un (b , b]? Por qu e? Sea x0 un punto tal que b < x0 < b. Por lo probado primero, f est a acotada en [a, x0 ], y como tambi en lo est a en [x0 , b] (por qu e?), se concluye que f est a acotada en todo el intervalo [a, b].
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 29 / 35

Lema
Una funci on f continua en un intervalo [a, b] est a acotada en [a, b].

Demostraci on.
Consideremos el conjunto A de los puntos x de [a, b] donde f est a acotada en [a, x]. A es vac o? por qu e? Es acotado? Qu e asegura la completitud? Sea = sup A. Lo que primero se trata de demostrar es que = b (que f sea acotada en cualquier intervalo [a, x] con x < b). Supongamos por absurdo que < b. Aplicando el teorema de acotaci on sobre , qu e se tiene? Se tiene que existe un entorno ( , + ) en el que f est a acotada. Sean x0 y x1 dos puntos tales que < x0 < < x1 < + . f est a acotada en [a, x0 ]? Por qu e? f est a acotada en [x0 , x1 ]? Por qu e? Qu e se deduce, entonces, de f en [a, x0 ] [x0 , x1 ] = [a, x1 ]? Como f est a acotada en [a, x1 ], se tiene que x1 A, pero x1 > = sup A. Esto es coherente? Suponer que < b nos condujo a un error; por tanto, = b y f est a acotada, al menos, en todo [a, x] con x < b. Para completar la demostraci on, mostremos que f est a acotada en un intervalo [x0 , b], con x0 < b. f est a acotada en alg un (b , b]? Por qu e? Sea x0 un punto tal que b < x0 < b. Por lo probado primero, f est a acotada en [a, x0 ], y como tambi en lo est a en [x0 , b] (por qu e?), se concluye que f est a acotada en todo el intervalo [a, b].
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 29 / 35

Lema
Una funci on f continua en un intervalo [a, b] est a acotada en [a, b].

Demostraci on.
Consideremos el conjunto A de los puntos x de [a, b] donde f est a acotada en [a, x]. A es vac o? por qu e? Es acotado? Qu e asegura la completitud? Sea = sup A. Lo que primero se trata de demostrar es que = b (que f sea acotada en cualquier intervalo [a, x] con x < b). Supongamos por absurdo que on sobre , qu e se tiene? Se tiene que < b. Aplicando el teorema de acotaci existe un entorno ( , + ) en el que f est a acotada. Sean x0 y x1 dos puntos tales que < x0 < < x1 < + . f est a acotada en [a, x0 ]? Por qu e? f est a acotada en [x0 , x1 ]? Por qu e? Qu e se deduce, entonces, de f en [a, x0 ] [x0 , x1 ] = [a, x1 ]? Como f est a acotada en [a, x1 ], se tiene que x1 A, pero x1 > = sup A. Esto es coherente? Suponer que < b nos condujo a un error; por tanto, = b y f est a acotada, al menos, en todo [a, x] con x < b. Para completar la demostraci on, mostremos que f est a acotada en un intervalo [x0 , b], con x0 < b. f est a acotada en alg un (b , b]? Por qu e? Sea x0 un punto tal que b < x0 < b. Por lo probado primero, f est a acotada en [a, x0 ], y como tambi en lo est a en [x0 , b] (por qu e?), se concluye que f est a acotada en todo el intervalo [a, b].
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 29 / 35

Lema
Una funci on f continua en un intervalo [a, b] est a acotada en [a, b].

Demostraci on.
Consideremos el conjunto A de los puntos x de [a, b] donde f est a acotada en [a, x]. A es vac o? por qu e? Es acotado? Qu e asegura la completitud? Sea = sup A. Lo que primero se trata de demostrar es que = b (que f sea acotada en cualquier intervalo [a, x] con x < b). Supongamos por absurdo que < b. Aplicando el teorema de acotaci on sobre , qu e se tiene? Se tiene que existe un entorno ( , + ) en el que f est a acotada. Sean x0 y x1 dos puntos tales que < x0 < < x1 < + . f est a acotada en [a, x0 ]? Por qu e? f est a acotada en [x0 , x1 ]? Por qu e? Qu e se deduce, entonces, de f en [a, x0 ] [x0 , x1 ] = [a, x1 ]? Como f est a acotada en [a, x1 ], se tiene que x1 A, pero x1 > = sup A. Esto es coherente? Suponer que < b nos condujo a un error; por tanto, = b y f est a acotada, al menos, en todo [a, x] con x < b. Para completar la demostraci on, mostremos que f est a acotada en un intervalo [x0 , b], con x0 < b. f est a acotada en alg un (b , b]? Por qu e? Sea x0 un punto tal que b < x0 < b. Por lo probado primero, f est a acotada en [a, x0 ], y como tambi en lo est a en [x0 , b] (por qu e?), se concluye que f est a acotada en todo el intervalo [a, b].
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 29 / 35

Lema
Una funci on f continua en un intervalo [a, b] est a acotada en [a, b].

Demostraci on.
Consideremos el conjunto A de los puntos x de [a, b] donde f est a acotada en [a, x]. A es vac o? por qu e? Es acotado? Qu e asegura la completitud? Sea = sup A. Lo que primero se trata de demostrar es que = b (que f sea acotada en cualquier intervalo [a, x] con x < b). Supongamos por absurdo que < b. Aplicando el teorema de acotaci on sobre , qu e se tiene? Se tiene que existe un entorno ( , + ) en el que f est a acotada. Sean x0 y x1 dos a acotada en [a, x0 ]? Por puntos tales que < x0 < < x1 < + . f est qu e? f est a acotada en [x0 , x1 ]? Por qu e? Qu e se deduce, entonces, de f en [a, x0 ] [x0 , x1 ] = [a, x1 ]? Como f est a acotada en [a, x1 ], se tiene que x1 A, pero x1 > = sup A. Esto es coherente? Suponer que < b nos condujo a un error; por tanto, = b y f est a acotada, al menos, en todo [a, x] con x < b. Para completar la demostraci on, mostremos que f est a acotada en un intervalo [x0 , b], con x0 < b. f est a acotada en alg un (b , b]? Por qu e? Sea x0 un punto tal que b < x0 < b. Por lo probado primero, f est a acotada en [a, x0 ], y como tambi en lo est a en [x0 , b] (por qu e?), se concluye que f est a acotada en todo el intervalo [a, b].
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 29 / 35

Lema
Una funci on f continua en un intervalo [a, b] est a acotada en [a, b].

Demostraci on.
Consideremos el conjunto A de los puntos x de [a, b] donde f est a acotada en [a, x]. A es vac o? por qu e? Es acotado? Qu e asegura la completitud? Sea = sup A. Lo que primero se trata de demostrar es que = b (que f sea acotada en cualquier intervalo [a, x] con x < b). Supongamos por absurdo que < b. Aplicando el teorema de acotaci on sobre , qu e se tiene? Se tiene que existe un entorno ( , + ) en el que f est a acotada. Sean x0 y x1 dos puntos tales que < x0 < < x1 < + . f est a acotada en [a, x0 ]? Por qu e? f est a acotada en [x0 , x1 ]? Por qu e? Qu e se deduce, entonces, de f en [a, x0 ] [x0 , x1 ] = [a, x1 ]? Como f est a acotada en [a, x1 ], se tiene que x1 A, pero x1 > = sup A. Esto es coherente? Suponer que < b nos condujo a un error; por tanto, = b y f est a acotada, al menos, en todo [a, x] con x < b. Para completar la demostraci on, mostremos que f est a acotada en un intervalo [x0 , b], con x0 < b. f est a acotada en alg un (b , b]? Por qu e? Sea x0 un punto tal que b < x0 < b. Por lo probado primero, f est a acotada en [a, x0 ], y como tambi en lo est a en [x0 , b] (por qu e?), se concluye que f est a acotada en todo el intervalo [a, b].
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 29 / 35

Lema
Una funci on f continua en un intervalo [a, b] est a acotada en [a, b].

Demostraci on.
Consideremos el conjunto A de los puntos x de [a, b] donde f est a acotada en [a, x]. A es vac o? por qu e? Es acotado? Qu e asegura la completitud? Sea = sup A. Lo que primero se trata de demostrar es que = b (que f sea acotada en cualquier intervalo [a, x] con x < b). Supongamos por absurdo que < b. Aplicando el teorema de acotaci on sobre , qu e se tiene? Se tiene que existe un entorno ( , + ) en el que f est a acotada. Sean x0 y x1 dos puntos tales que < x0 < < x1 < + . f est a acotada en [a, x0 ]? Por a acotada en [x0 , x1 ]? Por qu e? Qu e se deduce, entonces, de f en qu e? f est [a, x0 ] [x0 , x1 ] = [a, x1 ]? Como f est a acotada en [a, x1 ], se tiene que x1 A, pero x1 > = sup A. Esto es coherente? Suponer que < b nos condujo a un error; por tanto, = b y f est a acotada, al menos, en todo [a, x] con x < b. Para completar la demostraci on, mostremos que f est a acotada en un intervalo [x0 , b], con x0 < b. f est a acotada en alg un (b , b]? Por qu e? Sea x0 un punto tal que b < x0 < b. Por lo probado primero, f est a acotada en [a, x0 ], y como tambi en lo est a en [x0 , b] (por qu e?), se concluye que f est a acotada en todo el intervalo [a, b].
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 29 / 35

Lema
Una funci on f continua en un intervalo [a, b] est a acotada en [a, b].

Demostraci on.
Consideremos el conjunto A de los puntos x de [a, b] donde f est a acotada en [a, x]. A es vac o? por qu e? Es acotado? Qu e asegura la completitud? Sea = sup A. Lo que primero se trata de demostrar es que = b (que f sea acotada en cualquier intervalo [a, x] con x < b). Supongamos por absurdo que < b. Aplicando el teorema de acotaci on sobre , qu e se tiene? Se tiene que existe un entorno ( , + ) en el que f est a acotada. Sean x0 y x1 dos puntos tales que < x0 < < x1 < + . f est a acotada en [a, x0 ]? Por e? Qu e se deduce, entonces, de f en qu e? f est a acotada en [x0 , x1 ]? Por qu [a, x0 ] [x0 , x1 ] = [a, x1 ]? Como f est a acotada en [a, x1 ], se tiene que x1 A, pero x1 > = sup A. Esto es coherente? Suponer que < b nos condujo a un error; por tanto, = b y f est a acotada, al menos, en todo [a, x] con x < b. Para completar la demostraci on, mostremos que f est a acotada en un intervalo [x0 , b], con x0 < b. f est a acotada en alg un (b , b]? Por qu e? Sea x0 un punto tal que b < x0 < b. Por lo probado primero, f est a acotada en [a, x0 ], y como tambi en lo est a en [x0 , b] (por qu e?), se concluye que f est a acotada en todo el intervalo [a, b].
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 29 / 35

Lema
Una funci on f continua en un intervalo [a, b] est a acotada en [a, b].

Demostraci on.
Consideremos el conjunto A de los puntos x de [a, b] donde f est a acotada en [a, x]. A es vac o? por qu e? Es acotado? Qu e asegura la completitud? Sea = sup A. Lo que primero se trata de demostrar es que = b (que f sea acotada en cualquier intervalo [a, x] con x < b). Supongamos por absurdo que < b. Aplicando el teorema de acotaci on sobre , qu e se tiene? Se tiene que existe un entorno ( , + ) en el que f est a acotada. Sean x0 y x1 dos puntos tales que < x0 < < x1 < + . f est a acotada en [a, x0 ]? Por e se deduce, entonces, de f en qu e? f est a acotada en [x0 , x1 ]? Por qu e? Qu [a, x0 ] [x0 , x1 ] = [a, x1 ]? Como f est a acotada en [a, x1 ], se tiene que x1 A, pero x1 > = sup A. Esto es coherente? Suponer que < b nos condujo a un error; por tanto, = b y f est a acotada, al menos, en todo [a, x] con x < b. Para completar la demostraci on, mostremos que f est a acotada en un intervalo [x0 , b], con x0 < b. f est a acotada en alg un (b , b]? Por qu e? Sea x0 un punto tal que b < x0 < b. Por lo probado primero, f est a acotada en [a, x0 ], y como tambi en lo est a en [x0 , b] (por qu e?), se concluye que f est a acotada en todo el intervalo [a, b].
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 29 / 35

Lema
Una funci on f continua en un intervalo [a, b] est a acotada en [a, b].

Demostraci on.
Consideremos el conjunto A de los puntos x de [a, b] donde f est a acotada en [a, x]. A es vac o? por qu e? Es acotado? Qu e asegura la completitud? Sea = sup A. Lo que primero se trata de demostrar es que = b (que f sea acotada en cualquier intervalo [a, x] con x < b). Supongamos por absurdo que < b. Aplicando el teorema de acotaci on sobre , qu e se tiene? Se tiene que existe un entorno ( , + ) en el que f est a acotada. Sean x0 y x1 dos puntos tales que < x0 < < x1 < + . f est a acotada en [a, x0 ]? Por qu e? f est a acotada en [x0 , x1 ]? Por qu e? Qu e se deduce, entonces, de f en [a, x0 ] [x0 , x1 ] = [a, x1 ]? Como f est a acotada en [a, x1 ], se tiene que x1 A, pero x1 > = sup A. Esto es coherente? Suponer que < b nos condujo a un error; por tanto, = b y f est a acotada, al menos, en todo [a, x] con x < b. Para completar la demostraci on, mostremos que f est a acotada en un intervalo [x0 , b], con x0 < b. f est a acotada en alg un (b , b]? Por qu e? Sea x0 un punto tal que b < x0 < b. Por lo probado primero, f est a acotada en [a, x0 ], y como tambi en lo est a en [x0 , b] (por qu e?), se concluye que f est a acotada en todo el intervalo [a, b].
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 29 / 35

Lema
Una funci on f continua en un intervalo [a, b] est a acotada en [a, b].

Demostraci on.
Consideremos el conjunto A de los puntos x de [a, b] donde f est a acotada en [a, x]. A es vac o? por qu e? Es acotado? Qu e asegura la completitud? Sea = sup A. Lo que primero se trata de demostrar es que = b (que f sea acotada en cualquier intervalo [a, x] con x < b). Supongamos por absurdo que < b. Aplicando el teorema de acotaci on sobre , qu e se tiene? Se tiene que existe un entorno ( , + ) en el que f est a acotada. Sean x0 y x1 dos puntos tales que < x0 < < x1 < + . f est a acotada en [a, x0 ]? Por qu e? f est a acotada en [x0 , x1 ]? Por qu e? Qu e se deduce, entonces, de f en [a, x0 ] [x0 , x1 ] = [a, x1 ]? Como f est a acotada en [a, x1 ], se tiene que x1 A, pero x1 > = sup A. Esto es coherente? Suponer que < b nos condujo a un error; por tanto, = b y f est a acotada, al menos, en todo [a, x] con x < b. Para completar la demostraci on, mostremos que f est a acotada en un intervalo [x0 , b], con x0 < b. f est a acotada en alg un (b , b]? Por qu e? Sea x0 un punto tal que b < x0 < b. Por lo probado primero, f est a acotada en [a, x0 ], y como tambi en lo est a en [x0 , b] (por qu e?), se concluye que f est a acotada en todo el intervalo [a, b].
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 29 / 35

Lema
Una funci on f continua en un intervalo [a, b] est a acotada en [a, b].

Demostraci on.
Consideremos el conjunto A de los puntos x de [a, b] donde f est a acotada en [a, x]. A es vac o? por qu e? Es acotado? Qu e asegura la completitud? Sea = sup A. Lo que primero se trata de demostrar es que = b (que f sea acotada en cualquier intervalo [a, x] con x < b). Supongamos por absurdo que < b. Aplicando el teorema de acotaci on sobre , qu e se tiene? Se tiene que existe un entorno ( , + ) en el que f est a acotada. Sean x0 y x1 dos puntos tales que < x0 < < x1 < + . f est a acotada en [a, x0 ]? Por qu e? f est a acotada en [x0 , x1 ]? Por qu e? Qu e se deduce, entonces, de f en [a, x0 ] [x0 , x1 ] = [a, x1 ]? Como f est a acotada en [a, x1 ], se tiene que x1 A, pero x1 > = sup A. Esto es coherente? Suponer que < b nos condujo a un error; por tanto, = b y f est a acotada, al menos, en todo [a, x] con x < b. Para completar la demostraci on, mostremos que f est a acotada en un intervalo [x0 , b], con x0 < b. f est a acotada en alg un (b , b]? Por qu e? Sea x0 un punto tal que b < x0 < b. Por lo probado primero, f est a acotada en [a, x0 ], y como tambi en lo est a en [x0 , b] (por qu e?), se concluye que f est a acotada en todo el intervalo [a, b].
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 29 / 35

Lema
Una funci on f continua en un intervalo [a, b] est a acotada en [a, b].

Demostraci on.
Consideremos el conjunto A de los puntos x de [a, b] donde f est a acotada en [a, x]. A es vac o? por qu e? Es acotado? Qu e asegura la completitud? Sea = sup A. Lo que primero se trata de demostrar es que = b (que f sea acotada en cualquier intervalo [a, x] con x < b). Supongamos por absurdo que < b. Aplicando el teorema de acotaci on sobre , qu e se tiene? Se tiene que existe un entorno ( , + ) en el que f est a acotada. Sean x0 y x1 dos puntos tales que < x0 < < x1 < + . f est a acotada en [a, x0 ]? Por qu e? f est a acotada en [x0 , x1 ]? Por qu e? Qu e se deduce, entonces, de f en [a, x0 ] [x0 , x1 ] = [a, x1 ]? Como f est a acotada en [a, x1 ], se tiene que x1 A, pero x1 > = sup A. Esto es coherente? Suponer que < b nos condujo a un a acotada, al menos, en todo [a, x] con x < b. Para error; por tanto, = b y f est completar la demostraci on, mostremos que f est a acotada en un intervalo [x0 , b], con x0 < b. f est a acotada en alg un (b , b]? Por qu e? Sea x0 un punto tal que b < x0 < b. Por lo probado primero, f est a acotada en [a, x0 ], y como tambi en lo est a en [x0 , b] (por qu e?), se concluye que f est a acotada en todo el intervalo [a, b].
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 29 / 35

Lema
Una funci on f continua en un intervalo [a, b] est a acotada en [a, b].

Demostraci on.
Consideremos el conjunto A de los puntos x de [a, b] donde f est a acotada en [a, x]. A es vac o? por qu e? Es acotado? Qu e asegura la completitud? Sea = sup A. Lo que primero se trata de demostrar es que = b (que f sea acotada en cualquier intervalo [a, x] con x < b). Supongamos por absurdo que < b. Aplicando el teorema de acotaci on sobre , qu e se tiene? Se tiene que existe un entorno ( , + ) en el que f est a acotada. Sean x0 y x1 dos puntos tales que < x0 < < x1 < + . f est a acotada en [a, x0 ]? Por qu e? f est a acotada en [x0 , x1 ]? Por qu e? Qu e se deduce, entonces, de f en [a, x0 ] [x0 , x1 ] = [a, x1 ]? Como f est a acotada en [a, x1 ], se tiene que x1 A, pero x1 > = sup A. Esto es coherente? Suponer que < b nos condujo a un error; por tanto, = b y f est a acotada, al menos, en todo [a, x] con x < b. Para completar la demostraci on, mostremos que f est a acotada en un intervalo [x0 , b], con x0 < b. f est a acotada en alg un (b , b]? Por qu e? Sea x0 un punto tal que b < x0 < b. Por lo probado primero, f est a acotada en [a, x0 ], y como tambi en lo est a en [x0 , b] (por qu e?), se concluye que f est a acotada en todo el intervalo [a, b].
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 29 / 35

Lema
Una funci on f continua en un intervalo [a, b] est a acotada en [a, b].

Demostraci on.
Consideremos el conjunto A de los puntos x de [a, b] donde f est a acotada en [a, x]. A es vac o? por qu e? Es acotado? Qu e asegura la completitud? Sea = sup A. Lo que primero se trata de demostrar es que = b (que f sea acotada en cualquier intervalo [a, x] con x < b). Supongamos por absurdo que < b. Aplicando el teorema de acotaci on sobre , qu e se tiene? Se tiene que existe un entorno ( , + ) en el que f est a acotada. Sean x0 y x1 dos puntos tales que < x0 < < x1 < + . f est a acotada en [a, x0 ]? Por qu e? f est a acotada en [x0 , x1 ]? Por qu e? Qu e se deduce, entonces, de f en [a, x0 ] [x0 , x1 ] = [a, x1 ]? Como f est a acotada en [a, x1 ], se tiene que x1 A, pero x1 > = sup A. Esto es coherente? Suponer que < b nos condujo a un error; por tanto, = b y f est a acotada, al menos, en todo [a, x] con x < b. Para completar la demostraci on, mostremos que f est a acotada en un intervalo [x0 , b], a acotada en alg un (b , b]? Por qu e? Sea x0 un punto tal con x0 < b. f est que b < x0 < b. Por lo probado primero, f est a acotada en [a, x0 ], y como tambi en lo est a en [x0 , b] (por qu e?), se concluye que f est a acotada en todo el intervalo [a, b].
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 29 / 35

Lema
Una funci on f continua en un intervalo [a, b] est a acotada en [a, b].

Demostraci on.
Consideremos el conjunto A de los puntos x de [a, b] donde f est a acotada en [a, x]. A es vac o? por qu e? Es acotado? Qu e asegura la completitud? Sea = sup A. Lo que primero se trata de demostrar es que = b (que f sea acotada en cualquier intervalo [a, x] con x < b). Supongamos por absurdo que < b. Aplicando el teorema de acotaci on sobre , qu e se tiene? Se tiene que existe un entorno ( , + ) en el que f est a acotada. Sean x0 y x1 dos puntos tales que < x0 < < x1 < + . f est a acotada en [a, x0 ]? Por qu e? f est a acotada en [x0 , x1 ]? Por qu e? Qu e se deduce, entonces, de f en [a, x0 ] [x0 , x1 ] = [a, x1 ]? Como f est a acotada en [a, x1 ], se tiene que x1 A, pero x1 > = sup A. Esto es coherente? Suponer que < b nos condujo a un error; por tanto, = b y f est a acotada, al menos, en todo [a, x] con x < b. Para completar la demostraci on, mostremos que f est a acotada en un intervalo [x0 , b], e? Sea x0 un punto tal con x0 < b. f est a acotada en alg un (b , b]? Por qu que b < x0 < b. Por lo probado primero, f est a acotada en [a, x0 ], y como tambi en lo est a en [x0 , b] (por qu e?), se concluye que f est a acotada en todo el intervalo [a, b].
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 29 / 35

Lema
Una funci on f continua en un intervalo [a, b] est a acotada en [a, b].

Demostraci on.
Consideremos el conjunto A de los puntos x de [a, b] donde f est a acotada en [a, x]. A es vac o? por qu e? Es acotado? Qu e asegura la completitud? Sea = sup A. Lo que primero se trata de demostrar es que = b (que f sea acotada en cualquier intervalo [a, x] con x < b). Supongamos por absurdo que < b. Aplicando el teorema de acotaci on sobre , qu e se tiene? Se tiene que existe un entorno ( , + ) en el que f est a acotada. Sean x0 y x1 dos puntos tales que < x0 < < x1 < + . f est a acotada en [a, x0 ]? Por qu e? f est a acotada en [x0 , x1 ]? Por qu e? Qu e se deduce, entonces, de f en [a, x0 ] [x0 , x1 ] = [a, x1 ]? Como f est a acotada en [a, x1 ], se tiene que x1 A, pero x1 > = sup A. Esto es coherente? Suponer que < b nos condujo a un error; por tanto, = b y f est a acotada, al menos, en todo [a, x] con x < b. Para completar la demostraci on, mostremos que f est a acotada en un intervalo [x0 , b], con x0 < b. f est a acotada en alg un (b , b]? Por qu e? Sea x0 un punto tal que b < x0 < b. Por lo probado primero, f est a acotada en [a, x0 ], y como tambi en lo est a en [x0 , b] (por qu e?), se concluye que f est a acotada en todo el intervalo [a, b].
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 29 / 35

Lema
Una funci on f continua en un intervalo [a, b] est a acotada en [a, b].

Demostraci on.
Consideremos el conjunto A de los puntos x de [a, b] donde f est a acotada en [a, x]. A es vac o? por qu e? Es acotado? Qu e asegura la completitud? Sea = sup A. Lo que primero se trata de demostrar es que = b (que f sea acotada en cualquier intervalo [a, x] con x < b). Supongamos por absurdo que < b. Aplicando el teorema de acotaci on sobre , qu e se tiene? Se tiene que existe un entorno ( , + ) en el que f est a acotada. Sean x0 y x1 dos puntos tales que < x0 < < x1 < + . f est a acotada en [a, x0 ]? Por qu e? f est a acotada en [x0 , x1 ]? Por qu e? Qu e se deduce, entonces, de f en [a, x0 ] [x0 , x1 ] = [a, x1 ]? Como f est a acotada en [a, x1 ], se tiene que x1 A, pero x1 > = sup A. Esto es coherente? Suponer que < b nos condujo a un error; por tanto, = b y f est a acotada, al menos, en todo [a, x] con x < b. Para completar la demostraci on, mostremos que f est a acotada en un intervalo [x0 , b], con x0 < b. f est a acotada en alg un (b , b]? Por qu e? Sea x0 un punto tal a acotada en [a, x0 ], y como que b < x0 < b. Por lo probado primero, f est tambi en lo est a en [x0 , b] (por qu e?), se concluye que f est a acotada en todo el intervalo [a, b].
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 29 / 35

Lema
Una funci on f continua en un intervalo [a, b] est a acotada en [a, b].

Demostraci on.
Consideremos el conjunto A de los puntos x de [a, b] donde f est a acotada en [a, x]. A es vac o? por qu e? Es acotado? Qu e asegura la completitud? Sea = sup A. Lo que primero se trata de demostrar es que = b (que f sea acotada en cualquier intervalo [a, x] con x < b). Supongamos por absurdo que < b. Aplicando el teorema de acotaci on sobre , qu e se tiene? Se tiene que existe un entorno ( , + ) en el que f est a acotada. Sean x0 y x1 dos puntos tales que < x0 < < x1 < + . f est a acotada en [a, x0 ]? Por qu e? f est a acotada en [x0 , x1 ]? Por qu e? Qu e se deduce, entonces, de f en [a, x0 ] [x0 , x1 ] = [a, x1 ]? Como f est a acotada en [a, x1 ], se tiene que x1 A, pero x1 > = sup A. Esto es coherente? Suponer que < b nos condujo a un error; por tanto, = b y f est a acotada, al menos, en todo [a, x] con x < b. Para completar la demostraci on, mostremos que f est a acotada en un intervalo [x0 , b], con x0 < b. f est a acotada en alg un (b , b]? Por qu e? Sea x0 un punto tal que b < x0 < b. Por lo probado primero, f est a acotada en [a, x0 ], y como tambi en lo est a en [x0 , b] (por qu e?), se concluye que f est a acotada en todo el intervalo [a, b].
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 29 / 35

Teorema de Weierstrass

El lema anterior asegura que una funci on continua f en [a, b] est a acotada. Junto al axioma de completitud deducimos que el conjunto A = {f (x) | x [a, b]} tiene supremo e nmo, que son sup f e nf f respectivamente. Pero el lema no asegura que dichos extremos pertenezcan al conjunto A, es decir, no se asegura que existan valores x0 , x1 [a, b] tales que f (x0 ) = nf f y f (x1 ) = sup f . Pero claro, esa posibilidad es intuitiva y l ogicamente imposible; de ah el teorema de Weierstrass.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

30 / 35

Teorema de Weierstrass

El lema anterior asegura que una funci on continua f en [a, b] est a acotada. Junto al axioma de completitud deducimos que el conjunto A = {f (x) | x [a, b]} tiene supremo e nmo, que son sup f e nf f respectivamente. Pero el lema no asegura que dichos extremos pertenezcan al conjunto A, es decir, no se asegura que existan valores x0 , x1 [a, b] tales que f (x0 ) = nf f y f (x1 ) = sup f . Pero claro, esa posibilidad es intuitiva y l ogicamente imposible; de ah el teorema de Weierstrass.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

30 / 35

Teorema de Weierstrass

El lema anterior asegura que una funci on continua f en [a, b] est a acotada. Junto al axioma de completitud deducimos que el conjunto A = {f (x) | x [a, b]} tiene supremo e nmo, que son sup f e nf f respectivamente. Pero el lema no asegura que dichos extremos pertenezcan al conjunto A, es decir, no se asegura que existan valores x0 , x1 [a, b] tales que f (x0 ) = nf f y f (x1 ) = sup f . Pero claro, esa posibilidad es intuitiva y l ogicamente imposible; de ah el teorema de Weierstrass.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

30 / 35

Teorema de Weierstrass

El lema anterior asegura que una funci on continua f en [a, b] est a acotada. Junto al axioma de completitud deducimos que el conjunto A = {f (x) | x [a, b]} tiene supremo e nmo, que son sup f e nf f respectivamente. Pero el lema no asegura que dichos extremos pertenezcan al conjunto A, es decir, no se asegura que existan valores x0 , x1 [a, b] tales que f (x0 ) = nf f y f (x1 ) = sup f . Pero claro, esa posibilidad es intuitiva y l ogicamente imposible; de ah el teorema de Weierstrass.

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

30 / 35

Teorema de Weierstrass

Teorema
Si una funci on f es continua en [a, b], f tiene m aximo y m nimo en [a, b]. Esto es: existen x0 y x1 en [a, b] tales que f (x0 ) = nf f y f (x1 ) = sup f (sup f e nf f son el m aximo y el m nimo de f , respectivamente).

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

31 / 35

Teorema de Weierstrass

Teorema
Si una funci on f es continua en [a, b], f tiene m aximo y m nimo en [a, b]. Esto es: existen x0 y x1 en [a, b] tales que f (x0 ) = nf f y f (x1 ) = sup f (sup f e nf f son el m aximo y el m nimo de f , respectivamente).

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

31 / 35

Demostraci on.
Supongamos, por absurdo, que el sup f es mayor estricto que cualquier f (x), con x [a, b]. Sea M = sup f . Consideremos la funci on g : [a, b] R tal que g (x) = M f (x). C omo es el signo de g (x) en [a, b]? Es continua la funci on g en [a, b]? Y 1/g ? Por qu e? Haciendo uso del lema de Weierstrass para 1/g , qu e se tiene? Finalmente: 1 1 1 < C = M f (x) > < C = M f (x) M f (x) C 1 = f (x) < M , para todo x [a, b]. C Esta ultima desigualdad es coherente si M es el supremo de f en [a, b]? Suponer que M no tiene preimagen nos conduce a una contradicci on; por tanto, existe x1 [a, b] tales que f (x1 ) = M . Para el caso del m = nf f se hace un razonamiento parecido, usando la funci on h : [a, b] R tal que h(x) = f (x) m (la contradicci on a la que se deriva es que m + 1/C es una cota inferior de f , mayor a m).
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 32 / 35

Demostraci on.
Supongamos, por absurdo, que el sup f es mayor estricto que cualquier f (x), con x [a, b]. Sea M = sup f . Consideremos la funci on g : [a, b] R tal que g (x) = M f (x). C omo es el signo de g (x) en [a, b]? Es continua la funci on g en [a, b]? Y 1/g ? Por qu e? Haciendo uso del lema de Weierstrass para 1/g , qu e se tiene? Finalmente: 1 1 1 < C = M f (x) > < C = M f (x) M f (x) C 1 = f (x) < M , para todo x [a, b]. C Esta ultima desigualdad es coherente si M es el supremo de f en [a, b]? Suponer que M no tiene preimagen nos conduce a una contradicci on; por tanto, existe x1 [a, b] tales que f (x1 ) = M . Para el caso del m = nf f se hace un razonamiento parecido, usando la funci on h : [a, b] R tal que h(x) = f (x) m (la contradicci on a la que se deriva es que m + 1/C es una cota inferior de f , mayor a m).
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 32 / 35

Demostraci on.
Supongamos, por absurdo, que el sup f es mayor estricto que cualquier f (x), con x [a, b]. Sea M = sup f . Consideremos la funci on g : [a, b] R tal que g (x) = M f (x). C omo es el signo de g (x) en [a, b]? Es continua la funci on g en [a, b]? Y 1/g ? Por qu e? Haciendo uso del lema de Weierstrass para 1/g , qu e se tiene? Finalmente: 1 1 1 < C = M f (x) > < C = M f (x) M f (x) C 1 = f (x) < M , para todo x [a, b]. C Esta ultima desigualdad es coherente si M es el supremo de f en [a, b]? Suponer que M no tiene preimagen nos conduce a una contradicci on; por tanto, existe x1 [a, b] tales que f (x1 ) = M . Para el caso del m = nf f se hace un razonamiento parecido, usando la funci on h : [a, b] R tal que h(x) = f (x) m (la contradicci on a la que se deriva es que m + 1/C es una cota inferior de f , mayor a m).
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 32 / 35

Demostraci on.
Supongamos, por absurdo, que el sup f es mayor estricto que cualquier f (x), con x [a, b]. Sea M = sup f . Consideremos la funci on g : [a, b] R tal que g (x) = M f (x). C omo es el signo de g (x) en [a, b]? Es continua la funci on g en [a, b]? Y 1/g ? Por qu e? Haciendo uso del lema de Weierstrass para 1/g , qu e se tiene? Finalmente: 1 1 1 < C = M f (x) > < C = M f (x) M f (x) C 1 = f (x) < M , para todo x [a, b]. C Esta ultima desigualdad es coherente si M es el supremo de f en [a, b]? Suponer que M no tiene preimagen nos conduce a una contradicci on; por tanto, existe x1 [a, b] tales que f (x1 ) = M . Para el caso del m = nf f se hace un razonamiento parecido, usando la funci on h : [a, b] R tal que h(x) = f (x) m (la contradicci on a la que se deriva es que m + 1/C es una cota inferior de f , mayor a m).
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 32 / 35

Demostraci on.
Supongamos, por absurdo, que el sup f es mayor estricto que cualquier f (x), con x [a, b]. Sea M = sup f . Consideremos la funci on g : [a, b] R tal que omo es el signo de g (x) en [a, b]? Es continua la funci on g g (x) = M f (x). C en [a, b]? Y 1/g ? Por qu e? Haciendo uso del lema de Weierstrass para 1/g , qu e se tiene? Finalmente: 1 1 1 < C = M f (x) > < C = M f (x) M f (x) C 1 = f (x) < M , para todo x [a, b]. C Esta ultima desigualdad es coherente si M es el supremo de f en [a, b]? Suponer que M no tiene preimagen nos conduce a una contradicci on; por tanto, existe x1 [a, b] tales que f (x1 ) = M . Para el caso del m = nf f se hace un razonamiento parecido, usando la funci on h : [a, b] R tal que h(x) = f (x) m (la contradicci on a la que se deriva es que m + 1/C es una cota inferior de f , mayor a m).
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 32 / 35

Demostraci on.
Supongamos, por absurdo, que el sup f es mayor estricto que cualquier f (x), con x [a, b]. Sea M = sup f . Consideremos la funci on g : [a, b] R tal que on g g (x) = M f (x). C omo es el signo de g (x) en [a, b]? Es continua la funci en [a, b]? Y 1/g ? Por qu e? Haciendo uso del lema de Weierstrass para 1/g , qu e se tiene? Finalmente: 1 1 1 < C = M f (x) > < C = M f (x) M f (x) C 1 = f (x) < M , para todo x [a, b]. C Esta ultima desigualdad es coherente si M es el supremo de f en [a, b]? Suponer que M no tiene preimagen nos conduce a una contradicci on; por tanto, existe x1 [a, b] tales que f (x1 ) = M . Para el caso del m = nf f se hace un razonamiento parecido, usando la funci on h : [a, b] R tal que h(x) = f (x) m (la contradicci on a la que se deriva es que m + 1/C es una cota inferior de f , mayor a m).
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 32 / 35

Demostraci on.
Supongamos, por absurdo, que el sup f es mayor estricto que cualquier f (x), con x [a, b]. Sea M = sup f . Consideremos la funci on g : [a, b] R tal que g (x) = M f (x). C omo es el signo de g (x) en [a, b]? Es continua la funci on g e? Haciendo uso del lema de Weierstrass para 1/g , en [a, b]? Y 1/g ? Por qu qu e se tiene? Finalmente: 1 1 1 < C = M f (x) > < C = M f (x) M f (x) C 1 = f (x) < M , para todo x [a, b]. C Esta ultima desigualdad es coherente si M es el supremo de f en [a, b]? Suponer que M no tiene preimagen nos conduce a una contradicci on; por tanto, existe x1 [a, b] tales que f (x1 ) = M . Para el caso del m = nf f se hace un razonamiento parecido, usando la funci on h : [a, b] R tal que h(x) = f (x) m (la contradicci on a la que se deriva es que m + 1/C es una cota inferior de f , mayor a m).
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 32 / 35

Demostraci on.
Supongamos, por absurdo, que el sup f es mayor estricto que cualquier f (x), con x [a, b]. Sea M = sup f . Consideremos la funci on g : [a, b] R tal que g (x) = M f (x). C omo es el signo de g (x) en [a, b]? Es continua la funci on g e? Haciendo uso del lema de Weierstrass para 1/g , en [a, b]? Y 1/g ? Por qu qu e se tiene? Finalmente: 1 1 1 < C = M f (x) > < C = M f (x) M f (x) C 1 = f (x) < M , para todo x [a, b]. C Esta ultima desigualdad es coherente si M es el supremo de f en [a, b]? Suponer que M no tiene preimagen nos conduce a una contradicci on; por tanto, existe x1 [a, b] tales que f (x1 ) = M . Para el caso del m = nf f se hace un razonamiento parecido, usando la funci on h : [a, b] R tal que h(x) = f (x) m (la contradicci on a la que se deriva es que m + 1/C es una cota inferior de f , mayor a m).
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 32 / 35

Demostraci on.
Supongamos, por absurdo, que el sup f es mayor estricto que cualquier f (x), con x [a, b]. Sea M = sup f . Consideremos la funci on g : [a, b] R tal que g (x) = M f (x). C omo es el signo de g (x) en [a, b]? Es continua la funci on g en [a, b]? Y 1/g ? Por qu e? Haciendo uso del lema de Weierstrass para 1/g , qu e se tiene? Finalmente: 1 1 1 < C = M f (x) > < C = M f (x) M f (x) C 1 = f (x) < M , para todo x [a, b]. C Esta ultima desigualdad es coherente si M es el supremo de f en [a, b]? Suponer que M no tiene preimagen nos conduce a una contradicci on; por tanto, existe x1 [a, b] tales que f (x1 ) = M . Para el caso del m = nf f se hace un razonamiento parecido, usando la funci on h : [a, b] R tal que h(x) = f (x) m (la contradicci on a la que se deriva es que m + 1/C es una cota inferior de f , mayor a m).
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 32 / 35

Demostraci on.
Supongamos, por absurdo, que el sup f es mayor estricto que cualquier f (x), con x [a, b]. Sea M = sup f . Consideremos la funci on g : [a, b] R tal que g (x) = M f (x). C omo es el signo de g (x) en [a, b]? Es continua la funci on g en [a, b]? Y 1/g ? Por qu e? Haciendo uso del lema de Weierstrass para 1/g , qu e se tiene? Finalmente: 1 1 1 < C = M f (x) > < C = M f (x) M f (x) C 1 = f (x) < M , para todo x [a, b]. C Esta ultima desigualdad es coherente si M es el supremo de f en [a, b]? Suponer que M no tiene preimagen nos conduce a una contradicci on; por tanto, existe x1 [a, b] tales que f (x1 ) = M . Para el caso del m = nf f se hace un razonamiento parecido, usando la funci on h : [a, b] R tal que h(x) = f (x) m (la contradicci on a la que se deriva es que m + 1/C es una cota inferior de f , mayor a m).
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 32 / 35

Demostraci on.
Supongamos, por absurdo, que el sup f es mayor estricto que cualquier f (x), con x [a, b]. Sea M = sup f . Consideremos la funci on g : [a, b] R tal que g (x) = M f (x). C omo es el signo de g (x) en [a, b]? Es continua la funci on g en [a, b]? Y 1/g ? Por qu e? Haciendo uso del lema de Weierstrass para 1/g , qu e se tiene? Finalmente: 1 1 1 < C = M f (x) > < C = M f (x) M f (x) C 1 = f (x) < M , para todo x [a, b]. C Esta ultima desigualdad es coherente si M es el supremo de f en [a, b]? Suponer que M no tiene preimagen nos conduce a una contradicci on; por tanto, existe x1 [a, b] tales que f (x1 ) = M . Para el caso del m = nf f se hace un razonamiento parecido, usando la funci on h : [a, b] R tal que h(x) = f (x) m (la contradicci on a la que se deriva es que m + 1/C es una cota inferior de f , mayor a m).
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 32 / 35

Demostraci on.
Supongamos, por absurdo, que el sup f es mayor estricto que cualquier f (x), con x [a, b]. Sea M = sup f . Consideremos la funci on g : [a, b] R tal que g (x) = M f (x). C omo es el signo de g (x) en [a, b]? Es continua la funci on g en [a, b]? Y 1/g ? Por qu e? Haciendo uso del lema de Weierstrass para 1/g , qu e se tiene? Finalmente: 1 1 1 < C = M f (x) > < C = M f (x) M f (x) C 1 = f (x) < M , para todo x [a, b]. C Esta ultima desigualdad es coherente si M es el supremo de f en [a, b]? Suponer que M no tiene preimagen nos conduce a una contradicci on; por tanto, existe x1 [a, b] tales que f (x1 ) = M . Para el caso del m = nf f se hace un razonamiento parecido, usando la funci on h : [a, b] R tal que h(x) = f (x) m (la contradicci on a la que se deriva es que m + 1/C es una cota inferior de f , mayor a m).
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 32 / 35

Demostraci on.
Supongamos, por absurdo, que el sup f es mayor estricto que cualquier f (x), con x [a, b]. Sea M = sup f . Consideremos la funci on g : [a, b] R tal que g (x) = M f (x). C omo es el signo de g (x) en [a, b]? Es continua la funci on g en [a, b]? Y 1/g ? Por qu e? Haciendo uso del lema de Weierstrass para 1/g , qu e se tiene? Finalmente: 1 1 1 < C = M f (x) > < C = M f (x) M f (x) C 1 = f (x) < M , para todo x [a, b]. C Esta ultima desigualdad es coherente si M es el supremo de f en [a, b]? Suponer que M no tiene preimagen nos conduce a una contradicci on; por tanto, existe x1 [a, b] tales que f (x1 ) = M . Para el caso del m = nf f se hace un razonamiento parecido, usando la funci on h : [a, b] R tal que h(x) = f (x) m (la contradicci on a la que se deriva es que m + 1/C es una cota inferior de f , mayor a m).
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 32 / 35

Demostraci on.
Supongamos, por absurdo, que el sup f es mayor estricto que cualquier f (x), con x [a, b]. Sea M = sup f . Consideremos la funci on g : [a, b] R tal que g (x) = M f (x). C omo es el signo de g (x) en [a, b]? Es continua la funci on g en [a, b]? Y 1/g ? Por qu e? Haciendo uso del lema de Weierstrass para 1/g , qu e se tiene? Finalmente: 1 1 1 < C = M f (x) > < C = M f (x) M f (x) C 1 = f (x) < M , para todo x [a, b]. C Esta ultima desigualdad es coherente si M es el supremo de f en [a, b]? Suponer que M no tiene preimagen nos conduce a una contradicci on; por tanto, existe x1 [a, b] tales que f (x1 ) = M . Para el caso del m = nf f se hace un razonamiento parecido, usando la funci on h : [a, b] R tal que h(x) = f (x) m (la contradicci on a la que se deriva es que m + 1/C es una cota inferior de f , mayor a m).
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 32 / 35

Demostraci on.
Supongamos, por absurdo, que el sup f es mayor estricto que cualquier f (x), con x [a, b]. Sea M = sup f . Consideremos la funci on g : [a, b] R tal que g (x) = M f (x). C omo es el signo de g (x) en [a, b]? Es continua la funci on g en [a, b]? Y 1/g ? Por qu e? Haciendo uso del lema de Weierstrass para 1/g , qu e se tiene? Finalmente: 1 1 1 < C = M f (x) > < C = M f (x) M f (x) C 1 = f (x) < M , para todo x [a, b]. C Esta ultima desigualdad es coherente si M es el supremo de f en [a, b]? Suponer que M no tiene preimagen nos conduce a una contradicci on; por tanto, existe x1 [a, b] tales que f (x1 ) = M . Para el caso del m = nf f se hace un razonamiento parecido, usando la funci on h : [a, b] R tal que h(x) = f (x) m (la contradicci on a la que se deriva es que m + 1/C es una cota inferior de f , mayor a m).
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 32 / 35

Demostraci on.
Supongamos, por absurdo, que el sup f es mayor estricto que cualquier f (x), con x [a, b]. Sea M = sup f . Consideremos la funci on g : [a, b] R tal que g (x) = M f (x). C omo es el signo de g (x) en [a, b]? Es continua la funci on g en [a, b]? Y 1/g ? Por qu e? Haciendo uso del lema de Weierstrass para 1/g , qu e se tiene? Finalmente: 1 1 1 < C = M f (x) > < C = M f (x) M f (x) C 1 = f (x) < M , para todo x [a, b]. C Esta ultima desigualdad es coherente si M es el supremo de f en [a, b]? Suponer que M no tiene preimagen nos conduce a una contradicci on; por tanto, existe x1 [a, b] tales que f (x1 ) = M . Para el caso del m = nf f se hace un razonamiento parecido, usando la funci on h : [a, b] R tal que h(x) = f (x) m (la contradicci on a la que se deriva es que m + 1/C es una cota inferior de f , mayor a m).
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 32 / 35

Demostraci on.
Supongamos, por absurdo, que el sup f es mayor estricto que cualquier f (x), con x [a, b]. Sea M = sup f . Consideremos la funci on g : [a, b] R tal que g (x) = M f (x). C omo es el signo de g (x) en [a, b]? Es continua la funci on g en [a, b]? Y 1/g ? Por qu e? Haciendo uso del lema de Weierstrass para 1/g , qu e se tiene? Finalmente: 1 1 1 < C = M f (x) > < C = M f (x) M f (x) C 1 = f (x) < M , para todo x [a, b]. C Esta ultima desigualdad es coherente si M es el supremo de f en [a, b]? Suponer que M no tiene preimagen nos conduce a una contradicci on; por tanto, existe x1 [a, b] tales que f (x1 ) = M . Para el caso del m = nf f se hace un razonamiento parecido, usando la funci on h : [a, b] R tal que h(x) = f (x) m (la contradicci on a la que se deriva es que m + 1/C es una cota inferior de f , mayor a m).
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 32 / 35

Demostraci on.
Supongamos, por absurdo, que el sup f es mayor estricto que cualquier f (x), con x [a, b]. Sea M = sup f . Consideremos la funci on g : [a, b] R tal que g (x) = M f (x). C omo es el signo de g (x) en [a, b]? Es continua la funci on g en [a, b]? Y 1/g ? Por qu e? Haciendo uso del lema de Weierstrass para 1/g , qu e se tiene? Finalmente: 1 1 1 < C = M f (x) > < C = M f (x) M f (x) C 1 = f (x) < M , para todo x [a, b]. C Esta ultima desigualdad es coherente si M es el supremo de f en [a, b]? Suponer que M no tiene preimagen nos conduce a una contradicci on; por tanto, existe nf f se hace un x1 [a, b] tales que f (x1 ) = M . Para el caso del m = razonamiento parecido, usando la funci on h : [a, b] R tal que h(x) = f (x) m (la contradicci on a la que se deriva es que m + 1/C es una cota inferior de f , mayor a m).
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 32 / 35

Demostraci on.
Supongamos, por absurdo, que el sup f es mayor estricto que cualquier f (x), con x [a, b]. Sea M = sup f . Consideremos la funci on g : [a, b] R tal que g (x) = M f (x). C omo es el signo de g (x) en [a, b]? Es continua la funci on g en [a, b]? Y 1/g ? Por qu e? Haciendo uso del lema de Weierstrass para 1/g , qu e se tiene? Finalmente: 1 1 1 < C = M f (x) > < C = M f (x) M f (x) C 1 = f (x) < M , para todo x [a, b]. C Esta ultima desigualdad es coherente si M es el supremo de f en [a, b]? Suponer que M no tiene preimagen nos conduce a una contradicci on; por tanto, existe x1 [a, b] tales que f (x1 ) = M . Para el caso del m = nf f se hace un razonamiento parecido, usando la funci on h : [a, b] R tal que h(x) = f (x) m (la contradicci on a la que se deriva es que m + 1/C es una cota inferior de f , mayor a m).
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 32 / 35

Demostraci on.
Supongamos, por absurdo, que el sup f es mayor estricto que cualquier f (x), con x [a, b]. Sea M = sup f . Consideremos la funci on g : [a, b] R tal que g (x) = M f (x). C omo es el signo de g (x) en [a, b]? Es continua la funci on g en [a, b]? Y 1/g ? Por qu e? Haciendo uso del lema de Weierstrass para 1/g , qu e se tiene? Finalmente: 1 1 1 < C = M f (x) > < C = M f (x) M f (x) C 1 = f (x) < M , para todo x [a, b]. C Esta ultima desigualdad es coherente si M es el supremo de f en [a, b]? Suponer que M no tiene preimagen nos conduce a una contradicci on; por tanto, existe x1 [a, b] tales que f (x1 ) = M . Para el caso del m = nf f se hace un razonamiento parecido, usando la funci on h : [a, b] R tal que h(x) = f (x) m (la contradicci on a la que se deriva es que m + 1/C es una cota inferior de f , mayor a m).
Guillermo Barcelona (Tacuaremb o) Continuidad 25 de julio de 2013 32 / 35

Observaci on
Del teorema anterior y del teorema del valor intermedio se deduce que el recorrido de una funci on continua f : [a, b] R es el intervalo cerrado [ nf f, sup f ]. En la terminolog a del an alisis superior, se dice que la imagen bajo una funci on continua de un conjunto compacto (como lo es [a, b]) es otro conjunto compacto, y un conjunto compacto siempre tiene m aximo y m nimo. Aclaremos que el nf f no necesariamente es f (a), como tampoco el sup f es f (b).

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

33 / 35

Observaci on
Del teorema anterior y del teorema del valor intermedio se deduce que el recorrido de una funci on continua f : [a, b] R es el intervalo cerrado [ nf f, sup f ]. En la terminolog a del an alisis superior, se dice que la imagen bajo una funci on continua de un conjunto compacto (como lo es [a, b]) es otro conjunto compacto, y un conjunto compacto siempre tiene m aximo y m nimo. Aclaremos que el nf f no necesariamente es f (a), como tampoco el sup f es f (b).

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

33 / 35

Observaci on
Del teorema anterior y del teorema del valor intermedio se deduce que el recorrido de una funci on continua f : [a, b] R es el intervalo cerrado [ nf f, sup f ]. En la terminolog a del an alisis superior, se dice que la imagen bajo una funci on continua de un conjunto compacto (como lo es [a, b]) es otro conjunto compacto, y un conjunto compacto siempre tiene m aximo y m nimo. Aclaremos que el nf f no necesariamente es f (a), como tampoco el sup f es f (b).

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

33 / 35

Observaci on
Del teorema anterior y del teorema del valor intermedio se deduce que el recorrido de una funci on continua f : [a, b] R es el intervalo cerrado [ nf f, sup f ]. En la terminolog a del an alisis superior, se dice que la imagen bajo una funci on continua de un conjunto compacto (como lo es [a, b]) es otro conjunto compacto, y un conjunto compacto siempre tiene m aximo y m nimo. Aclaremos que el nf f no necesariamente es f (a), como tampoco el sup f es f (b).

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

33 / 35

Karl Weierstrass (1815-1897)

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

34 / 35

Referencias

Spivak, Michael (1996). C alculo Innitesimal (Segunda edici on). M exico. Editorial Revert e. Apostol, Tom (1999). Calculus, Volumen 1. M exico. Editorial Revert e. Lages Lima, Elon (1997). An alisis Real Vol. 1. Brasil. IMPA. Larson, Ron; Edwards, Bruce (2010). C alculo 1. M exico. Mc Graw Hill.

2 3 4

Guillermo Barcelona (Tacuaremb o)

Continuidad

25 de julio de 2013

35 / 35

Potrebbero piacerti anche