Ir al contenido

Conjunto bornívoro

De Wikipedia, la enciclopedia libre

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]