Espacio cuasi barrilado

De testwiki
Ir a la navegación Ir a la búsqueda

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.Plantilla:Sfn

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

Un subconjunto B de un espacio vectorial topológico (EVT) X se llama bornívoro si absorbe todos los subconjuntos acotados de X; es decir, si para cada subconjunto acotado S de X, existe algún escalar r tal que S⊆rB. 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.Plantilla:SfnPlantilla:Sfn

Propiedades

Cada espacio infrabarrilado cuasi completo es barrilado.Plantilla:Sfn Un espacio cuasi barrilado de Hausdorff localmente convexo que es secuencialmente completo tiene forma de barril.Plantilla:Sfn Un espacio cuasi barrilado de Hausdorff localmente convexo es un espacio de Mackey, cuasi M barrilado y cuasi barrilado numerable.Plantilla:Sfn Un espacio cuasi barrilado localmente convexo que también es barrilado numerable, es necesariamente un espacio barrilado.Plantilla:Sfn Un espacio localmente convexo es reflexivo si y solo si es semireflexivo y tiene un cuasi barrilado.Plantilla:Sfn

Caracterizaciones

Si X es un espacio localmente convexo de Hausdorff, entonces la inyección canónica de X en su bidual es un embebido topológico si y solo si X es infrabarrilado.Plantilla:Sfn

Un espacio vectorial topológico de Hausdorff X es cuasi barrilado si y solo si todo operador lineal cerrado acotado desde X hasta un EVT metrizable completo es continuo.Plantilla:Sfn Por definición, un operador lineal F:X→Y se llama cerrado si su grafo es un subconjunto cerrado de X×Y.

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

  1. X es cuasi barrilado.
  2. Cada seminorma semicontinua inferior acotada en X es continua.
  3. Cada subconjunto acotado por β(X′,X) del espacio dual continuo X′ es equicontinuo.

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

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

Ejemplos y condiciones suficientes

Cada espacio barrilado es infrabarrilado. Plantilla:Sfn Sin embargo, un subespacio vectorial cerrado de un espacio infrabarrilado no es necesariamente infrabarrilado.Plantilla:Sfn

Todo producto y suma directa localmente convexa de cualquier familia de espacios infrabarrilados es infrabarrilado.Plantilla:Sfn Cada cociente separated de un espacio infrabarril es infrabarril. Plantilla:Sfn

Cada espacio barrilado de Hausdorff y cada espacio bornológico de Hausdorff son cuasi barrilados.Plantilla:Sfn 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.Plantilla:Sfn Existen espacios de Mackey que no son cuasi barrilados.Plantilla:Sfn Existen espacios espacios distinguidos, espacios DF y espacios barrilados σ que no son cuasi barrilados.Plantilla:Sfn

El espacio dual fuerte Xb′ de un espacio de Fréchet X es distinguido si y solo si X es cuasi barrilado.[1]

Contraejemplos

Existe un espacio DF que no es cuasi barrilado.Plantilla:Sfn Existe un espacio DF cuasi barrilado que no es bornológico.Plantilla:Sfn Existe un espacio cuasi barrilado que no es un espacio barrilado numerable.Plantilla:Sfn

Véase también

Referencias

Plantilla:Reflist Plantilla:Listaref

Bibliografía

Plantilla:Control de autoridades

  1. ↑ Gabriyelyan, S.S. "On topological spaces and topological groups with certain local countable networks (2014)
Obtenido de «https://es.wiki.beta.math.wmflabs.org/w/index.php?title=Espacio_cuasi_barrilado&oldid=13348»