fbpx
Wikipedia

Espacio barrilado

En análisis funcional y en otras áreas matemáticas, un espacio barrilado es un espacio vectorial topológico (EVT) para el que cada conjunto barrilado en el espacio es un entorno del elemento cero. Un conjunto barrilado o un barril en un espacio vectorial topológico es un conjunto que es convexo, equilibrado, absorbente y cerrado. Los espacios barrilados se estudian porque todavía se les aplica una forma del principio de acotación uniforme. Este concepto fue introducido en 1950 por el colectivo de matemáticos franceses conocido bajo el nombre de Nicolas Bourbaki.[1]

Barriles editar

Un subconjunto equilibrado y convexo de un espacio vectorial real o complejo se denomina disco y se dice que tiene forma de disco, si es absolutamente convexo o equilibrado convexo.

Un barril o un conjunto barrilado en un espacio vectorial topológico (EVT) es un subconjunto que es un disco cerrado y absorbente; es decir, un barril es un subconjunto convexo, equilibrado, cerrado y absorbente.

Cada barril debe contener el origen. Si   y si   es cualquier subconjunto de   entonces   es un conjunto convexo, equilibrado y absorbente de   si y solo si todo esto es cierto para   en   para cada subespacio vectorial  -dimensional  , por lo tanto, si   entonces se cumple el requisito de que un barril sea un subconjunto cerrado de  , y es la única propiedad definitoria que no depende únicamente de subespacios vectoriales de dimensión   (o inferior) de  

Si   es cualquier EVT, entonces cada entorno cerrado, convexo y equilibrado del origen es necesariamente un barril en   (porque cada entorno del origen es necesariamente un subconjunto absorbente). De hecho, cada espacio localmente convexo tiene en su origen una base de entornos formada íntegramente por barriles. Sin embargo, en general, en este caso podrían existir barriles que no sean entornos del origen. Los "espacios con barriles" son exactamente aquellos EVT en los que cada barril es necesariamente un entorno del origen. Cada espacio vectorial topológico de dimensión finita es un espacio barrilado, por lo que ejemplos barrilados que no son entornos del origen solo se pueden encontrar en espacios de dimensión infinita.

Ejemplos de barrilados y no barrilados editar

El cierre de cualquier subconjunto convexo, equilibrado y absorbente es barrilado. Esto se debe a que el cierre de cualquier subconjunto convexo (respectivamente, cualquier subconjunto equilibrado o absorbente) tiene esta misma propiedad.

Una familia de ejemplos: Supóngase que   es igual a   (si se considera un espacio vectorial complejo) o igual a   (si se considera un espacio vectorial real). Independientemente de si   es un espacio vectorial real o complejo, cada barril en   es necesariamente un entorno del origen (por lo que   es un ejemplo de un espacio barrilado). Sea   cualquier función y para cada ángulo   sea   el segmento de recta cerrado desde el origen hasta el punto   Sea   Entonces,   es siempre un subconjunto absorbente de   (un espacio vectorial real) pero es un subconjunto absorbente de   (un espacio vectorial complejo) si y solo si es un entorno del origen. Además,   es un subconjunto equilibrado de   si y solo si   para cada   (si este es el caso, entonces   y   están completamente determinados por los valores de   en  ) pero   es un subconjunto equilibrado de   si y solo es una bola abierta o cerrada centrada en el origen (de radio  ). En particular, los barriles en   son exactamente esas bolas cerradas centradas en el origen con radio en   Si  , entonces   es un subconjunto cerrado absorbente en  , pero no es absorbente en   y tampoco es ni convexo, ni equilibrado, ni entorno del origen en   Mediante una elección adecuada de la función   también es posible que   sea un subconjunto de   equilibrado y absorbente pero que no es ni cerrado ni convexo. Para que   sea un subconjunto de   equilibrado, absorbente y cerrado que no sea convexo ni un entorno del origen, defínase   en   como sigue: para   sea   (alternativamente, puede ser cualquier función positiva en   que sea continuamente diferenciable, lo que garantiza que   y que   esté cerrado, y que también satisfaga que   lo que evita que   sea un entorno del origen), y luego extiéndase   a   definiendo   lo que garantiza que   esté equilibrado en  

Propiedades de los barriles editar

  • En cualquier espacio vectorial topológico (EVT)   cada barril en   absorbe cada subconjunto compacto convexo de  [2]
  • En cualquier EVT de Hausdorff localmente convexo   cada barril en   absorbe cada subconjunto completo acotado convexo de  [2]
  • Si   es localmente convexo, entonces un subconjunto   de   está acotado por   si y solo si existe un barril   en   tal que  [2]
  • Sea   un emparejamiento, y sea   una topología localmente convexa en   consistente con la dualidad. Entonces, un subconjunto   de   es un barril en   si y solo si   es el polar de algún subconjunto acotado por   de  [2]
  • Supóngase que   es un subespacio vectorial de codimensión finita en un espacio localmente convexo   y   Si   es un barril (respectivamente, barril bornívoro, disco bornívoro) en  , entonces existe un barril (respectivamente, barril bornívoro, disco bornívoro)   en   tal que  [3]

Caracterizaciones de espacios barrilados editar

Denótese por   el espacio de aplicaciones lineales continuas de   a  

Si   es un espacio vectorial topológico (EVT) de Hausdorff con espacio dual  , entonces los siguientes enunciados son equivalentes:

  1.   es barrilado.
  2. Definición : Cada barril en   es un entorno del origen.
    • Esta definición es similar a una caracterización de los EVT de Baire probada por Saxon [1974], quien demostró que un EVT   con una topología que no sea la topología no discreta es un espacio de Baire si y solo si cada subconjunto equilibrado absorbente es un entorno de algún punto de   (no necesariamente el origen).[3]
  3. Para cualquier EVT   de Hausdorff, cada subconjunto acotado puntualmente de   es equicontinuo.[4]
  4. Para cualquier espacio F  , todo subconjunto acotado puntualmente de   es equicontinuo.[4]
  5. Cada operador lineal cerrado desde   hasta un EVT metrizable completo es continuo.[5]
    • Una aplicación lineal   se llama cerrada si su grafo es un subconjunto de  
  6. Cada topología en un EVT de Hausdorff     que tiene una base de entornos en el origen que consta de un conjunto cerrado   es más larga que  [6]

Si   es un espacio localmente convexo, esta lista de sentencias puede ampliarse añadiendo:

  1. Existe un EVT   que no lleva la topología no discreta (en particular,  ) tal que cada subconjunto acotado puntualmente de   es equicontinuo.[3]
  2. Para cualquier EVT localmente convexo   cada subconjunto acotado puntualmente de   es equicontinuo.[3]
    • De las dos caracterizaciones anteriores se deduce que en la clase de EVTs localmente convexos, los espacios barrilados son exactamente aquellos para los cuales se cumple el principio de acotación uniforme.
  3. Cada subconjunto acotado por   del espacio dual continuo   es equicontinuo (esto proporciona un inverso parcial al principio de acotación uniforme).[3][7]
  4.   porta la topología dual fuerte  [3]
  5. Cada seminorma semicontinua por debajo en   es continua.[3]
  6. Cada aplicación lineal   en un espacio localmente convexo   es casi continua.[3]
    • Una aplicación lineal   se llama casi continua
    si para cada entorno   del origen en   el cierre de   es un entorno del origen en  
  7. Toda aplicación lineal sobreyectiva   de un espacio localmente convexo   es casi abierta.[3]
    • Esto significa que por cada entorno   de 0 en   el cierre de   es un entorno de 0 en  
  8. Si   es una topología localmente convexa en   tal que   tiene una base de entorno en el origen que consta de conjuntos cerrados  , entonces   es más débil que  [3]

Si   es un espacio localmente convexo de Hausdorff, entonces esta lista puede ampliarse añadiendo:

  1. Teorema de la gráfica cerrada: Cada operador lineal cerrado   en un espacio de Banach   es continuo.[8]
    • Un operador lineal se llama cerrado si su grafo es un subconjunto cerrado de  
  2. Para cada subconjunto   del espacio dual continuo de   las siguientes propiedades son equivalentes:   es[7]
    1. equicontinuo;
    2. relativamente débilmente compacto;
    3. fuertemente acotado;
    4. débilmente acotado.
  3. Las bases de entornos de 0 en   y las familias fundamentales de conjuntos acotados en   se corresponden entre sí por polaridad.[7]

Si   es un espacio vectorial topológico metrizable, entonces esta lista puede ampliarse añadiendo:

  1. Para cualquier EVT metrizable completo  , cada sucesión acotada puntualmente en   es equicontinua.[4]

Si   es un espacio vectorial topológico metrizable localmente convexo, entonces esta lista puede ampliarse añadiendo:

  1. (Propiedad S ): La topología *débil en   es secuencialmente completa.[9]
  2. (Propiedad C ): Cada subconjunto acotado *débil de   es   relativo numerable compacto.[9]
  3. (Barrilado 𝜎 ): Cada subconjunto acotado *débil numerable de   es equicontinuo.[9]
  4. (Tipo Baire ):   no es la unión de una sucesión creciente de discos densos en ninguna parte.[9]

Ejemplos y condiciones suficientes editar

Cada uno de los siguientes espacios vectoriales topológicos tiene un espacio barrilado:

  1. Los EVTs que son espacios de Baire.
    • En consecuencia, todo espacio vectorial topológico que sea exiguo en sí mismo es barrilado.
  2. Espacios F, espacios de Fréchet, espacios de Banach y espacios de Hilbert.
  3. Los EVTs pseudometrizables y completos.[10]
    • En consecuencia, todo EVT de dimensión finita tiene un barrilado.
  4. Espacios de Montel.
  5. Espacios duales fuertes de espacios de Montel (ya que son necesariamente espacios de Montel).
  6. Un espacio cuasi barrilado localmente convexo que también es un espacio σ-barrilado.[11]
  7. Un espacio cuasi barrilado secuencialmente completo.
  8. Un espacio cuasi completo de Hausdorff localmente convexo infrabarrilado.[3]
    • Un EVT se denomina cuasi completo si cada subconjunto cerrado y acotado está completo.
  9. Un EVT con un subespacio vectorial denso y barrilado.[3]
    • Así, la terminación de un espacio barrilado es barrilado.
  10. Un EVT localmente convexo de Hausdorff con un subespacio vectorial denso infrabarrilado.[3]
    • De este modo se completa la realización de un espacio localmente convexo de Hausdorff infrabarrilado.[3]
  11. Un subespacio vectorial de un espacio barrilado que tiene codimensionalidad numerable.[3]
    • En particular, un subespacio vectorial codimensional finito de un espacio barrilado es barrilado.
  12. Un EVT ultrabarrilado localmente convexo.[12]
  13. Un EVT   localmente convexo de Hausdorff tal que cada subconjunto débilmente acotado de su espacio dual continuo es equicontinuo.[13]
  14. Un EVT localmente convexo   tal que para cada espacio de Banach   una aplicación lineal cerrada de   en   es necesariamente continua.[14]
  15. Un producto de una familia de espacios barrilados.[15]
  16. Una suma directa localmente convexa y el límite inductivo de una familia de espacios barrilados.[16]
  17. Un cociente de un espacio barrilado.[17][16]
  18. Un EVT aditivo acotado cuasi barrilado secuencialmente completo de Hausdorff.[18]
  19. Un espacio reflexivo localmente convexo de Hausdorff tiene un barrilado.

Contraejemplos editar

  • Un espacio barrilado no tiene por qué ser de Montel, completo, metrizable, desordenado de tipo Baire, ni el límite inductivo de los espacios de Banach.
  • No todos los espacios normados tienen barrilado. Sin embargo, todos son infrabarrilados.[3]
  • Un subespacio cerrado de un espacio barrilado no es necesariamente cuasi barrilado numerable (y por lo tanto, no necesariamente barrilado).[19]
  • Existe un subespacio vectorial denso del espacio barrilado de Fréchet   que no es barrilado.[3]
  • Existen EVTs localmente convexos completos que no tienen barrilado.[3]
  • La topología localmente convexa más fina en un espacio vectorial de dimensión infinita es un espacio barrilado de Hausdorff que es un subconjunto exiguo de sí mismo (y por lo tanto, no es un espacio de Baire).[3]

Propiedades de los espacios barrilados editar

Generalización de Banach-Steinhaus editar

La importancia de los espacios barrilados se debe principalmente a los siguientes resultados:

Teorema[20]

Sea   un EVT barrilado e   un EVT localmente convexo. Sea   un subconjunto del espacio   de aplicaciones lineales continuas desde   hasta  . Las siguientes declaraciones son equivalentes:

  1.   está acotado para la topología de convergencia puntual;
  2.   está acotado para la topología de convergencia acotada;
  3.   es equicontinuo.

El principio de acotación uniforme es un corolario del resultado anterior.[21]​ Cuando el espacio vectorial   consta de números complejos, entonces también se cumple la siguiente generalización:

Teorema[22]

Si   es un EVT barrilado sobre los números complejos y   es un subconjunto del espacio dual continuo de  , entonces los siguiente enunciados son equivalentes:

  1.   está débilmente acotado;
  2.   está fuertemente acotado;
  3.   es equicontinuo;
  4.   es relativamente compacto en la topología dual débil.

Recuérdese que una aplicación lineal   se llama cerrada si su grafo es un subconjunto cerrado de  

Teorema del grafo cerrado[23]

Cada operador lineal cerrado desde un EVT barrilado de Hausdorff a un EVT metrizable completo, es continuo.

Otras propiedades editar

  • Cada espacio barrilado de Hausdorff es cuasi barrilado.[24]
  • Una aplicación lineal desde un espacio barrilado a un espacio localmente convexo es casi continua.
  • Una aplicación lineal desde un espacio localmente convexo sobre un espacio barrilado es casi abierta.
  • Una aplicación bilineal separadamente continua de un producto de espacios barrilados a un espacio localmente convexo es hipocontinua.[25]
  • Una aplicación lineal con un grafo cerrado desde un EVT barrilado hasta un EVT completo   es necesariamente continua.[14]

Véase también editar

Referencias editar

Bibliografía editar

  • Adasch, Norbert; Ernst, Bruno; Keim, Dieter (1978). Topological Vector Spaces: The Theory Without Convexity Conditions. Lecture Notes in Mathematics 639. Berlin New York: Springer Science+Business Media. ISBN 978-3-540-08662-8. OCLC 297140003. 
  • Berberian, Sterling K. (1974). Lectures in Functional Analysis and Operator Theory. Graduate Texts in Mathematics 15. New York: Springer. ISBN 978-0-387-90081-0. OCLC 878109401. 
  • Bourbaki, Nicolas (1950). «Sur certains espaces vectoriels topologiques». Annales de l'Institut Fourier (en francés) 2: 5-16 (1951). MR 0042609. doi:10.5802/aif.16. 
  • Bourbaki, Nicolas (1987) [1981]. Topological Vector Spaces: Chapters 1–5 (Eggleston, H.G.; Madan, S., trad.). Elementos de matemática. Berlin New York: Springer-Verlag. ISBN 3-540-13627-4. OCLC 17499190. 
  • Conway, John B. (1990). A Course in Functional Analysis. Graduate Texts in Mathematics 96 (2nd edición). New York: Springer-Verlag. ISBN 978-0-387-97245-9. OCLC 21195908. 
  • Edwards, Robert E. (1995). Functional Analysis: Theory and Applications. New York: Dover Publications. ISBN 978-0-486-68143-6. OCLC 30593138. 
  • Grothendieck, Alexander (1973). Topological Vector Spaces (Chaljub, Orlando, trad.). New York: Gordon and Breach Science Publishers. ISBN 978-0-677-30020-7. OCLC 886098. 
  • Husain, Taqdir; Khaleelulla, S. M. (1978). Barrelledness in Topological and Ordered Vector Spaces. Lecture Notes in Mathematics 692. Berlin, New York, Heidelberg: Springer Science+Business Media. ISBN 978-3-540-09096-0. OCLC 4493665. 
  • Jarchow, Hans (1981). Locally convex spaces. Stuttgart: B.G. Teubner. ISBN 978-3-519-02224-4. OCLC 8210342. 
  • Khaleelulla, S. M. (1982). Counterexamples in Topological Vector Spaces. Lecture Notes in Mathematics 936. Berlin, Heidelberg, New York: Springer Science+Business Media. ISBN 978-3-540-11565-6. OCLC 8588370. 
  • Köthe, Gottfried (1983) [1969]. Topological Vector Spaces I (Garling, D.J.H., trad.). Grundlehren der mathematischen Wissenschaften 159. New York: Springer Science & Business Media. ISBN 978-3-642-64988-2. MR 0248498. OCLC 840293704. 
  • Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second edición). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. 
  • Osborne, Mason Scott (2013). Locally Convex Spaces. Graduate Texts in Mathematics 269. Cham Heidelberg New York Dordrecht London: Springer Science & Business Media. ISBN 978-3-319-02045-7. OCLC 865578438. 
  • Robertson, Alex P.; Robertson, Wendy J. (1980). Topological Vector Spaces. Cambridge Tracts in Mathematics 53. Cambridge England: Cambridge University Press. ISBN 978-0-521-29882-7. OCLC 589250. 
  • Robertson, Alex P.; Robertson, Wendy J. (1964). Topological vector spaces. Cambridge Tracts in Mathematics 53. Cambridge University Press. pp. 65-75. 
  • Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM 8 (Second edición). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135. 
  • Schechter, Eric (1996). Handbook of Analysis and Its Foundations. San Diego, CA: Academic Press. ISBN 978-0-12-622760-4. OCLC 175294365. 
  • Swartz, Charles (1992). An introduction to Functional Analysis. New York: M. Dekker. ISBN 978-0-8247-8643-4. OCLC 24909067. 
  • Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322. 
  • Voigt, Jürgen (2020). A Course on Topological Vector Spaces. Compact Textbooks in Mathematics. Cham: Birkhäuser Basel. ISBN 978-3-030-32945-7. OCLC 1145563701. 
  • Wilansky, Albert (2013). Modern Methods in Topological Vector Spaces. Mineola, New York: Dover Publications, Inc. ISBN 978-0-486-49353-4. OCLC 849801114. 
  •   Datos: Q2090232

espacio, barrilado, análisis, funcional, otras, áreas, matemáticas, espacio, barrilado, espacio, vectorial, topológico, para, cada, conjunto, barrilado, espacio, entorno, elemento, cero, conjunto, barrilado, barril, espacio, vectorial, topológico, conjunto, co. En analisis funcional y en otras areas matematicas un espacio barrilado es un espacio vectorial topologico EVT para el que cada conjunto barrilado en el espacio es un entorno del elemento cero Un conjunto barrilado o un barril en un espacio vectorial topologico es un conjunto que es convexo equilibrado absorbente y cerrado Los espacios barrilados se estudian porque todavia se les aplica una forma del principio de acotacion uniforme Este concepto fue introducido en 1950 por el colectivo de matematicos franceses conocido bajo el nombre de Nicolas Bourbaki 1 Indice 1 Barriles 1 1 Ejemplos de barrilados y no barrilados 1 2 Propiedades de los barriles 2 Caracterizaciones de espacios barrilados 3 Ejemplos y condiciones suficientes 3 1 Contraejemplos 4 Propiedades de los espacios barrilados 4 1 Generalizacion de Banach Steinhaus 4 2 Otras propiedades 5 Vease tambien 6 Referencias 7 BibliografiaBarriles editarUn subconjunto equilibrado y convexo de un espacio vectorial real o complejo se denomina disco y se dice que tiene forma de disco si es absolutamente convexo o equilibrado convexo Un barril o un conjunto barrilado en un espacio vectorial topologico EVT es un subconjunto que es un disco cerrado y absorbente es decir un barril es un subconjunto convexo equilibrado cerrado y absorbente Cada barril debe contener el origen Si dim X 2 displaystyle dim X geq 2 nbsp y si S displaystyle S nbsp es cualquier subconjunto de X displaystyle X nbsp entonces S displaystyle S nbsp es un conjunto convexo equilibrado y absorbente de X displaystyle X nbsp si y solo si todo esto es cierto para S Y displaystyle S cap Y nbsp en Y displaystyle Y nbsp para cada subespacio vectorial 2 displaystyle 2 nbsp dimensional Y displaystyle Y nbsp por lo tanto si dim X gt 2 displaystyle dim X gt 2 nbsp entonces se cumple el requisito de que un barril sea un subconjunto cerrado de X displaystyle X nbsp y es la unica propiedad definitoria que no depende unicamente de subespacios vectoriales de dimension 2 displaystyle 2 nbsp o inferior de X displaystyle X nbsp Si X displaystyle X nbsp es cualquier EVT entonces cada entorno cerrado convexo y equilibrado del origen es necesariamente un barril en X displaystyle X nbsp porque cada entorno del origen es necesariamente un subconjunto absorbente De hecho cada espacio localmente convexo tiene en su origen una base de entornos formada integramente por barriles Sin embargo en general en este caso podrian existir barriles que no sean entornos del origen Los espacios con barriles son exactamente aquellos EVT en los que cada barril es necesariamente un entorno del origen Cada espacio vectorial topologico de dimension finita es un espacio barrilado por lo que ejemplos barrilados que no son entornos del origen solo se pueden encontrar en espacios de dimension infinita Ejemplos de barrilados y no barrilados editar El cierre de cualquier subconjunto convexo equilibrado y absorbente es barrilado Esto se debe a que el cierre de cualquier subconjunto convexo respectivamente cualquier subconjunto equilibrado o absorbente tiene esta misma propiedad Una familia de ejemplos Supongase que X displaystyle X nbsp es igual a C displaystyle mathbb C nbsp si se considera un espacio vectorial complejo o igual a R2 displaystyle mathbb R 2 nbsp si se considera un espacio vectorial real Independientemente de si X displaystyle X nbsp es un espacio vectorial real o complejo cada barril en X displaystyle X nbsp es necesariamente un entorno del origen por lo que X displaystyle X nbsp es un ejemplo de un espacio barrilado Sea R 0 2p 0 displaystyle R 0 2 pi to 0 infty nbsp cualquier funcion y para cada angulo 8 0 2p displaystyle theta in 0 2 pi nbsp sea S8 displaystyle S theta nbsp el segmento de recta cerrado desde el origen hasta el punto R 8 ei8 C displaystyle R theta e i theta in mathbb C nbsp Sea S 8 0 2p S8 textstyle S bigcup theta in 0 2 pi S theta nbsp Entonces S displaystyle S nbsp es siempre un subconjunto absorbente de R2 displaystyle mathbb R 2 nbsp un espacio vectorial real pero es un subconjunto absorbente de C displaystyle mathbb C nbsp un espacio vectorial complejo si y solo si es un entorno del origen Ademas S displaystyle S nbsp es un subconjunto equilibrado de R2 displaystyle mathbb R 2 nbsp si y solo si R 8 R p 8 displaystyle R theta R pi theta nbsp para cada 0 8 lt p displaystyle 0 leq theta lt pi nbsp si este es el caso entonces R displaystyle R nbsp y S displaystyle S nbsp estan completamente determinados por los valores de R displaystyle R nbsp en 0 p displaystyle 0 pi nbsp pero S displaystyle S nbsp es un subconjunto equilibrado de C displaystyle mathbb C nbsp si y solo es una bola abierta o cerrada centrada en el origen de radio 0 lt r displaystyle 0 lt r leq infty nbsp En particular los barriles en C displaystyle mathbb C nbsp son exactamente esas bolas cerradas centradas en el origen con radio en 0 displaystyle 0 infty nbsp Si R 8 2p 8 displaystyle R theta 2 pi theta nbsp entonces S displaystyle S nbsp es un subconjunto cerrado absorbente en R2 displaystyle mathbb R 2 nbsp pero no es absorbente en C displaystyle mathbb C nbsp y tampoco es ni convexo ni equilibrado ni entorno del origen en X displaystyle X nbsp Mediante una eleccion adecuada de la funcion R displaystyle R nbsp tambien es posible que S displaystyle S nbsp sea un subconjunto de R2 displaystyle mathbb R 2 nbsp equilibrado y absorbente pero que no es ni cerrado ni convexo Para que S displaystyle S nbsp sea un subconjunto de R2 displaystyle mathbb R 2 nbsp equilibrado absorbente y cerrado que no sea convexo ni un entorno del origen definase R displaystyle R nbsp en 0 p displaystyle 0 pi nbsp como sigue para 0 8 lt p displaystyle 0 leq theta lt pi nbsp sea R 8 p 8 displaystyle R theta pi theta nbsp alternativamente puede ser cualquier funcion positiva en 0 p displaystyle 0 pi nbsp que sea continuamente diferenciable lo que garantiza que lim8 0R 8 R 0 gt 0 textstyle lim theta searrow 0 R theta R 0 gt 0 nbsp y que S displaystyle S nbsp este cerrado y que tambien satisfaga que lim8 pR 8 0 textstyle lim theta nearrow pi R theta 0 nbsp lo que evita que S displaystyle S nbsp sea un entorno del origen y luego extiendase R displaystyle R nbsp a p 2p displaystyle pi 2 pi nbsp definiendo R 8 R 8 p displaystyle R theta R theta pi nbsp lo que garantiza que S displaystyle S nbsp este equilibrado en R2 displaystyle mathbb R 2 nbsp Propiedades de los barriles editar En cualquier espacio vectorial topologico EVT X displaystyle X nbsp cada barril en X displaystyle X nbsp absorbe cada subconjunto compacto convexo de X displaystyle X nbsp 2 En cualquier EVT de Hausdorff localmente convexo X displaystyle X nbsp cada barril en X displaystyle X nbsp absorbe cada subconjunto completo acotado convexo de X displaystyle X nbsp 2 Si X displaystyle X nbsp es localmente convexo entonces un subconjunto H displaystyle H nbsp de X displaystyle X prime nbsp esta acotado por s X X displaystyle sigma left X prime X right nbsp si y solo si existe un barril B displaystyle B nbsp en X displaystyle X nbsp tal que H B displaystyle H subseteq B circ nbsp 2 Sea X Y b displaystyle X Y b nbsp un emparejamiento y sea n displaystyle nu nbsp una topologia localmente convexa en X displaystyle X nbsp consistente con la dualidad Entonces un subconjunto B displaystyle B nbsp de X displaystyle X nbsp es un barril en X n displaystyle X nu nbsp si y solo si B displaystyle B nbsp es el polar de algun subconjunto acotado por s Y X b displaystyle sigma Y X b nbsp de Y displaystyle Y nbsp 2 Supongase que M displaystyle M nbsp es un subespacio vectorial de codimension finita en un espacio localmente convexo X displaystyle X nbsp y B M displaystyle B subseteq M nbsp Si B displaystyle B nbsp es un barril respectivamente barril bornivoro disco bornivoro en M displaystyle M nbsp entonces existe un barril respectivamente barril bornivoro disco bornivoro C displaystyle C nbsp en X displaystyle X nbsp tal que B C M displaystyle B C cap M nbsp 3 Caracterizaciones de espacios barrilados editarDenotese por L X Y displaystyle L X Y nbsp el espacio de aplicaciones lineales continuas de X displaystyle X nbsp a Y displaystyle Y nbsp Si X t displaystyle X tau nbsp es un espacio vectorial topologico EVT de Hausdorff con espacio dual X displaystyle X prime nbsp entonces los siguientes enunciados son equivalentes X displaystyle X nbsp es barrilado Definicion Cada barril en X displaystyle X nbsp es un entorno del origen Esta definicion es similar a una caracterizacion de los EVT de Baire probada por Saxon 1974 quien demostro que un EVT Y displaystyle Y nbsp con una topologia que no sea la topologia no discreta es un espacio de Baire si y solo si cada subconjunto equilibrado absorbente es un entorno de algun punto de Y displaystyle Y nbsp no necesariamente el origen 3 Para cualquier EVT Y displaystyle Y nbsp de Hausdorff cada subconjunto acotado puntualmente de L X Y displaystyle L X Y nbsp es equicontinuo 4 Para cualquier espacio F Y displaystyle Y nbsp todo subconjunto acotado puntualmente de L X Y displaystyle L X Y nbsp es equicontinuo 4 Un espacio F es un EVT metrizable completo Cada operador lineal cerrado desde X displaystyle X nbsp hasta un EVT metrizable completo es continuo 5 Una aplicacion lineal F X Y displaystyle F X to Y nbsp se llama cerrada si su grafo es un subconjunto de X Y displaystyle X times Y nbsp Cada topologia en un EVT de Hausdorff n displaystyle nu nbsp X displaystyle X nbsp que tiene una base de entornos en el origen que consta de un conjunto cerrado t displaystyle tau nbsp es mas larga que t displaystyle tau nbsp 6 Si X t displaystyle X tau nbsp es un espacio localmente convexo esta lista de sentencias puede ampliarse anadiendo Existe un EVT Y displaystyle Y nbsp que no lleva la topologia no discreta en particular Y 0 displaystyle Y neq 0 nbsp tal que cada subconjunto acotado puntualmente de L X Y displaystyle L X Y nbsp es equicontinuo 3 Para cualquier EVT localmente convexo Y displaystyle Y nbsp cada subconjunto acotado puntualmente de L X Y displaystyle L X Y nbsp es equicontinuo 3 De las dos caracterizaciones anteriores se deduce que en la clase de EVTs localmente convexos los espacios barrilados son exactamente aquellos para los cuales se cumple el principio de acotacion uniforme Cada subconjunto acotado por s X X displaystyle sigma left X prime X right nbsp del espacio dual continuo X displaystyle X nbsp es equicontinuo esto proporciona un inverso parcial al principio de acotacion uniforme 3 7 X displaystyle X nbsp porta la topologia dual fuerte b X X displaystyle beta left X X prime right nbsp 3 Cada seminorma semicontinua por debajo en X displaystyle X nbsp es continua 3 Cada aplicacion lineal F X Y displaystyle F X to Y nbsp en un espacio localmente convexo Y displaystyle Y nbsp es casi continua 3 Una aplicacion lineal F X Y displaystyle F X to Y nbsp se llama casi continua si para cada entorno V displaystyle V nbsp del origen en Y displaystyle Y nbsp el cierre de F 1 V displaystyle F 1 V nbsp es un entorno del origen en X displaystyle X nbsp Toda aplicacion lineal sobreyectiva F Y X displaystyle F Y to X nbsp de un espacio localmente convexo Y displaystyle Y nbsp es casi abierta 3 Esto significa que por cada entorno V displaystyle V nbsp de 0 en Y displaystyle Y nbsp el cierre de F V displaystyle F V nbsp es un entorno de 0 en X displaystyle X nbsp Si w displaystyle omega nbsp es una topologia localmente convexa en X displaystyle X nbsp tal que X w displaystyle X omega nbsp tiene una base de entorno en el origen que consta de conjuntos cerrados t displaystyle tau nbsp entonces w displaystyle omega nbsp es mas debil que t displaystyle tau nbsp 3 Si X displaystyle X nbsp es un espacio localmente convexo de Hausdorff entonces esta lista puede ampliarse anadiendo Teorema de la grafica cerrada Cada operador lineal cerrado F X Y displaystyle F X to Y nbsp en un espacio de Banach Y displaystyle Y nbsp es continuo 8 Un operador lineal se llama cerrado si su grafo es un subconjunto cerrado de X Y displaystyle X times Y nbsp Para cada subconjunto A displaystyle A nbsp del espacio dual continuo de X displaystyle X nbsp las siguientes propiedades son equivalentes A displaystyle A nbsp es 7 equicontinuo relativamente debilmente compacto fuertemente acotado debilmente acotado Las bases de entornos de 0 en X displaystyle X nbsp y las familias fundamentales de conjuntos acotados en Xb displaystyle X beta prime nbsp se corresponden entre si por polaridad 7 Si X displaystyle X nbsp es un espacio vectorial topologico metrizable entonces esta lista puede ampliarse anadiendo Para cualquier EVT metrizable completo Y displaystyle Y nbsp cada sucesion acotada puntualmente en L X Y displaystyle L X Y nbsp es equicontinua 4 Si X displaystyle X nbsp es un espacio vectorial topologico metrizable localmente convexo entonces esta lista puede ampliarse anadiendo Propiedad S La topologia debil en X displaystyle X prime nbsp es secuencialmente completa 9 Propiedad C Cada subconjunto acotado debil de X displaystyle X prime nbsp es s X X displaystyle sigma left X prime X right nbsp relativo numerable compacto 9 Barrilado 𝜎 Cada subconjunto acotado debil numerable de X displaystyle X prime nbsp es equicontinuo 9 Tipo Baire X displaystyle X nbsp no es la union de una sucesion creciente de discos densos en ninguna parte 9 Ejemplos y condiciones suficientes editarCada uno de los siguientes espacios vectoriales topologicos tiene un espacio barrilado Los EVTs que son espacios de Baire En consecuencia todo espacio vectorial topologico que sea exiguo en si mismo es barrilado Espacios F espacios de Frechet espacios de Banach y espacios de Hilbert Sin embargo existen espacios vectoriales normados que no tienen barrilado Por ejemplo si Lp displaystyle L p nbsp space L2 0 1 displaystyle L 2 0 1 nbsp tiene topologia como un subespacio de L1 0 1 displaystyle L 1 0 1 nbsp entonces no esta barrilado Los EVTs pseudometrizables y completos 10 En consecuencia todo EVT de dimension finita tiene un barrilado Espacios de Montel Espacios duales fuertes de espacios de Montel ya que son necesariamente espacios de Montel Un espacio cuasi barrilado localmente convexo que tambien es un espacio s barrilado 11 Un espacio cuasi barrilado secuencialmente completo Un espacio cuasi completo de Hausdorff localmente convexo infrabarrilado 3 Un EVT se denomina cuasi completo si cada subconjunto cerrado y acotado esta completo Un EVT con un subespacio vectorial denso y barrilado 3 Asi la terminacion de un espacio barrilado es barrilado Un EVT localmente convexo de Hausdorff con un subespacio vectorial denso infrabarrilado 3 De este modo se completa la realizacion de un espacio localmente convexo de Hausdorff infrabarrilado 3 Un subespacio vectorial de un espacio barrilado que tiene codimensionalidad numerable 3 En particular un subespacio vectorial codimensional finito de un espacio barrilado es barrilado Un EVT ultrabarrilado localmente convexo 12 Un EVT X displaystyle X nbsp localmente convexo de Hausdorff tal que cada subconjunto debilmente acotado de su espacio dual continuo es equicontinuo 13 Un EVT localmente convexo X displaystyle X nbsp tal que para cada espacio de Banach B displaystyle B nbsp una aplicacion lineal cerrada de X displaystyle X nbsp en B displaystyle B nbsp es necesariamente continua 14 Un producto de una familia de espacios barrilados 15 Una suma directa localmente convexa y el limite inductivo de una familia de espacios barrilados 16 Un cociente de un espacio barrilado 17 16 Un EVT aditivo acotado cuasi barrilado secuencialmente completo de Hausdorff 18 Un espacio reflexivo localmente convexo de Hausdorff tiene un barrilado Contraejemplos editar Un espacio barrilado no tiene por que ser de Montel completo metrizable desordenado de tipo Baire ni el limite inductivo de los espacios de Banach No todos los espacios normados tienen barrilado Sin embargo todos son infrabarrilados 3 Un subespacio cerrado de un espacio barrilado no es necesariamente cuasi barrilado numerable y por lo tanto no necesariamente barrilado 19 Existe un subespacio vectorial denso del espacio barrilado de Frechet RN displaystyle mathbb R mathbb N nbsp que no es barrilado 3 Existen EVTs localmente convexos completos que no tienen barrilado 3 La topologia localmente convexa mas fina en un espacio vectorial de dimension infinita es un espacio barrilado de Hausdorff que es un subconjunto exiguo de si mismo y por lo tanto no es un espacio de Baire 3 Propiedades de los espacios barrilados editarGeneralizacion de Banach Steinhaus editar La importancia de los espacios barrilados se debe principalmente a los siguientes resultados Teorema 20 Sea X displaystyle X nbsp un EVT barrilado e Y displaystyle Y nbsp un EVT localmente convexo Sea H displaystyle H nbsp un subconjunto del espacio L X Y displaystyle L X Y nbsp de aplicaciones lineales continuas desde X displaystyle X nbsp hasta Y displaystyle Y nbsp Las siguientes declaraciones son equivalentes H displaystyle H nbsp esta acotado para la topologia de convergencia puntual H displaystyle H nbsp esta acotado para la topologia de convergencia acotada H displaystyle H nbsp es equicontinuo El principio de acotacion uniforme es un corolario del resultado anterior 21 Cuando el espacio vectorial Y displaystyle Y nbsp consta de numeros complejos entonces tambien se cumple la siguiente generalizacion Teorema 22 Si X displaystyle X nbsp es un EVT barrilado sobre los numeros complejos y H displaystyle H nbsp es un subconjunto del espacio dual continuo de X displaystyle X nbsp entonces los siguiente enunciados son equivalentes H displaystyle H nbsp esta debilmente acotado H displaystyle H nbsp esta fuertemente acotado H displaystyle H nbsp es equicontinuo H displaystyle H nbsp es relativamente compacto en la topologia dual debil Recuerdese que una aplicacion lineal F X Y displaystyle F X to Y nbsp se llama cerrada si su grafo es un subconjunto cerrado de X Y displaystyle X times Y nbsp Teorema del grafo cerrado 23 Cada operador lineal cerrado desde un EVT barrilado de Hausdorff a un EVT metrizable completo es continuo Otras propiedades editar Cada espacio barrilado de Hausdorff es cuasi barrilado 24 Una aplicacion lineal desde un espacio barrilado a un espacio localmente convexo es casi continua Una aplicacion lineal desde un espacio localmente convexo sobre un espacio barrilado es casi abierta Una aplicacion bilineal separadamente continua de un producto de espacios barrilados a un espacio localmente convexo es hipocontinua 25 Una aplicacion lineal con un grafo cerrado desde un EVT barrilado hasta un EVT completo Br displaystyle B r nbsp es necesariamente continua 14 Vease tambien editarConjunto barrilado Espacio barrilado numerable Espacio distinguido Espacio cuasi barrilado Espacio ultrabarrilado Principio de acotacion uniforme Teorema de Ursescu Espacio reticuladoReferencias editar Bourbaki 1950 a b c d Narici y Beckenstein 2011 pp 225 273 a b c d e f g h i j k l m n n o p q r Narici y Beckenstein 2011 pp 371 423 a b c Adasch Ernst y Keim 1978 p 39 Adasch Ernst y Keim 1978 p 43 Adasch Ernst y Keim 1978 p 32 a b c Schaefer y Wolff 1999 pp 127 141Treves 2006 p 350 Narici y Beckenstein 2011 p 477 a b c d Narici y Beckenstein 2011 p 399 Narici y Beckenstein 2011 p 383 Khaleelulla 1982 pp 28 63 Narici y Beckenstein 2011 pp 418 419 Treves 2006 p 350 a b Schaefer y Wolff 1999 p 166 Schaefer y Wolff 1999 p 138 a b Schaefer y Wolff 1999 p 61 Treves 2006 p 346 Adasch Ernst y Keim 1978 p 77 Schaefer y Wolff 1999 pp 103 110 Treves 2006 p 347 Treves 2006 p 348 Treves 2006 p 349 Adasch Ernst y Keim 1978 p 41 Adasch Ernst y Keim 1978 pp 70 73 Treves 2006 p 424 Bibliografia editarAdasch Norbert Ernst Bruno Keim Dieter 1978 Topological Vector Spaces The Theory Without Convexity Conditions Lecture Notes in Mathematics 639 Berlin New York Springer Science Business Media ISBN 978 3 540 08662 8 OCLC 297140003 Berberian Sterling K 1974 Lectures in Functional Analysis and Operator Theory Graduate Texts in Mathematics 15 New York Springer ISBN 978 0 387 90081 0 OCLC 878109401 Bourbaki Nicolas 1950 Sur certains espaces vectoriels topologiques Annales de l Institut Fourier en frances 2 5 16 1951 MR 0042609 doi 10 5802 aif 16 Bourbaki Nicolas 1987 1981 Topological Vector Spaces Chapters 1 5 Eggleston H G Madan S trad Elementos de matematica Berlin New York Springer Verlag ISBN 3 540 13627 4 OCLC 17499190 Conway John B 1990 A Course in Functional Analysis Graduate Texts in Mathematics 96 2nd edicion New York Springer Verlag ISBN 978 0 387 97245 9 OCLC 21195908 Edwards Robert E 1995 Functional Analysis Theory and Applications New York Dover Publications ISBN 978 0 486 68143 6 OCLC 30593138 Grothendieck Alexander 1973 Topological Vector Spaces Chaljub Orlando trad New York Gordon and Breach Science Publishers ISBN 978 0 677 30020 7 OCLC 886098 Husain Taqdir Khaleelulla S M 1978 Barrelledness in Topological and Ordered Vector Spaces Lecture Notes in Mathematics 692 Berlin New York Heidelberg Springer Science Business Media ISBN 978 3 540 09096 0 OCLC 4493665 Jarchow Hans 1981 Locally convex spaces Stuttgart B G Teubner ISBN 978 3 519 02224 4 OCLC 8210342 Khaleelulla S M 1982 Counterexamples in Topological Vector Spaces Lecture Notes in Mathematics 936 Berlin Heidelberg New York Springer Science Business Media ISBN 978 3 540 11565 6 OCLC 8588370 Kothe Gottfried 1983 1969 Topological Vector Spaces I Garling D J H trad Grundlehren der mathematischen Wissenschaften 159 New York Springer Science amp Business Media ISBN 978 3 642 64988 2 MR 0248498 OCLC 840293704 Narici Lawrence Beckenstein Edward 2011 Topological Vector Spaces Pure and applied mathematics Second edicion Boca Raton FL CRC Press ISBN 978 1584888666 OCLC 144216834 Osborne Mason Scott 2013 Locally Convex Spaces Graduate Texts in Mathematics 269 Cham Heidelberg New York Dordrecht London Springer Science amp Business Media ISBN 978 3 319 02045 7 OCLC 865578438 Robertson Alex P Robertson Wendy J 1980 Topological Vector Spaces Cambridge Tracts in Mathematics 53 Cambridge England Cambridge University Press ISBN 978 0 521 29882 7 OCLC 589250 Robertson Alex P Robertson Wendy J 1964 Topological vector spaces Cambridge Tracts in Mathematics 53 Cambridge University Press pp 65 75 Schaefer Helmut H Wolff Manfred P 1999 Topological Vector Spaces GTM 8 Second edicion New York NY Springer New York Imprint Springer ISBN 978 1 4612 7155 0 OCLC 840278135 Schechter Eric 1996 Handbook of Analysis and Its Foundations San Diego CA Academic Press ISBN 978 0 12 622760 4 OCLC 175294365 Swartz Charles 1992 An introduction to Functional Analysis New York M Dekker ISBN 978 0 8247 8643 4 OCLC 24909067 Treves Francois 2006 1967 Topological Vector Spaces Distributions and Kernels Mineola N Y Dover Publications ISBN 978 0 486 45352 1 OCLC 853623322 Voigt Jurgen 2020 A Course on Topological Vector Spaces Compact Textbooks in Mathematics Cham Birkhauser Basel ISBN 978 3 030 32945 7 OCLC 1145563701 Wilansky Albert 2013 Modern Methods in Topological Vector Spaces Mineola New York Dover Publications Inc ISBN 978 0 486 49353 4 OCLC 849801114 nbsp Datos Q2090232 Obtenido de https es wikipedia org w index php title Espacio barrilado amp oldid 156102161, wikipedia, wiki, leyendo, leer, libro, biblioteca,

español

, española, descargar, gratis, descargar gratis, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, imagen, música, canción, película, libro, juego, juegos