Previous: 2.1 Cartesian map of
Up: 2. Screening
Next: 2.3 How to design
  Contents
Definition 2.2.1
Let

be a

square matrix. A column

is an eigencolumn of matrix

when (1) column

is not null
and (2) there exist a constant

(the associated eigenvalue)
such that :
Theorem 2.2.2
A constant
is an eigenvalue of the square matrix
if
and only if
is a root of the characteristic polynomial:
Proof.
When

is an eigenvalue,

where

. Thus matrix

cannot be inverted and its determinant must vanish. When

the map

is not injective and its kernel is strictly
greater than the nullspace. Applied to

, this gives
an eigencolumn.
Remark 2.2.3
Formulas

and :
(the Sarrus rule) are well known. More generally,

is the
sum of

terms, each of them being the product of

factors
(one per row, one per column) with the appropriate signs.
Obviously, a determinant is not computed as the sum of this horrible
number of terms. With efficient algorithms, the complexity is around
.
Definition 2.2.4
A

-sized square matrix is diagonalizable when one can find

linearly independent eigencolumns. In other words, this happens when
one can find an invertible matrix

and a diagonal matrix

such that :
Proposition 2.2.5
When
is invertible, then
and
share
the same characteristic polynomial. And therefore share the same trace
(opposed to the sum of roots) and the same determinant (the product
of roots or its opposite)
Theorem 2.2.6
When the characteristic polynomial has no repeated roots, the matrix
is ever diagonalizable.
Proof.
For each eigenvalue

, it exists at least one eigencolumn

. What is to be proved is that

implies

. The Vandermonde trick is as follows.
For all

, we have
Stacking the

equations obtained when

ranges from 0 to

, we obtain that Vandermonde matrix times matrix
![$ \left[\mu_{1}V_{1},\,\cdots,\,\mu_{n}V_{n}\right]$](img219.png)
is the null matrix. But the determinant of the Vandermonde matrix
is

. Therefore each

vanishes and this enforces

.
Theorem 2.2.7
A real symmetric matrix is always diagonalizable, its eigenvalues
are real and
can be taken orthogonal real (i.e. such that
is diagonal).
Proof.
Let

be real symmetric,

an eigencolumn and

the corresponding eigenvalue. Quantity

is a number, and thus invariant by transposition. Therefore :
and

is real. Then

and

are either eigen-
or null vectors (for the same

), so that

real can be
assumed. An orthogonal basis can ever be found for each eigenspace.
For a less cursive proof, the reader is referred to
Arnaudiès and Fraysse (1990, p.110).
Previous: 2.1 Cartesian map of
Up: 2. Screening
Next: 2.3 How to design
  Contents
douillet@ensait.fr
2008-03-13