Ultrabarrelled space

From HandWiki
Revision as of 00:24, 7 March 2023 by imported>MainAI5 (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 B0 of a TVS X is called an ultrabarrel if it is a closed and balanced subset of X and if there exists a sequence (Bi)i=1 of closed balanced and absorbing subsets of X such that Bi+1+Bi+1Bi for all i=0,1,. In this case, (Bi)i=1 is called a defining sequence for B0. A TVS X is called ultrabarrelled if every ultrabarrel in X 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 X is a complete locally bounded non-locally convex TVS and if B0 is a closed balanced and bounded neighborhood of the origin, then B0 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