The finest locally convex topological vector space (TVS) topology on X ⊗ Y , {\displaystyle X\otimes Y,} the tensor product of two locally convex TVSs, making the canonical map ⋅ ⊗ ⋅ : X × Y → X ⊗ Y {\displaystyle \cdot \otimes \cdot :X\times Y\to X\otimes Y} (defined by sending ( x , y ) ∈ X × Y {\displaystyle (x,y)\in X\times Y} to x ⊗ y {\displaystyle x\otimes y} ) separately continuous is called the inductive topology or the ι {\displaystyle \iota } -topology. When X ⊗ Y {\displaystyle X\otimes Y} is endowed with this topology then it is denoted by X ⊗ ι Y {\displaystyle X\otimes _{\iota }Y} and called the inductive tensor product of X {\displaystyle X} and Y . {\displaystyle Y.}
Preliminaries Throughout let X , Y , {\displaystyle X,Y,} and Z {\displaystyle Z} be locally convex topological vector spaces and L : X → Y {\displaystyle L:X\to Y} be a linear map.
L : X → Y {\displaystyle L:X\to Y} is a topological homomorphism or homomorphism, if it is linear, continuous, and L : X → Im L {\displaystyle L:X\to \operatorname {Im} L} is an open map, where Im L , {\displaystyle \operatorname {Im} L,} the image of L , {\displaystyle L,} has the subspace topology induced by Y . {\displaystyle Y.}
If S ⊆ X {\displaystyle S\subseteq X} is a subspace of X {\displaystyle X} then both the quotient map X → X / S {\displaystyle X\to X/S} and the canonical injection S → X {\displaystyle S\to X} are homomorphisms. In particular, any linear map L : X → Y {\displaystyle L:X\to Y} can be canonically decomposed as follows: X → X / ker L → L 0 Im L → Y {\displaystyle X\to X/\operatorname {ker} L{\overset {L_{0}}{\rightarrow }}\operatorname {Im} L\to Y} where L 0 ( x + ker L ) := L ( x ) {\displaystyle L_{0}(x+\ker L):=L(x)} defines a bijection. The set of continuous linear maps X → Z {\displaystyle X\to Z} (resp. continuous bilinear maps X × Y → Z {\displaystyle X\times Y\to Z} ) will be denoted by L ( X ; Z ) {\displaystyle L(X;Z)} (resp. B ( X , Y ; Z ) {\displaystyle B(X,Y;Z)} ) where if Z {\displaystyle Z} is the scalar field then we may instead write L ( X ) {\displaystyle L(X)} (resp. B ( X , Y ) {\displaystyle B(X,Y)} ). We will denote the continuous dual space of X {\displaystyle X} by X ′ {\displaystyle X^{\prime }} and the algebraic dual space (which is the vector space of all linear functionals on X , {\displaystyle X,} whether continuous or not) by X # . {\displaystyle X^{\#}.}
… excerpt ends here. Continue reading the full article.
