En análisis funcional y en otras áreas relacionadas de las matemáticas, un espacio ultrabarrilado es un espacio vectorial topológico (EVT) para el que cada conjunto ultrabarrilado es un entorno del origen.
Un subconjunto de un EVT se denomina 'ultrabarrilado si es un subconjunto cerrado y equilibrado de y si existe una secuencia de subconjuntos cerrados equilibrados y absorbentes de tal que para todos los
En este caso, se denomina secuencia definitoria de Un EVT se llama ultrabarrilado si cada conjunto ultrabarrilado en es un entorno del origen.[1]
Un espacio ultrabarrilado localmente convexo es un espacio barrilado.[1] Cada espacio ultrabarrilado es un espacio cuasi ultrabarrilado.[1]
Los EVT completos y metrizables son ultrabarrilados.[1] Si es un EVT completo localmente acotado y no localmente convexo; y si es una entorno acotado del origen equilibrado y cerrado, entonces es un conjunto ultrabarrilado que no es convexo y tiene una secuencia definitoria que consta de conjuntos no convexos.[1]
Existen espacios barrilados que no tienen conjuntos ultrabarrilados.[1] Existen EVTs que son completos y metrizables (y, por lo tanto, ultrabarrilados), pero no son barrilados.[1]