Examen Tarea 1
Examen Tarea 1
Examen Tarea 1
Facultad de Ciencias
Análisis Matemático I
Examen-tarea I
López Gutiérrez Madeline
1. Teorema de Lindelöf. Sea (X, dX ) un espacio métrico separable y F = {Ai }i∈I una cubierta abierta de X
con D ⊂ X, D numerable y D = X. Entonces, F tiene una subcubierta numerable.
S
Demostración. Sea F = {Ai }i∈I tal que X ⊂ Ai con cada Ai abierto. Tomamos {Br (a)|r ∈ Q+ y a ∈
D}.(1, ¿ cómo se llama está colección). Entonces, para todo x ∈ X existe un ix tal que x ∈ Aix y un Brx (a)
tal que x ∈ Aix ⊂ Brx (a). (2, ¿por qué?).Por lo tanto:
Q.E.D.
1. ¿Cómo se llama esta colección? Se nos pide el nombre de la colección {Br (a)|r ∈ Q+ , a ∈ D}. Esta es una
colección de bolas abiertas centradas en los puntos de D con radios racionales. En el contexto de espacios
métricos, esta colección se puede entender como una base para la topología del espacio métrico X generada
por el conjunto denso D, especialmente porque estamos considerando radios racionales (Q+ ) y puntos de un
conjunto denso D.
2. ¿Por qué? Esta pregunta se refiere a por qué para todo x ∈ X existe un ix tal que x ∈ Aix y un Brx (a)
tal que x ∈ Aix ⊂ Brx (a). Esto se debe a la propiedad de que D es denso en X y a que los Ai forman una
cubierta abierta de X. Por la densidad de D, podemos encontrar un a ∈ D y un radio r ∈ Q+ tal que x está
contenido en una bola abierta Brx (a) que también está contenida en algún Aix . Esto asegura que cada punto
en X no solo está cubierto por la cubierta abierta F sino también por una bola abierta de radio racional
centrada en un punto de D.
3. ¿Cierto? Se afirma que {Brx (a)} cubre a X. Esto es cierto debido a que para cada x ∈ X, hemos
encontrado un Brx (a) tal que x pertenece a este conjunto. Dado que esto se cumple para cualquier x ∈ X,
entonces la colección de estas bolas abiertas efectivamente cubre todo X.
4. Aclarar detalles: Se menciona que como {Br (a)} es numerable, la subcolección {Brx (a)}x∈X también es
numerable y cubre a X. Esto se aclara notando que los radios son tomados de los números racionales, que
son numerables, y los centros a provienen de D, que también es un conjunto numerable por hipótesis. Por lo
tanto, la colección de bolas abiertas centradas en puntos de D con radios racionales es numerable, y dado que
esta colección puede cubrir X, establecemos que existe una subcubierta numerable de F que cubre X.
5. Justificar: Finalmente, se justifica que {Aix } es una subcubierta numerable de X ya que para cada bola
Brx (a) que cubre a X, tenemos un Aix correspondiente que también cubre a X. Como hemos establecido que
la colección de Brx (a) es numerable y cada una de estas bolas está asociada a un Aix en la cubierta original
F , entonces esta subcolección de F también es numerable y cubre a X.
2. Sean E, F ⊂ (X, dX ) con E ∩ F = ∅.
con
1 1
Qm = m
+ , : k = m + 1, m + 2, m + 3, . . . para cada m ∈ Z+ .
2 k
a) ¿Quién es Γ? ¿Es Γ numerable?
b) ¿Γ es compacto?
Demostrar o dar contraejemplo.
Inciso a) Identificación y Numerabilidad de Γ
Primero, identifiquemos qué representa Γ. Γ es un conjunto definido por los inversos de todos los números
enteros positivos excepto el 1, lo que significa que contiene elementos como 21 , 13 , 14 , . . .. Este conjunto es
infinito ya que hay una cantidad infinita de números enteros positivos.
Para demostrar si Γ es numerable, recordemos la definición de conjuntos numerables. Un conjunto es numer-
able si sus elementos pueden ser contados por los números naturales 1, 2, 3, . . ., lo que implica que existe una
biyección entre el conjunto y N.
Dado que cada elemento de Γ corresponde de manera única a un número entero positivo n ∈ Z+ \{1}, podemos
establecer una correspondencia uno a uno entre los elementos de Γ y los números naturales 2, 3, 4, . . ., que son
a su vez numerables. Por lo tanto, Γ es numerable.
Inciso b) Compacidad de Γ
La compacidad es una propiedad topológica que, en espacios métricos, se puede caracterizar mediante la
propiedad de Heine-Borel, que afirma que un conjunto es compacto si y solo si es cerrado y acotado.
Demostración de la compacidad de Γ:
Cerrado: Un conjunto es cerrado si contiene todos sus puntos límite. El punto límite de Γ es 0, ya que para
cualquier ϵ > 0, siempre hay un elemento de Γ, n1 , tal que 0 < n1 < ϵ. Sin embargo, 0 ∈
/ Γ, lo que sugiere que
Γ podría no ser cerrado a menos que consideremos el contexto más amplio en el que se inserta este conjunto.
1
Acotado: Γ es claramente acotado ya que todos sus elementos están entre 0 y 2 en R.
Para determinar si Γ es compacto, necesitamos verificar si realmente es cerrado en el espacio métrico con-
siderado. Si consideramos Γ dentro del espacio R, notamos que falta su punto límite 0, indicando que no es
cerrado en R. Por lo tanto, Γ no sería compacto en R ya que no satisface la condición de ser cerrado y acotado
simultáneamente.
Conclusión: Mientras que Γ es numerable y acotado, no cumple con los criterios para ser compacto en R
debido a que no es cerrado, ya que no incluye todos sus puntos límite (en este caso, el 0). Esto se alinea
con los principios generales sobre compacidad presentados en el PDF de Espacios Métricos, especialmente
relacionados con las propiedades de ser cerrado y acotado en espacios métricos como R.
5. Definición: Sean (X, dX ) y (Y, dY ) dos espacios métricos. Una función Φ : (X, dX ) → (Y, dY ) es una
isometría si
dY (Φ(x1 ), Φ(x2 )) = dX (x1 , x2 ) para todo x1 , x2 ∈ X.
Parte a)
Para demostrar que dp es una métrica, necesitamos verificar que cumple con las propiedades de una métrica:
1. No negatividad y definida: - dp ((x1 , y1 ), (x2 , y2 )) ≥ 0 directamente por la definición, ya que dX y dY son
no negativas. - Si dp ((x1 , y1 ), (x2 , y2 )) = 0, entonces ambos términos dentro de la raíz p-ésima deben ser 0, lo
que implica x1 = x2 y y1 = y2 ya que dX y dY son métricas.
2. Simetría: - dp ((x1 , y1 ), (x2 , y2 )) = dp ((x2 , y2 ), (x1 , y1 )) ya que dX y dY son simétricas.
3. Desigualdad triangular: - Para cualquier (x3 , y3 ) ∈ X × Y , aplicando la desigualdad de Minkowski (que
es válida para cualquier p ≥ 1) a los vectores en R2 formados por las distancias dX (x1 , x2 ), dY (y1 , y2 ) y sus
correspondientes con (x3 , y3 ), se obtiene que dp satisface la desigualdad triangular.
Parte b)
Similarmente, para d∞ , verificamos las propiedades de la métrica:
1. No negatividad y definida: Se sigue directamente de las propiedades de dX y dY . 2. Simetría: Directo de
la simetría de dX y dY . 3. Desigualdad triangular: Dados tres puntos (x1 , y1 ), (x2 , y2 ), (x3 , y3 ), la desigualdad
triangular se sigue de aplicar la desigualdad triangular para dX y dY por separado y luego tomando el máximo.
Parte c)
La función ι es isométrica si dX (x1 , x2 ) = dp (ι(x1 ), ι(x2 )) o d∞ (ι(x1 ), ι(x2 )), dependiendo de la métrica elegida.
Esto es directamente verificable al sustituir ι(x) en las definiciones de dp y d∞ , notando que dY (y0 , y0 ) = 0,
por lo que solo la distancia dX contribuye a la métrica resultante, preservando la distancia original entre los
puntos en X.
¯B
6. Dar un ejemplo en la recta real,en que A sea abierto y los tres conjuntos A ∩ B̄, Ā ∩ B̄, A ∩
sean distintos.
Para construir un ejemplo adecuado, seleccionemos A y B de manera que cumplan con los requisitos del
problema.
Elegir A: Sea A = (0, 2), que es un conjunto abierto en R porque para cualquier punto x ∈ (0, 2), podemos
encontrar un radio r > 0 tal que la bola abierta con centro en x y radio r esté completamente contenida en A.
Elegir B: Sea B = (1, 3), otro conjunto abierto.
Análisis de los Conjuntos: 1. A ∩ B: La intersección de A y B es (1, 2), ya que estos son los puntos que ambos
conjuntos tienen en común. Este conjunto es abierto.
2. A ∩ B: Para encontrar B, consideramos B = (1, 3), cuya cerradura es [1, 3] porque incluye todos los puntos
límite de B. Entonces, A ∩ B = (1, 2], que es diferente de A ∩ B porque incluye el punto 2, el cual es un punto
límite de B pero no es interior a A.
3. A ∩ B: La cerradura de A es [0, 2] ya que incluye todos los puntos de A más sus puntos límite. Por tanto,
A ∩ B = [1, 2), que es diferente de los otros dos conjuntos mencionados anteriormente porque incluye el punto
1, que es un punto límite de A pero no de B.
7. Dado E ⊂ (X, d), definimos
ρ(x) = inf d(x, z)
z∈E