Properties of tensors products of vector spaces
In this video, we present some basic properties of vector spaces. In particular, we show that it behaves like a "product" and is a "functorial" construction. We then use these properties to define the notion of complexification which is often introduced in a very ad hoc way in linear algebra. This allows one to use complex numbers even when dealing with real linear maps.