SolitaryRoad.com

Website owner: James Miller

[ Home ] [ Up ] [ Info ] [ Mail ]

Canonical forms under similarity; Rational, Jacobson and Jordan canonical forms; hypercompanion matrix

Rational Canonical Form. Given an nxn matrix A, let C_{i}, C_{i+1}, .... , C_{n} be the
companion matrices of the non-trivial invariant factors of λI - A. Then the rational canonical
form for all matrices similar to A is

In other words, the rational form is the direct sum of the companion matrices C_{i}, C_{i+1}, .... , C_{n}:

S = diag (C_{i}, C_{i+1}, .... , C_{n})

● Every square matrix A is similar to the direct sum of the companion matrices of the non-trivial invariant factors of λI - A.

A second canonical form. Given an nxn matrix A, let C_{i}, C_{i+1}, .... , C_{n} be the
companion matrices of the elementary divisors of λI - A. Then a canonical form for all matrices
similar to A is

In other words, the form is the direct sum of the companion matrices C_{i}, C_{i+1}, .... , C_{n}:

● Every square matrix A over F is similar to the direct sum of the companion matrices of the elementary divisors over F of λI - A.

Hypercompanion matrix. Let {p(λ)}^{q} be one of the elementary divisors of the
characteristic matrix of some λ-matrix and let C(p) be the companion matrix of p(λ). The
hypercompanion matrix H associated with the elementary divisor {p(λ)}^{q} is given by

where M is a matrix of the same order as C(p) having the element 1 in the lower left-hand corner and zeros elsewhere. The diagonal of the hypercompanion matrix H consists of q identical C(p) matrices. Note that there is a continuous line of 1's just above the diagonal.

● Every square matrix A over F is similar to the direct sum of the hypercompanion matrices of the elementary divisors over F of λI - A.

The Jacobson canonical form. The Jacobson canonical form of a square matrix A consists of the direct sum of the hypercompanion matrices of the elementary divisors over F of

λI - A i.e. the matrix J

where H_{i} is the hypercompanion matrix associated with the i-th elementary divisor.

The Classical (or Jordan) canonical form. Let the elementary divisors of the characteristic matrix of a matrix A be powers of linear polynomials. The canonical form is then the direct sum of hypercompanion matrices of the form

corresponding to the elementary divisor {p(λ)}^{q} = ( λ - a_{i})^{q} . The diagonal contains q identical
a_{i}’s. This special case of the Jabobson canonical form is known as the Jordan or Classical
canonical form.

● Let F be the field in which the characteristic polynomial of a matrix A factors into linear
polynomials. Then A is similar over F to the direct sum of hypercompanion matrices of the form
(1) above, each matrix corresponding to an elementary divisor ( λ - a_{i})^{q} .

● An n-square matrix A is similar to a diagonal matrix if and only if the elementary divisors of λI - A are linear polynomials, that is, if and only if the minimum polynomial of A is the product of distinct linear polynomials.

References

Ayres. Matrices.

More from SolitaryRoad.com:

Jesus Christ and His Teachings

Way of enlightenment, wisdom, and understanding

America, a corrupt, depraved, shameless country

On integrity and the lack of it

The test of a person's Christianity is what he is

Ninety five percent of the problems that most people have come from personal foolishness

Liberalism, socialism and the modern welfare state

The desire to harm, a motivation for conduct

On Self-sufficient Country Living, Homesteading

Topically Arranged Proverbs, Precepts, Quotations. Common Sayings. Poor Richard's Almanac.

Theory on the Formation of Character

People are like radio tuners --- they pick out and listen to one wavelength and ignore the rest

Cause of Character Traits --- According to Aristotle

We are what we eat --- living under the discipline of a diet

Avoiding problems and trouble in life

Role of habit in formation of character

Personal attributes of the true Christian

What determines a person's character?

Love of God and love of virtue are closely united

Intellectual disparities among people and the power in good habits

Tools of Satan. Tactics and Tricks used by the Devil.

The Natural Way -- The Unnatural Way

Wisdom, Reason and Virtue are closely related

Knowledge is one thing, wisdom is another

My views on Christianity in America

The most important thing in life is understanding

We are all examples --- for good or for bad

Television --- spiritual poison

The Prime Mover that decides "What We Are"

Where do our outlooks, attitudes and values come from?

Sin is serious business. The punishment for it is real. Hell is real.

Self-imposed discipline and regimentation

Achieving happiness in life --- a matter of the right strategies

Self-control, self-restraint, self-discipline basic to so much in life

[ Home ] [ Up ] [ Info ] [ Mail ]