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
.
C. Sea
una función definida por
donde
y
son
funciones polinomiales.
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
I. Teorema de Bolzano
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
.
Teorema del Máximo (mínimo) para
funciones
continuas
Vamos a probar que
alcanza su extremo superior en
.
Para el extremo inferior es suficiente tener en cuenta que el
extremo inferior de
es el extremo superior de
.
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
Volver
Revista digital Matemática, Educación e Internet.
|