Espacio de barril

Un barril en un espacio vectorial topológico es un subconjunto que es radialmente convexo , redondeado y cerrado .

Un espacio localmente convexo se llama enbarrilado si cada barril en él es un entorno de cero o, lo que es lo mismo, un espacio enbarrilado es un espacio localmente convexo en el que la familia de todos los barriles forma una base (o en el que cada prenorma que es semicontinuo inferior es continuo).

Cada espacio de Baire localmente convexo está en forma de barril. En particular, todos los espacios de Banach y todos los espacios de Fréchet son barriles.

Enlaces