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.
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.