Ir al contenido

Espacio cuasi barrilado

De Wikipedia, la enciclopedia libre

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]