# Nakafa Learning Content

> For AI agents: use [llms.txt](https://nakafa.com/llms.txt) for the site index. Markdown versions are available by appending `.md` to content URLs or sending `Accept: text/markdown`.

URL: https://nakafa.com/en/subjects/ai-ds/linear-methods/complex-vector-space
Source: https://raw.githubusercontent.com/nakafaai/nakafa.com/refs/heads/main/packages/contents/material/lesson/ai-ds/linear-methods/complex-vector-space/en.mdx

Learn complex vector spaces with complex numbers, fundamental theorem of algebra, and 8 essential axioms. Learn AI linear methods one step at a time.

---

## Introduction to Complex Numbers

Before understanding complex vector spaces, we need to understand complex numbers first. Imagine we have an imaginary unit $$i$$ with the special property $$i^2 = -1$$. Complex numbers are numbers that consist of a real part and an imaginary part.

Visible text: Before understanding complex vector spaces, we need to understand complex numbers first. Imagine we have an imaginary unit with the special property . Complex numbers are numbers that consist of a real part and an imaginary part.

The set of complex numbers is defined as $$\mathbb{C} := \{z = x + iy : x, y \in \mathbb{R}\}$$. In every complex number $$z = x + iy$$, the part $$x = \text{Re}(z)$$ is called the **real part** and the part $$y = \text{Im}(z)$$ is called the **imaginary part**.

Visible text: The set of complex numbers is defined as . In every complex number , the part is called the **real part** and the part is called the **imaginary part**.

Using the property $$i^2 = -1$$, we can perform arithmetic operations on complex numbers such as addition, subtraction, multiplication, and division. The set $$(\mathbb{C}, +, \cdot)$$ forms a **field**.

Visible text: Using the property , we can perform arithmetic operations on complex numbers such as addition, subtraction, multiplication, and division. The set forms a **field**.

### Conjugate and Modulus

For a complex number $$z = x + iy$$, the **complex conjugate** is defined as $$\overline{z} = x - iy$$. This conjugate is useful in various calculations.

Visible text: For a complex number , the **complex conjugate** is defined as . This conjugate is useful in various calculations.

The **modulus** or absolute value of a complex number is calculated with the formula:

```math
|z| = \sqrt{z \cdot \overline{z}} = \sqrt{x^2 + y^2}
```

This modulus gives the "distance" of the complex number from the origin in the complex plane.

## Fundamental Theorem of Algebra

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

```math
p(z) = a_n z^n + a_{n-1} z^{n-1} + \cdots + a_1 z + a_0, \quad z \in \mathbb{C}
```

with degree $$n \geq 1$$ and complex coefficients $$a_k \in \mathbb{C}$$ for $$k = 0, 1, \ldots, n$$ with $$a_n \neq 0$$, has at least one complex root. This means there exists a number $$z_* \in \mathbb{C}$$ such that $$p(z_*) = 0$$.

Visible text: with degree and complex coefficients for with , has at least one complex root. This means there exists a number such that .

This theorem is very important because it guarantees that in the field of complex numbers, every polynomial equation always has a solution.

## Definition and Axioms of Complex Vector Space

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 $$\mathbb{R}$$, but also from other fields such as $$\mathbb{C}$$.

Visible text: 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 , but also from other fields such as .

A set $$V$$ with an addition operation

Visible text: A set with an addition operation

```math
+ : V \times V \to V : (x, y) \mapsto x + y
```

and a scalar multiplication operation

```math
\cdot : \mathbb{C} \times V \to V : (\lambda, x) \mapsto \lambda \cdot x
```

is called a **complex vector space** if it satisfies the following axioms:

### Vector Addition Axioms

1. **Associative**: $$(x + y) + z = x + (y + z)$$ for all $$x, y, z \in V$$

2. **Commutative**: $$x + y = y + x$$ for all $$x, y \in V$$

3. **Identity Element**: There exists an element $$0 \in V$$ such that $$x + 0 = x = 0 + x$$ for all $$x \in V$$

4. **Inverse Element**: For every $$x \in V$$ there exists an element $$-x \in V$$ such that $$x + (-x) = 0 = (-x) + x$$

Visible text: 1. **Associative**: for all 

2. **Commutative**: for all 

3. **Identity Element**: There exists an element such that for all 

4. **Inverse Element**: For every there exists an element such that

### Scalar Multiplication Axioms

5. **Associative multiplication**: $$(\lambda \mu) \cdot x = \lambda \cdot (\mu \cdot x)$$ for all $$\lambda, \mu \in \mathbb{C}, x \in V$$

6. **Unit element**: $$1 \cdot x = x$$ for all $$x \in V$$

Visible text: 5. **Associative multiplication**: for all 

6. **Unit element**: for all

### Distributive Axioms

7. **Distributive over vector addition**: $$\lambda \cdot (x + y) = \lambda \cdot x + \lambda \cdot y$$ for all $$\lambda \in \mathbb{C}, x, y \in V$$

8. **Distributive over scalar addition**: $$(\lambda + \mu) \cdot x = \lambda \cdot x + \mu \cdot x$$ for all $$\lambda, \mu \in \mathbb{C}, x \in V$$

Visible text: 7. **Distributive over vector addition**: for all 

8. **Distributive over scalar addition**: for all

Elements $$x \in V$$ are called **vectors**, and elements $$\lambda \in \mathbb{C}$$ are called **scalars**.

Visible text: Elements are called **vectors**, and elements are called **scalars**.

## Differences from Real Vector Spaces

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 $$\mathbb{R}$$ as the scalar field, whereas complex vector spaces use $$\mathbb{C}$$ which provides more flexibility in calculations.

Visible text: The main difference lies in the **scalar field** used. Real vector spaces use as the scalar field, whereas complex vector spaces use which provides more flexibility in calculations.