Descargue como PDF, TXT o lea en línea desde Scribd
Descargar como pdf o txt
Está en la página 1/ 8
Clase # 3 - Análisis 1 (MAT225)
Espacios métricos Topologı́a de un espacio métrico y métricas equivalentes
Ingenierı́a Civil Matemática - Departamento de Matemática
Profesores: Alberto Mercado
Función distancia a un conjunto Dado un espacio métrico (X, d) y un conjunto distinto de vacı́o A ⊆ X, se define la función distancia a A, dA : X −→ R+ , por
dA (x) = inf d(x, y).
y∈A
Pruebe que esta función está bien definida y que x ∈ A si y solamente si, dA (x) = 0. Demostración Como A 6= ∅, existe x0 ∈ A. Entonces
0 ≤ dA (x) = inf d(x, y) ≤ d(x, x0 ) < +∞,
y∈A
por lo tanto dA está bien definida (dA (x) ∈ R para todo x ∈ X). (⇒) Supongamos x ∈ A. Esto implica que para todo k ∈ N se tiene
B(x, 1/k) ∩ A 6= ∅
Tomando xk en la anterior intersección, obtendremos que
1 0 ≤ dA (x) = inf d(x, y) ≤ d(x, xk ) < ∀k∈N y∈A k Por lo tanto dA (x) = 0. Función distancia a un conjunto
Dado un espacio métrico (X, d) y un conjunto distinto de vacı́o A ⊆ X, se define la
función distancia a A, dA : X −→ R+ , por
dA (x) = inf d(x, y).
y∈A
Pruebe que esta función está bien definida y que x ∈ A si y solamente si, dA (x) = 0. Demostración (⇐) Supongamos dA (x) = 0. Por la definición de ı́nfimo, esto implica que para todo ε > 0 existe un xε ∈ A tal que
d(x, xε ) < ε + inf d(x, y) = ε + dA (x) = ε
y∈A
Es decir, xε ∈ B(x, ε) ∩ A. Hemos probado que
B(x, ε) ∩ A 6= ∅ ∀ε>0
por lo tanto x ∈ A. Topologı́a de un espacios métrico
Definición Para un espacio métrico (X, d) se define su topologı́a (inducida por la métrica d) T por T = {θ ⊆ X | θ es abierto }, es decir, el conjunto de todos los conjuntos abiertos.
Veremos más adelante (ver el apunte del curso), que una topologı́a se puede definir en abstracto como una colección que cumple ciertas propiedades, pero no será necesario hacer enfásis en ello por ahora. Métricas equivalentes
Idea: ¿Qué obtenemos si calculamos el interior, o la cerradura, de un conjunto
A ⊂ R2 con cada una de las métricas d1 y d2 ? Métricas equivalentes
Definición Dado un conjunto X y dos métricas d1 , d2 : X −→ R+ se dice que d1 y d2 son equivalentes si existen c1 , c2 > 0 tales que
Métricas equivalentes Teorema Sea un conjunto X y dos métricas equivalentes d1 , d2 : X −→ R+ . Entonces, los abiertos y cerrados que estas métricas definen son los mismos.
Demostración Veamos que d1 y d2 definen los mismos abiertos solamente. Que definen los mismos cerrados se deducirá de lo anterior dado que un conjunto es cerrado si su complemento es abierto. Basta con mostrar que los abiertos que define una métrica son abiertos para la otra métrica. Notaremos por B1 (x, ε) y B2 (x, ε) las bolas que definen d1 y d2 respectivamente. Sea θ un abierto para d1 y mostremos que es un abierto para d2 . Dado x ∈ θ existe δ > 0 tal que B1 (x, δ) ⊆ θ. Mostremos que para ε = c1 δ > 0 se tiene B2 (x, ε) ⊆ B1 (x, δ) ⊆ θ (*) De hecho, si y ∈ B2 (x, ε), entonces 1 ε d1 (y, x) ≤ d2 (y, x) < =δ c1 c1 por lo tanto se tiene (*). Es decir ∀ x ∈ θ, ∃ ε > 0 tal que B2 (x, ε) ⊆ θ, o sea θ es abierto para d2 . Métricas equivalentes
Corolario Las topologı́as definidas por dos métricas equivalentes son idénticas.
