The Wayback Machine - https://web.archive.org/web/20181022122115/http://mathworld.wolfram.com:80/ComplexConjugate.html

Complex Conjugate

EXPLORE THIS TOPIC IN the MathWorld Classroom

The complex conjugate of a complex number z=a+bi is defined to be

 z^_=a-bi.
(1)

The conjugate matrix of a matrix A=(a_(ij)) is the matrix obtained by replacing each element a_(ij) with its complex conjugate, A^_=(a^__(ij)) (Arfken 1985, p. 210).

The complex conjugate is implemented in the Wolfram Language as Conjugate[z].

Note that there are several notations in common use for the complex conjugate. Applied physics and engineering texts tend to prefer z^*, while most modern math and theoretical physics texts favor z^_. Unfortunately, the notation z^* is also commonly used to denote adjoint operators matrices. Because of these mutually contradictory conventions, care is needed when consulting the literature. In this work, z^_ is used to denote the complex conjugate.

Common notational conventions for complex conjugate are summarized in the table below.

notationreferences
z^_This work; Abramowitz and Stegun (1972, p. 16), Anton (2000, p. 528), Harris and Stocker (1998, p. 21), Golub and Van Loan (1996, p. 15), Kaplan (1981, p. 28), Kaplan (1992, p. 572), Krantz (1999, p. 2), Kreyszig (1988, p. 568), Roman (1987, p. 534), Strang (1988, p. 220), Strang (1993)
z^*Arfken (1985, p. 356), Bekefi and Barrett (1987, p. 616), Press et al. (1989, p. 397), Harris and Stocker (1998, p. 21), Hecht (1998, p. 18), Herkommer (1999, p. 262)

In linear algebra, it is common to apply both the complex conjugate and transpose to the same matrix. The matrix obtained from a given matrix A by this combined operation is commonly called the conjugate transpose A^(H) of A. However, the terms adjoint matrix, adjugate matrix, Hermitian conjugate, and Hermitian adjoint are also used, as are the notations A^| and A^*. In this work, A^(H) is used to denote the conjugate transpose matrix and a^| is used to denote the adjoint operator.

By definition, the complex conjugate satisfies

 z^_^_=z.
(2)

The complex conjugate is distributive under complex addition,

 z_1+z_2^_=z^__1+z^__2,
(3)

since

(a_1+ib_1)+(a_2+ib_2)^_=(a_1+a_2)+i(b_1+b_2)^_
(4)
=(a_1+a_2)-i(b_1+b_2)
(5)
=(a_1-ib_1)+(a_2-ib_2)
(6)
=a_1+ib_1^_+a_2+ib_2^_,
(7)

and distributive over complex multiplication,

 z_1z_2^_=z^__1z^__2,
(8)

since

(a_1+b_1i)(a_2+b_2i)^_=(a_1a_2-b_1b_2)+i(a_1b_2+a_2b_1)^_
(9)
=(a_1a_2-b_1b_2)-i(a_1b_2+a_2b_1)
(10)
=(a_1-ib_1)(a_2-ib_2)
(11)
=a_1+ib_1^_ a_2+ib_2^_.
(12)

Wolfram Web Resources

Mathematica »

The #1 tool for creating Demonstrations and anything technical.

Wolfram|Alpha »

Explore anything with the first computational knowledge engine.

Wolfram Demonstrations Project »

Explore thousands of free applications across science, mathematics, engineering, technology, business, art, finance, social sciences, and more.

Computerbasedmath.org »

Join the initiative for modernizing math education.

Online Integral Calculator »

Solve integrals with Wolfram|Alpha.

Step-by-step Solutions »

Walk through homework problems step-by-step from beginning to end. Hints help you try the next step on your own.

Wolfram Problem Generator »

Unlimited random practice problems and answers with built-in Step-by-step solutions. Practice online or make a printable study sheet.

Wolfram Education Portal »

Collection of teaching and learning tools built by Wolfram education experts: dynamic textbook, lesson plans, widgets, interactive Demonstrations, and more.

Wolfram Language »

Knowledge-based programming for everyone.