AHausdorfflocally convex spaceX with continuous dual,X is called aSchwartz space if it satisfies any of the following equivalent conditions:[1]
For everyclosedconvex balanced neighborhoodU of the origin inX, there exists a neighborhoodV of0 inX such that for all realr > 0,V can be covered by finitely many translates ofrU.
Every bounded subset ofX istotally bounded and for everyclosedconvexbalanced neighborhoodU of the origin inX, there exists a neighborhoodV of0 inX such that for all realr > 0, there exists a bounded subsetB ofX such thatV ⊆B +rU.
Vector subspace of Schwartz spaces are Schwartz spaces.
The quotient of a Schwartz space by a closed vector subspace is again a Schwartz space.
TheCartesian product of any family of Schwartz spaces is again a Schwartz space.
The weak topology induced on a vector space by a family of linear maps valued in Schwartz spaces is a Schwartz spaceif the weak topology is Hausdorff.
The locally convex strict inductive limit of any countable sequence of Schwartz spaces (with each space TVS-embedded in the next space) is again a Schwartz space.