Universidad Técnica Federico Santa Marı́a

Departamento de Matemática
Ingenierı́a Civil Matemática

Clase # 5 - Análisis I (MAT225)

Profesor: Pedro Gajardo
Fecha: 22 de abril 2020

Contenidos y objetivos de la clase

Introducir el concepto de espacio métrico completo y ver algunas de sus propiedades.

Demostrar el Teorema de Baire.

1. Espacios métricos completos

Definición 1. Un espacio métrico (X, d) se dice completo si toda sucesión de Cauchy en el
espacio (de acuerdo a la métrica d) es convergente.

Proposición 1. Sea (X, d) un espacio métrico completo y C ⊆ X un conjunto cerrado. Entonces,

(C, d0 ) es un espacio métrico completo donde d0 es la restricción de la métrica d al conjunto C.

Un caso interesante a analizar es cuando se tiene un producto finito de espacios métricos. Es decir,
si (X1 , d1 ), . . . , (Xn , dn ) son espacios métricos, se considerará el espacio producto X = X1 ×. . .×Xn
dotado de alguna de las siguientes métricas para x = (x1 , . . . , xn ), y = (y1 , . . . , yn ) ∈ X (donde
xj , yj ∈ Xj )
  p1
Xn
dp (x, y) =  (dj (xj , yj ))p  para p ≥ 1
j=1

d∞ (x, y) = máx dj (xj , yj ).

j=1,...,n

Propuesto 1. En el espacio métrico producto X = X1 × . . . × Xn pruebe que la métrica dp (con

p ≥ 1) es equivalente a la métrica d∞ .

Definición 2. En un espacio métrico (X, d), para un conjunto A ⊆ X se define su diámetro por
diam (A) = sup d(x, y).
x,y∈A

Proposición 2. Para todo conjunto A de un espacio métrico (X, d) se tendrá que diam (A) =
diam (A).

Proposición 3. Sea un espacio métrico (X, d). Entonces, (X, d) es completo si y solo si para
toda sucesión de conjuntos cerrados no vacı́os {Ck }k∈N (Ck ⊆ X), tales que Ck+1 ⊆ Ck con
diam (Ck ) → 0, se tiene que existe x̄ ∈ X tal que
\
Ck = {x̄}.
k∈N

1
2. Teorema de Baire
Definición 3. En un espacio métrico (X, d) un conjunto A ⊆ X se dice denso si A = X.

Lema 1. Si A es denso (en el espacio métrico (X, d)), entonces para todo abierto θ ⊆ X distinto
de vacı́o se tendrá
A ∩ θ 6= ∅.

Teorema 2 (Baire). Sea (X, d) un espacio métrico completo. Entonces, toda intersección nume-
rable de abiertos densos es denso.