For AI agents: use /llms.txt for the Nakafa content index.
Before understanding complex vector spaces, we need to understand complex numbers first. Imagine we have an imaginary unit i with the special property i2=−1. Complex numbers are numbers that consist of a real part and an imaginary part.
The set of complex numbers is defined as C:={z=x+iy:x,y∈R}. In every complex number , the part is called the and the part is called the .
x=Re(z) real part
y=Im(z) imaginary part
Using the property i2=−1, we can perform arithmetic operations on complex numbers such as addition, subtraction, multiplication, and division. The set (C,+,⋅) forms a field.
For a complex number z=x+iy, the complex conjugate is defined as z=x−iy. This conjugate is useful in various calculations.
The modulus or absolute value of a complex number is calculated with the formula:
This modulus gives the "distance" of the complex number from the origin in the complex plane.
The fundamental theorem of algebra is an important result that distinguishes complex polynomials from real polynomials. This theorem states that every non-constant polynomial with complex coefficients must have a complex root.
Now, let's look at a very important result. Every non-constant polynomial
with degree n≥1 and complex coefficients ak∈C for k=0,1,…,n with an=0, has at least one complex root. This means there exists a number z∗∈C such that p(z∗)=0.
This theorem is very important because it guarantees that in the field of complex numbers, every polynomial equation always has a solution.
After understanding complex numbers, we can extend the concept of vector spaces from real scalars to complex scalars. Vector spaces can not only be defined with scalars from R, but also from other fields such as C.
A set V with an addition operation
and a scalar multiplication operation
is called a complex vector space if it satisfies the following axioms:
-
Associative: (x+y)+z=x+(y+z) for all x,y,z∈V
-
Commutative: x+y=y+x for all x,y∈V
-
Identity Element: There exists an element 0∈V such that x+0=x=0+x for all x∈V
-
Inverse Element: For every x∈V there exists an element −x∈V such that x+(−x)=0=(−x)+x
-
Associative multiplication: (λμ)⋅x=λ⋅(μ⋅x) for all λ,μ∈C,x∈V
-
Unit element: 1⋅x=x for all x∈V
-
Distributive over vector addition: λ⋅(x+y)=λ⋅x+λ⋅y for all λ∈C,x,y∈V
-
Distributive over scalar addition: (λ+μ)⋅x=λ⋅x+μ⋅x for all λ,μ∈C,x∈V
Elements x∈V are called vectors, and elements λ∈C are called scalars.
In complex vector spaces, we do not use special properties of real numbers such as ordering or real analysis. All results that apply to vector spaces remain valid for complex vector spaces, especially those related to matrices, systems of linear equations, and determinants.
The main difference lies in the scalar field used. Real vector spaces use R as the scalar field, whereas complex vector spaces use C which provides more flexibility in calculations.