Quasibarrelled space

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.

Definition

A subset B of a TVS X is called bornivorous if it absorbs all bounded subsets of X; that is, if for each bounded subset S of X, there exists some scalar r such that S ⊆ rB. 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.

Properties

A locally convex Hausdorff quasibarrelled space that is sequentially complete is barrelled. A locally convex Hausdorff quasibarrelled space is a Mackey space, quasi-M-barrelled, and countably quasibarrelled.

A locally convex space is reflexive if and only if it is semireflexive and quasibarrelled.

A locally convex quasi-barreled space that is also a 𝜎-barrelled space is a barrelled space.

Characterizations

For a locally convex space X with continuous dual $X^{\prime }$ the following are equivalent:

• X is quasi-barrelled,
• every bounded lower semi-continuous semi-norm on X is continuous,
• every $\beta (X',X)$-bounded subset of the continuous dual space $X'$ is equicontinuous.

If X is a metrizable locally convex TVS then the following are equivalent:

1. The strong dual of X is quasibarrelled.
2. The strong dual of X is barrelled.
3. The strong dual of X is bornological.

Examples and sufficient conditions

Every locally convex Hausdorff barrelled space is quasibarreled. Every locally convex Hausdorff bornological space is quasibarreled. Thus, every locally convex metrizable TVS is quasibarreled.

Note that there exist quasibarrelled spaces that are neither barrelled nor bornological. There exist Mackey spaces that are not quasibarrelled. There exist distinguished spaces, DF-spaces, and $\sigma$-barrelled spaces that are not quasibarrelled.

Counter-examples

There exists a DF-space that is not quasibarrelled. There exists a quasibarrelled DF-space that is not bornological. There exists a quasi-barreled space that is not a 𝜎-barrelled space.

See also

• Barrelled space
• Countably barrelled space
• Countably quasi-barrelled space
• Infrabarreled space
• Uniform boundedness principle#Generalisations

References

• Bourbaki, Nicolas (1950). "Sur certains espaces vectoriels topologiques". Annales de l'Institut Fourier (in French). 2: 5–16 (1951). MR 0042609.
• Robertson, Alex P.; Robertson, Wendy J. (1964). Topological vector spaces. Cambridge Tracts in Mathematics. Vol. 53. Cambridge University Press. pp. 65–75.
• Husain, Taqdir (1978). Barrelledness in topological and ordered vector spaces. Berlin New York: Springer-Verlag. ISBN 3-540-09096-7. OCLC 4493665. {{cite book}}: Invalid |ref=harv (help)
• Jarhow, Hans (1981). Locally convex spaces. Teubner. ISBN 978-3-322-90561-1. {{cite book}}: Invalid |ref=harv (help)
• Khaleelulla, S. M. (1982). Written at Berlin Heidelberg. Counterexamples in topological vector spaces. GTM. Vol. 936. Berlin New York: Springer-Verlag. ISBN 978-3-540-11565-6. OCLC 8588370. {{cite book}}: Invalid |ref=harv (help)
• Schaefer, Helmut H. (1971). Topological vector spaces. GTM. Vol. 3. New York: Springer-Verlag. p. 60. ISBN 0-387-98726-6.
• Schaefer, Helmut H. (1999). Topological Vector Spaces. GTM. Vol. 3. New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135. {{cite book}}: Invalid |ref=harv (help)
• Treves, Francois (2006). Topological vector spaces, distributions and kernels. Mineola, N.Y: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322. {{cite book}}: Invalid |ref=harv (help)