Espacio barrilado

En análisis funcional y en otras áreas matemáticas, un espacio barrilado es un espacio vectorial topológico (EVT) para el que cada conjunto barrilado en el espacio es un entorno del elemento cero. Un conjunto barrilado o un barril en un espacio vectorial topológico es un conjunto que es convexo, equilibrado, absorbente y cerrado. Los espacios barrilados se estudian porque todavía se les aplica una forma del principio de acotación uniforme. Este concepto fue introducido en 1950 por el colectivo de matemáticos franceses conocido bajo el nombre de Nicolas Bourbaki.[1]

Barriles

Un subconjunto equilibrado y convexo de un espacio vectorial real o complejo se denomina disco y se dice que tiene forma de disco, si es absolutamente convexo o equilibrado convexo.

Un barril o un conjunto barrilado en un espacio vectorial topológico (EVT) es un subconjunto que es un disco cerrado y absorbente; es decir, un barril es un subconjunto convexo, equilibrado, cerrado y absorbente.

Cada barril debe contener el origen. Si y si es cualquier subconjunto de entonces es un conjunto convexo, equilibrado y absorbente de si y solo si todo esto es cierto para en para cada subespacio vectorial -dimensional , por lo tanto, si entonces se cumple el requisito de que un barril sea un subconjunto cerrado de , y es la única propiedad definitoria que no depende únicamente de subespacios vectoriales de dimensión (o inferior) de

Si es cualquier EVT, entonces cada entorno cerrado, convexo y equilibrado del origen es necesariamente un barril en (porque cada entorno del origen es necesariamente un subconjunto absorbente). De hecho, cada espacio localmente convexo tiene en su origen una base de entornos formada íntegramente por barriles. Sin embargo, en general, en este caso podrían existir barriles que no sean entornos del origen. Los "espacios con barriles" son exactamente aquellos EVT en los que cada barril es necesariamente un entorno del origen. Cada espacio vectorial topológico de dimensión finita es un espacio barrilado, por lo que ejemplos barrilados que no son entornos del origen solo se pueden encontrar en espacios de dimensión infinita.

Ejemplos de barrilados y no barrilados

El cierre de cualquier subconjunto convexo, equilibrado y absorbente es barrilado. Esto se debe a que el cierre de cualquier subconjunto convexo (respectivamente, cualquier subconjunto equilibrado o absorbente) tiene esta misma propiedad.

Una familia de ejemplos: Supóngase que es igual a (si se considera un espacio vectorial complejo) o igual a (si se considera un espacio vectorial real). Independientemente de si es un espacio vectorial real o complejo, cada barril en es necesariamente un entorno del origen (por lo que es un ejemplo de un espacio barrilado). Sea cualquier función y para cada ángulo sea el segmento de recta cerrado desde el origen hasta el punto Sea Entonces, es siempre un subconjunto absorbente de (un espacio vectorial real) pero es un subconjunto absorbente de (un espacio vectorial complejo) si y solo si es un entorno del origen. Además, es un subconjunto equilibrado de si y solo si para cada (si este es el caso, entonces y están completamente determinados por los valores de en ) pero es un subconjunto equilibrado de si y solo es una bola abierta o cerrada centrada en el origen (de radio ). En particular, los barriles en son exactamente esas bolas cerradas centradas en el origen con radio en Si , entonces es un subconjunto cerrado absorbente en , pero no es absorbente en y tampoco es ni convexo, ni equilibrado, ni entorno del origen en Mediante una elección adecuada de la función también es posible que sea un subconjunto de equilibrado y absorbente pero que no es ni cerrado ni convexo. Para que sea un subconjunto de equilibrado, absorbente y cerrado que no sea convexo ni un entorno del origen, defínase en como sigue: para sea (alternativamente, puede ser cualquier función positiva en que sea continuamente diferenciable, lo que garantiza que y que esté cerrado, y que también satisfaga que lo que evita que sea un entorno del origen), y luego extiéndase a definiendo lo que garantiza que esté equilibrado en

Propiedades de los barriles

  • En cualquier espacio vectorial topológico (EVT) cada barril en absorbe cada subconjunto compacto convexo de [2]
  • En cualquier EVT de Hausdorff localmente convexo cada barril en absorbe cada subconjunto completo acotado convexo de [2]
  • Si es localmente convexo, entonces un subconjunto de está acotado por si y solo si existe un barril en tal que [2]
  • Sea un emparejamiento, y sea una topología localmente convexa en consistente con la dualidad. Entonces, un subconjunto de es un barril en si y solo si es el polar de algún subconjunto acotado por de [2]
  • Supóngase que es un subespacio vectorial de codimensión finita en un espacio localmente convexo y Si es un barril (respectivamente, barril bornívoro, disco bornívoro) en , entonces existe un barril (respectivamente, barril bornívoro, disco bornívoro) en tal que [3]

Caracterizaciones de espacios barrilados

Denótese por el espacio de aplicaciones lineales continuas de a

Si es un espacio vectorial topológico (EVT) de Hausdorff con espacio dual , entonces los siguientes enunciados son equivalentes:

  1. es barrilado.
  2. Definición : Cada barril en es un entorno del origen.
    • Esta definición es similar a una caracterización de los EVT de Baire probada por Saxon [1974], quien demostró que un EVT con una topología que no sea la topología no discreta es un espacio de Baire si y solo si cada subconjunto equilibrado absorbente es un entorno de algún punto de (no necesariamente el origen).[3]
  3. Para cualquier EVT de Hausdorff, cada subconjunto acotado puntualmente de es equicontinuo.[4]
  4. Para cualquier espacio F , todo subconjunto acotado puntualmente de es equicontinuo.[4]
  5. Cada operador lineal cerrado desde hasta un EVT metrizable completo es continuo.[5]
    • Una aplicación lineal se llama cerrada si su grafo es un subconjunto de
  6. Cada topología en un EVT de Hausdorff que tiene una base de entornos en el origen que consta de un conjunto cerrado es más larga que [6]

Si es un espacio localmente convexo, esta lista de sentencias puede ampliarse añadiendo:

  1. Existe un EVT que no lleva la topología no discreta (en particular, ) tal que cada subconjunto acotado puntualmente de es equicontinuo.[3]
  2. Para cualquier EVT localmente convexo cada subconjunto acotado puntualmente de es equicontinuo.[3]
    • De las dos caracterizaciones anteriores se deduce que en la clase de EVTs localmente convexos, los espacios barrilados son exactamente aquellos para los cuales se cumple el principio de acotación uniforme.
  3. Cada subconjunto acotado por del espacio dual continuo es equicontinuo (esto proporciona un inverso parcial al principio de acotación uniforme).[3][7]
  4. porta la topología dual fuerte [3]
  5. Cada seminorma semicontinua por debajo en es continua.[3]
  6. Cada aplicación lineal en un espacio localmente convexo es casi continua.[3]
    • Una aplicación lineal se llama casi continua
    si para cada entorno del origen en el cierre de es un entorno del origen en
  7. Toda aplicación lineal sobreyectiva de un espacio localmente convexo es casi abierta.[3]
    • Esto significa que por cada entorno de 0 en el cierre de es un entorno de 0 en
  8. Si es una topología localmente convexa en tal que tiene una base de entorno en el origen que consta de conjuntos cerrados , entonces es más débil que [3]

Si es un espacio localmente convexo de Hausdorff, entonces esta lista puede ampliarse añadiendo:

  1. Teorema de la gráfica cerrada: Cada operador lineal cerrado en un espacio de Banach es continuo.[8]
    • Un operador lineal se llama cerrado si su grafo es un subconjunto cerrado de
  2. Para cada subconjunto del espacio dual continuo de las siguientes propiedades son equivalentes: es[7]
    1. equicontinuo;
    2. relativamente débilmente compacto;
    3. fuertemente acotado;
    4. débilmente acotado.
  3. Las bases de entornos de 0 en y las familias fundamentales de conjuntos acotados en se corresponden entre sí por polaridad.[7]

Si es un espacio vectorial topológico metrizable, entonces esta lista puede ampliarse añadiendo:

  1. Para cualquier EVT metrizable completo , cada sucesión acotada puntualmente en es equicontinua.[4]

Si es un espacio vectorial topológico metrizable localmente convexo, entonces esta lista puede ampliarse añadiendo:

  1. (Propiedad S ): La topología *débil en es secuencialmente completa.[9]
  2. (Propiedad C ): Cada subconjunto acotado *débil de es relativo numerable compacto.[9]
  3. (Barrilado 𝜎 ): Cada subconjunto acotado *débil numerable de es equicontinuo.[9]
  4. (Tipo Baire ): no es la unión de una sucesión creciente de discos densos en ninguna parte.[9]

Ejemplos y condiciones suficientes

Cada uno de los siguientes espacios vectoriales topológicos tiene un espacio barrilado:

  1. Los EVTs que son espacios de Baire.
    • En consecuencia, todo espacio vectorial topológico que sea exiguo en sí mismo es barrilado.
  2. Espacios F, espacios de Fréchet, espacios de Banach y espacios de Hilbert.
  3. Los EVTs pseudometrizables y completos.[10]
    • En consecuencia, todo EVT de dimensión finita tiene un barrilado.
  4. Espacios de Montel.
  5. Espacios duales fuertes de espacios de Montel (ya que son necesariamente espacios de Montel).
  6. Un espacio cuasi barrilado localmente convexo que también es un espacio σ-barrilado.[11]
  7. Un espacio cuasi barrilado secuencialmente completo.
  8. Un espacio cuasi completo de Hausdorff localmente convexo infrabarrilado.[3]
    • Un EVT se denomina cuasi completo si cada subconjunto cerrado y acotado está completo.
  9. Un EVT con un subespacio vectorial denso y barrilado.[3]
    • Así, la terminación de un espacio barrilado es barrilado.
  10. Un EVT localmente convexo de Hausdorff con un subespacio vectorial denso infrabarrilado.[3]
    • De este modo se completa la realización de un espacio localmente convexo de Hausdorff infrabarrilado.[3]
  11. Un subespacio vectorial de un espacio barrilado que tiene codimensionalidad numerable.[3]
    • En particular, un subespacio vectorial codimensional finito de un espacio barrilado es barrilado.
  12. Un EVT ultrabarrilado localmente convexo.[12]
  13. Un EVT localmente convexo de Hausdorff tal que cada subconjunto débilmente acotado de su espacio dual continuo es equicontinuo.[13]
  14. Un EVT localmente convexo tal que para cada espacio de Banach una aplicación lineal cerrada de en es necesariamente continua.[14]
  15. Un producto de una familia de espacios barrilados.[15]
  16. Una suma directa localmente convexa y el límite inductivo de una familia de espacios barrilados.[16]
  17. Un cociente de un espacio barrilado.[17][16]
  18. Un EVT aditivo acotado cuasi barrilado secuencialmente completo de Hausdorff.[18]
  19. Un espacio reflexivo localmente convexo de Hausdorff tiene un barrilado.

Contraejemplos

  • Un espacio barrilado no tiene por qué ser de Montel, completo, metrizable, desordenado de tipo Baire, ni el límite inductivo de los espacios de Banach.
  • No todos los espacios normados tienen barrilado. Sin embargo, todos son infrabarrilados.[3]
  • Un subespacio cerrado de un espacio barrilado no es necesariamente cuasi barrilado numerable (y por lo tanto, no necesariamente barrilado).[19]
  • Existe un subespacio vectorial denso del espacio barrilado de Fréchet que no es barrilado.[3]
  • Existen EVTs localmente convexos completos que no tienen barrilado.[3]
  • La topología localmente convexa más fina en un espacio vectorial de dimensión infinita es un espacio barrilado de Hausdorff que es un subconjunto exiguo de sí mismo (y por lo tanto, no es un espacio de Baire).[3]

Propiedades de los espacios barrilados

Generalización de Banach-Steinhaus

La importancia de los espacios barrilados se debe principalmente a los siguientes resultados:

Teorema[20]

Sea un EVT barrilado e un EVT localmente convexo. Sea un subconjunto del espacio de aplicaciones lineales continuas desde hasta . Las siguientes declaraciones son equivalentes:

  1. está acotado para la topología de convergencia puntual;
  2. está acotado para la topología de convergencia acotada;
  3. es equicontinuo.

El principio de acotación uniforme es un corolario del resultado anterior.[21]​ Cuando el espacio vectorial consta de números complejos, entonces también se cumple la siguiente generalización:

Teorema[22]

Si es un EVT barrilado sobre los números complejos y es un subconjunto del espacio dual continuo de , entonces los siguiente enunciados son equivalentes:

  1. está débilmente acotado;
  2. está fuertemente acotado;
  3. es equicontinuo;
  4. es relativamente compacto en la topología dual débil.

Recuérdese que una aplicación lineal se llama cerrada si su grafo es un subconjunto cerrado de

Teorema del grafo cerrado[23]

Cada operador lineal cerrado desde un EVT barrilado de Hausdorff a un EVT metrizable completo, es continuo.

Otras propiedades

  • Cada espacio barrilado de Hausdorff es cuasi barrilado.[24]
  • Una aplicación lineal desde un espacio barrilado a un espacio localmente convexo es casi continua.
  • Una aplicación lineal desde un espacio localmente convexo sobre un espacio barrilado es casi abierta.
  • Una aplicación bilineal separadamente continua de un producto de espacios barrilados a un espacio localmente convexo es hipocontinua.[25]
  • Una aplicación lineal con un grafo cerrado desde un EVT barrilado hasta un EVT completo es necesariamente continua.[14]

Véase también

Referencias

Bibliografía