stringtranslate.com

conjunto bornívoro

En análisis funcional , un subconjunto de un espacio vectorial real o complejo que tiene una bornología vectorial asociada se llama bornívoro y bornívoro si absorbe todos los elementos de Si es un espacio vectorial topológico (TVS), entonces un subconjunto de es bornívoro si es bornívoro con respecto a la bornología de von-Neumann .

Los conjuntos bornívoros juegan un papel importante en las definiciones de muchas clases de espacios vectoriales topológicos, particularmente espacios bornológicos .

Definiciones

Si es un TVS, entonces se llama un subconjunto debornívoro [1]y unbornívoro siabsorbecadasubconjunto acotadode

Un disco absorbente en un espacio localmente convexo es bornívoro si y sólo si su funcional de Minkowski está localmente acotado (es decir, asigna conjuntos acotados a conjuntos acotados). [1]

Conjuntos infrabornívoros y mapas infralimitados

Un mapa lineal entre dos TVS se llamainfralimitado si asignadiscos de Banacha discos delimitados. [2]

Un disco se llamainfrabornívoro siabsorbetodoslos discos de Banach. [3]

Un disco absorbente en un espacio localmente convexo es infrabornívoro si y sólo si su funcional de Minkowski es infralimitado. [1] Un disco en un espacio localmente convexo de Hausdorff es infrabornívoro si y sólo si absorbe todos los discos compactos (es decir, si es "compactívoro "). [1]

Propiedades

Cada subconjunto bornívoro e infrabornívoro de un TVS es absorbente . En un TVS pseudometrizable , cada bornívoro es un barrio del origen. [4]

Dos topologías TVS en el mismo espacio vectorial tienen los mismos subconjuntos acotados si y sólo si tienen los mismos bornívoros. [5]

Supongamos que es un subespacio vectorial de codimensión finita en un espacio localmente convexo y si es un barril (resp. barril bornívoro, disco bornívoro) entonces existe un barril (resp. barril bornívoro, disco bornívoro) de tal manera que [6]

Ejemplos y condiciones suficientes

Cada barrio del origen en un TVS es bornívoro. El casco convexo, el casco convexo cerrado y el casco equilibrado de un conjunto de bornívoros son nuevamente bornívoros. La preimagen de un bornívoro bajo un mapa lineal delimitado es un bornívoro. [7]

Si es un TVS en el que cada subconjunto acotado está contenido en un subespacio vectorial de dimensión finita, entonces cada conjunto absorbente es un bornívoro. [5]

Contraejemplos

Sea como un espacio vectorial sobre los reales. Si es el casco equilibrado del segmento de línea cerrada entre y entonces no es bornívoro pero el casco convexo de es bornívoro. Si es el triángulo cerrado y "relleno" con vértices y entonces es un conjunto convexo que no es bornívoro pero su casco equilibrado sí lo es.

Ver también

Referencias

  1. ^ abcd Narici y Beckenstein 2011, págs.
  2. ^ Narici y Beckenstein 2011, pag. 442.
  3. ^ Narici y Beckenstein 2011, pag. 443.
  4. ^ Narici y Beckenstein 2011, págs. 172-173.
  5. ^ ab Wilansky 2013, pag. 50.
  6. ^ Narici y Beckenstein 2011, págs. 371–423.
  7. ^ Wilansky 2013, pag. 48.

Bibliografía