Quasibarrelled space

From HandWiki - Reading time: 5 min

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 [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:

  1. [math]\displaystyle{ X }[/math] is quasibarrelled.
  2. Every bounded lower semi-continuous semi-norm on [math]\displaystyle{ X }[/math] is continuous.
  3. 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:

  1. The strong dual of [math]\displaystyle{ X }[/math] is quasibarrelled.
  2. The strong dual of [math]\displaystyle{ X }[/math] is barrelled.
  3. The strong dual of [math]\displaystyle{ X }[/math] is bornological.

Examples and sufficient conditions

Every Hausdorff barrelled space and every Hausdorff bornological space is quasibarrelled.[6] Thus, every metrizable TVS is quasibarrelled.

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]

See also

References

Bibliography




Licensed under CC BY-SA 3.0 | Source: https://handwiki.org/wiki/Quasibarrelled_space
3 views | Status: cached on December 23 2023 18:20:23
↧ Download this article as ZWI file
Encyclosphere.org EncycloReader is supported by the EncyclosphereKSF