Está en la página 1de 8

UNIVERSIDAD NACIONAL DE INGENIERÍA

Facultad de Ciencias

Escuela profesional de Matemáticas

Teorema de Categorias de Baire

Nombre: Nicolas Guillermo

Apellidos: Rojas Minaya

Código: 20170616G

Profesor: Guimaray Huerta, Hector Carlos

1
DEFINICIONES

1. Definición (Sucesiones de cauchy)

Sea X un espacio métrico. Una sucesión (a1 , a2 , ...) de puntos de X es una sucesión de cauchy
si y solo si:

∀ϵ > 0 ∃no ∈ N tal que n, m > n0 → d(an , am ) < ϵ


1.1 Ejemplos:

1. Sea (an ) una sucesión convergente, por ejemplo, (an ) → p. Entonces (an ) es de cauchy.
2. Sea X = (0, 1) ⊂ R con la métrica usual, entonces (1/2, 1/3, ...) es de cauchy.

2. Definición (Espacio métrico completo)

Un espacio métrico (X, d) es completo si toda sucesión de cauchy (an ) de puntos de X converge
a un punto p ∈ X.

2.1 Ejemplos:

1. La recta real R con la métrica usual es completo.


2. Sea d la métrica trivial o discreta de un conjunto cualquiera X, ahora una sucesión (an )
es de cauchy en X es de la forma (a1 , a2 , ..., an0 , p, p, p...), que evidentemente converge a
p ∈ X, Asi pues concluimos que todo conjunto dotado de la métrica discreta, es completo.

3. Definición (Conjuntos cerrados de encaje)

Recordemos el diametro de un subconjunto A de un espacio métrico X, denotado por δ(A), se


define por:
δ(A) = sup{d(a, a′ ) : a, a′ ∈ A}
Entonces, una sucesión A1 , A2 , ... de subconjuntos cerrados de X es de encaje si:

A1 ⊃ A2 ⊃ ...,

3.1 Ejemplos:

1. La sucesión de subconjuntos An = [n, ∞) es de encaje.


2. La sucesión de subconjuntos An = (0, 1/n] es de encaje.

2
4. Definición (Un conjunto nunca denso)

Sea A un subconjunto de un espacio topológico X, A se dice nunca denso en X si y solo si:

int(A) = ∅

4.1 Ejemplos:

1. El conjunto Z es nunca denso en R


2. Cualquier subconjunto finito de R en R es nunca denso.

5. Definición (Espacio topológico de primera y de segunda categorı́a)

Un espacio topológico X es de primera categoria (o magro) si X es la unión numerable de sub-


conjuntos nunca densos X. De no ser ası́, se dice que X es de segunda categorı́a.

3
RESULTADOS IMPORTANTES

Teorema 1. (Caracterización de sucesión de cauchy)

Sea (a1 , a2 , . . .) una sucesión de un espacio métrico X y sea:

A1 = {a1 , a2 , ...}, A2 = {a2 , a3 , ...}, ...

(an ) es de cauchy si y solo si los diametros de los An tienden a cero, esto es :

lim δ(An ) = 0
n→∞

Demostración:

(−→)

Supongase que (an ) es de cauchy. Sea ϵ > 0. Entonces,

∃no ∈ N tal que n, m > no → d(an , am ) < ϵ

En consecuencia,
n > n0 → δ(An ) < ϵ, y, por tanto , lim δ(An ) = 0
n→∞

(←−)

Supongamos que: limn→∞ δ(An ) = 0. Sea ϵ > 0, Entonces,

∃no ∈ N tal que δ(Ano +1 ) < ϵ

Luego,
n, m > no → an , am ∈ Ano +1 → d(an , am ) < ϵ
y, en conclusión (an ) es una sucesión de cauchy. □

Teorema 2. (Principio de los conjuntos cerrados en encaje)

Un espacio métrico X es completo si y solo si toda sucesión en encaje de conjuntos cerrados no


vacios cuyos diametros tienden a cero tienen una intersección no vacı́a.

En otras palabras si: A1 ⊃ A2 ⊃ ... son subconjuntos cerrados no vacios de un espacio métrico
completo X tales que:
lim δ(An ) = 0 entonces ∩∞n=0 An ̸= ∅
n→∞

y visceversa.

Demostración:

4
(−→)

Sea A1 ⊃ A2 ⊃ ... subconjuntos cerrados no vacios de X tales que limn→∞ δ(An ) = 0, de-
mostremos que ∩n An ̸= ∅.

Puesto que Ai no es vacio, se puede escojer una sucesión:

(a1 , a2 , ...) tal que a1 ∈ A1 , a2 ∈ A2 , ...

Aseguramos que (an ) es de cauchy. Sea ϵ > 0 puesto que limn→∞ δ(An ) = 0,

∃n0 ∈ N tal que δ(An0 ) < ϵ

Ahora bien los Ai son encajados; luego,

n, m > n0 → An , Am ⊂ An0 → an , am ∈ An0 → d(an , am ) < ϵ

Asi pues (an ) es una sucesión de cauchy.

Ahora bien X es completo y por consiguiente, (an ) converge, por ejemplo,a p ∈ X. Aseguramos
que p ∈ ∩n An . Pues supongamos que no es ası́, esto es suponer que:

∃k ∈ N tal que p ∈
/ Ak

Como Ak es un conjunto cerrado, la distancia entre p y Ak no es cero; por ejemplo d(p, Ak ) =


δ > 0. Entonces, Ak y la esfera abierta S = S(p, 1/2δ) son disjuntos. Luego,

n > k → an ∈ Ak → an ∈
/ S(p, 1/2δ)

Ahora bien, este resultado es imposible pues an → p. Esto es, p ∈ ∩n An , y por consiguiente ,
∩n An no es vacı́a.

(←−)

Sea (a1 , a2 , ...) una sucesión de cauchy en X. Demostraremos que (an ) es convergente. Sean

A1 = {a1 , a2 , ...}, A2 = {a2 , a3 , ...}, ...

En general Ak = {an : n ≥ k}. Entonces es claro que son encajados. (A1 ⊃ A2 ⊃ . . .) y por el
Teorema 1, limn→∞ δ(An ) = 0. Además, puesto que:

δ(A) = δ(A)

donde A es la clausura de A,
A1 ⊃ A2 ⊃ . . .
es una sucesión de conjuntos cerrados no vacios cuyos diametros tienden a 0. Entonces por
hipotesis:
∩n An ̸= ∅

5
por ejemplo, p ∈ ∩n An , afirmamos que la sucesión de cauchy (an ) converge a p. En efecto:

Sea ϵ > 0. Puesto que limn→∞ δ(A) = 0

∃n0 ∈ N tal que δ(Ano ) < ϵ

y, por tanto,
n > no → an , p ∈ Ano → d(an , p) < ϵ
En otras palabras, (an ) converge a p. □

Teorema 3. (Densidad en el complemento de la clausura)


c
Sea N un subconjunto nunca denso de X. Demostrar que N es denso en X

Demostración:
c
Supongase que N no es denso en X esto es ∃ p ∈ X y un conjunto abierto G tal que:
c
p∈G y G∩N =∅

Entonces p ∈ G ⊂ N y por consiguiente, p ∈ int(N ). ahora bien, tal resultado es imposible pues
c
N es nunca denso en X. Por tanto N es denso en X. □

Teorema 4.

Sea G un subconjunto abierto del espacio métrico X y sea N nunca denso en X. Demostrar que
existen p ∈ X y δ > 0 tales que S(p, δ) ⊂ G y S(p, δ) ∩ N = ∅

Demostración:
c
Sea H = G ∩ N . Entonces, H ⊂ G y H ∩ N = ∅. Además H no es vacio porque G es abierto y
c c
N es denso en X, por ejemplo sea p ∈ H. Ahora bien, H es abierto porque G y N son abiertos,
luego ∃δ > 0 tal que S(p, δ) ⊂ H. En consecuencia. S(p, δ) ⊂ G y S(p, δ) ∩ N = ∅ □

6
TEOREMA DE LA CATEGORIA DE BAIRE

Teorema (BAIRE)

Todo espacio métrico completo X es de segunda categorı́a.

Demostración:

Sea M ⊂ X y sea M de primera categorı́a. Demostraremos que M ̸= X, y esto es ∃p ∈ X tal


que p ∈
/ M . Puesto que M es de primera categorı́a, M = N1 ∪ N2 ∪ N3 ∪ . . ., donde cada Ni es
nunca denso en X.

Como N1 es nunca denso en X, ∃a1 ∈ X y δ1 > 0 tales que S(a1 , δ1 ) ∩ N1 ̸= ∅. Tomese ϵ1 = δ1 /2

Entonces:
S(a1 , ϵ1 ) ∩ N1 = ∅
Ahora bien S(a1 , ϵ1 ) es abierta y N2 es nunca denso en X y por consiguiente, segun el teorema
4.,
∃a2 ∈ X y δ2 > 0 tales que S(a2 , δ2 ) ⊂ S(a1 , ϵ1 ) ⊂ S(a1 , ϵ1 ) y S(a2 , δ2 ) ∩ N2 = ∅
Tómese, ahora, ϵ2 = δ2 /2 ≤ ϵ1 /2 = δ1 /4. Entonces,

S(a2 , ϵ2 ) ⊂ S(a1 , ϵ1 ) y S(a2 , ϵ2 ) ∩ N2 = ∅

Con la repetición de este procedimiento se puede obtener una sucesión de encajes de conjuntos
cerrados:
S(a1 , ϵ1 ) ⊃ S(a2 , ϵ2 ) ⊃ S(a3 , ϵ3 ) ⊃ . . .
tales que, para todo n ∈ N, S(an , ϵn ) ∩ Nn = ∅ y ϵn ≤ δ1 /2n

Ası́, limn→∞ ϵn ≤ limn→∞ δ1 /2n = 0 y, por tanto, según el teorema 2:

∃p ∈ X tal que p ∈ ∩∞
n=1 S(an , ϵn )

Además, para todo n ∈ N, p ∈


/ Nn y por tanto, p ∈
/ M. □

7
Bibliografı́a

1. Karreman Mathematics Research Collection. (1978). Introductory Functional Analysis


with Applications. Wiley.
2. Serie de compendios SCHAUM. Topologı́a general. S. Lipschutz
3. Muscat, J. (2014). Functional Analysis. Springer Publishing.
4. Stein, E. M., Shakarchi, R. (2011). Functional Analysis: Introduction to Further Topics in
Analysis (Princeton Lectures in Analysis Book 4) (English Edition). Princeton University
Press.
5. Rudin, W. (1991). Functional Analysis (2 Sub ed.). McGraw-Hill Science/Engineering/Math.

También podría gustarte