stringtranslate.com

Espacio ultrabornológico

En análisis funcional , un espacio vectorial topológico (TVS) se llama ultrabornológico si cada operador lineal acotado desde otro TVS es necesariamente continuo . Una versión general del teorema del grafo cerrado es válida para 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 acotados.

Un disco en un TVS se llama infrabornívoro si satisface cualquiera 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 indicador 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 "compactivo".

Espacio ultrabornológico

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

  1. cada disco infrabornívoro es una vecindad del origen; [2]

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

  1. cada operador lineal acotado desde un TVS metrizable completo es necesariamente continuo;
  2. cada disco infrabornívoro está en una vecindad de 0;
  3. sea ​​el límite inductivo de los espacios cuando 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 mapa lineal, si está acotado en cada disco de Banach, entonces es continuo.

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 tiene un cañón , [2] un espacio cuasi ultrabornológico 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] Así, todo espacio bornológico completo de Hausdorff 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 necesaria ]

Contraejemplos

Existen espacios ultrabarrilados que no son ultrabornológicos. Existen espacios ultrabornológicos que no están ultrabarrilados.

Ver también

enlaces externos

Referencias

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