In functional analysis and related areas of mathematics, quasibarrelled spaces are topological vector spaces (TVS) for which every bornivorous barrelled set in the space is a neighbourhood of the origin.
Quasibarrelled spaces are studied because they are a weakening of the defining condition of barrelled spaces, for which a form of the Banach–Steinhaus theorem holds.
A subset [math]\displaystyle{ B }[/math] of a topological vector space (TVS) [math]\displaystyle{ X }[/math] is called bornivorous if it absorbs all bounded subsets of [math]\displaystyle{ X }[/math];
that is, if for each bounded subset [math]\displaystyle{ S }[/math] of [math]\displaystyle{ X, }[/math] there exists some scalar [math]\displaystyle{ r }[/math] such that [math]\displaystyle{ S \subseteq r B. }[/math]
A barrelled set or a barrel in a TVS is a set which is convex, balanced, absorbing and closed.
A quasibarrelled space is a TVS for which every bornivorous barrelled set in the space is a neighbourhood of the origin.[1][2]
Properties
A locally convex Hausdorff quasibarrelled space that is sequentially complete is barrelled.[3]
A locally convex Hausdorff quasibarrelled space is a Mackey space, quasi-M-barrelled, and countably quasibarrelled.[4]
A locally convex quasibarrelled space that is also a σ-barrelled space is necessarily a barrelled space.[2]
A locally convex space is reflexive if and only if it is semireflexive and quasibarrelled.[2]
Characterizations
A Hausdorff topological vector space [math]\displaystyle{ X }[/math] is quasibarrelled if and only if every bounded closed linear operator from [math]\displaystyle{ X }[/math] into a complete metrizable TVS is continuous.[5]
By definition, a linear [math]\displaystyle{ F : X \to Y }[/math] operator is called closed if its graph is a closed subset of [math]\displaystyle{ X \times Y. }[/math]
For a locally convex space [math]\displaystyle{ X }[/math] with continuous dual [math]\displaystyle{ X^{\prime} }[/math] the following are equivalent:
[math]\displaystyle{ X }[/math] is quasibarrelled.
Every bounded lower semi-continuous semi-norm on [math]\displaystyle{ X }[/math] is continuous.
Every [math]\displaystyle{ \beta(X', X) }[/math]-bounded subset of the continuous dual space [math]\displaystyle{ X^{\prime} }[/math] is equicontinuous.
If [math]\displaystyle{ X }[/math] is a metrizable locally convex TVS then the following are equivalent:
The strong dual of [math]\displaystyle{ X }[/math] is quasibarrelled.
The strong dual of [math]\displaystyle{ X }[/math] is barrelled.
The strong dual of [math]\displaystyle{ X }[/math] is bornological.
Note that there exist quasibarrelled spaces that are neither barrelled nor bornological.[2]
There exist Mackey spaces that are not quasibarrelled.[2]
There exist distinguished spaces, DF-spaces, and [math]\displaystyle{ \sigma }[/math]-barrelled spaces that are not quasibarrelled.[2]
The strong dual space[math]\displaystyle{ X_b^{\prime} }[/math] of a Fréchet space[math]\displaystyle{ X }[/math] is distinguished if and only if [math]\displaystyle{ X }[/math] is quasibarrelled.[7]
Counter-examples
There exists a DF-space that is not quasibarrelled.[2]
There exists a quasibarrelled DF-space that is not bornological.[2]
There exists a quasibarrelled space that is not a σ-barrelled space.[2]
Adasch, Norbert; Ernst, Bruno; Keim, Dieter (1978). Topological Vector Spaces: The Theory Without Convexity Conditions. Lecture Notes in Mathematics. {3834. Berlin New York: Springer-Verlag. ISBN978-3-540-08662-8. OCLC297140003.