18 Complex Numbers and Complex Vector Spaces
So far in this course, we have only looked at vectors spaces "over ,"
also called "real vector spaces." In the definition of a vector space over ,
the scalars are real numbers. The standard -dimensional vectors space is .
Linear maps are represented by matrices of real numbers.
However, the real numbers are just one example of a "field." A field
is a certain kind of algebraic structure. There are other fields besides
, and any field can be used in the definition of vector space in place
of . In particular, we will need to use , the field of complex numbers,
and vectors spaces over . The definition of field pretty much just
says that addition and multiplication in the field have all the familiar
properties of addition and multiplication of real numbers.
Definition:
A field, , consists
of a set and two binary operators, and , on satisfying
- Closure under addition: for all , .
- Addition is commutative: for all , .
- Addition is associative: for all , .
- Additive identity: there exists such that for all .
- Additive inverses: for every , there exists such that .
- Closure under multiplication: for all , .
- Multiplication is commutative: for all , .
- Multiplication is associative: for all , .
- Multiplicative identity: there exists such that for all .
- Multiplicative inverses: for any , if , there exists such that .
- Multiplication distributes over addition: for all , .
- .
The set of rational numbers is a field that is a subset of . is a subfield
of becasue it uses the addition and multiplication operations that it inherits from .
actually has many other subfields, such as .
There are even finite fields. For example the set , where is any prime
number, becomes a field if addition and multiplication are defined "mod p". (This just means that in ,
plus means the remainder when the usual is divided by , and similarly for times .)
However, the only field that we will actually use is the field of complex numbers.
A complex number can be written in the form where and are real numbers
and is used to represent the constant . A real number is also a complex number since
it can be written in the form . So is a subset of . But to make into a field,
we have to define addition and multiplication of complex numbers. This is done as follows:
It can be shown that with these definitions, is a field. The multiplicative
inverse of a non-zero complex number is given by . More generally, we can compute a quotient
as
The complex number can be visualized as the point in the plane.
The complex plane consists of all the complex numbers, visualized
in this way. The horizontal axis of the plane represents the real numbers and
is called the real axis. The vertical axis consists of all multiples of and
is called the imaginary axis. Note that this identifies with , and in fact
can be considered to be a real vector space of dimension two, with
scalar multiplication for .
If is a complex number, then the norm (or length or
absolute value) of is defined to be . Note that
the norm is a non-negative real number. The conjugate of
is defined to be .
Note that if and only if . Also,
.
Recall that it is possible for a polynomial of degree two or higher,
with real coefficients, to have no roots. That is, the equation might
have no solutions. The simplest example is . There is no real
number such that . However, the complex numbers and are
complex roots of this equation. Note that cannot be factored if we
only have real numbers to work with. We say that is "irreducible over
the real numbers." But if we are using complex numbers,
we can factor . One of the most important and surprising
facts about complex numbers — and the main reason why we need them
in this course — is the following theorem:
Fundamental Theorem of Algebra:
Any non-constant polynomial with complex coefficients has a root in the
complex numbers. Any complex polynomial of degree factors
into a product of linear factors.
To define vector spaces over a field , we can use exactly the same
definition as for vector spaces over , except that scalars are elements
of instead of elements of . We will only be interested in
vector spaces over , which are also called complex vector spaces.
Almost everything that we did with real vector spaces could have been done
with complex vector spaces. The only exception is things involving inner
product (including length, orthogonality, and angles), which has to
be defined differently for complex column vectors).
Thus, we define column vectors, row vectors, matrices, row operations, echelon form,
linear combinations, matrices, matrix multiplication, homomorphisms, and determinants
using complex numbers instead of real numbers.
The standard -dimensional vector space is , the vector space of
column vectors where the entries can be complex numbers. The standard
basis for is the same as the standard basis for , . Any -dimensional
complex vector space is isomorphic to . We can redefine
to be the complex vector space of polynomials with
complex coefficients and degree less than or equal to , and we
then have that is isomorphic to .
Similarly, now represents matrices with
complex entries, a complex vector space of dimension .
Any matrix of complex numbers defines a homomorphism
from to by sending to .
Note that the determinant of an complex matrix
will be a complex number. It is still true that the determinant
is zero if and only if the matrix is singular.
In short, nothing much changes except that multiplication
and division become harder. The reason for making the change
from real to complex vector spaces will become clear as we
study eigenvalues and eigenvectors.
(back to contents)