PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: Very high
complex conjugate (Definition)

Definition

Scalar Complex Conjugate

Let $z$ be a complex number with real part $a$ and imaginary part $b$ ,

$$ z = a+bi $$

Then the complex conjugate of $z$ is

$$ \bar{z} = a - bi $$

Complex conjugation represents a reflection about the real axis on the Argand diagram representing a complex number.

Sometimes a star ($*$ ) is used instead of an overline, e.g. in physics you might see

$$ \int_{-\infty}^{\infty}\Psi^{*}\Psi dx=1 $$

where $\Psi^*$ is the complex conjugate of a wave function.

Matrix Complex Conjugate

Let $A=(a_{ij})$ be a $n\times m$ matrix with complex entries. Then the complex conjugate of $A$ is the matrix $\ccj{A}=(\ccj{a_{ij}})$ . In particular, if $v=(v^1, \ldots, v^n)$ is a complex row/column vector, then $\ccj{v}=(\ccj{v^1}, \ldots, \ccj{v^n})$ .

Hence, the matrix complex conjugate is what we would expect: the same matrix with all of its scalar components conjugated.

Properties of the Complex Conjugate

Scalar Properties

If $u,v$ are complex numbers, then

  1. $\ccj{uv}= (\ccj{u})(\ccj{v})$
  2. $\ccj{u+v}= \ccj{u}+\ccj{v}$
  3. $\big(\ccj{u}\big)^{-1} = \ccj{u^{-1}}$
  4. $\ccj{(\ccj{u})} = u$
  5. If $v\neq 0$ , then $\ccj{(\frac{u}{v})} = {\ccj{u}}/{\ccj{v}}$
  6. Let $u = a + bi$ . Then $\ccj{u} u = u \ccj{u} = a^2+b^2 \ge 0$ (the complex modulus).
  7. If $z$ is written in polar form as $z=r e^{i\phi}$ , then $\ccj{z}=re^{-i\phi}$ .

Matrix and Vector Properties

Let $A$ be a matrix with complex entries, and let $v$ be a complex row/column vector.

Then

  1. $\ccj{A^T}=\big(\ccj{A}\big)^T$
  2. $\ccj{Av}=\ccj{A}\ccj{v}$ , and $\ccj{vA}=\ccj{v}\ccj{A}$ . (Here we assume that $A$ and $v$ are compatible size.)

Now assume further that $A$ is a complex square matrix, then

  1. $\trace \ccj{A} = \ccj{(\trace\ A)}$
  2. $\det \ccj{A} = \ccj{(\det A)}$
  3. $\big(\ccj{A}\big)^{-1} = \ccj{A^{-1}}$




"complex conjugate" is owned by akrowne.
(view preamble | get metadata)

View style:

See Also: complex, modulus of complex number, algebraic conjugates, triangle inequality of complex numbers, antiholomorphic

Also defines:  complex conjugation, matrix complex conjugate

Attachments:
conjugated roots of equation (Topic) by pahio
Log in to rate this entry.
(view current ratings)

Cross-references: square matrix, size, compatible, polar form, complex modulus, components, scalar, row vector, complex, matrix, star, Argand diagram, real axis, reflection, represents, imaginary part, real part, complex number
There are 52 references to this entry.

This is version 7 of complex conjugate, born on 2002-01-21, modified 2004-02-25.
Object id is 1508, canonical name is ComplexConjugate.
Accessed 30219 times total.

Classification:
AMS MSC12D99 (Field theory and polynomials :: Real and complex fields :: Miscellaneous)
 30-00 (Functions of a complex variable :: General reference works )
 32-00 (Several complex variables and analytic spaces :: General reference works )

Pending Errata and Addenda
None.
[ View all 3 ]
Discussion
Style: Expand: Order:
forum policy
Do matrix-vector properties apply for a general linear operator? by RhysU on 2009-09-14 14:14:54
Hello,

Does the $\overline{Av} = \overline{A}\overline{v}$ result rely upon $A$ being finite dimensional, or will it hold for a general linear operator?

Thanks,
Rhys
[ reply | up ]

Interact
post | correct | update request | add derivation | add example | add (any)