ThmDex – An index of mathematical definitions, results, and conjectures.
Set of symbols
Deduction system
Zermelo-Fraenkel set theory
Binary cartesian set product
Binary relation
Cartesian product
Complex cartesian product
Real cartesian product
Euclidean real Cartesian product
Set of complex numbers
Complex number
Definition D507
Complex conjugate
Formulation 1
Let $z = (x, y) \in \mathbb{C}$ be a D1207: Complex number.
The complex conjugate of $z$ is the D1207: Complex number \begin{equation} \overline{z} : = (x, - y) \end{equation}
Complex conjugate of a binary sum equals sum of complex conjugates
Complex conjugate of a product of two complex numbers
Complex conjugate of real number
Complex conjugate zero iff argument zero