Eigen-decomposition
给定方阵
- 我们这里不考虑
的情况,只针对
1. eigenvalue/eigenvector 数量的限定Permalink
1.1 限定一:eigenvector Permalink
第一个问题:为什么要求
- 注意我们并没有要求
1.2 限定二:只研究 unit eigenvectorPermalink
第二个问题:如果
首先,如果
- 在谈及两个或以上的 eigenvector 时,要求它俩是 linearly independent 的。换言之,如果
是广义上的对应 的 eigenvector,我们只取 直线上的某一个 vector 作为这个方向上 eigenvector 的总代表 - 那这个总代表到底应该选谁?简单,我们选
直线上的 unit vector
1.3 限定三:只计入 unique 的 eigenvaluePermalink
做了这个限定后,还有一种特殊情况要考虑:两个 linearly independent 的 eigenvector
- 只讨论 unique 的 eigenvalue。换言之,允许一个 eigenvalue 对应多个 eigenvector,但计算 eigenvalue 的个数时,这个 eigenvalue 只算一次
1.4 How many eigenvalues/eigenvectors can a general matrix have?Permalink
对于任意的
可以有 个 unique 的 eigenvalue- 如果
有 个 unique 的 eigenvalue,它可以有 个 linearly independent 的 eigenvector
注意:
- 同一个矩阵
,如果我们限定 eigenvalue 的 field,比如说要求 或者 ,eigenvalue 的个数可能会有变化- 同理,
如果是 或是 上的矩阵,也是可以研究 eigenvalue/eigenvector 的
- 同理,
- 为什么不能有
个 eigenvector?因为你 且 linearly independent,那么你 一定可以写成 的线性组合(抽屉原理?),与前面的限制冲突。
1.5 Determine the number of eigenvalues/eigenvectors of a given matrixPermalink
那么紧接着有这么一个问题:给定一个
我们有:
- 视
为未知数。行列式 称为 characteristic polynomial of - 等式
称为 characteristic equation of 的解 (亦即 的 root) 即 的 eigenvalues- 换言之,解的个数即 eigenvalues 的个数
- 再换言之,此时可以把
写成
涉及到 eigenvector 的数量,有:
- 我们称 eigenvalue
具有 algebraic multiplicity of 如果 在 展开式中出现了 次 (换言之 展开式中有 )- 假设我们有
个 unique 的 eigenvalue,各自的 algebraic multiplicity 为 ,那么一定有 - 因为你
展开式的总次数一定是
- 假设我们有
- 我们称 eigenvalue
具有 geometric multiplicity of 如果 对应 个 linearly independent 的 eigenvector - 对同一个 eigenvalue
而言,它的 geometric multiplicity algebraic multiplicity- 证明在此
- 这也从侧面说明,
个 unique 的 eigenvalue 不可能有 个 linearly independent 的 eigenvector
1.6 题外话:与 的关系Permalink
如果
令
又因为
- 如果
,则 ,亦即 is a singular matrix - 这个结果,
,与行列式的几何意义是吻合的- 尤其是限定了 eigenvector 是 unit vector 后就更容易理解了 (想象一个
维的立方体,每条边长度为 1) - 参 Chapter 5 of Digest of Essence of Linear Algebra
- 尤其是限定了 eigenvector 是 unit vector 后就更容易理解了 (想象一个
2. Eigen-decompositionPermalink
当
(这是个 ) ( 不一定 unique)
Then the eigen-decomposition of
Proof:
这个 linear transformation 可以这么理解:
- 先实施
变换,将 basis 换成 的 column vectors stretch 这个新的 basis- 再实施
变换将 basis 再变回来
Eigen-decomposable 的 matrix 也称为 diagonalizable 的。Generally 我们有:
Definition:
Definition:
考虑到 diagonal matrix
3. Sufficient conditions of Eigen-decompositionPermalink
亦即研究
3.1 Condition 1: has linearly independent eigenvectorsPermalink
Obvious.
3.2 Condition 2: has unique eigenvaluesPermalink
Almost obvious.
3.3 Condition 3: is symmetricPermalink
实际上 symmetric matrix 是 orthogonally diagonalizable,即:它不光是 diagonalizable 的,而且它的 eigenvectors 是 orthogonal 的 (如果我们进一步 normalize 每个 eigenvector 的话,得到的
Definition: A real square matrix
- 注意 orthogonal matrix 有
。参 Hadamard Product / Diagonal Matrix / Orthogonal Matrix
Theorem: (The Spectral Theorem)
- 叫 Spectral Theorem 是因为:特征分解 (Eigen-decomposition) 又称谱分解 (Spectral decomposition)
- 矩阵的频谱 (spectrum) 即矩阵的 eigenvalues 的集合
这个证明异常地复杂,需要几个结论来铺垫。(参考)
3.3.1 Fundamental theorem of algebraPermalink
Wikipedia: Fundamental theorem of algebra:
The fundamental theorem of algebra states that every non-constant single-variable polynomial with complex coefficients has at least one complex root. This includes polynomials with real coefficients, since every real number is a complex number with an imaginary part equal to zero.
Equivalently (by definition), the theorem states that the field of complex numbers is algebraically closed.
The theorem is also stated as follows: every non-zero, single-variable, degree n polynomial with complex coefficients has, counted with multiplicity, exactly n complex roots. The equivalence of the two statements can be proven through the use of successive polynomial division.
In spite of its name, there is no purely algebraic proof of the theorem, since any proof must use some form of completeness, which is not an algebraic concept. Additionally, it is not fundamental for modern algebra; its name was given at a time when algebra was synonymous with theory of equations.
3.3.2 每个 symmetric real matrix 至少有一个 unique 的 real eigenvaluePermalink
根据 Fundamental theorem of algebra,
我们要证明,对 symmetric 而言,它所有的 complex eigenvalues 其实都是 real。
Theorem: If
Proof: 首先说一个现象:对任意 complex vector
现在假设
因为
3.3.3 Final ProofPermalink
Proof:
(1)
这里我们对
当
假定结论对
现在有
我们定义 change-of-coordinates matrix w.r.t.
is symmetric because- 它的 first column 是
所以我们可以把
令
再令
最终,我们有:
亦即
(注:其实还有有
(2)
Suppose
所以
3.4 Condition 4: Minimal polynomial of has no repeated factors (i.e. no repeated roots)Permalink
Definition: A monic polynomial is a single-variable polynomial (that is, a univariate polynomial) in which the leading coefficient (the nonzero coefficient of highest degree) is 1. Therefore, a monic polynomial has the form
Definition: A minimal polynomial of
- satisfies
and- 此时也称
是 annihilating polynomial (零化多项式) for
- 此时也称
- has the smallest possible degree (degree 即最高项的次数)
举例:
- 令
, ,但由于 ,所以 minimal polynomial 只需要 就可以了,不需要到 degree 2 - 令
,同样有 ,但只有 而 ,所以 minimal polynomial 需要到 degree 2,即
Theorem: (Cayley-Hamilton theorem) Every square matrix over a commutative ring (such as the real or complex field) satisfies its own characteristic equation. I.e Substituting matrix
- 注意:实际计算时应该先把
展开得到关于 的多项式,再将 替换成 。直接去求 看起来有点 confusing - When the ring is a field, Cayley–Hamilton theorem is equivalent to the statement that the minimal polynomial of a square matrix divides its characteristic polynomial. (即
可以被 整除)
Proposition:
证明略。(参考)
举例:
- 令
, ,只有一个 root 1,所以 is diagonalizable - 令
, ,root 1 是 repeated,所以 is not diagonalizable
Proposition: Any idempotent matrix is diagonalizable.
Proof:
Idempotent matrix
,或者 ,或者
无论哪种情况,
Comments