Actividad 01_Segundo_Cálculo III_30 de marzo de 2023.
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:
(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
1
[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 :
