markdown
Basics of the companion matrixmd f80b034
lecture/math/linear-algebra/companion-matrix-basics.lecture.n.md
Download PDF

Basics of the companion matrix同伴行列どうはんぎょうれつ

date2026-07-14document_iddoc_c2fb7cd4ac5761a021efe0634b88dd82description同伴行列を、モニック多項式を特性多項式にもつ行列として定義し、固有値問題・最小多項式・多項式の根との関係を証明する講義である。prerequisites固有値問題 / 特性多項式 / 最小多項式 / Cayley-Hamiltonの定理type講義content_typelecturestatusactiverelateddata/lecture/math/linear-algebra/eigenvalue-problem-basics.lecture.n.md / data/lecture/math/linear-algebra/eigenvalues-and-eigenvectors.lecture.n.md / data/lecture/math/linear-algebra/minimal-polynomial-basics.lecture.n.md / data/lecture/math/linear-algebra/introduction-to-jordan-canonical-form.lecture.n.md / data/lecture/math/linear-algebra/cofactor-expansion-and-invertibility.lecture.n.md / data/exercise/math/linear-algebra/eigenvalues-diagonalization-and-extensions.exercise.n.md
mathlinear-algebraundergraduatelectureeigenvaluepolynomial

1Introduction

The companion matrix同伴行列どうはんぎょうれつ of a monic polynomial is a matrix built so that the polynomial becomes its characteristic polynomial. It turns a polynomial root problem into an eigenvalue problem.

Do not confuse the companion matrix with the adjugate matrix随伴行列ずいはんぎょうれつ from cofactors; they are different concepts.

data/lecture/math/linear-algebra/cofactor-expansion-and-invertibility.lecture.n.md

2Terms and definitions

For a monic polynomial

p(t)=tn+cn-1tn-1++c1t+c0,

define its companion matrix同伴行列どうはんぎょうれつ by

Cp=(010000100001-c0-c1-c2-cn-1).

Some books use the transpose convention. The characteristic polynomial is unchanged by transpose, so the essential construction is the same.

3Plan

We prove three facts: roots of p are eigenvalues of Cp, eigenvalues of Cp are roots of p, and the characteristic polynomial of Cp is p(t). The last row encodes the relation

tn=-cn-1tn-1--c1t-c0.

4Intuitive explanation

The companion matrix records multiplication by t while using the relation p(t)=0 to rewrite tn in terms of lower powers. If p(λ)=0, then

(1λλ2λn-1)

becomes an eigenvector of Cp with eigenvalue λ.

5Precise explanation

5.11. Roots give eigenvectors

If p(λ)=0, set

v(λ)=(1λλ2λn-1).

The first n-1 components of Cpv(λ) are λ,λ2,,λn-1. The last component is

-c0-c1λ--cn-1λn-1=λn

because p(λ)=0. Hence Cpv(λ)=λv(λ).

5.22. Eigenvalues give roots

Conversely, if Cpx=λx with x0, the first n-1 rows force

x2=λx1,x3=λx2,,xn=λxn-1.

The vector would be zero if x1=0, so x10. The last row then gives p(λ)=0.

5.33. Why the characteristic polynomial is p(t)

Let M=CpT. Transpose preserves the characteristic polynomial. The matrix M satisfies

Me1=e2,,Men-1=en,

and

Men=-c0e1--cn-1en.

Thus p(M)=0. Since e1,Me1,,Mn-1e1 is a basis, no nonzero polynomial of degree less than n can annihilate M. Hence the minimal polynomial of M is p(t). The minimal polynomial divides the characteristic polynomial, and both are monic of degree n, so the characteristic polynomial is p(t). Therefore χCp(t)=p(t).

6Worked example

For

p(t)=t3-6t2+11t-6,

the companion matrix is

Cp=(0100016-116).

Since p(t)=(t-1)(t-2)(t-3), the eigenvalues are 1,2,3. For λ=2,

Cp(124)=2(124).

7Another viewpoint: cyclic bases

A companion matrix is also the matrix representation in a cyclic basis巡回基底じゅんかいきてい. If

v,Tv,T2v,,Tn-1v

is a basis, then T shifts each basis vector to the next one, and the last vector is rewritten using the polynomial relation. This viewpoint connects companion matrices to minimal polynomials and later canonical forms.

data/lecture/math/linear-algebra/minimal-polynomial-basics.lecture.n.md data/lecture/math/linear-algebra/introduction-to-jordan-canonical-form.lecture.n.md

8How to recognize when to use this

Use a companion matrix when turning a polynomial root problem into an eigenvalue problem, or when constructing a matrix with a prescribed characteristic polynomial. The adjugate matrix from cofactors is a different object.

9Scope

This lecture treats monic polynomials. A polynomial with nonzero leading coefficient can first be divided by that coefficient. The companion matrix can be defined even when the roots are not in the base field; to see all eigenvalues, one may extend the field.

10Final forms

[PARSE ERROR: Undefined("Command(\"boxed\")")]χCp(t)=p(t)
[PARSE ERROR: Undefined("Command(\"boxed\")")]p(λ)=0λisaneigenvalueofCp
[PARSE ERROR: Undefined("Command(\"boxed\")")]p(λ)=0(1,λ,,λn-1)Tisaneigenvector

11In one sentence

  • A companion matrix accompanies a polynomial by making it the characteristic polynomial.
  • The roots of the polynomial are the eigenvalues of the companion matrix.

12Exercise links

data/exercise/math/linear-algebra/eigenvalues-diagonalization-and-extensions.exercise.n.md
raw .n.md をコピー
loc をコピー (filepath:line ~ line)
copy share link
copy encoded share link
path をコピー
copy share link
copy encoded share link
copy share link
copy encoded share link
タブを全て閉じる