Análisis Matemático II

Licenciatura en Matemáticas

6° semestre

Unidad 1. Aproximación de funciones

continuas
Actividad 3. Teorema de Weiestrass.
1.- Demuestra el Teorema de Bolzano (o de los ceros). Si “f es continua, tiene distinto signo
en los extremos de un intervalo cerrado, se anula en algún punto intermedio.”

f :[a, b]  , f continua en [a, b], f (a)  f (b)  0  c  (a, b) / f (c)  0

Comprobación

Tenemos la hipótesis de que Sea f(x) continua en un intervalo cerrado [a, b] con condiciones
de la hipótesis f(a) menor a cero, f(a) < 0 y f de b mayor a cero f(b) > 0.

Definamos el conjunto C+ con todos los elementos dentro del intervalo [a, b] tal que la
función evaluada en x sea mayor o igual que cero el cual queda de la siguiente manera:

C+ = {x Є [a, b] / f(x) ≥ 0}

El cual por ser un conjunto no vacío y acotado tiene un supremo denominado por la
siguiente expresión:

C = Sup (C+) y va a haber una de esas cotas que sea la mínima cota superior, por tanto

Este punto va a pertenecer al intervalo cerrado [a,b], c Є [a,b], este punto puede ser igual
al punto b pero no puede estar fuera del intervalo cerrado [a, b], porque si no, no sería la
mínima cota superior.

Entonces si c Є [a,b], F va a ser continua en ese punto ”c”

Se puede asegurar que existe un intervalo, tal que es ese intervalo conserve el mismo signo
que f(c), por teorema de conservación de signo que dice que si una función es continua en
un punto se puede garantizar que hay un intervalo alrededor de ese punto donde la función
conserva el mismo signo, de esta manera tenemos:

ᴲ [c – δ; c + δ] = mismo signo que f(c)

Supongamos que el signo de f(c) es negativo, f(c) < 0

Quedando c entre el intervalo [c – δ; c + δ], como por lo anterior f(c) < 0 c es negativo
dentro del intervalo, la función conserva el signo negativo, y será negativo dentro de todo
el intervalo y esto es contradictorio c no es el supremo, se había definido c = Sup (C+) esta
hipótesis no es verdadera. F(c) no puede ser menor que 0

Tenemos ahora que f(c) > 0 la función en el intervalo [c – δ; c + δ] conserva el mismo signo
de c que en este caso ahora se considera positivo.

Si suponemos esto ahora c + δ va a formar parte del conjunto C+, porque su imagen es
positiva por el teorema de conservación de signos y ahora c no es una cota superior y c no
es el supremo, lo que contradice c = Sup (C+), entonces f(c) = 0, como dice el teorema de
Bolzano.
2.- Demuestra la propiedad de Darboux (del valor intermedio). “Si f, continua, toma distinto
valor en a y b, toma todos los valores intermedios al menos una vez”.

Sea por ejemplo, f (a)  f (b). y / f (a)  y  f (b)  c  (a, b) / f (c)  y

Demostración:

Suponemos que tenemos una función continua f(x) en el intervalo cerrado [a, b] y tenemos
un elemento y que f(a) < y f(b) ahora:

Si definimos la función g(x) = f(x) – y, que también es continua en [a, b] donde y es cualquier
valor numérico comprendido entre f(a) y f(b) es decir, que cumple g(a) < 0, g(b) > 0.

Si g(a) = f(a) – y g(a) < 0

g(b) = f(b) – y g(b) > 0

Entonces, por el teorema de Bolzano que dice:

Sea f una función continua en el intervalo [a; b] y que toma valores de signo opuesto en a
y b (es decir, f(a)f(b) < 0) entonces ∃ 𝑐 ∈ (𝑎, 𝑏) tal que g(c) = 0.

∃ 𝑐 ∈ (𝑎, 𝑏) / 𝑔(𝑐) = 𝑓(𝑐) − 𝑦 = 0 despejamos y tenemos que f(c) = y

3.- Demuestra el Teorema de Weierstrass. “Toda función continua en un intervalo cerrado

alcanza en él un máximo y un mínimo”.

Por hipótesis f es contínua en [a,b].

f está acotada superiormente.

Supongamos que f(x) no está acotada superiormente en el intervalo [a, b]. Dividimos el
intervalo [a, b] en dos semiintervalos, aquí tenemos que si f está acotada en una mitad, no
lo estará en la otra, por lo que se elige el que f no está acotada en [a1, b1], lo dividimos de
nuevo I0 = [a, b], I1 = [a1,b1],… In = [an, bn] ⋂∞
𝑛=0 𝐼𝑛 = [𝑎𝑛 , 𝑏𝑛 ] y obtenemos una sucesión de
intervalos encajados con 𝐼0 ⊇ 𝐼1 ⊇ ⋯ ⊇ 𝐼𝑛
 [𝑎, 𝑏] ⊇ [𝑎1 𝑏1 ] ⊇ [𝑎2 𝑏2 ] ⊇ ⋯ ⊇ [𝑎𝑛 𝑏𝑛 ]

En esta situación los an forman una sucesión creciente y los bn forman una sucesión
decreciente, siendo los an siempre menores que los bn

Aquí el límn → +inf bn –an. donde bn – an es la longitud del intervalo [an, bn].

La longitud del intervalo como ya se dijo en el párrafo anterior [a1, b1] que es (b – a)/2, la
mitad de la longitud de [a, b] es b – a. La longitud del intervalo [a2, b2] es (b – a)/22, la mitad
de la longitud de [a1, b1] que es (b – a)/2, continuando sucesivamente la longitud del
intervalo [an, bn] es (b – a) /2n.

A manera de que límn → +inf bn –an.= límn → +inf (b –a)/2n = 0.

Son condiciones que se cumplen de Par de sucesiones monótonas convergentes, las

cuales son:

1) (an)es creciente

(bn)es creciente

2) Para todo n natural an < bn

3) Para todo ε > 0 existe n0 natural / bn0 – an0 < ε

Que significa lo mismo que límn → +inf bn – an.= 0

((an), (bn)) es un par de sucesiones monótonas convergentes y siendo así tiene frontera y
existe c / para todo n an ≤ c ≤ bn existe el lim an = c- y lim bn =c+

y tenemos que:

lim an = c- indica que para todo δ > 0 existe n1 / para todo n ≥ n1 c – δ < an < c

lim an = c+ indica que para todo δ > 0 existe n2 / para todo n ≥ n2 c < bn < c + δ

Significa que para cualquier entorno de c, existe un intervalo [an, bn] contenida en el entorno
c.
Se define un punto c, tal que f no este acotado en el entorno de c, pero al ser f continua, se
cumple por definición de continuidad que lim 𝑓(𝑥) = 𝑓(𝑐) y f está acotada en un entorno
𝑥→𝑐
de c. (c - δ, c + δ).

Hay una contradicción, por hipótesis f(x) no está acotada, pues decimos que f(x) está
acotada en(c - δ, c + δ), pero no en [an, bn] que esta contenido dentro, y esto es absurdo.

Ahora demostraremos que f tiene un máximo absoluto en [a,b] y se quiere probar que existe
x1 dentro del intervalo [a, b] / f(x) = n

Suponemos lo contrario, que para todo x Є [a, b], f(x) ≠ n, f(x) < n

Definimos la función g(x) = 1/(n- f(x)), continua en el intervalo acotado [a, b] y n – f(x) ≠ 0, g
está acotada, ∀ 𝑥 ∈ [𝑎, 𝑏]

𝑠 ≤ 𝑔(𝑥) ≤ 𝑡

1
≤𝑡
𝑛 − 𝑓(𝑥)

1
≤ 𝑛 − 𝑓(𝑥)
𝑡
1 1
𝑓(𝑥) ≤ 𝑛 − ⟹ 𝑛 − 𝑒𝑠 𝑢𝑛𝑎 𝑐𝑜𝑡𝑎 𝑠𝑢𝑝𝑒𝑟𝑖𝑜𝑟 𝑑𝑒 𝑓 𝑒𝑛 [𝑎, 𝑏]
𝑡 𝑡
1 1
A su vez 𝑔(𝑥) > 0 ⟹ 𝑡 > 0 ⟹ > 0 ⟹ 𝑛 − < 𝑛(2)
𝑡 𝑡

Dicho esto deducimos que existe una cota superior de f menor que n, el extremo superior,
lo cual es absurdo, pues el extremo es la menor de las cotas superiores.

EL absurdo surge de suponer que no existe x tal que f(x) = n, por lo tanto existe x1
perteneciente a [a,b] / f(x) = n.

Vamos con el caso de que f tiene un mínimo absoluto, por el absurdo supondremos que
para todo x Є [a, b] f(x) ≠ m, f(x) > m.
1
Definamos ahora una función ℎ(𝑥) = 𝑓(𝑥)−𝑚, continua en el intervalo [a, b] por ser diferencia
y cociente de funciones continuas y f(x) ≠ m, h es acotada ∀𝑥 ∈ [𝑎, 𝑏]

ℎ ≤ ℎ(𝑥) ≤ 𝑘

1
≤𝑘
𝑓(𝑥) − 𝑚
 1
≤ 𝑓(𝑥) − 𝑚
𝑘
1 1
𝑓(𝑥) ≥ + 𝑚 ⟹ + 𝑚 𝑒𝑠 𝑢𝑛𝑎 𝑐𝑜𝑡𝑎 𝑖𝑛𝑓𝑒𝑟𝑖𝑜𝑟 𝑑𝑒 𝑓 𝑒𝑛 [𝑎, 𝑏]
𝑘 𝑘

Se tiene entonces que:

1
ℎ(𝑥) > 0 ⟹ 𝑘 > 0 ⟹ +𝑚 >𝑚
𝑘

Finamente deducimos que existe una cota inferior de f mayor que el extremo inferior, lo cual
es absurdo, ya que por hipótesis supusimos que no existe x / f(x) = m.

Por tanto si existe x / f(x) = m