Formal Definition
Let V be a real vector space. The complexification of V is defined by taking the tensor product of V with the complex numbers (thought of as a two-dimensional vector space over the reals):
The subscript R on the tensor product indicates that the tensor product is taken over the real numbers (since V is a real vector space this is the only sensible option anyway, so the subscript can safely be omitted). As it stands VC is only a real vector space. However, we can make VC into a complex vector space by defining complex multiplication as follows:
More generally, complexification is an example of extension of scalars – here extending scalars from the real numbers to the complex numbers – which can be done for any field extension, or indeed for any morphism of rings.
Formally, complexification is a functor VectR → VectC, from the category of real vector spaces to the category of complex vector spaces. This is the adjoint functor – specifically the left adjoint – to the forgetful functor VectC → VectR from forgetting the complex structure.
Read more about this topic: Complexification
Famous quotes containing the words formal and/or definition:
“The conviction that the best way to prepare children for a harsh, rapidly changing world is to introduce formal instruction at an early age is wrong. There is simply no evidence to support it, and considerable evidence against it. Starting children early academically has not worked in the past and is not working now.”
—David Elkind (20th century)
“... we all know the wag’s definition of a philanthropist: a man whose charity increases directly as the square of the distance.”
—George Eliot [Mary Ann (or Marian)