Professional Documents
Culture Documents
is denoted
is
or
. The
, then
(b) If
, then
(c) If
, then
The proofs are easy; just write out the complex numbers (e.g.
and
) and compute.
The conjugate of a matrix A is the matrix
element: That is,
, then
You can prove these results by looking at individual elements of the matrices and
using the properties of conjugation of numbers given above.
Definition. If A is a complex matrix,
Note that the conjugation and transposition can be done in either order: That
is,
. To see this, consider the
element of the matrices:
Example. If
Since the complex conjugate of a real number is the real number, if B is a real
matrix, then
.
(b)
(c)
(d) If
.
.
, their dot product is given by
and
I have
Notice that you take the complex conjugates of the components of v before
multiplying!
This can be expressed as the matrix multiplication
Example.
The reason for the transpose is that I'm using the convention that vectors
are column vectors. So if u and v are n-dimensional column vectors and I want the
product to be a number --- i.e. a
matrix --- I have to multiply an ndimensional row vector (
) and an n-dimensional column vector (
). To
get the row vector, I have to transpose the column vector.
Finally, why do u and v switch places in going from the left side to the right side?
The reason you write
instead of
is because inner products are defined to
be linear in the first variable. If you use
you get a product which is linear in
the second variable.
Of course, none of this makes any difference if you're dealing with real numbers.
So if x and y are vectors in
, you can write
Since U preserves inner products, it also preserves lengths of vectors, and the
angles between them. For example,
of U.
, and hence
(c) Suppose
Then
means
Here
is the complex conjugate of the
column
, transposed to make it a
row vector. If you look at the dot products of the rows of
and the columns of U,
and note that the result is I, you see that the equation above exactly expresses the
fact that the columns of U are orthonormal.
For example, take the first row
. Its product with the columns
on give the first row of the identity matrix, so
, and so
This says that has length 1 and is perpendicular to the other columns. Similar
statements hold for , ...,
.
Example. Find c and d so that the following matrix is unitary:
; I need
This gives
I may take
and
. Then
and let
. Then
Proof.
Remark. If
is any inner product on a vector space V and
is a linear
transformation, the adjoint
of T is the linear transformation which satisfies
(This definition assumes that there is such a transformation.) This explains why, in
the special case of the complex inner product, the matrix
is called the adjoint.
It also explains the term self-adjoint in the next definition.
Corollary. ( Adjointness) let
and let
. Then
for a
.
It is no accident that the diagonal entries are real numbers --- see the result that
follows.
Here's a table of the correspondences between the real and complex cases:
, I have
But a complex number is equal to its conjugate if and only if it's a real number,
so
is real.
(b) Suppose A is Hermitian and
Therefore,
--- but a number that equals its complex conjugate must be real.
implies
is an eigenvalue of
Since real symmetric matrices are Hermitian, the previous results apply to them as
well. I'll restate the previous result for the case of a symmetric matrix.
Corollary. Let A be a symmetric matrix.
(a) The elements on opposite sides of the main diagonal are equal.
(b) The eigenvalues of a symmetric matrix are real numbers.
(c) Eigenvectors of A corresponding to different eigenvalues are orthogonal.
, an eigenvector is
For
, an eigenvector is
Since
.
.
Example. A
is a solution.
(b) Find A.
From (a), a diagonalizing matrix and the corresponding diagonal matrix are
Now
, so
Example. Let
Hermitian matrix
Compute the characteristic polynomial of A, and show directly that the eigenvalues
must be real numbers.
The discriminant is
Since this is a sum of squares, it can't be negative. Hence, the roots of the
characteristic polynomial --- the eigenvalues --- must be real numbers.