Espacios de Banach

1. Introducción
Muchos de los problemas que estudian los analistas no están relacionados
originalmente con un objeto sencillo como una función, una medida o un ope-
rador, si no con una larga clase de objetos. Muchas de las clases importantes
que aparecen son espacios vectoriales. Como el paso al límite juega un papel
inportante en todo problema analítico, estos espacios vectoriales son provis-
tos de métricas (o al menos de topologías) que conllevan una relación natural
con los objetos que están hechos los espacios. La manera más simple de hacer
esto es introduciendo una norma. El resultado es un espacio normado.

En 1932 apareció el famoso libro de Banach ”Théorie des Opérations Li-

néaires“(Warsaw) en el que se presenta la teoría de operadores lineales en
espacios normaldos que se desarrolló después de los trabajos decisivos de F.
Riesz y de S. Banach. La aparición de este libro significó el comienzo del
estudio sistemático de los espacios normados.

Los espacios de Banach son espacios normados en los que vale el teorema
de Bolzano-Cauchy, es decir, son espacios en lo sque toda sucesión de Cauchy
es convergente (esto se conoce actualmente como completitud)

En 1932 también apareció el libro de Stone ”Linear Transformations in

Hilbert Spaces“(Am. Math. Soc. Colloq. Publ., Vol. 15, New York) en el que
aparece la primera exposición sistemática de teoría de operadores lineales en
espacios de Hilbert, en el que participaron muchos matemáticos de la época:
Hilbert, F. Riesz, Schmidt, H. Weyl, Hahn, Carleman, V. Neumann, Hellinger
y otros, en donde se expone un avance importante en los siguientes campos:

1. Analogía con los resultados de algebra lineal y de análisis, especialmente

1
 con las ecuaciones integrales clásicas y la teoría de desarrollos en tér-
minos de autovalores, desarrollados por Poincaré, Fredholm, Hilbert,
Carleman y otros.

2. El desarrollo de la teoría de momentos, la teoría de interación y el

análisis de Fourier.

3. El desarrollo y la sitematización de las ideas en geometría y en álgebra.

En 1960 la actividad de investgación matemática en el área de espacios

normados y de Banach creció considerablemente. Como resultado, la teoría
de espacios de Banach ganó mucho en profundidad y en alcance. La mayoría
de los problemas clásicos bien conocidos fueron resueltos, a su vez profundas
conexones entre la teoría de espacios de Banach y otras áreas de la matemá-
tica se establecieron.

Por sus muchas aplicaciones, en el análisis funcional se ha convertido en

una disciplina matemática muy popular. El propósito de este documento es
demostrar un resultado para el estudio de los espacios de Banach

2. Desarrollo
Proposición 1 Sea X un espacio de Banach, Y un espacio normado y
T ∶ X → Y una aplicación lineal, continua, abierta y sobreyectiva. Entonces
Y es un espacio de Banach.

En primer lugar, daremos algunas nociones básicas para poder definir

formalmente un espacio de Banach.

Definición 1 Sea X un espacio vectorial sobre K. Una norma en X es

una aplicación x ↦ ∣∣x∣∣, de X en R, que cumple las siguientes condiciones
para cualquiera x e y en X y λ en K:

i) ∣∣x∣∣ = 0 si, y sólo si, x = 0

ii) ∣∣x + y∣∣ ≤ ∣∣x∣∣ + ∣∣y∣∣

iii) ∣∣λx∣∣ = ∣λ∣ ∣∣x∣∣

2
 Un espacio normado por tanto, es un par (X, ∣∣ ⋅ ∣∣) constituido por un
espacio vectorial X sobre K y una norma en X.

Definición 2 Sea X un espacio vectorial normado y sea d la métrica

asociada. Si X es un espacio métrico completo con respecto a d se dice que
X es un espacio de Banach.
Una vez situado y definido el espacio de Banach, daremos comienzo a la
realización del ejercicio

Para su realización haremos uso de la factorización canónica de una apli-

cación lineal entre espacios vectoriales:

Si X e Y son espacios vectoriales y T ∶ X → Y es una aplicación lineal,

la aplicación T̃ de X/ker T en Y , dada por T̃(x + ker T ) = T (x) es lineal e
inyetiva y T = T̃○π, donde π denota la proyección canónica de X en X/Ker T .

Demos contenido topológico a la descomposición anterior

Proposición 2 Sean X e Y espacios normados y T ∶ X → Y una aplica-

ción lineal con núcleo cerrado. Entonces:

i) T es contínua si, y sólo si, T̃ es continua y, en tal caso, ∣∣T ∣∣ = ∣∣T̃∣∣

ii) T es abierta sobre su imagen si, y sólo si, lo es T̃

La comprobación es inmediata.
Volviendo a las condiciones del ejercicio, supongamos que X es un espa-
cio de Banach, Y un espacio normado y T ∶ X → Y una aplicación lineal,
continua, abierta y sobreyectiva. En particular Ker T es cerrado y por tanto
X/Ker T es completo.

En virtud de la proposición 2, T̃ es continua y abierta. Puesto que en nues-

tro caso T̃ es biyectiva (la inyectividad se verifica siempre y la sobreyectividad
la hereda de T ), podemos concluir que T̃ es un isomorfismo topológico. Tales
aplicaciones conservan la completitud y por consiguiente Y es un espacio de
Banach ∎

3
Referencias
Apuntes de clase
http://www.matematica.ciens.ucv.ve/labfg/anfun/afb-t.pdf
http://www.ctan.org/