Espacio ultrabornológico

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

En análisis funcional, un espacio vectorial topológico (EVT) X se llama ultrabornológico si cada operador lineal acotado de X a otro EVT es necesariamente continuo. Una versión general del teorema de la gráfica cerrada es válida para espacios ultrabornológicos. Los espacios ultrabornológicos fueron introducidos por Alexander Grothendieck (Grothendieck [1955, p. 17] "espace du type (β)").Plantilla:Sfn

Definiciones

Sea X un espacio vectorial topológico (EVT).

Preliminares

Un disco es un conjunto convexo y equilibrado. Un disco en un EVT X se llama bornívoroPlantilla:Sfn si absorbe cualquier subconjunto acotado de X.

Una aplicación lineal entre dos EVT se denominaPlantilla:Sfn 'infraacotada si asigna discos de Banach a discos acotados.

Un disco D en un EVT X se denomina infrabornívoro si satisface cualquiera de las siguientes condiciones equivalentes:

  1. D absorbe cada disco de Banach en X.

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

  1. El calibre de D es una aplicación infraacotada;Plantilla:Sfn

mientras que si X es localmente convexo y de Hausdorff entonces se puede agregar a esta lista:

  1. D absorbe todos los discos compactos;Plantilla:Sfn es decir, D es "compactivo".

Espacio ultrabornológico

Un EVT X es ultrabornológico si satisface cualquiera de las siguientes condiciones equivalentes:

  1. Cada disco infrabornívoro en X es un entorno del origen.Plantilla:Sfn

mientras que si X es un espacio localmente convexo, entonces se puede agregar a esta lista:

  1. Todo operador lineal acotado desde X hasta un espacio vectorial topológico metrizable completo es necesariamente continuo.
  2. Cada disco infrabornívoro está en un entorno de 0.
  3. X será el límite inductivo de los espacios XD, ya que Plantilla:Mvar varía en todos los discos compactos en X.
  4. Una seminorma en X que está acotada en cada disco de Banach es necesariamente continua.
  5. Para cada espacio localmente convexo Y y cada aplicación lineal u:XY, si u está acotado en cada disco de Banach, entonces u es continuo.
  6. Para cada espacio de Banach Y y cada aplicación lineal u:XY, si u está acotado en cada disco de Banach, entonces u es continuo.

mientras que si X es un espacio localmente convexo de Hausdorff, entonces se puede agregar a esta lista:

  1. X es un límite inductivo de espacios de Banach.Plantilla:Sfn

Propiedades

Cada espacio ultrabornológico localmente convexo es barrilado,Plantilla:Sfn cuasi barrilado y 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.Plantilla:Sfn Los límites inductivos de los espacios ultrabornológicos son ultrabornológicos.

Todo espacio bornológico secuencialmente completo de Hausdorff es ultrabornológico.Plantilla:Sfn Así, cada espacio bornológico de Hausdorff completo es ultrabornológico. En particular, cada espacio de Fréchet es ultrabornológico.Plantilla:Sfn

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

Todo espacio bornológico de Hausdorff que sea casi completo es ultrabornológico.

Contraejemplos

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

Véase también

Referencias

Plantilla:Listaref

Bibliografía

Enlaces externos

Plantilla:Control de autoridades