Download 1.16. The Vector Space Cn of n-Tuples of Complex Numbers

yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project

Document related concepts

Proofs of Fermat's little theorem wikipedia, lookup

Addition wikipedia, lookup

Fundamental theorem of algebra wikipedia, lookup

Non-standard calculus wikipedia, lookup

Theorem wikipedia, lookup

Mathematics of radio engineering wikipedia, lookup

Wiles's proof of Fermat's Last Theorem wikipedia, lookup

Vector space wikipedia, lookup

Principia Mathematica wikipedia, lookup

Bra–ket notation wikipedia, lookup

Basis (linear algebra) wikipedia, lookup

Classical Hamiltonian quaternions wikipedia, lookup

1.16. The Vector Space Cn of n-Tuples of Complex Numbers
The set of all n-tuples of complex numbers is denoted by Cn.
By replacing Rn with Cn in the definition of section 1.2, we can turn Cn into a vector
space. Note that either R or C can be used as scalars, thus giving rise to a complex
vector space defined on the real or complex number field, respectively.
Theorem 1.1 of section 1.2 is easily proved for Cn.
In order to preserve the positive property of the dot product necessary for its relation
to the norm, its definition must be modified as follows.
Definition (Dot Product)
Let A   a1,
, an  and B   b1,
, bn  be 2 vectors in Cn. The dot product A  B
is defined as
A  B   ak bk
k 1
where bk is the complex conjugate of bk .
Note that it is more common in physics to use the definition A  B   ak bk .
k 1
Theorem 1.11
For all
A, B, C  Cn
and scalars α, we have
A B  B  A
A  B  C   A B  A C
  A  B    A  B  A   B    A  B 
A A  0
where equal sign applies only if A  0 .
Proof of the theorem follows directly from the definition and are left as exercise.
Cauchy-Schwarz Inequality
A  B   A  A B  B 
Definition (Norm)
A  A A
Note that theorems 1.4-5 of section 1.6 also hold for Cn.