EspaciodeBanach

DeWikipedia,laenciclopedialibre
En matemticas, los espacios de Banach, llamados as en honor de Stefan Banach, son uno de los objetos de
estudiomsimportantesenanlisisfuncional.LosespaciosdeBanachsontpicamenteespaciosdefunciones de
dimensininfinita.

ndice
1 Definicin
2 Ejemplos
2.1 Espaciosdesucesioneslp
2.2 EspaciosdefuncionesLp
2.3 Otrosejemplos
3 RelacinconespaciosdeHilbert
4 ConstruccionesenespaciosdeBanach
4.1 Operadoreslineales
4.2 Espaciodual
4.3 DerivadadeFrchet
5 Generalizaciones
6 Vasetambin
7 Enlacesexternos

Definicin
UnespaciodeBanachesunespaciovectorialnormadocompleto.EstoquieredecirqueunespaciodeBanaches
unespaciovectorial sobreelcuerpodelosnmerosrealesoeldeloscomplejosconunanorma||||talquetoda
sucesindeCauchy(conrespectoalamtricad(x,y)=||xy||)enVtieneunlmiteenV.

Ejemplos
Deaquenadelante, designarunodeloscuerpos o :
Losconocidosespacioseuclidianos ,dondelanormaeuclidianadex=(x1,...,xn)estdadapor||x||=(
|xi|)1/2,sonespaciosdeBanach.
El espacio de todas las funciones continuas
definidas sobre un intervalo compacto (cerrado y
acotado) [a, b] tiene la estructura de espacio de Banach si definimos la norma segn
Esta es una norma, gracias al hecho de que las funciones continuas
definidassobreunintervalocerradoestnacotadas.Esteespacioescompletoconestanorma,yelespaciode
Banach resultante se denota por C[a, b]. Este ejemplo se puede generalizar al espacio C(X) de todas las
funcionescontinuasXK,dondeXesunespaciocompacto,oalespaciodetodaslasfuncionescontinuas
acotadasXK, donde X es cualquier espacio topolgico, y an al espacio B(X) de todas las funciones
acotadasXK,dondeXescualquierconjunto.Entodosestosejemplospodemosmultiplicarfuncionesy
quedarenelmismoespacio:todosestosespaciosson,dehecho,lgebrasdeBanachunitarias.

Espaciosdesucesioneslp

Si p 1 es un nmero real, podemos considerar el espacio de todas las sucesiones infinitas (x1, x2, x3, ...) de
elementosenKtalesquelaserieinfinitai|xi|pesfinita.Entoncessedefinelanormapdelasucesincomola
razpsimadelvalordelaserie.Esteespacio,juntoasunorma,esunespaciodeBanachsedenotaporlp:

ElespaciodeBanachl consisteentodaslassucesionesacotadasdeelementosenKlanormadeunadeestas
sucesionessedefinecomoelsupremodelosvaloresabsolutosdelosmiembrosdelasucesin.

EspaciosdefuncionesLp
De nuevo, si p 1 es un nmero real, podemos considerar a todas las funciones
Lebesgueintegrable,esdecirelconjunto

tales que | f |p es

Se define la norma de f como la raz psima 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 relacin de equivalencia como
sigue:

Es decir, f y g son equivalentes si y solo si la "seminorma" de f g es cero. El conjunto de las clases de

equivalenciaobtieneentonceslaestructuradeespaciodeBanachyesdenotadopor
:

Es crucial usar la integral de Lebesgue en lugar de la integral de Riemann en este caso, porque la integral de
Riemannnodaraunespaciocompleto.Estosejemplossepuedengeneralizar:verespaciosLpparamsdetalles.

Otrosejemplos
SiXeYsondosespaciosdeBanach,entoncespodemosformarsusumadirectaXY,queesunespaciode
Banachtambin.Estaconstruccinsepuedegeneralizarparalasumadirectadeunacantidadarbitrariade
espaciosdeBanach.
SiMesunsubespaciovectorialcerradodeunespaciodeBanachX,entonceselespaciococienteX/Mesun
espaciodeBanachtambin.
Finalmente,todoespaciodeHilbertesunespaciodeBanach.Elrecproconoescierto.

RelacinconespaciosdeHilbert
Como se menciona anteriormente, cada espacio de Hilbert es un espacio de Banach porque, por definicin, un
espaciodeHilbertescompletoconrespectoalanormaasociadaasuproductointerior.
NotodoslosespaciosdeBanachsonespaciosdeHilbert.Unacondicinnecesariaysuficienteparaqueunespacio
deBanachseatambinunespaciodeHilberteslaidentidaddelparalelogramo:

paratodouyvennuestroespaciodeBanachV,ydonde||*||eslanormasobreV.
SilanormadeunespaciodeBanachsatisfaceestaidentidad,entonceselespacioesunespaciodeHilbert,conel
productointeriordadoporlaidentidaddepolarizacin.SiVesunespaciodeBanachrealentonceslaidentidad
depolarizacines

yenelcasoqueVseaunespaciodeBanachcomplejolaidentidaddepolarizacinestdadapor

Parademostrarquelaidentidaddelparalelogramoimplicaquelaformadefinidaporlaidentidaddepolarizacin
esverdaderamenteunproductointerior,unoverificaalgebraicamentequeestaformaesaditiva,dedonde,sesigue
porinduccinquelaformaeslinealsobrelosenterosyracionales.Entonces,comotodorealeslmitedealguna
sucesindeCauchyderacionales,lacompletituddelanormaextiendelalinealidadsobretodalarectareal.Enel
caso complejo uno puede probar tambin que la forma bilineal es lineal sobre i en un argumento, y conjugada
linealenelotro.

ConstruccionesenespaciosdeBanach
Operadoreslineales
SiVyW son espacios de Banach sobre el mismo cuerpo K, el conjunto de todas las transformaciones lineales
continuasA:VWsedenotaporL(V,W). Es de notar que en espacios de infinitas dimensiones no todas las
funcioneslinealessonautomticamentecontinuas.L(V,W)esunespaciovectorial,ydefiniendolanorma||A||=
sup{||Ax||:xenVcon||x||1}setransformaenunespaciodeBanach.
ElespacioL(V)=L(V,V)formaunlgebradeBanachunitaria,dondelaoperacindemultiplicacinestdadapor
lacomposicindefuncioneslineales.

Espaciodual
SiVesunespaciodeBanachyK eselcuerpo subyacente (el de los nmerosreales,o bien, eldelos nmeros
complejos), entonces K es un espacio de Banach (usando el valor absoluto como norma) y podemos definir al
espaciodualVporV=L(V,K).Estees,denuevo,unespaciodeBanach.Sepuedeusarparadefinirunanueva
topologaparaV:latopologadbil.

ExisteunaaplicacinisomtricalinealnaturalFdeVaV''definidopor:F(x)(f)=f(x)paratodoxenVyfenV'.
comoconsecuenciadelteoremadeHahnBanach,estemapeoesinyectivosillegaraasersobreyectivo,entonces
el espacio de Banach V se dice reflexivo. Los espacios reflexivos tienen muchas propiedades geomtricas
importantes. Un espacio es reflexivo si y solo si su espacio dual es reflexivo, lo que ocurre si y solo si su bola
unitariaescompactaenlatopologadbil.LaexistenciadeunaisometraentreVyV''noessuficienteparaqueV
seareflexivoesnecesarioquetalisometraseaF.
Por ejemplo, lp es reflexivo para 1<p< pero l y l no son reflexivos. El dual de lp es lq donde p y q estn
relacionadosporlafrmula(1/p)+(1/q)=1.VerespaciosLpparamsdetalles.UnespaciodeHilbertessiempre
reflexivo.

DerivadadeFrchet
Dada una aplicacin (no necesariamente lineal) f : V W entre dos espacios de Banach es posible definir la
derivadadeestafuncingeneralizandoelcasode .Intuitivamente,sixesunelementodeV,laderivadadefen
elpuntoxesunaformalinealcontinuaqueaproximafcercadex.Formalmente,sedicequefesdiferenciableenx
siexisteunaformalinealcontinuaA:VWtalque

El lmite aqu se toma sobre todas las sucesiones de elementos no nulos de V que converjan al nulo de V.Siel
lmiteexiste,escribimosDf(x)=Aylellamamosladerivadadefenx.
EstanocindederivadaesunageneralizacindeladerivadaordinariadefuncionesRR,pueslasfunciones
linealesdeRaRsonlasmultiplicacionespornmerosreales.
Si f es diferenciable en todos los puntos x de V, entonces Df : V L(V, W) es otra funcin entre espacios de
Banach(quenoes,engeneral,lineal),queposiblemente,sepuedediferenciardenuevo,definiendoasderivadas
msaltasdef.LansimaderivadaenunpuntoxsepuedevercomounafuncinmultilinealVnW.
La diferenciacin es una operacin lineal en el siguiente sentido: si f y g son dos funciones V W que son
diferenciablesenx,yryssonescalaresdeK,entoncesrf+sgesdiferenciableenxconD(rf+sg)(x)=rD(f)(x)+
sD(g)(x).
Laregladelacadenaestambinvlidaenestecontexto:sif:VWesdiferenciableenxqueperteneceaV,yg:
WX es diferenciable en f(x), entonces la funcin compuesta g o f es diferenciable en x ya la derivada es la
composicindelasderivadas:

Generalizaciones
Muchos espacios importantes en anlisis funcional, por ejemplo el espacio de todas las funciones infinitamente
diferenciablesdeRenRoelespaciodetodaslasdistribucionessobreRsonespaciosvectorialescompletos,pero
no normados, no siendo espacios de Banach entonces. En los espacios de Frchet an se tiene una mtrica
completa,mientrasquelosespaciosLFsonespaciosvectorialesuniformesquesurgencomolmitesdeespaciosde
Frchet.

Vasetambin
Espacio(Matemticas)

Enlacesexternos
Weisstein,EricW.BanachSpace(http://mathworld.wolfram.com/BanachSpace.html).EnWeisstein,Eric
W.MathWorld(eningls).WolframResearch.
BanachSpace(http://planetmath.org/encyclopedia/BanachSpace.html)enPlanetMath
Obtenidodehttps://es.wikipedia.org/w/index.php?title=Espacio_de_Banach&oldid=92334011
Categora: Anlisisfuncional
Estapginafuemodificadaporltimavezel17jul2016alas17:28.
EltextoestdisponiblebajolaLicenciaCreativeCommonsAtribucinCompartirIgual3.0podranser
aplicablesclusulasadicionales.Alusarestesitio,ustedaceptanuestrostrminosdeusoynuestrapoltica
deprivacidad.
WikipediaesunamarcaregistradadelaFundacinWikimedia,Inc.,unaorganizacinsinnimodelucro.