We want to describe a procedure for enlarging real vector spaces to complex vector spaces in a natural way. For instance, the natural complex analogues of Rn, Mn(R), and R[X] are Cn, Mn(C) and C[X]. Why do we want to complexify real vector spaces? One reason is related to solving equations. If we want to prove theorems about real solutions to a system of real linear equations or a system of rea...