Misplaced Pages

Saturated family

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Concept in functional analysis

In mathematics, specifically in functional analysis, a family G {\displaystyle {\mathcal {G}}} of subsets a topological vector space (TVS) X {\displaystyle X} is said to be saturated if G {\displaystyle {\mathcal {G}}} contains a non-empty subset of X {\displaystyle X} and if for every G G , {\displaystyle G\in {\mathcal {G}},} the following conditions all hold:

  1. G {\displaystyle {\mathcal {G}}} contains every subset of G {\displaystyle G} ;
  2. the union of any finite collection of elements of G {\displaystyle {\mathcal {G}}} is an element of G {\displaystyle {\mathcal {G}}} ;
  3. for every scalar a , {\displaystyle a,} G {\displaystyle {\mathcal {G}}} contains a G {\displaystyle aG} ;
  4. the closed convex balanced hull of G {\displaystyle G} belongs to G . {\displaystyle {\mathcal {G}}.}

Definitions

If S {\displaystyle {\mathcal {S}}} is any collection of subsets of X {\displaystyle X} then the smallest saturated family containing S {\displaystyle {\mathcal {S}}} is called the saturated hull of S . {\displaystyle {\mathcal {S}}.}

The family G {\displaystyle {\mathcal {G}}} is said to cover X {\displaystyle X} if the union G G G {\displaystyle \bigcup _{G\in {\mathcal {G}}}G} is equal to X {\displaystyle X} ; it is total if the linear span of this set is a dense subset of X . {\displaystyle X.}

Examples

The intersection of an arbitrary family of saturated families is a saturated family. Since the power set of X {\displaystyle X} is saturated, any given non-empty family G {\displaystyle {\mathcal {G}}} of subsets of X {\displaystyle X} containing at least one non-empty set, the saturated hull of G {\displaystyle {\mathcal {G}}} is well-defined. Note that a saturated family of subsets of X {\displaystyle X} that covers X {\displaystyle X} is a bornology on X . {\displaystyle X.}

The set of all bounded subsets of a topological vector space is a saturated family.

See also

References

  1. ^ Schaefer & Wolff 1999, pp. 79–82.
  2. Schaefer & Wolff 1999, pp. 79–88.
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 (topicsglossary)
Spaces
Properties
Theorems
Operators
Algebras
Open problems
Applications
Advanced topics
Category: