1. Teorema de Categoría.

Teorema de Acotamiento Uniforme

El teorema de acotamiento uniforme (o principio de acotamiento uniforme) de S. Banach y H. Steinhaus
(1927) es de gran importancia. De hecho, a lo largo del análisis hay muchos casos de resultados relacionados
con este teorema, siendo la investigación más temprana la de H. Lebesgue (1909). El teorema de acotamiento
uniforme a menudo se considera una de las piedras angulares del análisis funcional en espacios normados,
siendo las otras el teorema de Hahn-Banach (Secs. 4.2, 4.3), el teorema de la aplicación abierta (Sec. 4.12) y
el teorema de la gráfica cerrada (Sec. 4.13). A diferencia del teorema de Hahn-Banach, los otros tres de estos
cuatro teoremas requieren completitud. De hecho, caracterizan algunas de las propiedades más importantes
de los espacios de Banach que los espacios normados en general pueden no tener.
Es bastante interesante notar que obtendremos los tres teoremas de una fuente común. Más precisamente,
probaremos el llamado teorema de categoría de Baire y derivaremos de él el teorema de acotamiento uniforme
(en esta sección) así como el teorema de la aplicación abierta (en la Sec. 4.12). Este último entonces implicará
fácilmente el teorema de la gráfica cerrada (en la Sec. 4.13).
El teorema de categoría de Baire tiene varias otras aplicaciones en análisis funcional y es la razón principal
por la que la categoría entra en numerosas demostraciones; cf., por ejemplo, los libros más avanzados de R.
E. Edwards (1965) y J. L. Kelley y I. Namioka (1963).
En la Def. 4.7-1 enunciamos los conceptos necesarios para el teorema de Baire 4.7-2. Cada concepto tiene
dos nombres, un nombre nuevo y uno antiguo dado entre paréntesis. Este último está en desuso porque
çategorí[Link] se usa para un propósito matemático completamente diferente (que no ocurrirá en este libro).
[Categoría] 4.7-1 Un subconjunto M de un espacio métrico X se dice que es (a) raro (o en ninguna parte
denso) en X si su clausura M̄ no tiene puntos interiores (cf. Sec. 1.3), (b) magro (o de primera categoría) en
X si M es la unión de un número contable de conjuntos cada uno de los cuales es raro en X, (c) no magro
(o de segunda categoría) en X si M no es magro en X.
[Teorema de Categoría de Baire (Espacios métricos completos)] 4.7-2 Si un espacio métrico
X ̸= ∅ es completo, entonces es no magro en sí mismo. Por lo tanto, si X ̸= ∅ es completo y
∞
[
X= Ak (Ak cerrado)
k=1

entonces al menos un Ak contiene un subconjunto abierto no vacío.

Demostración. La idea de la demostración es simple. Suponga que el espacio métrico completo X ̸= ∅ fuera
magro en sí mismo. Entonces
[∞
X= Mk
k=1

con cada Mk raro en X. Construiremos una sucesión de Cauchy (pk ) cuyo límite p (que existe por completitud)
no está en ningún Mk , contradiciendo así la representación (1*).
Por suposición, M1 es raro en X, de modo que, por definición, M̄1 no contiene un conjunto abierto no
vacío. Pero X sí lo hace (por ejemplo, X mismo). Esto implica M̄1 ̸= X. Por lo tanto, el complemento
M1c = X − M̄1 de M1 no es vacío y es abierto. Así podemos elegir un punto p1 en M1c y una bola abierta
alrededor de él, digamos,
1
B1 = B(p1 ; ε1 ) ⊂ M̄1c ε1 < .
2
Por suposición, M2 es raro en X, de modo que M̄2 no contiene un conjunto abierto no vacío. Por lo tanto,
no contiene la bola abierta B(p1 ; 21 ε1 ). Esto implica que M̄2c ∩ B(p1 ; 12 ε1 ) no es vacío y es abierto, de modo
que podemos elegir una bola abierta en este conjunto, digamos,
1 1
B2 = B(p2 ; ε2 ) ⊂ M̄2c ∩ B(p1 ; ε1 ) ε2 < ε1 .
2 2
Por inducción obtenemos así una sucesión de bolas

Bk = B(pk ; εk ) εk < 2−k

1
tal que Bk ∩ Mk = ∅ y
1
Bk+1 ⊂ B(pk ; εk ) ⊂ Bk k = 1, 2, · · · .
2
−k
Dado que εk < 2 , la sucesión (pk ) de los centros es de Cauchy y converge, digamos, pk −→ p ∈ X porque
X es completo por suposición. Además, para todo m y n > m tenemos Bn ⊂ B(pm ; 12 εm ), de modo que
1 1
d(pm , p) ≤ d(pm , pn ) + d(pn , p) < εm + d(pn , p) −→ εm
2 2
c
cuando n −→ ∞. Por lo tanto
S p ∈ Bm para todo m. Dado que Bm ⊂ M̄m , vemos ahora que p ∈ / Mm para
todo m, de modo que p ∈
/ Mm = X. Esto contradice p ∈ X. El teorema de Baire está demostrado.
Notamos que el recíproco del teorema de Baire generalmente no es cierto. Un ejemplo de un espacio
normado incompleto que es no magro en sí mismo se da en N. Bourbaki (1955), Ej. 6, pp. 3-4.
Del teorema de Baire ahora obtendremos fácilmente el deseado teorema de acotamiento uniforme. Este
teorema establece que si X es un espacio de Banach y una sucesión de operadores Tn ∈ B(X, Y ) está acotada
en cada punto x ∈ X, entonces la sucesión está uniformemente acotada. En otras palabras, el acotamiento
puntual implica acotamiento en un sentido más fuerte, a saber, acotamiento uniforme. (El número real cx en
(2), a continuación, variará en general con x, un hecho que indicamos por el subíndice x; el punto esencial es
que cx no depende de n.)
[Teorema de Acotamiento Uniforme] 4.7-3 Sea (Tn ) una sucesión de operadores lineales acotados Tn :
X −→ Y de un espacio de Banach X en un espacio normado Y tal que (∥Tn x∥) está acotada para todo
x ∈ X, es decir,
(2) ∥Tn x∥ ≤ cx n = 1, 2, · · · ,
donde cx es un número real. Entonces la sucesión de las normas ∥Tn ∥ está acotada, es decir, existe un c tal
que
(3) ∥Tn ∥ ≤ c n = 1, 2, · · · .
Demostración. Para todo k ∈ N, sea Ak ⊂ X el conjunto de todos x tales que

∥Tn x∥ ≤ k para todo n.

Ak es cerrado. De hecho, para cualquier x ∈ Āk hay una sucesión (xj ) en Ak convergiendo a x. Esto significa
que para cada n fijo tenemos ∥Tn xj ∥ ≤ k y obtenemos ∥Tn x∥ ≤ k porque Tn es continuo y también lo es la
norma (cf. Sec. 2.2). Por lo tanto x ∈ Ak , y Ak es cerrado.
Por (2), cada x ∈ X pertenece a algún Ak . Por lo tanto
∞
[
X= Ak .
k=1

Dado que X es completo, el teorema de Baire implica que algún Ak contiene una bola abierta, digamos,

(4) B0 = B(x0 ; r) ⊂ Ak0 .

Sea x ∈ X arbitrario, no cero. Definimos

r
(5) z = x0 + γx γ= .
2∥x∥
Entonces ∥z − x0 ∥ < r, de modo que z ∈ B0 . Por (4) y de la definición de Ak0 tenemos así ∥Tn z∥ ≤ k0 para
todo n. También ∥Tn x0 ∥ ≤ k0 ya que x0 ∈ B0 . De (5) obtenemos
1
x= (z − x0 ).
γ
Esto produce para todo n
1 1 4
∥Tn x∥ = ∥Tn (z − x0 )∥ ≤ (∥Tn z∥ + ∥Tn x0 ∥) ≤ ∥x∥k0 .
γ γ r

2
Por lo tanto para todo n,
4
∥Tn ∥ = sup ∥Tn x∥ ≤ k0 ,
∥x∥=1 r
que es de la forma (3) con c = 4k0 /r.

Aplicaciones
[Espacio de polinomios] 4.7-4 El espacio normado X de todos los polinomios con norma definida por
(6)
∥x∥ = máx |αj | (α0 , α1 , · · · los coeficientes de x)
j

no es completo.
Demostración. Construimos una sucesión de operadores lineales acotados sobre X que satisface (2) pero no
(3), de modo que X no puede ser completo. Podemos escribir un polinomio x ̸= 0 de grado Nx en la forma
∞
X
x(t) = αj tj (αj = 0 para j > Nx ).
j=0

(Para x = 0 el grado no está definido en la discusión usual del grado, pero esto no importa aquí.) Como una
sucesión de operadores sobre X tomamos la sucesión de funcionales Tn = fn definida por

Tn 0 = fn (0) = 0, Tn x = fn (x) = α0 + α1 + · · · + αn−1 .

fn es lineal. fn es acotado ya que |αj | ≤ ∥x∥ por (6), de modo que |fn (x)| ≤ n∥x∥. Además, para cada x ∈ X
fijo la sucesión (|fn (x)|) satisface (2) porque un polinomio x de grado Nx tiene Nx + 1 coeficientes, de modo
que por (7) tenemos
|fn (x)| ≤ (Nx + 1) máx |αj | = cx
i

que es de la forma (2).

Ahora mostramos que (fn ) no satisface (3), es decir, no existe c tal que ∥Tn ∥ = ∥fn ∥ ≤ c para todo n.
Hacemos esto eligiendo polinomios particularmente desventajosos. Para fn elegimos x definido por

x(t) = 1 + t + · · · + tn .

Entonces ∥x∥ = 1 por (6) y

fn (x) = 1 + 1 + · · · + 1 = n = n∥x∥.
Por lo tanto ∥fn ∥ ≥ |fn (x)|/∥x∥ = n, de modo que (∥fn ∥) no está acotada.
[Series de Fourier] 4.7-5 De 3.5-1 recordamos que la serie de Fourier de una función periódica dada x
de período 2π es de la forma (8)
∞
1 X
a0 + (am cos mt + bm sin mt)
2 m=1

con los coeficientes de Fourier de x dados por las fórmulas de Euler (9)

1 2π 1 2π
Z Z
am = x(t) cos mt dt, bm = x(t) sin mt dt.
π 0 π 0

[Escribimos a0 /2 en (8) para tener sólo dos fórmulas en (9), una para am y otra para bm .]
Es bien sabido que la serie (8) puede converger incluso en puntos donde x es discontinua. (Por ejemplo,
la Figura 35 en la Sec. 3.5 muestra una onda cuadrada y sus sumas parciales s1 , s2 , s3 .) Sin embargo, si x es
continua, podemos esperar que la serie (8) converja uniformemente a x. Sorprendentemente, esto es falso. En
1876, P. du Bois-Reymond pudo construir una función continua cuya serie de Fourier diverge en un punto
dado. Más tarde se demostró que incluso la divergencia puede ocurrir en muchas partes (de medida positiva).
Mostraremos que, de hecho, para cualquier t0 fijo, la convergencia en t0 no puede ser uniforme en el sentido

3
del siguiente teorema. (Para una prueba de divergencia en un punto dado, ver W. Rogosinski (1959), p. 70;
también ver E. W. Swokowski (1979), p. 589.)
[Divergencia de las series de Fourier] 4.7-6 Existe una función continua cuya serie de Fourier diverge
en t = 0. Más precisamente, sea sn la n-ésima suma parcial de la serie de Fourier de una función continua
arbitraria de período 2π. Entonces la sucesión (sn (0)) no está acotada, de modo que no converge.
Demostración. Consideramos el espacio de Banach X de todas las funciones continuas de valor real de período
2π con norma definida por
∥x∥ = máx |x(t)|.
t

Para la n-ésima suma parcial sn en (8) en t = 0 tenemos

n
" n
#
1 2π
Z
1 X 1 X
sn (0) = a0 + am = x(t) + cos mt dt.
2 m=1
π 0 2 m=1

La expresión entre corchetes se puede sumar (cf. Prob. 14), y obtenemos

Z 2π
1
sn (0) = x(t)qn (t) dt
π 0

donde
sin(n + 21 )t 1
qn (t) = si sin t ̸= 0.
2 sin 12 t 2
Si sin 12 t = 0, entonces t = 0, ±2π, ±4π, · · ·, y definimos qn (t) en estos puntos como el límite de qn (t) cuando
t −→ 0, etc., que es n + 21 . (Se puede mostrar que qn es continua; cf. Fig. 36.)
Definimos un funcional lineal fn en X por

fn (x) = sn (0).

Esto es lineal. fn es acotado ya que

Z 2π Z 2π
1 1
|fn (x)| = |sn (0)| ≤ |x(t)qn (t)| dt ≤ ∥x∥ |qn (t)| dt.
π 0 π 0

En el lado derecho, ∥x∥ es una constante y la integral también. Por lo tanto fn es acotado. Denotamos la
integral por In , es decir,
1 2π
Z
In = |qn (t)| dt.
π 0
Entonces
∥fn ∥ ≤ In .
Mostraremos que ∥fn ∥ no está acotada. Entonces, por el teorema de acotamiento uniforme, no puede ser
cierto que para cada x ∈ X la sucesión (fn (x)) = (sn (0)) esté acotada. De ahí la afirmación del teorema.
Para obtener una estimación inferior de ∥fn ∥, elegimos una x ∈ X particular. Inspirados por |qn |, tomamos
x definida por (cf. Fig. 37) (
+1 si qn (t) ≥ 0
x(t) =
−1 si qn (t) < 0.
Esta función es continua en intervalos. Haciéndola continua en todo R, podemos obtener una x ∈ X tal que
∥x∥ = 1 y
1 2π 1 2π
Z Z
fn (x) = x(t)qn (t) dt = |qn (t)| dt = In .
π 0 π 0
Por lo tanto ∥fn ∥ ≥ In . Combinando esto con (10), tenemos

∥fn ∥ = In .

4
Ahora mostramos que In −→ ∞ cuando n −→ ∞. Tenemos
2π 2π
| sin(n + 12 )t|
Z Z
1 1
In = |qn (t)| dt = dt.
π 0 π 0 2| sin 12 t|

Sustituyendo τ = (n + 21 )t y usando el hecho de que el integrando tiene período 2π, obtenemos

2π
| sin τ |
Z
1 dτ
In = .
π 0 2| sin[τ /(2n + 1)]| n + 12

Como n −→ ∞, el denominador del integrando −→ 0. Más precisamente, ya que

sin u ∼ u cuando u −→ 0,

para τ fijo y grande n tenemos aproximadamente

τ τ
sin ∼
2n + 1 2n + 1
y el integrando es aproximadamente

| sin τ | 1 | sin τ |
= (n + ) .
2|τ |/(2n + 1) 2 |τ |

Por lo tanto
2π
| sin τ |
Z
1
In ∼ dτ cuando n −→ ∞.
π 0 |τ |
Pero la última integral diverge. De hecho, en [kπ, (k + 1)π] tenemos | sin τ | ≥ 12 para τ en un subintervalo de
longitud > 1, y
Z (k+1)π
| sin τ | 1 1 1
dτ > · ·1= .
kπ |τ | 2 (k + 1)π 2(k + 1)π
Dado que la serie armónica diverge, se sigue que In −→ ∞, de modo que (∥fn ∥) no está acotada. Esto
completa la prueba.

Problemas
1. ¿De qué categoría es el conjunto de todos los números racionales (a) en R, (b) en sí mismo (tomado
con la métrica usual)?
2. ¿De qué categoría es el conjunto de todos los enteros (a) en R, (b) en sí mismo (tomado con la métrica
inducida de R)?
3. Encuentre todos los conjuntos raros en un espacio métrico discreto X. (Cf. 1.1-8.)
4. Encuentre un subconjunto denso magro en R2 .

5. Demuestre que un subconjunto M de un espacio métrico X es raro en X si y solo si (M̄ )c es denso en

X.
6. Demuestre que el complemento M c de un subconjunto magro M de un espacio métrico completo X es
no magro.
7. (Resonancia) Sea X un espacio de Banach, Y un espacio normado y Tn ∈ B(X, Y ), n = 1, 2, · · ·, tal
que supn ∥Tn ∥ = +∞. Demuestre que existe un x0 ∈ X tal que supn ∥Tn x0 ∥ = +∞. [El punto x0 a
menudo se llama punto de resonancia, y nuestro problema motiva el término teorema de resonancia
para el teorema de acotación uniforme.]

5
 8. Demuestre que la completitud de X es esencial en el Teorema 4.7-3 y no puede omitirse. [Considere
el subespacio X ⊂ ℓ∞ que consiste en todos los x = (ξj ) tales que ξj = 0 para j ≥ J ∈ N, donde J
depende de x, y sea Tn definido por Tn x = fn (x) = nξn .]
9. Sea Tn = S n , donde el operador S : ℓ2 −→ ℓ2 está definido por (ξ1 , ξ2 , ξ3 , · · · ) 7−→ (ξ3 , ξ4 , ξ5 , · · · ).
Encuentre una cota para ∥Tn x∥; encuentre lı́mn→∞ ∥Tn x∥, ∥Tn ∥ y lı́mn→∞ ∥Tn ∥.
c0 ⊂ ℓ∞ es
P
10. (Espacio c0 ) Sea y = (ηj ), ηj ∈ C, tal que ξj ηj converge para todo x = (ξj ) ∈ c0 , donde
P
el subespacio de todas las sucesiones complejas que convergen a cero. Demuestre que |ηj | < ∞. (Use
4.7-3.)

11. Sea X un espacio de Banach, Y un espacio normado y Tn ∈ B(X, Y ) tal que (Tn x) es de Cauchy en Y
para todo x ∈ X. Demuestre que (∥Tn ∥) es acotada.
12. Si, además, Y en el Prob. 11 es completo, demuestre que Tn x −→ T x, donde T ∈ B(X, Y ).
13. Si (xn ) en un espacio de Banach X es tal que (f (xn )) es acotada para todo f ∈ X ′ , demuestre que
(∥xn ∥) es acotada.

14. Si X y Y son espacios de Banach y Tn ∈ B(X, Y ), n = 1, 2, · · ·, demuestre que son enunciados equiva-
lentes:
(a) (∥Tn ∥) es acotada,
(b) (∥Tn x∥) es acotada para todo x ∈ X,
(c) (∥g(Tn x)∥) es acotada para todo x ∈ X y todo g ∈ Y ′ .
15. Para ilustrar que una serie de Fourier de una función x puede converger incluso en un punto donde x
es discontinua, encuentre la serie de Fourier de
(
0 si − π ≤ t < 0
x(t) = y x(t + 2π) = x(t).
1 si 0 ≤ t < π