| dbp:mathStatement
|
- Let be a positive integer and let be an open subset of
Given for any let be defined by and let be defined by
Then
is a surjective isomorphism of TVSs.
Furthermore, its restriction
is an isomorphism of TVSs . (en)
- If is a complete Hausdorff locally convex space, then is canonically isomorphic to the injective tensor product (en)
- Let be a Hausdorff locally convex topological vector space and for every continuous linear form and every let be defined by
Then
is a continuous linear map;
and furthermore, its restriction
is also continuous . (en)
|