Manual de imagen

Logotipo institucional Universidad del Pacífico

Módulo 1: Espacios métricos

Matemáticas Avanzadas

MECO 19

Orestes Bueno Módulo 1: Espacios métricos MECO 19 1 / 22

Definición
Un espacio métrico es un conjunto X dotado de una función distancia (o métrica) d : X × X → R+ que
cumple
d(x, y ) = 0 si, y solo si, x = y ,
d(x, y ) = d(y , x), para todo x, y ∈ X ,
d(x, z) ≤ d(x, y ) + d(y , z), para todo x, y , z ∈ X .
Ejemplos:
X = R con la métrica d(x, y ) = |x − y | (llamada métrica del valor absoluto).
X = Rn con la métrica d2 (ū, v̄ ) = ∥ū − v̄ ∥2 dada por
p
d2 (ū, v̄ ) = (u1 − v1 )2 + · · · + (un − vn )2 .

donde ū = (u1 , . . . , un ), v̄ = (v1 , . . . , vn ).

X = {alumnos Mate. Avanzada} con la métrica discreta
(
0, si x = y ,
d(x, y ) =
1, si x ̸= y .

Orestes Bueno Módulo 1: Espacios métricos MECO 19 2 / 22

Más ejemplos
Es usual dotar al espacio R2 con la métrica euclidiana
p
d2 (ū, v̄ ) = (u1 − v1 )2 + (u2 − v2 )2 .
Esta no es la única manera de definir métricas en R2 , tenemos por ejemplo
la métrica del taxista: d1 (ū, v̄ ) = |u1 − v1 | + |u2 − v2 |
la métrica del máximo: d∞ (ū, v̄ ) = máx{|u1 − v1 |, |u2 − v2 |}
Se pueden dar definiciones similares en Rn .
Considere C([0, 1], R) = C[0, 1] = {f : [0, 1] → R : f es continua}. Podemos definir dos métricas
en C[0, 1]:
Z 1
d1 (f , g ) = |f (x) − g (x)|dx.
0
d∞ (f , g ) = máx |f (x) − g (x)|.
x∈[0,1]
Observaciones:
La definición de espacio métrico depende tanto del conjunto X como de la métrica d, por esto un
espacio métrico se denota como el par (X , d).
Si (X , d) es un espacio métrico y Y ⊂ X es un subconjunto de X , (Y , d) también es un espacio
métrico, considerando la “misma” métrica d.
Orestes Bueno Módulo 1: Espacios métricos MECO 19 3 / 22
Conjuntos abiertos y cerrados
Sea (X , d) un espacio métrico. Dados x ∈ X y r > 0, consideremos los conjuntos
B(x, r ) = {y ∈ X : d(x, y ) < r } (bola abierta de centro x y radio r )
B[x, r ] = {y ∈ X : d(x, y ) ≤ r } (bola cerrada de centro x y radio r )
S[x, r ] = {y ∈ X : d(x, y ) = r } (esfera de centro x y radio r )
Sea A ⊂ X un conjunto.

Definición
Diremos que
A es un conjunto abierto si, para todo x ∈ A, existe r > 0, tal que B(x, r ) ⊂ A.
A es un conjunto cerrado si X \ A es un conjunto abierto.

Ejemplo
En cualquier espacio métrico (X , d), se tiene que X y el conjunto vacı́o ∅ son abiertos y cerrados a la
vez.

Orestes Bueno Módulo 1: Espacios métricos MECO 19 4 / 22

Propiedades

∅ y X son abiertos y cerrados

unión (arbitraria) de conjuntos abiertos, es también abierto
intersección finita de conjuntos abiertos, es también abierto
intersección (arbitraria) de conjuntos cerrados, es también cerrado
unión finita de conjuntos cerrados, es también cerrado

Orestes Bueno Módulo 1: Espacios métricos MECO 19 5 / 22

Interior y clausura de un conjunto

Sea (X , d) un espacio métrico y A ⊂ X . Definamos los conjuntos

IA = {U ⊂ X : U abierto y U ⊂ A}, CA = {F ⊂ X : F cerrado y A ⊂ F },

Ası́, podemos definir [ \

int(A) = U, cl(A) = F,
U∈IA F ∈CA

denominados interior y clausura de A, respectivamente.

◦
Notación: A= int(A), A = cl(A).

Orestes Bueno Módulo 1: Espacios métricos MECO 19 6 / 22

Propiedades del interior y la clausura

Proposición
int(A) = {x ∈ A : ∃ r > 0, B(x, r ) ⊂ A}
cl(A) = {x ∈ X : ∀ r > 0, B(x, r ) ∩ A ̸= ∅}

Proposición
A es abierto si, y solo si, A = int(A)
A es cerrado si, y solo si, A = cl(A)

Orestes Bueno Módulo 1: Espacios métricos MECO 19 7 / 22

Frontera de un conjunto

Sea (X , d) un espacio métrico y considere A ⊂ X un conjunto.

Definición
La frontera de A, denotada por ∂A, se define como

∂A = Ā \ int A.

Propiedades:
∂A = {x ∈ X : ∀ r > 0, B(x, r ) ∩ A ̸= ∅ y B(x, r ) ∩ X \ A ̸= ∅}
A y X \ A tienen la misma frontera
∂A es un conjunto cerrado
cl(A) = A ∪ ∂A

Orestes Bueno Módulo 1: Espacios métricos MECO 19 8 / 22

Sucesiones (en espacios métricos)

Definición
Sea (X , d) un espacio métrico. Una sucesión en X es una función a : N → X .

Notación:
Considerando an = a(n), denotaremos la sucesión a como a = (an )n∈N .
Si A ⊂ X , escribiremos (an )n∈N ⊂ A para denotar “∀ n ∈ N, an ∈ A”.
Ejemplos:
1
Sucesiones en R: (an )n donde cada an ∈ R. Ejemplo: an = , ∀ n ∈ N.
n
En C[0, 1] considere las sucesiones (fn )n∈N , (gn )n∈N definidas como
x
fn , gn : [0, 1] → R, fn (x) = x n , gn (x) = .
n

Orestes Bueno Módulo 1: Espacios métricos MECO 19 9 / 22

Convergencia de sucesiones

Definición
Sea (X , d) un espacio métrico. Dadas (an )n∈N y a∗ ∈ X diremos que (an )n∈N converge o tiende a a∗ si

∀ ε > 0, ∃N ∈ N, ∀ n ∈ N, n ≥ N −→ d(an , a∗ ) < ε.

En este caso, denotaremos lı́m an = a∗ o an → a∗ .

n→∞

La definición anterior se interpreta como

“para cualquier radio ε > 0, existe un ı́ndice N tal que:
todos los elementos an , con ı́ndice n > N, están en B(a∗ , ε)”.
Observación: lı́m an = a∗ si, y solo si, lı́m d(an , a∗ ) = 0 (con la métrica usual de R). Por ende, el
n→∞ n→∞
lı́mite es único.

Orestes Bueno Módulo 1: Espacios métricos MECO 19 10 / 22

Sucesiones y nociones topológicas

Sea (X , d) un espacio métrico.

Dado A ⊂ X , se cumple que cl(A) = {x ∗ ∈ X : x ∗ = lı́m xn , (xn )n ⊂ A}.
n→∞
Un conjunto A ⊂ X es cerrado si, y solo si, para toda sucesión (xn )n ⊂ A convergente, su lı́mite
pertenece al conjunto A.

Definición
Diremos que U ⊂ X es acotado, si existe x ∈ X , r > 0 tal que U ⊂ B(x, r ).
Diremos que una sucesión (an )n es acotada, si el conjunto {an : n ∈ N} es acotado.

Proposición: Si (an )n es convergente entonces es acotada.

Orestes Bueno Módulo 1: Espacios métricos MECO 19 11 / 22

Subsucesiones

Sea (X , d) un espacio métrico y sea (xn )n una sucesión en X .

Definición
Una subsucesión de (xn )n∈N es una sucesión (xnk )k∈N tal que nk es estrictamente creciente respecto de
k, es decir
n1 < n2 < · · · < nk < nk+1 < · · ·
1 1
Ejemplo: Considere (xn )n∈N , xn = . Considerando nk = 2k, tenemos: x2k = .
n 2k
Propiedades:
Una sucesión (an )n ⊂ X es convergente si, y solo si, toda subsucesión (ank )k de (an )n es
convergente.
Si an → a∗ y (ank )k es subsucesión de (an )n , entonces ank → a∗ .

Orestes Bueno Módulo 1: Espacios métricos MECO 19 12 / 22

Conjuntos compactos

Definición
Sea (X , d) un espacio métrico. Diremos que un conjunto K ⊂ X es compacto si para toda sucesión
(xn )n ⊂ K , existe una subsucesión (xnk )k convergente, cuyo lı́mite pertenece a K .

Propiedad: Si K ⊂ X es compacto, entonces es cerrado y acotado.

Ejemplo:
(Heine-Borel) Todo conjunto cerrado y acotado de (Rn , d2 ) es compacto.
X =]0, 1[ con la métrica usual de R: X es cerrado y acotado, pero no es compacto en X .

Orestes Bueno Módulo 1: Espacios métricos MECO 19 13 / 22

Ejemplos y propiedades

Ejemplos:
Todo conjunto finito es compacto.
Si F ⊂ K , F cerrado y K compacto, entonces F es compacto.
Propiedades: En cualquier espacio métrico (X , d):
∅ es compacto
unión finita de compactos es compacto
intersección arbitraria de compactos es compacto
si K1 ⊃ K2 ⊃ · · · ⊃ Kn ⊃ · · · son conjuntos compactos entonces
\
Kn ̸= ∅.
n∈N

Orestes Bueno Módulo 1: Espacios métricos MECO 19 14 / 22

Sucesiones de Cauchy
Definición
Sea (X , d) un espacio métrico. La sucesión (xn )n es una sucesión de Cauchy si

∀ ε > 0, ∃N ∈ N, ∀ m, n ∈ N, m, n ≥ N −→ d(am , an ) < ε.

Ejemplos:
Toda sucesión convergente es de Cauchy.
Considere la sucesión (fn )n en C[−1, 1] definida por

0,
 si x ∈ [−1, 0[,
fn (x) = nx, si x ∈ [0, 1/n],

1, si x ∈]1/n, 1].


Luego (fn )n es una sucesión de Cauchy en (C[−1, 1], d1 ). ¿Es convergente?

Propiedades:
Toda sucesión de Cauchy es acotada.
Si una sucesión de Cauchy posee una subsucesión convergente, entonces la sucesión converge al
mismo lı́mite.
Orestes Bueno Módulo 1: Espacios métricos MECO 19 15 / 22
Completitud

Definición
Diremos que un espacio métrico (X , d) es completo si toda sucesión de Cauchy es convergente.

Ejemplos:
R con la métrica usual es un espacio métrico completo.
Sin embargo X =]0, 1[ con la métrica usual heredada de R no es completo.
Rn con cualquiera de las métricas d1 , d2 y d∞ es completo.
C[a, b] con la métrica d∞ es completo.

Orestes Bueno Módulo 1: Espacios métricos MECO 19 16 / 22

Funciones continuas

Definición
Sean (X , dX ) y (Y , dY ) espacios métricos. Diremos que una función f : X → Y es continua en a ∈ X , si

∀ ε > 0, ∃ δ > 0, ∀ x ∈ X , dX (x, a) < δ −→ dY (f (x), f (a)) < ε.

Diremos que f es continua, si f es continua en todo a ∈ X .

Observación: Si f : D ⊂ X → Y , f es continua si f es continua en todo a ∈ D.

Ejemplo
Considere R con la métrica usual. Las funciones polinomiales, racionales, trigonométricas,
exponenciales y logarı́tmicas (llamadas funciones elementales) son continuas.
Sea (X , d0 ), d0 la métrica discreta, e (Y , d) cualquier espacio métrico. Entonces cualquier
f : X → Y es continua.

Orestes Bueno Módulo 1: Espacios métricos MECO 19 17 / 22

Propiedades

Proposición
Las siguientes afirmacones son equivalentes
f : X → Y es continua en a;
para todo ε > 0, a ∈ int f −1 (B(f (a), ε));
para todo abierto V ⊂ Y que contiene f (a), existe abierto U ⊂ X , con a ∈ U, tal que para todo
x ∈ U, f (x) ∈ V ;
para toda sucesión xn → a, f (xn ) → f (a).

Proposición
Sea f : X → Y continua.
Si K ⊂ X es compacto, entonces f (K ) es compacto.
Si A ⊂ Y es abierto, entonces f −1 (A) es abierto.
Si A ⊂ Y es cerrado, entonces f −1 (A) es cerrado.

Orestes Bueno Módulo 1: Espacios métricos MECO 19 18 / 22

Funciones Lipschitz y contractivas

Definición
Sean (X , dX ) y (Y , dY ) espacios métricos.
Diremos que f : X → Y es una función de Lipschitz (o Lipschitziana) si existe L ≥ 0 tal que

dY (f (x1 ), f (x2 )) ≤ L · dX (x1 , x2 ).

Diremos que f : X → Y es una función contractiva si f es de Lipschitz con constante 0 ≤ L < 1.

Observación: Si f es de Lipschitz entonces f es continua. En particular, toda función contractiva es

continua.

Orestes Bueno Módulo 1: Espacios métricos MECO 19 19 / 22

El teorema del punto fijo de Banach

Definición
Sea (X , d) un espacio métrico y f : X → X una función. Diremos que a es un punto fijo de f si
f (a) = a.

Teorema
Sea (X , d) un espacio métrico completo y sea f : X → X una función contractiva. Entonces f posee un
único punto fijo.

Orestes Bueno Módulo 1: Espacios métricos MECO 19 20 / 22

Extra: Supremo e ı́nfimo

Sea A ⊂ R un conjunto. Diremos que M es una cota superior de A si, para todo x ∈ A, x ≤ M.

Definición
Sea A ⊂ R. Diremos que S ∈ R es el supremo de A si
S es una cota superior de A
para todo ε > 0, S − ε no es cota superior de A
Dicho de otro modo, el supremo es la menor de las cotas superiores.

Ejercicio: Defina cota inferior e ı́nfimo de un conjunto.

Axioma del supremo: En R todo conjunto acotado superiormente posee supremo.

Orestes Bueno Módulo 1: Espacios métricos MECO 19 21 / 22

Extra: Lı́mite superior e inferior

Sea (X , d) un espacio métrico. Dada (xn )n ⊂ X una sucesión, el lı́mite superior de (xn )n se define como

lı́m sup xn = ı́nf sup xn .

N∈N n≥N

Del mismo modo, el lı́mite inferior de (xn )n se define como

lı́m inf xn = sup ı́nf xn .

N∈N n≥N

Por otro lado, dada f : X → R y a ∈ X , el lı́mite superior de f en a se define como

lı́m sup f (x) = ı́nf sup f (x).

x→a ε>0 x∈B(a,ε)

y el lı́mite inferior de f en a es
lı́m inf f (x) = sup ı́nf f (x).
x→a ε>0 x∈B(a,ε)

Orestes Bueno Módulo 1: Espacios métricos MECO 19 22 / 22