AM1 Tarea4
AM1 Tarea4
AM1 Tarea4
Tarea 4 | 2023-2
Eduardo Lobato
Ejercicio 1
Demostrar que, en todo espacio separable, toda familia de conjuntos abiertos y disjuntos dos a dos
es numerable.
Demostración.
Sea (X, d) un espacio separable y F una familia de conjuntos abiertos y disjuntos dos a dos.
Supongamos, para llegar a una contradicción, que F es no numerable.
Como (X, d) es separable, existe un S ⊆ X denso y numerable, de tal forma que para cualquier
F ∈ F existe x ∈ F ∩ S y al estar F formado por conjuntos abiertos disjuntos dos a dos,
tendremos que para cualquier G ∈ F con G ̸= F existe y ∈ G ∩ S de tal forma que y ̸= x.
Así, al ser F no numerable, podemos encontrar una cantidad de elementos no numerable en
S, lo que es una contradicción porque S es numerable.
Por lo tanto, F debe ser numerable.
Ejercicio 2
Demostrar que Rn con la métrica usual es separable.
Demostración.
Ejercicio 3
Demostrar que si un conjunto es no-acotado entonces su interior también es no-acotado.
NOTA: El conjunto vacío es acotado, por vacuidad.
OBS. Esto no necesariamente es cierto, por ejemplo tomando A := (0, 1) ∪ N ⊆ R es un conjunto
no acotado cuyo interior (0, 1) está acotado.
Ejercicio 4
Demostrar que el espacio métrico (X, d) es compacto (es decir, X es compacto) si y sólo si toda
familia de subconjuntos cerrados de intersección vacía contiene una subfamilia finita de intersección
vacía.
Demostración.
n
\ n
[ c n
\
c
(Fj ) = (Fj ) = X \ X = ∅ = Fi
j=1 j=1 i=1
⇐= ) Sea F una cubierta abierta de X. Suponiendo que toda familia de subconjuntos cerrados
de intersección vacía contiene una subfamilia finita de intersección vacía, entonces existe
F familia de cerrados que cumple la propiedad anterior y además
[ \ c [
c
(Fi ) = Fi = X \ ∅ = X = Fj
i∈I i∈I j∈J
n
[ n
\ c n
[
c
(Fi ) = Fi =X \∅=X = Fj
i=1 i=1 j=1
Ejercicio 5
Sea (X, d) un espacio métrico discreto, es decir, d es la métrica discreta. Probar las siguientes
afirmaciones:
n
[ n
[
Basta observar que Bε (xi ) = {xi } = {x1 , . . . , xn } ⊆ A
i=1 i=1
De lo anterior, se concluye que A = {x1 , . . . , xn }. Por lo tanto A es finito.
⇐= ) En general, un conjunto finito es compacto, por ende precompacto (resultado visto
en clase).
□
A ⊆ X es compacto si y sólo si A es finito.
Demostración.
=⇒ ) Si A es compacto, sabemos que es precompacto y al ser discreto, por el resultado
anterior, finito.
⇐= ) En general, un conjunto finito es compacto: Dada una cubierta abierta arbitraria,
para cada elemento en el conjunto basta tomar uno de los conjuntos que forman la
cubierta que contienen a dicho punto, esto es un proceso finito con lo cual se genera
una cubierta finita.
□
Análisis Matemático I 2023-2 3
Ejercicio 6
Probar las siguientes afirmaciones:
Ejercicio 7
Sea (X, d) un espacio métrico, A un subconjunto no vacío de X y x ∈ X. Definimos la distancia
del punto x al conjunto A como sigue:
d(x, z) = dist(x, A)
Demostración.
Sea x ∈ X:
Caso 1. Suponiendo que x ∈ A, es inmediato que d(x, x) = 0 = dist(x, A)
Caso 2. Suponiendo que x ∈ X \A, al ser A compacto, es también cerrado y acotado.
Observando que cualquier z ∈ A, forzosamente cumple que d(x, z) > 0
□
Análisis Matemático I 2023-2 4
Ejercicio 8
Sea (X, d) un espacio métrico. La distancia entre dos subconjuntos no vacíos de X se define como:
dist(A, B) := ı́nf{d(x, y) : x ∈ A, y ∈ B}
Ejercicio 9
Sea (X, d) un espacio métrico, A ⊆ X un conjunto no vacío y B ⊆ X conjunto compacto, demuestra
la siguiente equivalencia:
dist(A, B) = 0 ⇐⇒ A ∩ B ̸= ∅
Demostración.
□
Análisis Matemático I 2023-2 5
Ejercicio 10
Sea (X, d) un espacio métrico compacto, es decir, X es compacto. Sea {An }n∈N una familia de
subconjuntos de X \ cerrados y no vacíos tales que An+1 ⊆ An para cualquier n ∈ N. Demostrar
que la intersección An es no vacía y cerrada.
n∈N
Demostración.