Espacio cuasi barrilado

tipo de estructura topológica

En análisis funcional y en otras áreas relacionadas de las matemáticas, se dice que un espacio vectorial topológico (EVT) localmente convexo es un espacio infrabarrilado si cada conjunto barrilado acotado del espacio es un entorno del origen.[1]

Por otro lado, un espacio cuasi barrilado es un espacio infrabarrilado para el que cada conjunto barrilado acotado y además bornívoro del espacio, es un entorno del origen. Los espacios cuasi barrilados se estudian porque son un debilitamiento de la condición definitoria de los espacios barrilados, para los que se cumple una forma del teorema de Banach-Steinhaus.

Definición

editar

Un subconjunto   de un espacio vectorial topológico (EVT)   se llama bornívoro si absorbe todos los subconjuntos acotados de  ; es decir, si para cada subconjunto acotado   de   existe algún escalar   tal que   Un conjunto barrilado o un barril en un EVT es un conjunto que es convexo, equilibrado, absorbente y cerrado. Un espacio cuasi barrilado es un EVT para el cual cada conjunto de barriles bornívoros en el espacio es un entorno del origen.[2][3]

Propiedades

editar

Cada espacio infrabarrilado cuasi completo es barrilado.[1]​ Un espacio cuasi barrilado de Hausdorff localmente convexo que es secuencialmente completo tiene forma de barril.[4]​ Un espacio cuasi barrilado de Hausdorff localmente convexo es un espacio de Mackey, cuasi M barrilado y cuasi barrilado numerable.[5]​ Un espacio cuasi barrilado localmente convexo que también es barrilado numerable, es necesariamente un espacio barrilado.[3]​ Un espacio localmente convexo es reflexivo si y solo si es semireflexivo y tiene un cuasi barrilado.[3]

Caracterizaciones

editar

Si   es un espacio localmente convexo de Hausdorff, entonces la inyección canónica de   en su bidual es un embebido topológico si y solo si   es infrabarrilado.[6]

Un espacio vectorial topológico de Hausdorff   es cuasi barrilado si y solo si todo operador lineal cerrado acotado desde   hasta un EVT metrizable completo es continuo.[7]​ Por definición, un operador lineal   se llama cerrado si su grafo es un subconjunto cerrado de  

Para un espacio localmente convexo   con   dual continuo, las siguientes expresiones son equivalentes:

  1.   es cuasi barrilado.
  2. Cada seminorma semicontinua inferior acotada en   es continua.
  3. Cada subconjunto acotado por   del espacio dual continuo   es equicontinuo.

Si   es un EVT localmente convexo metrizable, entonces las siguientes proposiciones son equivalentes:

  1. El espacio dual fuerte de   es cuasi barrilado.
  2. El espacio dual fuerte de   es barrilado.
  3. El espacio dual fuerte de   es bornológico.

Ejemplos y condiciones suficientes

editar

Cada espacio barrilado es infrabarrilado. [1]​ Sin embargo, un subespacio vectorial cerrado de un espacio infrabarrilado no es necesariamente infrabarrilado.[8]

Todo producto y suma directa localmente convexa de cualquier familia de espacios infrabarrilados es infrabarrilado.[8]​ Cada cociente separated de un espacio infrabarril es infrabarril. [8]

Cada espacio barrilado de Hausdorff y cada espacio bornológico de Hausdorff son cuasi barrilados.[9]​ Por tanto, cada espacio vectorial topológico metrizable es cuasi barrilado.

Debe tenerse en cuenta que existen espacios cuasi barrilados que no son ni barrilados ni bornológicos.[3]​ Existen espacios de Mackey que no son cuasi barrilados.[3]​ Existen espacios espacios distinguidos, espacios DF y espacios barrilados   que no son cuasi barrilados.[3]

El espacio dual fuerte   de un espacio de Fréchet   es distinguido si y solo si   es cuasi barrilado.[10]

Contraejemplos

editar

Existe un espacio DF que no es cuasi barrilado.[3]​ Existe un espacio DF cuasi barrilado que no es bornológico.[3]​ Existe un espacio cuasi barrilado que no es un espacio barrilado numerable.[3]

Véase también

editar

Referencias

editar

Bibliografía

editar