俱乐部网站 模板,因酷西安网站建设公司怎么样,站长工具权重,盐城网页制作哪家好前言
《线性空间》定义了空间#xff0c;这章节来研究空间与空间的关联性
函数
函数是一个规则或映射#xff0c;将一个集合中的每个元素#xff08;称为自变量#xff09;映射到另一个集合中的唯一元素#xff08;称为因变量#xff09;。 一般函数从 “A” 的每个元…前言
《线性空间》定义了空间这章节来研究空间与空间的关联性
函数
函数是一个规则或映射将一个集合中的每个元素称为自变量映射到另一个集合中的唯一元素称为因变量。 一般函数从 “A” 的每个元素指向 “B” 的一个函数 它不会有一个 “A” 的元素指向多于一个 “B” 的元素所以一对多在函数是不允许的“f(x) 7 或 9” 是不允许的 但多于一个 “A” 的元素可以指向同一个 “B” 的元素多对一是允许的
单射的意思是 “A” 的每个元素都有 它独有的在 “B” 的相对元素。单射也称为 “一对一”。但可以有些 “B” 的元素没有相对的 “A” 的元素。单射存在可逆函数使得B对A单射满射每个所有 “B” 的元素都有至少一个相对的 “A” 的元素可能多于一个。双射单射和满射都成立。
线性空间的同构 同构映射具有反身性、对称性与传递性。内积空间同构还需要满足内积不变, ∀ α , β ∈ V , 有 ( σ ( α ) , σ ( β ) ) ( α , β ) \forall \alpha,\beta \in V, 有(\sigma(\alpha),\sigma(\beta)) (\alpha, \beta) ∀α,β∈V,有(σ(α),σ(β))(α,β) 使用单射满射满足性线空间性质的称为同态了解下 线性变换
把上述同构定义中的 V ′ V V′换成 V V V,即 V V V空间通过双射函数到 V V V空间的映射。称为“自同构”。如果是“单射”或者“满射”函数映射则称为“自同态”。也称叫“线性变换”。 线性变换linear transformation是线性空间V到其自身的线性映射 线性变换的矩阵 从公式可得因为最终值是不变的如果基组选取不同A矩阵会变动
线性变换不同基下的矩阵
由上面的关系式可以看出若选定不同的基则同一个线性变换在不同基下面的矩阵是不同的但是这两个矩阵之间存在着一种特殊的关系 矩阵 A A A和矩阵 B B B 之间的这种关系为相似关系即同一个线性变换在不同基下的矩阵是相似的。即有相似矩阵的性质
矩阵的相似对角化
上面讲述了线性变换在不同基下的矩阵之间的关系知道了线性变换在不同基下的矩阵是相似的。进而我们可以通过选取不同的基使得线性变换在这组基下的矩阵的形式最简单由于对角矩阵具有良好的性质因此我们希望通过选取合适的基使得线性变换在这组基下的矩阵是对角矩阵。怎么找到对角矩阵 Λ \Lambda Λ Λ P − 1 A P \Lambda P^{-1}AP ΛP−1AP A是已知 φ \varphi φ,问题等价于寻找一个可逆矩阵P 反过来若 A A A是可相似对角化那么 A A A是否有n个线性无关的特征向量呢 综上矩阵 A A A可相似对角化的充分必要条件是矩阵 A A A有n个线性无关的特征向量 求相似对角化矩阵
已知 Λ P − 1 A P , { ε } P { η } \Lambda P^{-1}AP, \{\varepsilon\}P \{\eta\} ΛP−1AP,{ε}P{η}, P是过渡矩阵假设 { ε } \{\varepsilon\} {ε}是欧式空间的标准正交基组已矩阵A验证充分必要条件矩阵 A A A有n个线性无关的特征向量将n个线性无关的特征向量组建新的基组{ β \beta β}为了更方便的计算我们将基组{ β \beta β}施密特正交化求出标准正交基本组{ η \eta η}根据 { ε } P { η } \{\varepsilon\}P \{\eta\} {ε}P{η}得 P { η } P\{\eta\} P{η}代入公式 Λ P − 1 A P \Lambda P^{-1}AP ΛP−1AP,得对角矩阵 Λ \Lambda Λ 具体计算过程实对称矩阵的对角化 对于n维线性空间V上的线性变换A如果能够找到一个基{ a 1 , a 2 , . . . a n a_1,a_2,...a_n a1,a2,...an}使得在此基下的矩阵A是对角矩阵那么称A是可对角化。但是如果A不能对角化呢我们便退而求其次找到一个基{ a 1 , a 2 , . . . a n a_1,a_2,...a_n a1,a2,...an}使得在此基下的矩阵A是分块对角矩阵。
不变子空间 A \Alpha A是线性变换 Im A \operatorname{Im} A ImA 是指线性变换 A 的值域Image也被称为像空间或范围。它表示所有通过该线性变换 A 映射到的向量的集合。 Ker A \operatorname{Ker} A KerA是指线性变换A的核空间Kernel也被称为零空间Null Space。它表示所有在该线性变换下映射到零向量的向量的集合。A的特征子空间Eigenspace是指在线性变换A下与给定特征值 λ {\lambda} λ相对应的所有特征向量构成的子空间 V λ {V_\lambda} Vλ。
一些重要不变子空间 Im A \operatorname{Im} A ImA或V空间本身 任取 a ∈ V , A a ∈ V a \in V, Aa \in V a∈V,Aa∈V A a ∈ Im A , A ( A a ) ∈ Im A Aa \in \operatorname{Im} A, A(Aa) \in \operatorname{Im} A Aa∈ImA,A(Aa)∈ImA Ker A \operatorname{Ker} A KerA或0空间 A的特征子空间 假设V在A线性变化下有一特征值为 λ {\lambda} λ对应特征向量组成的空间为A的特征子空间记 V λ {V_\lambda} Vλ. 任取 a ∈ V λ , A a λ a ∈ V λ a \in V_{\lambda},Aa\lambda a \in V_{\lambda} a∈Vλ,Aaλa∈Vλ 设B也是V上的线性变换如果A和B可交换那么 Im B , Ker B , B \operatorname{Im} B,\operatorname{Ker} B,B ImB,KerB,B的特征子空间 是A-子空间 V上的线性变换A的不变子空间的和与交仍是A的不变子空间. a ∈ A 1 − , b ∈ A 2 − , a b ∈ A 1 − ⊕ A 2 − a \in A_1-, b \in A_2-, ab \in A_1- \oplus A_2- a∈A1−,b∈A2−,ab∈A1−⊕A2− A ( a b ) A a A b ∈ A − ⊕ B − A(ab) Aa Ab \in A- \oplus B- A(ab)AaAb∈A−⊕B−
线性变换在不变子空间上的限制 不变子空间与线性变换的矩阵化简 把基本不变子空间W分成 ( ε w , ε o t h r e r ) (\varepsilon_w,\varepsilon_{othrer}) (εw,εothrer),又因为 A 1 A_1 A1是W的线性变化在 ε w \varepsilon_w εw下必是 ε w A 1 \varepsilon_wA_1 εwA1.即当仅仅当矩阵满足以下形状 ( A 1 A 2 0 A 3 ) \begin{pmatrix} A_1 A_2\\ 0 A_{3} \end{pmatrix} (A10A2A3) 才能满足需求。 即V的线性变换A可分块对角矩阵化的充要条件是 V可分解为A的不变子空间的直和
Hamilton-Cayley定理与值和分解 即将特征多项式 f ( λ ) λ I − A ∣ f(\lambda)\lambda I-A| f(λ)λI−A∣ 再根据多项式因式分解得 f ( λ ) f 1 ( λ ) f 2 ( λ ) . . . f n ( λ ) 0 f(\lambda)f_1(\lambda)f_2(\lambda)...f_n(\lambda) 0 f(λ)f1(λ)f2(λ)...fn(λ)0 其中 f 1 ( λ ) f 2 ( λ ) . . . f n ( λ ) f_1(\lambda)f_2(\lambda)...f_n(\lambda) f1(λ)f2(λ)...fn(λ)互为素数 V Ker f ( λ ) Ker f 1 ( λ ) ⨁ Ker f 2 ( λ ) ⨁ . . . ⨁ Ker f n ( λ ) V\operatorname{Ker}f(\lambda)\operatorname{Ker}f_1(\lambda) \bigoplus \operatorname{Ker}f_2(\lambda)\bigoplus...\bigoplus\operatorname{Ker}f_n(\lambda) VKerf(λ)Kerf1(λ)⨁Kerf2(λ)⨁...⨁Kerfn(λ) 将 f ( λ ) f(\lambda) f(λ)进一步分解 f ( λ ) ( λ − λ 1 ) r 1 ( λ − λ 2 ) r 2 . . . ( λ − λ n ) r n f(\lambda)(\lambda-\lambda_1)^{r_1}(\lambda-\lambda_2)^{r_2}...(\lambda-\lambda_n)^{r_n} f(λ)(λ−λ1)r1(λ−λ2)r2...(λ−λn)rn 再线性变换A代入得 V Ker ( ( A − λ 1 I ) r 1 ) ⨁ Ker ( ( A − λ 2 I ) r 2 ) ⨁ . . . ⨁ Ker ( ( A − λ n I ) r n ) V\operatorname{Ker}((A-\lambda_1 I)^{r_1}) \bigoplus \operatorname{Ker}((A-\lambda_2I)^{r_2})\bigoplus...\bigoplus\operatorname{Ker}((A-\lambda_n I)^{r_n}) VKer((A−λ1I)r1)⨁Ker((A−λ2I)r2)⨁...⨁Ker((A−λnI)rn)
其中 Ker ( ( A − λ n I ) r n ) , n 1 , 2... s \operatorname{Ker}((A-\lambda_n I)^{r_n}), n1,2...s Ker((A−λnI)rn),n1,2...s,称为根子空间 对角矩阵中的每个分块矩阵对应着不同特征值 λ \lambda λ对应的空间 λ矩阵
所谓 λ \lambda λ矩阵实际上我们并不陌生在学习线性变换的特征值与特征向量时我们引入了线性变换的特征矩阵 λ E − A \lambda E-A λE−A , 其中 A A A是数域 P P P上的n维线性空间 V V V中的线性变换 A A A 在某一组基 ε 1 , ε 2 , . . . ε 3 \varepsilon_1,\varepsilon_2,...\varepsilon_3 ε1,ε2,...ε3下的矩阵这个特征矩阵 λ E − A \lambda E-A λE−A 就是一个 λ \lambda λ矩阵. 在我们学习数字矩阵时矩阵当中的每一个位置都放置一个数字元素而如果将数字矩阵当中的数字全部替换成数域 P P P上的一元多项式环 P [ λ ] P[\lambda] P[λ]中的一元多项式 f ( λ ) f(\lambda) f(λ)那么对应得到的新的矩阵就称之为 λ \lambda λ矩阵. 关于一元多项式环请参考《补充P4关于环的知识》 由于一元多项式环 P [ λ ] P[\lambda] P[λ]中的多项式之间的运算——加法、减法、乘法与数字之间的加、减、乘遵循同样的运算规律因此对于 λ \lambda λ矩阵我们可以类似的定义 λ \lambda λ矩阵之间的加法、数乘以及乘法这些运算与数字矩阵具有完全相同的运算规律。、以定义 n × n n × n n×n的 λ \lambda λ矩阵.所对应的行列式它与数字矩阵的行列式具有完全相同的性质. 矩阵乘积的行列式等于行列式的乘积这一结论同样是成立的 λ \lambda λ矩阵.的子式的概念其与数字矩阵的子式的概念也是完全类似的 λ \lambda λ矩阵可逆的定义与数字矩阵中的可逆的矩阵的定义是类似的 λ \lambda λ矩阵可逆条件是 ∣ A ( λ ) ∣ d |A(\lambda)|d ∣A(λ)∣d λ \lambda λ矩阵的初等行列变换
互换矩阵中任意两行列的位置将矩阵中的任意一行列乘以一个非零常数将矩阵的任意一行列乘以任意 φ ( λ ) \varphi(\lambda) φ(λ)后加到另外一行列上。 在数字矩阵中如果两个数字矩阵 A A A和 B B B 可以经过初等变换互化那么我们称这两个矩阵是等价的同样的我们也可以定义 λ \lambda λ矩阵的等价的概念。
标准型 λ \lambda λ矩阵在进行初等变换后能够将矩阵化简成简单标准的模型。 有了上面的引理我们就可以得到下面的重要定理。
对于正整数 k k k 1 ≤ k ≤ r 1\leq k \leq r 1≤k≤r A ( λ ) A(\lambda) A(λ)中必有非零的 k k k级子式 A ( λ ) A(\lambda) A(λ) 中全部 k k k级子式的首项系数为1的最大公因式 D k ( λ ) D_k(\lambda) Dk(λ)称为 A ( λ ) A(\lambda) A(λ)的 k k k级行列式因子。等价的 λ \lambda λ矩阵具有相同的秩与相同的各级行列式因子
这种最简单的矩阵称为 A ( λ ) A(\lambda) A(λ)的标准形,且是唯一的。
两个 λ \lambda λ矩阵等价的充要条件是它们有相同的行列式因子或者它们有相同的不变因子
初等因子
初等因子就是组成不变因子的“砖块”如果不变因子 d k ( λ ) ( λ − 1 ) 2 ( λ − 1 ) d_k(\lambda)(\lambda-1)^2(\lambda-1) dk(λ)(λ−1)2(λ−1) 对应的初等因子就是 ( λ − 1 ) 2 、 ( λ − 1 ) (\lambda-1)^2、(\lambda-1) (λ−1)2、(λ−1).
标准型的可逆条件 同样相似矩阵的性质也适用 λ \lambda λ矩阵 A A A与 B B B 相似的充要条件是它们的特征矩阵 λ E − A \lambda E-A λE−A与 λ E − B \lambda E-B λE−B等价。相似 A A A与 B B B ⟺ \iff ⟺有相同的不变因子 ⟺ \iff ⟺有相同的初等因子
若尔当(Jordan)标准形
Jordan标准形即分块对角阵 矩阵的若尔当标准形是为了解决那些不可相似对角化的矩阵的化简问题我们知道如果一个矩阵可以进行相似对角化那么这个矩阵的一些运算就可以被极大的简化由于相似矩阵之间具有很多的相似不变量特征多项式、特征值、矩阵的行列式、矩阵的迹、最小多项式、不变因子、行列式因子、初等因子。因此如果一个矩阵能够相似一个形式简单的矩阵那么在求上述相似不变量时就可以很容易的得到。
诺尔当块 J 0 J_0 J0的初等因子只有 ( λ − λ 0 ) n (\lambda-\lambda_0)^n (λ−λ0)n其中的 λ 0 \lambda_0 λ0就是对角线上的元素诺尔当块 J 1 , J 2 , . . . J x J_1,J_2,...J_x J1,J2,...Jx的初等因子分别为 ( λ − λ 1 ) k 1 , ( λ − λ 2 ) k 2 , . . . , ( λ − λ s ) k s (\lambda-\lambda_1)^{k_1},(\lambda-\lambda_2)^{k_2},...,(\lambda-\lambda_s)^{k_s} (λ−λ1)k1,(λ−λ2)k2,...,(λ−λs)ks,它们组合起来的诺尔当型 J J J的初等因子即是每个块的对角线元素 λ 0 \lambda_0 λ0与阶数 k i k_i ki的组合
于是每个拥相同的初等因子的矩阵就都相似于 J J J对于任意的矩阵 A A A ,它的特征矩阵 λ E − A \lambda E-A λE−A 得到其初等因子为 ( λ − λ 1 ) k 1 , ( λ − λ 2 ) k 2 , . . . , ( λ − λ s ) k s (\lambda-\lambda_1)^{k_1},(\lambda-\lambda_2)^{k_2},...,(\lambda-\lambda_s)^{k_s} (λ−λ1)k1,(λ−λ2)k2,...,(λ−λs)ks. 主要参考
《单射、满射和双射》 《高等代数】线性空间的同构》 《线性同构与欧氏空间同构》 《什么是矩阵对角化》 《浅谈线性变换和矩阵之间的关系》 《浅谈矩阵的相似对角化一》 《线性代数实对称矩阵的对角化》 《不变子空间》 《【高等代数(丘维声著笔记】6.8线性变换的不变子空间》 《补充P4关于环的知识》 《矩阵的初等变换》 《浅谈λ—矩阵与矩阵的若尔当标准形》 《laji高代题纲——λ-矩阵》
