linear algebra, higher linear algebra
(…)
Bornological vector spaces are a kind of topological vector spaces.
On normed spaces linear operators are continuous iff they are bounded. On bornological spaces this property is retained by definition.
The discussion below is about bornological CVSes, but there is a more general notion of bornological space.
A locally convex topological vector space is bornological if every circled, convex subset that absorbs every bounded set in is a neighbourhood of in . Equivalently, every seminorm that is bounded on bounded sets is continuous.
The bornology of a given TVS is the family of bounded subsets.
Given a locally convex TVS with initial topology , there is a finest topology such that the family of bounded subsets of coincides with . The space equipped with the topology is called the bornologification of , or the bornological space associated with
Let be a linear map from a bornological space to any locally convex TVS, then the following statements are equivalent:
is continuous,
is bounded on bounded sets,
maps null sequences to null sequences.
Every inductive limit of Banach spaces is a bornological vector space. (Alpay-Salomon 13, prop. 2.3)
Conversely, every bornological vector space is an inductive limit of normed spaces, and of Banach spaces if it is quasi-complete (Schaefer-Wolff 99)
Every metrizible locally convex space is bornological, that is every Fréchet space and thus every Banach space.
Wikipedia, Bornological spaces
H. H. Schaefer, M. P. Wolff, section 8 of: Topological vector spaces, Springer (1999)
Daniel Alpay, Guy Salomon, On algebras which are inductive limits of Banach spaces (arXiv:1302.3372)
Discussion of bornological vector spaces forming a quasi-abelian category:
with review and generalization to bornological abelian groups:
See also:
Christian Houzel: Espaces analytiques relatifs et théorème de finitude. Math. Ann. 205 (1973) 13-54 [doi:10.1007/BF01432513]
Ralf Meyer: Analytic cyclic cohomology [arXiv:math/9906205]
Ralf Meyer: Embeddings of derived categories of bornological modules [arXiv:math/0410596]
Last revised on May 1, 2024 at 03:39:10. See the history of this page for a list of all contributions to it.