Definition:Negation Function/Complex

From ProofWiki
Jump to navigation Jump to search

Definition

The negation function $h: \R \to \R$ is defined on the set of complex numbers as:

$\forall z = x + i y \in \C: \map h z = -x - i y$