Proposition 1.2.6: The conjugate operator

For every complex number z we have:

(1)       |z| = |conj(z)| = ||

(2)       |z|² = z*conj(z) = z

(3)       conj(conj(z)) = = z

Context