nLab imaginary number




A complex number zz is purely imaginary if its real part z\Re{z} is zero, hence if under complex conjugation we have z¯=z\overline{z} = - z. The complex number zz is imaginary if it is not real, in other words if zzz \ne \Re{z}, or equivalently if its imaginary part z\Im{z} is nonzero, or if zz¯ z \ne \overline{z}. (In constructive mathematics, we mean apartness here.)

The same terminology applies to quaternions, octonions, and other **-algebras of hypercomplex numbers. (In yet other **-algebras, such as in matrix algebras, one tends to say “skew-hermitian” instead of “purely imaginary”. There is no clear analogue of “imaginary” here since zz \notin \mathbb{R} and zz¯z \ne \overline{z} diverge.)

Beware that often one says just “imaginary” for “purely imaginary”. (For example, 2+3i2 + 3\mathrm{i} is imaginary but not purely imaginary; while 00 is the unique purely imaginary number that is not imaginary.) This may be because the imaginary numbers, as is typical for things defined by an inequality, do not form an interesting collection as a whole (for example, they are not even closed under addition). Compare irrational number.

The purely imaginary complex numbers, on the other hand, form the Lie algebra 𝔲(1)\mathfrak{u}(1). Often one substitutes \mathbb{R} (the algebra of real numbers), which is simpler, when one only cares about this Lie algebra up to isomorphism. However, using i\mathrm{i}\mathbb{R} (the algebra of purely imaginary numbers) makes 𝔲(1)\mathfrak{u}(1) fit with the matrix formulas used in higher dimensions.

Last revised on January 3, 2021 at 07:56:41. See the history of this page for a list of all contributions to it.