Ultrabarrelled space

Last updated

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.

Contents

Definition

A subset of a TVS is called an ultrabarrel if it is a closed and balanced subset of and if there exists a sequence of closed balanced and absorbing subsets of such that for all In this case, is called a defining sequence for A TVS is called ultrabarrelled if every ultrabarrel in 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 is a complete locally bounded non-locally convex TVS and if is a closed balanced and bounded neighborhood of the origin, then 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

Bibliography

Related Research Articles

In mathematics, a topological vector space is one of the basic structures investigated in functional analysis. A topological vector space is a vector space that is also a topological space with the property that the vector space operations are also continuous functions. Such a topology is called a vector topology and every topological vector space has a uniform topological structure, allowing a notion of uniform convergence and completeness. Some authors also require that the space is a Hausdorff space. One of the most widely studied categories of TVSs are locally convex topological vector spaces. This article focuses on TVSs that are not necessarily locally convex. Banach spaces, Hilbert spaces and Sobolev spaces are other well-known examples of TVSs.

In functional analysis and related areas of mathematics, Fréchet spaces, named after Maurice Fréchet, are special topological vector spaces. They are generalizations of Banach spaces. All Banach and Hilbert spaces are Fréchet spaces. Spaces of infinitely differentiable functions are typical examples of Fréchet spaces, many of which are typically not Banach spaces.

In functional analysis and related areas of mathematics, locally convex topological vector spaces (LCTVS) or locally convex spaces are examples of topological vector spaces (TVS) that generalize normed spaces. They can be defined as topological vector spaces whose topology is generated by translations of balanced, absorbent, convex sets. Alternatively they can be defined as a vector space with a family of seminorms, and a topology can be defined in terms of that family. Although in general such spaces are not necessarily normable, the existence of a convex local base for the zero vector is strong enough for the Hahn–Banach theorem to hold, yielding a sufficiently rich theory of continuous linear functionals.

In functional analysis and related areas of mathematics, a barrelled space is a topological vector space (TVS) for which every barrelled set in the space is a neighbourhood for the zero vector. A barrelled set or a barrel in a topological vector space is a set that is convex, balanced, absorbing, and closed. Barrelled spaces are studied because a form of the Banach–Steinhaus theorem still holds for them. Barrelled spaces were introduced by Bourbaki (1950).

In functional analysis, a subset of a topological vector space (TVS) is called a barrel or a barrelled set if it is closed convex balanced and absorbing.

In functional analysis and related areas of mathematics, a set in a topological vector space is called bounded or von Neumann bounded, if every neighborhood of the zero vector can be inflated to include the set. A set that is not bounded is called unbounded.

In functional analysis and related areas of mathematics, a Montel space, named after Paul Montel, is any topological vector space (TVS) in which an analog of Montel's theorem holds. Specifically, a Montel space is a barrelled topological vector space in which every closed and bounded subset is compact.

In mathematics, particularly in functional analysis, a bornological space is a type of space which, in some sense, possesses the minimum amount of structure needed to address questions of boundedness of sets and linear maps, in the same way that a topological space possesses the minimum amount of structure needed to address questions of continuity. Bornological spaces are distinguished by that property that a linear map from a bornological space into any locally convex spaces is continuous if and only if it is a bounded linear operator.

In mathematics, particularly in functional analysis, a webbed space is a topological vector space designed with the goal of allowing the results of the open mapping theorem and the closed graph theorem to hold for a wider class of linear maps whose codomains are webbed spaces. A space is called webbed if there exists a collection of sets, called a web that satisfies certain properties. Webs were first investigated by de Wilde.

In the field of functional analysis, DF-spaces, also written (DF)-spaces are locally convex topological vector space having a property that is shared by locally convex metrizable topological vector spaces. They play a considerable part in the theory of topological tensor products.

In functional analysis, a topological vector space (TVS) is called ultrabornological if every bounded linear operator from into another TVS is necessarily continuous. A general version of the closed graph theorem holds for ultrabornological spaces. Ultrabornological spaces were introduced by Alexander Grothendieck.

In functional analysis, a topological vector space (TVS) is said to be quasi-complete or boundedly complete if every closed and bounded subset is complete. This concept is of considerable importance for non-metrizable TVSs.

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.

In functional analysis and related areas of mathematics, Schwartz spaces are topological vector spaces (TVS) whose neighborhoods of the origin have a property similar to the definition of totally bounded subsets. These spaces were introduced by Alexander Grothendieck.

In functional analysis and related areas of mathematics, distinguished spaces are topological vector spaces (TVSs) having the property that weak-* bounded subsets of their biduals are contained in the weak-* closure of some bounded subset of the bidual.

In functional analysis, a topological vector space (TVS) is said to be countably barrelled if every weakly bounded countable union of equicontinuous subsets of its continuous dual space is again equicontinuous. This property is a generalization of barrelled spaces.

In functional analysis, a subset of a real or complex vector space that has an associated vector bornology is called bornivorous and a bornivore if it absorbs every element of If is a topological vector space (TVS) then a subset of is bornivorous if it is bornivorous with respect to the von-Neumann bornology of .

In functional analysis, a topological vector space (TVS) is said to be countably quasi-barrelled if every strongly bounded countable union of equicontinuous subsets of its continuous dual space is again equicontinuous. This property is a generalization of quasibarrelled spaces.

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

In functional analysis and related areas of mathematics, a metrizable topological vector space (TVS) is a TVS whose topology is induced by a metric. An LM-space is an inductive limit of a sequence of locally convex metrizable TVS.