complex_conjugate_of_a_complex_number

Complex conjugate of a complex number

Set

@#55CCEE: context

postulate

$\mathrm{conj}:X\to \mathbb C$

$a+i\ b\in X$

$a,b\in \mathbb R$

postulate

$\mathrm{conj}(a+i\ b):= a-i\ b$

Ramifications

If $z\in \mathbb C$, one writes $\overline z\equiv\mathrm{conj}(z)$.

Parents