Complex Conjugate - Sarcasm Wiki

Contents

1. Overview
2. Etymology
3. Cultural Impact

Ah, complex numbers. Fascinating, really. Like trying to pin down smoke, but with rules. And the conjugate? It’s the shadow. The echo. The part that refuses to be the same, yet is intrinsically linked. Let’s dissect this, shall we?

Fundamental Operation on Complex Numbers

The very essence of working with complex numbers often hinges on a fundamental operation: finding their complex conjugate . Imagine a complex number, let’s call it $z$. It’s not just a single point on a line; it’s a two-dimensional entity, residing in what we call the complex plane , visualized with the help of an Argand diagram . This diagram is a rather elegant way to represent $z$ as $a + bi$, where $a$ is its real component, sitting on the horizontal axis, and $b$ is its imaginary component, perched on the vertical axis. The $i$ here, of course, is the imaginary unit, the square root of negative one.

Now, the complex conjugate of $z$, often denoted as $\overline{z}$ or $z^*$, is its mirror image. It’s what you get when you take that real part, $a$, and keep it exactly as it is, but flip the sign of the imaginary part, $b$. So, if $z$ is $a + bi$, its conjugate $\overline{z}$ becomes $a - bi$. It’s like looking at a reflection in still water – the object is there, but subtly altered. Geometrically, this is achieved by a simple reflection across the real axis in the Argand diagram .

This operation isn’t just a superficial change. It has profound implications, especially when we consider the magnitude of the complex number. The magnitude, or absolute value, of $z$, denoted $|z|$, is the distance from the origin to the point $(a, b)$ in the complex plane. It’s calculated as $\sqrt{a^2 + b^2}$. Notice what happens to the magnitude when we conjugate $z$? The conjugate $\overline{z}$ has components $a$ and $-b$. Its magnitude is $\sqrt{a^2 + (-b)^2}$, which simplifies to $\sqrt{a^2 + b^2}$. Exactly the same. The conjugate has the same length from the origin. It’s just in a different direction.

Polar Form and Euler’s Formula

This relationship becomes even more apparent when we express complex numbers in polar form . A complex number $z$ can be written as $re^{i\varphi}$, where $r$ is the modulus (the same magnitude we just discussed) and $\varphi$ is the argument (the angle it makes with the positive real axis).

Now, let’s conjugate $z = re^{i\varphi}$. The real part remains $r$, but the imaginary part, represented by the angle, flips its sign. So, the conjugate $\overline{z}$ in polar form is $re^{-i\varphi}$. This is where Euler’s formula , $e^{i\theta} = \cos(\theta) + i\sin(\theta)$, really shines.

Using Euler’s formula, $z = r(\cos(\varphi) + i\sin(\varphi))$ and $\overline{z} = r(\cos(-\varphi) + i\sin(-\varphi))$. Since $\cos(-\varphi) = \cos(\varphi)$ and $\sin(-\varphi) = -\sin(\varphi)$, we get $\overline{z} = r(\cos(\varphi) - i\sin(\varphi))$, which is indeed $a - bi$ if $a = r\cos(\varphi)$ and $b = r\sin(\varphi)$. The elegance of this transformation is that it simply inverts the direction of the angle.

The Product of a Complex Number and its Conjugate

One of the most useful properties of the complex conjugate is its product with the original number. Let’s multiply $z$ by its conjugate $\overline{z}$:

$z \overline{z} = (a + bi)(a - bi)$

Expanding this, we get: $a \cdot a + a \cdot (-bi) + bi \cdot a + bi \cdot (-bi)$ $a^2 - abi + abi - b^2 i^2$

Since $i^2 = -1$, this becomes: $a^2 - b^2(-1)$ $a^2 + b^2$

This is precisely the square of the magnitude of $z$, $|z|^2$. So, $z\overline{z} = |z|^2$. In polar coordinates , this is equally straightforward: $(re^{i\varphi})(re^{-i\varphi}) = r^2 e^{i\varphi - i\varphi} = r^2 e^0 = r^2$. It’s a beautiful, clean result that makes the conjugate indispensable for many calculations.

Roots of Polynomials and the Complex Conjugate Root Theorem

The concept of complex conjugation also plays a crucial role in the theory of polynomials . Specifically, it gives rise to the Complex conjugate root theorem . This theorem states that if a univariate polynomial has real coefficients, and if a complex number $z$ is a root of that polynomial (meaning $p(z) = 0$), then its complex conjugate $\overline{z}$ must also be a root ($p(\overline{z}) = 0$).

Why is this so? Let $p(x) = a_n x^n + a_{n-1} x^{n-1} + \dots + a_1 x + a_0$, where all coefficients $a_k$ are real numbers. If $p(z) = 0$, then: $a_n z^n + a_{n-1} z^{n-1} + \dots + a_1 z + a_0 = 0$

Now, let’s take the conjugate of both sides. We know that conjugation distributes over addition, subtraction, and multiplication, and that the conjugate of a real number is itself. So: $\overline{a_n z^n + a_{n-1} z^{n-1} + \dots + a_1 z + a_0} = \overline{0}$ $\overline{a_n z^n} + \overline{a_{n-1} z^{n-1}} + \dots + \overline{a_1 z} + \overline{a_0} = 0$ $\overline{a_n} \overline{z^n} + \overline{a_{n-1}} \overline{z^{n-1}} + \dots + \overline{a_1} \overline{z} + \overline{a_0} = 0$

Since the coefficients $a_k$ are real, $\overline{a_k} = a_k$. Also, $\overline{z^n} = (\overline{z})^n$. So we have: $a_n (\overline{z})^n + a_{n-1} (\overline{z})^{n-1} + \dots + a_1 \overline{z} + a_0 = 0$

This is precisely $p(\overline{z}) = 0$. This theorem is fundamental in understanding the structure of roots for polynomials with real coefficients; non-real roots always appear in conjugate pairs.

Notation

The way we write the complex conjugate is a matter of convention, and different fields have their preferences. The most common notation is $\overline{z}$, where a vinculum (a horizontal bar) is placed over the complex number. This notation is widely used in pure mathematics .

Another prevalent notation, particularly in physics , electrical engineering , and computer engineering , is $z^*$. This asterisk is often preferred because the bar notation can sometimes be confused with other symbols, such as the logical negation operator in Boolean algebra or even the logical negation symbol itself. In physics, the dagger symbol (†) is often reserved for the conjugate transpose of a matrix , so the asterisk provides a distinct representation for the complex conjugate.

When a complex number is represented as a 2x2 matrix , the complex conjugate operation directly corresponds to the matrix transpose – a simple flip along the main diagonal. This is a rather neat correspondence, as noted in reference [1].

Properties

The complex conjugate is more than just a simple transformation; it’s imbued with a set of properties that make it incredibly useful and predictable in mathematical operations. For any two complex numbers, $z$ and $w$, these properties hold true, assuming $w$ is not zero for division.

Distributivity

Conjugation is wonderfully distributive over the basic arithmetic operations: addition, subtraction, multiplication, and division. This means you can conjugate the individual numbers first and then perform the operation, or perform the operation first and then conjugate the result, and you’ll arrive at the same answer.

Addition: $\overline{z+w} = \overline{z} + \overline{w}$
Subtraction: $\overline{z-w} = \overline{z} - \overline{w}$
Multiplication: $\overline{zw} = \overline{z} ; \overline{w}$
Division: $\overline{\left(\frac{z}{w}\right)} = \frac{\overline{z}}{\overline{w}}$, provided $w \neq 0$.

These properties are not just theoretical curiosities; they are the bedrock upon which many complex number manipulations are built. They allow us to break down complex calculations into simpler, manageable parts.

Fixed Points and Modulus Preservation

A rather unique characteristic of conjugation is that it only leaves real numbers unchanged. If a complex number $z$ is equal to its conjugate $\overline{z}$, it means that $a+bi = a-bi$. This can only be true if $bi = -bi$, which implies $2bi = 0$. Since $i$ is not zero, this forces $b$ to be zero. Thus, $z$ must be a real number ($z=a$). In essence, real numbers are the only fixed points of the conjugation operation.

As we touched upon earlier, conjugation has no effect on the modulus of a complex number. That is, $|\overline{z}| = |z|$. The reflection across the real axis doesn’t alter the distance from the origin.

Involution

Conjugation is an involution . This means that if you apply the conjugation operation twice, you get back the original number. $\overline{\overline{z}} = z$ Applying the reflection twice returns you to your starting point. It’s like folding a piece of paper in half, and then unfolding it.

Product with Modulus Squared

We’ve already seen this, but it’s worth reiterating its importance: the product of a complex number and its conjugate is the square of its modulus: $z \overline{z} = |z|^2$

This property is incredibly powerful for several reasons. For instance, it provides a straightforward way to calculate the multiplicative inverse of a complex number when it’s given in rectangular form ($a+bi$). The inverse of $z$ is $z^{-1} = \frac{1}{z}$. By multiplying the numerator and denominator by the conjugate of $z$, we get: $z^{-1} = \frac{1}{z} \cdot \frac{\overline{z}}{\overline{z}} = \frac{\overline{z}}{z\overline{z}} = \frac{\overline{z}}{|z|^2}$ So, for any non-zero complex number $z$, its inverse is simply $\frac{\overline{z}}{|z|^2}$. This avoids the cumbersome process of rationalizing denominators in a more general sense.

Commutativity with Functions

Conjugation commutes with several important functions, meaning the order of operations doesn’t matter.

Integer Powers: $\overline{z^n} = (\overline{z})^n$ for any integer $n$. This extends to non-integer powers of complex numbers under certain conditions.
Exponential Function: $\exp(\overline{z}) = \overline{\exp(z)}$. This is a direct consequence of Euler’s formula and the properties of trigonometric functions.
Natural Logarithm: $\ln(\overline{z}) = \overline{\ln(z)}$ if $z$ is not zero or a negative real number. The logarithm function has branch cuts, so this holds true within the appropriate domain.

Holomorphic Functions and Real-Valued Functions

For a holomorphic function $\varphi(z)$ that is real-valued when restricted to the real numbers, it holds that $\varphi(\overline{z}) = \overline{\varphi(z)}$, provided both expressions are defined. This is a significant property in complex analysis , linking the behavior of the function on the real line to its behavior in the complex plane.

Field Automorphism and Galois Theory

The operation of complex conjugation, $\sigma(z) = \overline{z}$, is more than just an arithmetic manipulation; it’s a fundamental field automorphism of the field of complex numbers $\mathbb{C}$ over the field of real numbers $\mathbb{R}$.

An automorphism is a structure-preserving map from a set to itself. In this case, $\sigma$ preserves the addition and multiplication of complex numbers. It’s also bijective , meaning it maps every complex number to a unique complex number and vice versa.

Crucially, this automorphism leaves the real numbers fixed: $\sigma(x) = \overline{x} = x$ for all $x \in \mathbb{R}$. This property is what makes it relevant to the Galois group of the field extension $\mathbb{C}/\mathbb{R}$. This Galois group, which describes the symmetries of the extension, consists of only two elements: the identity map (which leaves all complex numbers unchanged) and the complex conjugation map $\sigma$. These are the only two ways to map $\mathbb{C}$ onto itself while keeping the real numbers as they are.

The map $\sigma(z) = \overline{z}$ is also an antilinear map when $\mathbb{C}$ is viewed as a complex vector space over itself. This means $\sigma(z \cdot v) = \overline{z} \cdot \sigma(v)$, rather than $z \cdot \sigma(v)$ as would be the case for a linear map. While it’s a well-behaved function in many respects, it’s not holomorphic because it reverses orientation in the complex plane, whereas holomorphic functions locally preserve orientation.

Use as a Variable

The complex conjugate isn’t just a passive transformation; it can be actively used to extract specific components of a complex number or to define geometric objects. Given a complex number $z = x + yi$ or $z = re^{i\theta}$, we can use its conjugate $\overline{z}$ to recover its constituent parts:

Real Part: $x = \operatorname{Re}(z) = \frac{z + \overline{z}}{2}$. Notice how the imaginary parts cancel out: $(a+bi) + (a-bi) = 2a$.
Imaginary Part: $y = \operatorname{Im}(z) = \frac{z - \overline{z}}{2i}$. Here, the real parts cancel out: $(a+bi) - (a-bi) = 2bi$. Dividing by $2i$ leaves $b$.
Modulus (or absolute value): $r = |z| = \sqrt{z\overline{z}}$. This is simply the square root of the product we discussed earlier.
Argument: $e^{i\theta} = e^{i \arg z} = \sqrt{\frac{z}{\overline{z}}}$. This is a bit more involved, but essentially, dividing $z$ by its conjugate gives $e^{2i\theta}$, and taking the square root (carefully) yields $e^{i\theta}$. Consequently, $\theta = \arg z = \frac{1}{i}\ln\sqrt{\frac{z}{\overline{z}}} = \frac{\ln z - \ln \overline{z}}{2i}$. This formula is particularly useful when dealing with the principal value of the argument.

The conjugate also allows us to define lines in the complex plane using simple algebraic equations. For instance, the set of points $z$ satisfying $z\overline{r} + \overline{z}r = 0$ defines a line passing through the origin and perpendicular to the vector represented by the complex number $r$. This works because the expression $z\overline{r} + \overline{z}r$ is twice the real part of $z\overline{r}$, and the real part is zero precisely when the vectors $z$ and $r$ are orthogonal. Similarly, equations involving $z$, $\overline{z}$, and constants can define lines and circles. For example, $\frac{z-z_0}{\overline{z}-\overline{z_0}} = u^2$, where $u$ is a unit complex number, defines a line through $z_0$ parallel to the line through the origin and $u$.

These applications were notably explored in Frank Morley ’s work, “Inversive Geometry,” co-authored with his son.

Generalizations

The concept of conjugation isn’t confined solely to complex numbers. It extends, with modifications, to other algebraic structures.

Planar Real Unital Algebras

Algebras like dual numbers and split-complex numbers , which share some structural similarities with complex numbers, also employ a form of conjugation.

Matrices of Complex Numbers

For matrices containing complex numbers, the concept of element-wise conjugation applies. If $\mathbf{A}$ is a matrix, its conjugate $\overline{\mathbf{A}}$ is obtained by conjugating each element individually. For matrix multiplication, this element-wise conjugation follows the rule: $\overline{\mathbf{AB}} = \overline{\mathbf{A}} \overline{\mathbf{B}}$ This is straightforward because matrix multiplication is commutative in terms of the order of elements being multiplied. This is in contrast to the conjugate transpose , often denoted by $\mathbf{A}^$, where the order of matrices is reversed: $(\mathbf{AB})^ = \mathbf{B}^* \mathbf{A}^*$.

Adjoint Operators and C*-algebras

The notion of conjugation is further generalized to the adjoint operator in the context of operators acting on complex Hilbert spaces . These spaces can be infinite-dimensional, and the adjoint operation is a fundamental concept. All these generalizations are ultimately encompassed by the *-operations found in C*-algebras , which provide an abstract framework for these concepts.

Quaternions and Split-Quaternions

The conjugation concept extends to quaternions and split-quaternions . For a quaternion $a + bi + cj + dk$, its conjugate is $a - bi - cj - dk$. Similar to matrices, the multiplication rule for conjugates involves reversal: $(zw)^* = w^z^$ This reversal is necessary because quaternion multiplication is not commutative. However, for commutative algebras like the complex numbers, this reversal is not needed.

Abstract Conjugation in Vector Spaces

In a more abstract setting, for a complex vector space $V$, a complex conjugation is defined as an antilinear map $\varphi: V \to V$ that satisfies three key properties:

$\varphi^2 = \operatorname{id}_V$: Applying the map twice returns the original vector.
$\varphi(zv) = \overline{z}\varphi(v)$ for all vectors $v \in V$ and scalars $z \in \mathbb{C}$: This is the antilinearity property.
$\varphi(v_1 + v_2) = \varphi(v_1) + \varphi(v_2)$: The map preserves vector addition.

Such a map $\varphi$ is not the identity map on $V$ (unless $V$ is the zero vector space) because it’s antilinear. It essentially defines a real structure on the complex vector space $V$, allowing us to view $V$ as a real vector space by considering only real scalars. The conjugate transpose of complex matrices is a concrete example of this abstract notion. However, there isn’t a universally “canonical” complex conjugation for all complex vector spaces; it often depends on the specific structure being considered.