|
Lic. Elsie Hernández S.. |
1 2 3
4 5 6
7 8 9
10 11 12
13 14 15
16 17 18
19 20 21
22 23
|
Demostraciones de los teoremas sobre
continuidad de funciones.
A. Probaremos la parte a)
Sea cualquier número en .
Como
y
son continuas entonces se tiene que
y
.
De los teoremas sobre límites se sabe que:
Luego por lo que se cumple lo establecido en la definición de continuidad y es continua en . El resto de los apartados se demuestran similarmente.
B. Sea
,
,
,
,
.
Aplicando los diferentes teoremas sobre límites se tiene que:
Al cumplirse lo establecido en la definición de continuidad, se
ha demostrado que la función
es continua para toda
.
El dominio de
es decir,
.
Aplicando el teorema para el límite de un cociente se tiene que:
Como
y
son funciones polinomiales, por el teorema B se
tiene que son funciones continuas y por tanto y .
Luego y concluimos que es continua en todo número de su dominio.
D. Sea
Como
es continua en d, entonces lím
por lo que existe una
tal que
cuando
.
Como
entonces dada dicha
, existe una
tal que
siempre que
.
Luego para esta se tiene que cuando entonces , con lo que queda demostrado el teorema.
E. Debemos probar que:
, o sea que, dada una
debe existir
algún número
tal que si
entonces
.
Como
es continua en
entonces lím
.
Tomando
como
es continua en
entonces
, por lo que existe un número
tal que
si
entonces
.
Luego, si entonces y , que era lo que se quería demostrar. Así los números que están a una distancia menor que de , por medio de la función , son llevados una distancia menor que de , y a continuación son transportados por una distancia menor que de .
F. Debemos probar que
, o equivalentemente
que:
lím
Como
, entonces se tiene
que
lím
lím
=lím
lím
=
=
Con lo que queda demostrado el teorema.
G. Demostración del teorema de límite de un cociente cuyo
enunciado es el siguiente:
"Si
y
con
entonces
."
Sea h la función definida por
. Para una
función dada
, la función continua para todo número
real
tal que
, entonces:
Luego aplicando el teorema sobre el límite de un producto se
tiene que: y el teorema queda demostrado.
H. Supongamos que
. Como
es continua en
entonces
, por lo que para cada
, existe un
tal que:
siempre que
, es decir:
siempre que .
Tomando el
correspondiente a
que es positiva pues
,
entonces se tiene que
siempre que
, o sea
cuando
.
Luego concluimos que en este intervalo y por tanto y poseen el mismo signo. Si entonces se tomo correspondiente a y se llega a la misma conclusión
Supongamos que
y
. De hecho , pueden existir
muchos valores de x entre
y
tales que
. Vamos a
encontrar uno determinado el mayor
para el cual
.
Sea el conjunto de todos los puntos del intervalo para los que . Note que hay por lo menos un punto en , ya que . Luego, es un conjunto n vacío. está acotado superiormente pues todos los puntos de están en .
Como todo conjunto no vacío de números reales que está
acotado superiormente tiene un extremo superior, designemos a
éste con
. Se debe probar entonces que
.
Existen solo tres posibilidades:
,
y
. Si
entonces hay un intervalo
o
si
, tal que
es positivo si
está en este
intervalo.
Por tanto, ningún punto de
puede estar a la derecha de
, por lo que
es una cota superior del conjunto
.
Pero
y
es el extremo superior de
. Luego la
desigualdad
es imposible.
Si
, entonces hay un intervalo
o
si
, en el que
es negativa, por lo que
para algún
, lo que contradice el hecho que
es
una cota superior de
.
Luego también es imposible, quedando únicamente la posibilidad de .
Además,
puesto que
y
.
Queda demostrado el teorema.
J. Teorema del valor intermedio para funciones continuas.
Supongamos
, y sea
un valor cualquiera que se encuentra
entre
y
. Sea
una función definida en el
intervalo
de la siguiente manera:
.
Se tiene que
es continua en cada punto de
, pues
es la diferencia de dos funciones continuas, y además:
, pues . Aplicando el teorema de Bolzano a la función se tiene que para algún entre y , lo que significa , quedando demostrado el teorema.
K. 1. Como es continua en entonces si es un número entre y , es decir , según el teorema del valor medio, existe un número tal que
Luego, si
, existe al menos un número
tal que
. Se quiere demostrar que a cada
número
le corresponde un único número
.
Supongamos tal que y con y en , . Así .(*) Al suponer puede suceder que sea menor que o que sea menor que . Si , como es creciente en entonces , lo que contradice lo señalado en (*).
Si
entonces
y también contradice
(*).
Luego es falso suponer que , y por tanto a cada valor de en le corresponde exactamente un número x en tal que . Luego posee una función inversa denotada que está definida para todos los números en
2. Para probar que
es creciente en
, hay que
demostrar que si
y
son dos números en
tales que
entonces
.
Como
está definida en
entonces existen
números
y
en
tales que
y
.
Luego y . (**) Como es decreciente en , si entonces o sea . Pero y por tanto no puede ser menor . Si , por ser una función entonces , o sea que , lo que también contradice que sea menor que . Luego . Si no es menor que , y entonces necesariamente , de donde (ver (**)). Luego es creciente en .
3. Para demostrar que es continua en el intervalo , se debe probar que si , entonces , es continua en , es continua por la derecha en y es continua por la izquierda en . Para probar que lím , o sea, para suficientemente pequeño para que y estén ambos en , existe tal que siempre que .
Sea
, luego
.
Como
es estrictamente creciente en
entonces
por lo que
.
Como
es estrictamente creciente en
entonces:
Sea
el más pequeño de los dos números:
y
; así
y
es
decir:
y
.
Siempre que
se cumple que
o sea
.
Luego, siempre que se cumple que . Como es creciente en se deduce de lo anterior que:
cuando o sea , siempre que , de donde si , es decir cuando . Se ha probado así que es continua en . Se deja como ejercicio la prueba de que es continua por la derecha en y por la izquierda en .
Sea . Supongamos que no existe un para el que .
Sea
. Para todo
se tiene que
con lo que la función recíproca
es continua en
. Escribamos
para todo
, siendo
.
Lo anterior implica que con lo que , para todo , pero esto está en contradicción con el hecho que es la menor de las cotas superiores de en .
Luego
para un
por lo menos en
|