Asignatura: Análisis matemático II

Carrera: Licenciatura en matemáticas

Alumno: Raúl Ibáñez Couoh

Matrícula: ES172001745

Docente: Braulio Samuel Colmenero Mejía

Unidad 1. Aproximación de funciones continuas

Actividad 2. Teorema de Weierstrass Tarea

15/07/2020, Zihuatanejo, Guerrero, México.

Ejercicios a resolver:
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

𝑓 𝑐𝑜𝑛𝑡𝑖𝑛𝑢𝑎 𝑒𝑛 [𝑎, 𝑏], 𝑓(𝑎) ∙ 𝑓(𝑏) < 0 → ∀𝑐(𝑎, 𝑏)|𝑓(𝑐) ≠ 0)

Demostración:
Para que 𝑓(𝑎) y 𝑓(𝑏) cumplan con que 𝑓(𝑎) ∙ 𝑓(𝑏) < 0, suponemos 𝑓(𝑎) > 0 y que
𝑓(𝑏) < 0 de tal manera que tenemos que el conjunto 𝐴 no es un conjunto vacío,
debido a que 𝑎 ∈ 𝐴 y como 𝐴 se encuentra acotado por 𝑏, entonces supongamos
que el conjunto 𝐴 tiene un elemento máximo:
𝑐 = sup(𝐴)
Por lo tanto, 𝑎 < 𝑐 < 𝑏.
Por medio del método de contradicción en el que queremos demostrar que 𝑝 → 𝑞
son verdaderas, suponer que , 𝑝 ∧ ~𝑞 son verdades nos llevará a una contradicción.
𝑓 𝑐𝑜𝑛𝑡𝑖𝑛𝑢𝑎 𝑒𝑛 [𝑎, 𝑏], 𝑓(𝑎) ∙ 𝑓(𝑏) < 0 → ∀𝑐(𝑎, 𝑏)|𝑓(𝑐) ≠ 0)
Ya que la negación del cuantificado existencial ∃ es:
~(∃∈ 𝑐(𝑎, 𝑏)|𝑓(𝑥) = 0) ≡ (∀𝑐(𝑎, 𝑏)|𝑓(𝑐) ≠ 0)
Debido a que con la contradicción del cuantificador ahora, 𝑓(𝑐) ≠ 0, existe 𝑛 − 𝑏𝑜𝑙𝑎:

||𝑥 − 𝑐|| < 𝑟

Con radio 𝑟 y centro en 𝑐, por lo cual 𝑓 tendrá el mismo signo que 𝑓(𝑐) por lo que
habrá puntos interiores 𝑥 > 𝑐 para los cuales 𝑓(𝑥) > 0, siendo esto una
contradicción para el cuantificador ∀. Por lo que pasa 𝑆 siendo el conjunto abierto
(𝑎, 𝑏) 𝑆 es abierto sí, y sólo si, 𝑆 = 𝑖𝑛𝑡(𝑆) contradiciendo así la existencia del
𝑟
conjunto abierto (𝑎, 𝑏) y como 𝑐 − 𝑒𝑠 𝑢𝑛𝑎 𝑐𝑜𝑡𝑎 𝑠𝑢𝑝𝑒𝑟𝑖𝑜𝑟 𝑝𝑎𝑟𝑎 𝐴, nuevamente
2
tenemos una contradicción. ∎
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:
Sea 𝑦 un número entre 𝑓(𝑎) y 𝑓(𝑏)
Por medio del método de contradicción en el que queremos demostrar que 𝑝 → 𝑞
son verdaderas, suponer que , 𝑝 ∧ ~𝑞 son verdades nos llevará a una contradicción.
𝑓(𝑎) < 𝑓(𝑏) {∀𝑦|𝑓(𝑎) < 𝑦 < 𝑓(𝑏)} → ∃𝑐 ∈ (𝑎, 𝑏)|𝑓(𝑐) = 𝑦.
Ya que la negación del cuantificado existencial ∃ es:
~(∃𝑐 ∈ (𝑎, 𝑏)|𝑓(𝑐) = 𝑦) ≡ (∀𝑐 ∈ (𝑎, 𝑏)|𝑓(𝑐) ≠ 𝑦)
Debido a que con la contradicción del cuantificador ahora, 𝑓(𝑐) ≠ 𝑦, existe 𝑛 − 𝑏𝑜𝑙𝑎:

||𝑥 − 𝑦|| < 𝑟

Con radio 𝑟 y centro en 𝑦, por lo cual 𝑓 tendrá el mismo signo que 𝑓(𝑐) por lo que
habrá puntos interiores 𝑥 > 𝑐 para los cuales 𝑓(𝑥) > 0, en dónde surge una función
definida a través de 𝑔(𝑥) = 𝑓(𝑥) − 𝑦. También se cumple que para 𝑔(𝑎) > 0 y
𝑔(𝑏) < 0, ya que 𝑔(𝑎) = 𝑦 − 𝑓(𝑎) > 0 y 𝑔(𝑏) = 𝑦 − 𝑓(𝑏) < 0 que en consecuencia
por el teorema de Bolzano existe al menos un punto 𝑐 ∈ (𝑎, 𝑏) tal que 𝑔(𝑐) = 0
contradiciendo así que (∀𝑐 ∈ (𝑎, 𝑏)|𝑓(𝑐) ≠ 𝑦) ). ∎
3.- Demuestra el Teorema de Weierstrass. “Toda función continua en un
intervalo cerrado alcanza en él un máximo y un mínimo”.
Teorema de Weierstrass. Sean 𝑎, 𝑏 ∈ ℝ con 𝑎 < 𝑏 y sea 𝑓: [𝑎, 𝑏] → ℝ una función
continua.
Entonces, el intervalo 𝑓([𝑎, 𝑏]) es cerrado y acotado.
Por el método de contradicción tenemos el teorema expresado de la siguiente
manera:
Si 𝑎, 𝑏 ∈ ℝ con 𝑎 < 𝑏 y sea 𝑓: [𝑎, 𝑏] → ℝ una función continua, entonces el intervalo
𝑓([𝑎, 𝑏]) es cerrado y no es acotado.
Dividiendo [𝑎, 𝑏] para 2 semi-intervalos. Debemos escoger el intervalo en el cual 𝑓
no se encuentra acotado. Dividiendo nuevamente el intervalo para el cual 𝑓 no se
encuentra acotado y repitiendo de manera sucesiva, nos encontramos que, para la
sucesión de intervalos encajonados, Por lo cual dada una familia de intervalos
cerrados encajonados no vacíos {𝐼1 , 𝐼2 , … , 𝐼𝑛 }, ésta determina un punto y solo uno,
es decir, tiene por intersección a un conjunto de un solo elemento {𝛼} , tal que 𝑓 no
está acotada para ningún entorno de 𝛼.
Pero al ser 𝑓 una función continua:
lim 𝑓(𝑥) = 𝑓(𝛼)
𝑥→𝛼

Y 𝑓 se encuentra acotada para 𝛼, lo cual es una contradicción. ∎

 Bibliografía
Bartle, R. (2004). Introducción al análisis matemático de una variable. México:
LIMUSA.
Courant, R. (1999). Introducción al cálculo y al análisis matemático . México : Limusa
.
Haaser, N. (1999). Análisis Matemático. México: trillas.
Rudin, W. (1980 ). Principios de análisis matemático . México: McGraw Hill .
T.M.Apostol. (2006 ). Análisis Matemático . Barcelona: Reverté, S.A. .