Espacio de Banach

(Redirigido desde «Espacios de Banach»)

Ir a la navegaciónIr a la búsqueda
En matemáticas, un espacio de Banach, llamado así en honor del matemático polaco,
Stefan Banach, es uno de los objetos de estudio más importantes en análisis
funcional. Un espacio de Banach es típicamente un espacio de funciones de dimensión
infinita.

Índice
1 Definición
2 Ejemplos
2.1 Espacios de sucesiones {\displaystyle \ell ^{p}}\ell^p
2.2 Espacios de funciones Lp
2.3 Otros ejemplos
2.4 Conjunto bicompacto
2.5 Conjunto compacto
2.6 Conjunto localmente compacto
2.7 Conjunto débilmente compacto
3 Relación con espacios de Hilbert
4 Construcciones en espacios de Banach
4.1 Operadores lineales
4.2 Espacio dual
4.3 Derivada de Fréchet
5 Generalizaciones
6 Referencias
7 Véase también
8 Bibliografía
9 Enlaces externos
Definición
Un espacio de Banach es un espacio vectorial normado y completo en la métrica
definida por su norma.1 Esto quiere decir que un espacio de Banach es un espacio
vectorial {\displaystyle V}V sobre el cuerpo de los números reales o el de los
complejos con una norma {\displaystyle ||\cdot ||}{\displaystyle ||\cdot ||} tal
que toda sucesión de Cauchy (con respecto a la métrica {\displaystyle d(x,y)=||x-
y||}{\displaystyle d(x,y)=||x-y||} en {\displaystyle V}V tiene un límite en
{\displaystyle V}V.

Ejemplos
De aquí en adelante, {\displaystyle \mathbb {K} }{\displaystyle \mathbb {K} }
designará uno de los cuerpos {\displaystyle \mathbb {R} }{\displaystyle \mathbb {R}
} o {\displaystyle \mathbb {C} } \mathbb{C}:

Los conocidos espacios euclidianos {\displaystyle \mathbb {K} ^{n}}

{\displaystyle \mathbb {K} ^{n}}, donde la norma euclidiana de {\displaystyle
x=(x_{1},x_{2},\dots ,x_{n})}{\displaystyle x=(x_{1},x_{2},\dots ,x_{n})} está dada
por {\textstyle ||x||=(\sum _{j=1}^{n}|x_{j}|^{2})^{1/2}}{\textstyle ||x||=(\sum
_{j=1}^{n}|x_{j}|^{2})^{1/2}}, son espacios de Banach.
El espacio de todas las funciones continuas {\displaystyle f:[a,b]\to \mathbb {K} }
{\displaystyle f:[a,b]\to \mathbb {K} } definidas sobre un intervalo compacto
(cerrado y acotado) {\displaystyle [a,b]}[a,b] tiene la estructura de espacio de
Banach si definimos la norma según {\displaystyle \|\;f\;\|=\sup\{|f(x)|:x\in
[a,b]\}.}{\displaystyle \|\;f\;\|=\sup\{|f(x)|:x\in [a,b]\}.} Esta es una norma,
gracias al hecho de que las funciones continuas definidas sobre un intervalo
cerrado están acotadas. Este espacio es completo con esta norma, y el espacio de
Banach resultante se denota por {\displaystyle C[a,b]}{\displaystyle C[a,b]}. Este
ejemplo se puede generalizar al espacio {\displaystyle C(X)}{\displaystyle C(X)} de
todas las funciones continuas {\displaystyle X\to \mathbb {K} }{\displaystyle
X\to \mathbb {K} }, donde {\displaystyle X}X es un espacio compacto, o al espacio
de todas las funciones continuas acotadas {\displaystyle X\to \mathbb {K} }
{\displaystyle X\to \mathbb {K} }, donde {\displaystyle X}X es cualquier espacio
topológico, y aún al espacio {\displaystyle B(X)}{\displaystyle B(X)} de todas las
funciones acotadas {\displaystyle X\to \mathbb {K} }{\displaystyle X\to \mathbb {K}
}, donde {\displaystyle X}X es cualquier conjunto. En todos estos ejemplos podemos
multiplicar funciones y quedar en el mismo espacio: todos estos espacios son, de
hecho, álgebras de Banach unitarias.
Espacios de sucesiones {\displaystyle \ell ^{p}}\ell^p
Si {\displaystyle p\geq 1}{\displaystyle p\geq 1} es un número real, podemos
considerar el espacio de todas las sucesiones infinitas {\displaystyle
(x_{1},x_{2},x_{3},\dots )}{\displaystyle (x_{1},x_{2},x_{3},\dots )} de elementos
en {\displaystyle \mathbb {K} \in \{\mathbb {R} ,\mathbb {C} \}}{\displaystyle
\mathbb {K} \in \{\mathbb {R} ,\mathbb {C} \}} tales que la serie infinita
{\textstyle \sum _{k=1}^{\infty }|x_{k}|^{p}}{\textstyle \sum _{k=1}^{\infty }|
x_{k}|^{p}} es finita. Entonces se define la {\displaystyle p}p-norma (o norma-
{\displaystyle p}p) de la sucesión como la raíz {\displaystyle p}p-ésima del valor
de la serie. Este espacio, junto a su norma, es un espacio de Banach; se denota por
{\displaystyle \ell ^{p}}\ell^p:

{\displaystyle \ell ^{p}(\mathbb {K} ):=\left\{(x_{1},x_{2},\dots ,)\in \mathbb {K}

^{\omega }\colon \sum _{i=k}^{\infty }|x_{k}|^{p}<\infty \right\}}{\displaystyle
\ell ^{p}(\mathbb {K} ):=\left\{(x_{1},x_{2},\dots ,)\in \mathbb {K}
^{\omega }\colon \sum _{i=k}^{\infty }|x_{k}|^{p}<\infty \right\}}
El espacio de Banach {\displaystyle \ell ^{\infty }}{\displaystyle \ell ^{\infty }}
consiste en todas las sucesiones acotadas de elementos en {\displaystyle \mathbb
{K} }{\mathbb {K}}; la norma de una de estas sucesiones se define como el supremo
de los valores absolutos de los miembros de la sucesión.

Espacios de funciones Lp
Si {\displaystyle p\geq 1}{\displaystyle p\geq 1} es un número real, podemos
considerar a todas las funciones {\displaystyle f:\Omega \subset \mathbb {R}
^{n}\to \mathbb {R} }{\displaystyle f:\Omega \subset \mathbb {R} ^{n}\to \mathbb
{R} } tales que | f |p es Lebesgue-integrable, es decir el conjunto

{\displaystyle F_{p}(\Omega )=\{f:\Omega \to \mathbb {R} ^{n}|\int _{\Omega }|

f(\mathbf {x} )|^{p}\ d\mathbf {x} <\infty \}}{\displaystyle F_{p}(\Omega )=\
{f:\Omega \to \mathbb {R} ^{n}|\int _{\Omega }|f(\mathbf {x} )|^{p}\ d\mathbf {x}
<\infty \}}
Se define la norma de {\displaystyle f}f como la raíz {\displaystyle p}p-ésima de
esta integral. Por sí mismo, este espacio no es un espacio de Banach porque existen
funciones no nulas cuya norma es cero. Definimos una relación de equivalencia como
sigue:

{\displaystyle f\sim g\Leftrightarrow \int _{\Omega }|f-g|^{p}\ d^{n}\mathbf {x}

=0}{\displaystyle f\sim g\Leftrightarrow \int _{\Omega }|f-g|^{p}\ d^{n}\mathbf {x}
=0}
Es decir, {\displaystyle f}f y {\displaystyle g}g son equivalentes si y solo si la
"semi-norma" de {\displaystyle f-g}{\displaystyle f-g} es cero. El conjunto de las
clases de equivalencia obtiene entonces la estructura de espacio de Banach y es
denotado por {\displaystyle L^{p}(\Omega )}{\displaystyle L^{p}(\Omega )}:

{\displaystyle L^{p}(\Omega )=F_{p}(\Omega )/\sim }{\displaystyle L^{p}(\Omega )

=F_{p}(\Omega )/\sim }
Es crucial usar la integral de Lebesgue en lugar de la integral de Riemann en este
caso, porque la integral de Riemann no daría un espacio completo. Estos ejemplos se
pueden generalizar: ver espacios L p para más detalles.

Otros ejemplos
Si {\displaystyle X}X y {\displaystyle Y}Y son dos espacios de Banach, entonces
podemos formar su suma directa {\displaystyle X\oplus Y}{\displaystyle X\oplus Y},
que es un espacio de Banach también. Esta construcción se puede generalizar para la
suma directa de una cantidad arbitraria de espacios de Banach.
Si {\displaystyle M}M es un subespacio vectorial cerrado de un espacio de Banach
{\displaystyle X}X, entonces el espacio cociente {\displaystyle X/M}{\displaystyle
X/M} es un espacio de Banach también.
Finalmente, todo espacio de Hilbert es un espacio de Banach. El recíproco no es
cierto.
Conjunto bicompacto
Un conjunto {\displaystyle S}S en un espacio de Banach {\displaystyle X}X se llama
bicompacto si de toda sucesión {\displaystyle x_{n}}x_{n} de {\displaystyle S}S,
con {\displaystyle n\in \mathbb {N} }n\in\mathbb{N} se puede obtener un
subsucesión, cuyo límite está en {\displaystyle S}S.

Conjunto compacto
Un conjunto {\displaystyle M}M de un espacio vectorial normado se llama compacto si
de toda sucesión {\displaystyle x_{n}}x_{n} de {\displaystyle M}M, con
{\displaystyle n\in \mathbb {N} }n\in\mathbb{N} se puede extraer una subsucesión
fundamental.

Conjunto localmente compacto

Un conjunto {\displaystyle H}H de elementos de un espacio vectorial normado
{\displaystyle X}X se llama localmente compacto si la intersección de
{\displaystyle H}H con cualquiera bola cerrada en {\displaystyle X}X es compacta.

Conjunto débilmente compacto

Un conjunto {\displaystyle H}H de un espacio de Banach {\displaystyle X}X se llama
débilmemente compacto si de toda sucesión infinita de sus elementos se puede
extraer una subsucesión débilmente fundamental.2

Relación con espacios de Hilbert

Como se menciona anteriormente, cada espacio de Hilbert es un espacio de Banach
porque, por definición, un espacio de Hilbert es completo con respecto a la norma
asociada a su producto interno.

No todos los espacios de Banach son espacios de Hilbert. Una condición necesaria y
suficiente para que un espacio de Banach sea también un espacio de Hilbert es la
identidad del paralelogramo:

{\displaystyle \|u+v\|^{2}+\|u-v\|^{2}=2(\|u\|^{2}+\|v\|^{2})}{\displaystyle \|
u+v\|^{2}+\|u-v\|^{2}=2(\|u\|^{2}+\|v\|^{2})}
para todo {\displaystyle u}u y {\displaystyle v}v en nuestro espacio de Banach
{\displaystyle V}V, y donde {\displaystyle ||\cdot ||}{\displaystyle ||\cdot ||} es
la norma sobre {\displaystyle V}V.

Si la norma de un espacio de Banach satisface esta identidad, entonces el espacio

es un espacio de Hilbert, con el producto interno dado por la identidad de
polarización. Si {\displaystyle V}V es un espacio de Banach real entonces la
identidad de polarización es

{\displaystyle (u,v)={\frac {1}{4}}(\|u+v\|^{2}-\|u-v\|^{2})}{\displaystyle

(u,v)={\frac {1}{4}}(\|u+v\|^{2}-\|u-v\|^{2})}
y en el caso que {\displaystyle V}V sea un espacio de Banach complejo la identidad
de polarización está dada por

{\displaystyle (u,v)={\frac {1}{4}}(\|u+v\|^{2}-\|u-v\|^{2}+i(\|u+iv\|^{2}-\|u-iv\|

^{2}))}{\displaystyle (u,v)={\frac {1}{4}}(\|u+v\|^{2}-\|u-v\|^{2}+i(\|u+iv\|
^{2}-\|u-iv\|^{2}))}
Para demostrar que la identidad del paralelogramo implica que la forma definida por
la identidad de polarización es verdaderamente un producto interno, se verifica
algebraicamente que esta forma es aditiva, de donde, se sigue por inducción que la
forma es lineal sobre los enteros y racionales. Entonces, como todo real es límite
de alguna sucesión de Cauchy de racionales, la completitud de la norma extiende la
linealidad sobre toda la recta real. En el caso complejo uno puede probar también
que la forma bilineal es lineal sobre i en un argumento, y conjugada lineal en el
otro.

Construcciones en espacios de Banach

Operadores lineales
Si {\displaystyle V}V y {\displaystyle W}W son espacios de Banach sobre el mismo
cuerpo {\displaystyle \mathbb {K} }{\mathbb {K}}, el conjunto de todas las
transformaciones lineales continuas {\displaystyle A:V\to W}{\displaystyle A:V\to
W} se denota por L{\displaystyle L(V,W)}{\displaystyle L(V,W)}. Es de notar que en
espacios de infinitas dimensiones no todas las funciones lineales son
automáticamente continuas. {\displaystyle L(V,W)}{\displaystyle L(V,W)} es un
espacio vectorial, y definiendo la norma ||A|| = sup { ||Ax|| : x en V con ||x|| ≤
1 } se transforma en un espacio de Banach.

El espacio {\displaystyle L(V)=L(V,V)}{\displaystyle L(V)=L(V,V)} forma un álgebra

de Banach unitaria, donde la operación de multiplicación está dada por la
composición de funciones lineales.

Espacio dual
Si {\displaystyle V}V es un espacio de Banach y {\displaystyle \mathbb {K} }
{\mathbb {K}} es el cuerpo subyacente (el de los números reales, o bien, el de los
números complejos), entonces {\displaystyle \mathbb {K} }{\mathbb {K}} es un
espacio de Banach (usando el valor absoluto como norma) y podemos definir al
espacio dual {\displaystyle V}V por V = L(V, K). Este es, de nuevo, un espacio de
Banach. Se puede usar para definir una nueva topología para {\displaystyle V}V: la
topología débil.

Existe una aplicación isométrica lineal natural {\displaystyle F}F de

{\displaystyle V}V a {\displaystyle V''}{\displaystyle V''} definido por
{\displaystyle F(x)(f)=f(x)}{\displaystyle F(x)(f)=f(x)} para todo {\displaystyle
x\in V}x\in V y {\displaystyle f}f en {\displaystyle V''}{\displaystyle V''}, como
consecuencia del teorema de Hahn-Banach, este mapeo es inyectivo; si llegara a ser
sobreyectivo, entonces el espacio de Banach {\displaystyle V}V se dice reflexivo.
Los espacios reflexivos tienen muchas propiedades geométricas importantes. Un
espacio es reflexivo si y solo si su espacio dual es reflexivo, lo que ocurre si y
solo si su bola unitaria es compacta en la topología débil. La existencia de una
isometría entre {\displaystyle V}V y {\displaystyle V''}{\displaystyle V''} no es
suficiente para que {\displaystyle V}V sea reflexivo; es necesario que tal
isometría sea {\displaystyle F}F.

Por ejemplo, lp es reflexivo para {\displaystyle 1<p<\infty }{\displaystyle

1<p<\infty } pero l¹ y l∞ no son reflexivos. El dual de lp es lq donde
{\displaystyle p}p y {\displaystyle q}q están relacionados por la fórmula
{\displaystyle 1/p+1/q=1}{\displaystyle 1/p+1/q=1}. Ver espacios L p para más
detalles. Un espacio de Hilbert es siempre reflexivo.

Derivada de Fréchet
Dada una aplicación (no necesariamente lineal) {\displaystyle f:V\to W}
{\displaystyle f:V\to W} entre dos espacios de Banach es posible definir la
derivada de esta función generalizando el caso de {\displaystyle \mathbb {R}
^{n}}\mathbb {R} ^{n}. Intuitivamente, si {\displaystyle x}x es un elemento de
{\displaystyle V}V, la derivada de {\displaystyle f}f en el punto {\displaystyle
x}x es una forma lineal continua que aproxima {\displaystyle f}f cerca de
{\displaystyle x}x. Formalmente, se dice que {\displaystyle f}f es diferenciable en
{\displaystyle x}x si existe una forma lineal continua {\displaystyle A:V\to W}
{\displaystyle A:V\to W} tal que

{\displaystyle \lim _{h\to 0}{\frac {\|f(x+h)-f(x)-A(h)\|_{W}}{\|h\|_{V}}}=0.}

{\displaystyle \lim _{h\to 0}{\frac {\|f(x+h)-f(x)-A(h)\|_{W}}{\|h\|_{V}}}=0.}
El límite aquí se toma sobre todas las sucesiones de elementos no nulos de
{\displaystyle V}V que converjan al nulo de {\displaystyle V}V. Si el límite
existe, escribimos {\displaystyle Df(x)=A}{\displaystyle Df(x)=A} y le llamamos la
derivada de {\displaystyle f}f en {\displaystyle x}x.

Esta noción de derivada es una generalización de la derivada ordinaria de funciones

R → R, pues las funciones lineales de {\displaystyle \mathbb {R} }\R a
{\displaystyle \mathbb {R} }\R son las multiplicaciones por números reales.

Si {\displaystyle f}f es diferenciable en todos los puntos {\displaystyle x}x de

{\displaystyle V}V, entonces {\displaystyle Df:V\to L(V,W)}{\displaystyle Df:V\to
L(V,W)} es otra función entre espacios de Banach (que no es, en general, lineal),
que posiblemente, se puede diferenciar de nuevo, definiendo así derivadas más altas
de {\displaystyle f}f. La {\displaystyle n}n-ésima derivada en un punto
{\displaystyle x}x se puede ver como una función multilineal {\displaystyle
V^{n}\to W}{\displaystyle V^{n}\to W}.

La diferenciación es una operación lineal en el siguiente sentido, si

{\displaystyle f}f y {\displaystyle g}g son dos funciones {\displaystyle f,g:V\to
W}{\displaystyle f,g:V\to W} que son diferenciables en {\displaystyle x}x y
{\displaystyle r,s\in \mathbb {K} }{\displaystyle r,s\in \mathbb {K} } son
escalares entonces {\displaystyle rf+sg}{\displaystyle rf+sg} es diferenciable en
{\displaystyle x}x con {\displaystyle D(rf+sg)(x)=rD(f)(x)+sD(g)(x)}{\displaystyle
D(rf+sg)(x)=rD(f)(x)+sD(g)(x)}.

La regla de la cadena es también válida en este contexto, si {\displaystyle f:V\to

W}{\displaystyle f:V\to W} es diferenciable en {\displaystyle x\in V}x\in V y
{\displaystyle g:W\to X}{\displaystyle g:W\to X} es diferenciable en {\displaystyle
f(x)}f(x) entonces la función compuesta {\displaystyle g\circ f}{\displaystyle
g\circ f} es diferenciable en {\displaystyle x}x y la derivada es la composición de
las derivadas:

{\displaystyle D(g\circ f)(x)=D(g)(f(x))\circ D(f)(x).}{\displaystyle D(g\circ f)

(x)=D(g)(f(x))\circ D(f)(x).}
Generalizaciones
Muchos espacios importantes en análisis funcional, por ejemplo el espacio de todas
las funciones infinitamente diferenciables de {\displaystyle \mathbb {R} }\R en
{\displaystyle \mathbb {R} }\R o el espacio de todas las distribuciones sobre
{\displaystyle \mathbb {R} }\R son espacios vectoriales completos, pero no
normados, no siendo espacios de Banach entonces. En los espacios de Fréchet aún se
tiene una métrica completa, mientras que los espacios LF son espacios vectoriales
uniformes que surgen como límites de espacios de Fréchet.

Referencias
W. Rudin. Pg 2. Sección (1.2)
V. A. Trenoguin y otros Problemas y ejercicios de análisis funcional Editorial Mir
Moscú (1987)
Véase también
Espacio (Matemáticas)
Bibliografía
Análisis funcional de Kolmogorov.

Enlaces externos
Weisstein, Eric W. «Banach Space». En Weisstein, Eric W, ed. MathWorld (en inglés).
Wolfram Research.
Banach Space en PlanetMath.
Control de autoridades
Proyectos WikimediaWd Datos: Q194397Commonscat Multimedia: Banach spaces
IdentificadoresLCCN: sh85011441NDL: 00560500Microsoft Academic:
132954091Diccionarios y enciclopediasBritannica: url
Categoría: Análisis funcional
Menú de navegación
No has accedido
Discusión
Contribuciones
Crear una cuenta
Acceder
ArtículoDiscusión
LeerEditarVer historialBuscar
Buscar en Wikipedia
Portada
Portal de la comunidad
Actualidad
Cambios recientes
Páginas nuevas
Página aleatoria
Ayuda
Donaciones
Notificar un error
Herramientas
Lo que enlaza aquí
Cambios en enlazadas
Subir archivo
Páginas especiales
Enlace permanente
Información de la página
Citar esta página
Elemento de Wikidata
Imprimir/exportar
Crear un libro
Descargar como PDF
Versión para imprimir
En otros proyectos
Wikimedia Commons

En otros idiomas
‫العربية‬
Deutsch
English
Français
Bahasa Indonesia
日本語
Português
Русский
中文
27 más
Editar enlaces
Esta página se editó por última vez el 22 mar 2021 a las 03:09.
El texto está disponible bajo la Licencia Creative Commons Atribución Compartir
Igual 3.0; pueden aplicarse cláusulas adicionales. Al usar este sitio, usted acepta
nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una
organización sin ánimo de lucro.