In functional analysis, a topological vector space (TVS) is called ultrabornological if every bounded linear operator from into another TVS is necessarily continuous. A general version of the closed graph theorem holds for ultrabornological spaces. Ultrabornological spaces were introduced by Alexander Grothendieck (Grothendieck [1955, p. 17] "espace du type (β)").[1]
Let be a topological vector space (TVS).
A disk is a convex and balanced set. A disk in a TVS is called bornivorous[2] if it absorbs every bounded subset of
A linear map between two TVSs is called infrabounded[2] if it maps Banach disks to bounded disks.
A disk in a TVS is called infrabornivorous if it satisfies any of the following equivalent conditions:
while if locally convex then we may add to this list:
while if locally convex and Hausdorff then we may add to this list:
A TVS is ultrabornological if it satisfies any of the following equivalent conditions:
while if is a locally convex space then we may add to this list:
while if is a Hausdorff locally convex space then we may add to this list:
Every locally convex ultrabornological space is barrelled,[2] quasi-ultrabarrelled space, and a bornological space but there exist bornological spaces that are not ultrabornological.
The finite product of locally convex ultrabornological spaces is ultrabornological.[2] Inductive limits of ultrabornological spaces are ultrabornological.
Every Hausdorff sequentially complete bornological space is ultrabornological.[2] Thus every complete Hausdorff bornological space is ultrabornological. In particular, every Fréchet space is ultrabornological.[2]
The strong dual space of a complete Schwartz space is ultrabornological.
Every Hausdorff bornological space that is quasi-complete is ultrabornological.[citation needed]
There exist ultrabarrelled spaces that are not ultrabornological. There exist ultrabornological spaces that are not ultrabarrelled.