Propiedad de conjuntos encajados.

Hay una consecuencia importante del Teorema 1, llamada, la propiedad de

conjuntos encajados.

Teorema 2.
Sea (Fk )k2N una sucesión de conjuntos compactos no vacíos en Rn ; tal que
1
Fk+1 Fk para toda k 2 N: Entonces existe al menos un punto en \ Fk :
k=1
Comentario: Intuitivamente, los conjuntos Fk son cada vez más pequeños,
así que parece muy razonable que deba existir un punto común a todos ellos.
Sin embargo, si los Fk no son compactos, la intersección puede ser vacía, por
ejemplo, sea Fk := (k; 1) o [k; 1), por tanto la demostración requiere algo de
cuidado.
Uno puede probar el Teorema 2, usando el Teorema de Bolzano-Weierstrass:
F1 ; F2 ; F3 ; :::; Fk ; :::::
x1 ; x2 ; x3 ; ::::; xk ; ::::
(xk )k2N F1 :::
x'(k) k2N la cual converge a x 2 F1: A…rmamos que: x 2 Fk para toda
k 2 N:
Como ' es estrictamente creciente, la 1 cola de...

Ejemplos:
(1) Veri…que el Teorema 2 para Fk := 0; k1 R:
(2) ¿Es cierto el Teorema 2, si "compacto no vacío" es reemplazado por
"abierto no vacío" o "cerrado no vacío"?
R: No.

Actividad 01_Segundo_Cálculo III_10 de octubre de 2022.

Indicaciones para la generación de la evidencia:
I. Para la realización de la actividad está prohibido recurrir a cualquier fuente de
información, excepto sus fólders de evidencias.
II. Cada una de sus a…rmaciones deberá estar debidamente justi…cada ya sea con
argumentos precisos o bien con contra ejemplos.
III. En caso de necesitar un teorema, una de…nición, etcétera en su argumentación,
deberá ser enunciada de forma precisa, respetando el punto I.
IV. La evidencia que entreguen deberá ser el producto de un trabajo colaborativo.
No se permite el uso de cualquier dispositivo electrónico.
V. Sólo revisaré ejercicios que estén completamente resueltos.
VI. Si realizan más de un ejercicio deberán indicarme el orden en el cual debo
revisar los ejercicios.
VII. La primera hoja deberá contener los siguientes datos: Número de actividad,
grupo, fecha, equipo, números de lista de los que colaboraron. Es obligatorio contestar
la pregunta: ¿cómo me sentí? e identi…car su respuesta con su número de lista.

1. Demuestre que los siguientes enunciados son equivalentes:

1
(iii) Toda sucesión en A tiene una subsucesión la cual converge a un punto en
A:
(iii) Todo subconjunto in…nito de A tiene un punto de acumulación en A:

2. Demuestre que los siguientes enunciados son equivalentes:

(ii) Toda cubierta abierta de A tiene una subcubierta abierta …nita.
(ii) Toda colección de conjuntos cerrados con la propiedad de intersección
…nita con A; tiene intersección no vacía con A:

3. Demuestren lo siguiente:
a: Si x 2 A n A; entonces x 2 @A:¿Es cierto el recíproco?
b: Sea A R no vacío y acotado superiormente y x = sup A: ¿x 2 @A?
c: Sea S R no vacío, acotado superiormente y cerrado, si x = sup S,
entonces x 2 S:

4. a: Realicen la traducción del siguiente lema y su demostración; b: Ar-

gumenten las preguntas en paréntesis; c: Estúdienlo y pongan sus dudas por
escrito.
Lemma 1: The Heine-Borel property (ii) holds for closed intervals [a; b] in
R.
Proof: Let U = fUi g be an open covering of [a; b]. De…ne
A := fx 2 [a; b] j the set [a; x] can be covered by a …nite collection of the Uis g.
We want to show that b 2 A. To this end, let c = sup A: The sup exists
because A 6= ? (since a 2 A), and A is bounded above by b: Also, since [a; b] is
closed, c 2 [a; b] (why?). Suppose c 2 Ui0 ; such a Ui0 exists since the Uis cover
[a; b] : Since Ui0 is open, there is an " > 0; such that (c "; c + ") Ui0 : Since
c = sup A; there exists an x 2 A; such that c " < x c (why?). Because
x 2 A; [a; x] has a …nite subcover, say, U1 ; :::; UN ; then a; c + 2" also has the
…nite subcover U1 ; :::; UN ; Ui0 : Thus we conclude that c 2 A and moreover, that
c = b: Indeed, if c < b; we would get a member of A larger than c, since a; c + 2"
has a …nite subcover. The latter cannot happen since c = sup A:
Nota: En los dos últimos renglones de esta demostración, para conseguir
de manera correcta un absurdo, es necesesario:
Si c < b; existe un y 2 R tal que c < y < b y además se le debe de perdir a
este "y" que: y < c + 2" : Con esto, se puede ver que este "y" debe pertenecer a
A:
Un "y" más especí…co, el cual cumple con lo anterior sería:

c+b c+(c+ 2 )
"
y := m{n 2 ; 2 :