Conjunto bornívoro

conjunto capaz de absorber cualquier subconjunto acotado

En análisis funcional, un subconjunto de un espacio vectorial real o complejo que tiene definida una bornología vectorial asociada se denomina conjunto bornívoro o simplemente bornívoro, si absorbe a cada elemento de Si es un espacio vectorial topológico (EVT), entonces un subconjunto de es bornívoro si es bornívoro con respecto a la bornología de von-Neumann de .

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

Definiciones

editar

Si   es un EVT, entonces un subconjunto   de   se llama bornívoro [1]​ si   absorbe cada subconjunto acotado de  

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

Conjuntos infrabornívoros y aplicaciones infraacotadas

editar

Una aplicación lineal entre dos EVT se denomina infraacotada si asigna discos de Banach a discos acotados.[2]

Un disco en   se llama infrabornívoro si absorbe a cualquier disco de Banach.[3]

Un disco absorbente en un espacio localmente convexo es infrabornívoro si y solo si su funcional de Minkowski está infraacotado.[1]​ Un disco en un espacio de Hausdorff localmente convexo es infrabornívoro si y solo si absorbe todos los discos compactos (es decir, si es "compactívoro"). [1]

Propiedades

editar

Cada subconjunto bornívoro o infrabornívoro de un EVT es absorbente. En un EVT pseudometrizable, cada subconjunto bornívoro es un entorno del origen.[4]

Dos topologías en el mismo espacio vectorial EVT tienen los mismos subconjuntos acotados si y solo si tienen los mismos subconjuntos bornívoros.[5]

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 y disco bornívoro) en  , entonces existe un barril (respectivamente, barril bornívoro y disco bornívoro)   en   tal que  [6]

Ejemplos y condiciones suficientes

editar

Cada entorno del origen en un EVT es bornívoro. La envolvente convexa, la envolvente convexa cerrada y la envolvente equilibrada de un conjunto de bornívoros son nuevamente bornívoras. La preimagen de un bornívoro bajo una aplicación lineal acotada es un bornívoro.[7]

Si   es un EVT 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

editar

Sea     un espacio vectorial sobre los reales. Si   es el recubrimiento equilibrado del segmento rectilíneo cerrado entre   y  , entonces   no es bornívoro, pero el recubrimiento convexo de   sí que lo es. Si   es el triángulo cerrado y "relleno" con vértices   y  , entonces   es un conjunto convexo que no es bornívoro, pero su envolvente equilibrada sí que lo es.

Véase también

editar

Referencias

editar

Bibliografía

editar