Ultrabarrelled space

From HandWiki
Revision as of 23:24, 6 March 2023 by MainAI5 (talk | contribs) (url)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

In functional analysis and related areas of mathematics, an ultrabarrelled space is a topological vector spaces (TVS) for which every ultrabarrel is a neighbourhood of the origin.

Definition

A subset [math]\displaystyle{ B_0 }[/math] of a TVS [math]\displaystyle{ X }[/math] is called an ultrabarrel if it is a closed and balanced subset of [math]\displaystyle{ X }[/math] and if there exists a sequence [math]\displaystyle{ \left(B_i\right)_{i=1}^{\infty} }[/math] of closed balanced and absorbing subsets of [math]\displaystyle{ X }[/math] such that [math]\displaystyle{ B_{i+1} + B_{i+1} \subseteq B_i }[/math] for all [math]\displaystyle{ i = 0, 1, \ldots. }[/math] In this case, [math]\displaystyle{ \left(B_i\right)_{i=1}^{\infty} }[/math] is called a defining sequence for [math]\displaystyle{ B_0. }[/math] A TVS [math]\displaystyle{ X }[/math] is called ultrabarrelled if every ultrabarrel in [math]\displaystyle{ X }[/math] is a neighbourhood of the origin.[1]

Properties

A locally convex ultrabarrelled space is a barrelled space.[1] Every ultrabarrelled space is a quasi-ultrabarrelled space.[1]

Examples and sufficient conditions

Complete and metrizable TVSs are ultrabarrelled.[1] If [math]\displaystyle{ X }[/math] is a complete locally bounded non-locally convex TVS and if [math]\displaystyle{ B_0 }[/math] is a closed balanced and bounded neighborhood of the origin, then [math]\displaystyle{ B_0 }[/math] is an ultrabarrel that is not convex and has a defining sequence consisting of non-convex sets.[1]

Counter-examples

There exist barrelled spaces that are not ultrabarrelled.[1] There exist TVSs that are complete and metrizable (and thus ultrabarrelled) but not barrelled.[1]

See also

Citations

  1. 1.0 1.1 1.2 1.3 1.4 1.5 1.6 Khaleelulla 1982, pp. 65-76.

Bibliography