The tensor product notation u⊗v satisfies distributive laws and scalar mobility rules because it is constructed via a bilinear map φ. Bilinearity implies linearity in each variable separately, leading to (a1u1+a2u2)⊗v=a1u1⊗v+a2u2⊗v, u⊗(b1v1+b2v2)=b1u⊗v1+b2u⊗v2, and a(u⊗v)=(au)⊗v=u⊗(av).
Conditions: u,u1,u2 belong to U.; v,v1,v2 belong to V.; a,a1,a2,b1,b2 are scalars in the field P.
The tensor product notation u⊗v satisfies distributive laws and scalar mobility rules because it is constructed via a bilinear map φ. Bilinearity implies linearity in each variable separately, leading to (a1u1+a2u2)⊗v=a1u1⊗v+a2u2⊗v, u⊗(b1v1+b2v2)=b1u⊗v1+b2u⊗v2, and a(u⊗v)=(au)⊗v=u⊗(av).
Conditions: u,u1,u2 belong to U.; v,v1,v2 belong to V.; a,a1,a2,b1,b2 are scalars in the field P.