stringtranslate.com

Espacio ultrabornológico

En el análisis funcional , un espacio vectorial topológico (TVS) se denomina ultrabornológico si cada operador lineal acotado de en otro TVS es necesariamente continuo . Una versión general del teorema del grafo cerrado se aplica a los espacios ultrabornológicos. Los espacios ultrabornológicos fueron introducidos por Alexander Grothendieck (Grothendieck [1955, p. 17] "espace du type (β)"). [1]

Definiciones

Sea un espacio vectorial topológico (TVS).

Preliminares

Un disco es un conjunto convexo y equilibrado . Un disco en un TVS se llama bornívoro [2] si absorbe cada subconjunto acotado de

Un mapa lineal entre dos TVS se denomina infralimitado [2] si asigna discos de Banach a discos delimitados.

Un disco en un TVS se llama infrabornívoro si satisface alguna de las siguientes condiciones equivalentes:

  1. Absorbe todos los discos de Banach en

Mientras que si es localmente convexo entonces podemos agregar a esta lista:

  1. El calibre de es un mapa infralimitado; [2]

Mientras que si es localmente convexo y Hausdorff entonces podemos agregar a esta lista:

  1. absorbe todos los discos compactos; [2] es decir, es "compactivorio".

Espacio ultrabornológico

Un TVS es ultrabornológico si satisface alguna de las siguientes condiciones equivalentes:

  1. Cada disco infrabornívoro es un vecindario del origen; [2]

mientras que si es un espacio localmente convexo entonces podemos agregar a esta lista:

  1. todo operador lineal acotado de en un TVS metrizable completo es necesariamente continuo;
  2. cada disco infrabornívoro es un vecindario de 0;
  3. sea ​​el límite inductivo de los espacios a medida que D varía en todos los discos compactos en ;
  4. una seminorma que está acotada en cada disco de Banach es necesariamente continua;
  5. para cada espacio localmente convexo y cada aplicación lineal si está acotada en cada disco de Banach entonces es continua;
  6. para cada espacio de Banach y cada aplicación lineal si está acotada en cada disco de Banach entonces es continua.

mientras que si es un espacio localmente convexo de Hausdorff entonces podemos agregar a esta lista:

  1. es un límite inductivo de los espacios de Banach; [2]

Propiedades

Todo espacio ultrabornológico localmente convexo es un espacio barrelizado , [2] cuasi-ultrabarrelled y un espacio bornológico pero existen espacios bornológicos que no son ultrabornológicos.

Ejemplos y condiciones suficientes

El producto finito de espacios ultrabornológicos localmente convexos es ultrabornológico. [2] Los límites inductivos de los espacios ultrabornológicos son ultrabornológicos.

Todo espacio bornológico secuencialmente completo de Hausdorff es ultrabornológico. [2] Por lo tanto, todo espacio bornológico de Hausdorff completo es ultrabornológico. En particular, todo espacio de Fréchet es ultrabornológico. [2]

El fuerte espacio dual de un espacio de Schwartz completo es ultrabornológico.

Todo espacio bornológico de Hausdorff que sea cuasi-completo es ultrabornológico. [ cita requerida ]

Contraejemplos

Existen espacios ultrabarrilados que no son ultrabornológicos. Existen espacios ultrabornológicos que no son ultrabarrilados.

Véase también

Enlaces externos

Referencias

  1. ^ Narici y Beckenstein 2011, pág. 441.
  2. ^ abcdefghij Narici y Beckenstein 2011, págs. 441–457.