In mathematics, specifically in functional analysis, a family of subsets a topological vector space (TVS) is said to be saturated if contains a non-empty subset of and if for every the following conditions all hold:
- contains every subset of ;
- the union of any finite collection of elements of is an element of ;
- for every scalar contains ;
- the closed convex balanced hull of belongs to
Definitions
If is any collection of subsets of then the smallest saturated family containing is called the saturated hull of
The family is said to cover if the union is equal to ; it is total if the linear span of this set is a dense subset of
Examples
The intersection of an arbitrary family of saturated families is a saturated family. Since the power set of is saturated, any given non-empty family of subsets of containing at least one non-empty set, the saturated hull of is well-defined. Note that a saturated family of subsets of that covers is a bornology on
The set of all bounded subsets of a topological vector space is a saturated family.
See also
- Topology of uniform convergence
- Topological vector lattice
- Vector lattice – Partially ordered vector space, ordered as a latticePages displaying short descriptions of redirect targets
References
- ^ Schaefer & Wolff 1999, pp. 79–82.
- Schaefer & Wolff 1999, pp. 79–88.
- Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
- Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
- Trèves, François (2006) . Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322.
Duality and spaces of linear maps | |
---|---|
Basic concepts | |
Topologies | |
Main results | |
Maps | |
Subsets | |
Other concepts |
Topological vector spaces (TVSs) | |
---|---|
Basic concepts | |
Main results | |
Maps | |
Types of sets | |
Set operations | |
Types of TVSs |
|
Boundedness and bornology | |
---|---|
Basic concepts | |
Operators | |
Subsets | |
Related spaces |
Functional analysis (topics – glossary) | |||||
---|---|---|---|---|---|
Spaces |
| ||||
Theorems | |||||
Operators | |||||
Algebras | |||||
Open problems | |||||
Applications | |||||
Advanced topics | |||||