S. D. V. Stephens

notes / Studies in Algebra and Group Theory / chapter 5: Multilinear Algebra / From my notebooks

N26 Tensor Products

Given two vector spaces , we form .

linearizes diffeomorphisms of 4D manifolds for space-time: linearization = yay?

A bilinear map factors as with linear. (Preserve structure because ??)

Commutative triangle: the map beta from V x W to the tensor product V tensor W, followed by the linear map alpha-tilde from V tensor W to U, equals the bilinear map alpha from V x W to U.

Theorem N26.1. for finite-dimensional .

Proof outline. DO LATER. ∎

Theorem N26.2.

Proof. Take and … NO. ∎