基变更




在线性代数中，n 维向量空间的基是 n 个向量 α1, ..., αn 的序列，带有所有这个空间中的向量可以唯一的表达为基向量的线性组合的性质。因为经常需要处理一个向量空间的多于一个的基，在线性代数中能够轻易的变换向量的逐坐标表达，和变换关于一个基的线性映射到关于另一个基的等价表达是根本重要的。这种变换叫做基变更。


尽管下面采用了术语向量空间，符号 R 意味着实数域，这里讨论的结果成立只要 R 是交换环，而这里的向量空间可替代为自由 R-模。




目录






  • 1 预备概念


  • 2 坐标变更


  • 3 线性变换的矩阵


    • 3.1 基的变更




  • 4 自同态的矩阵


    • 4.1 基的变更




  • 5 双线性形式的矩阵


    • 5.1 基的变更




  • 6 参考文献


  • 7 外部链接





预备概念


Rn 的平常基是 {e→1,⋯,e→n}{displaystyle {{vec {e}}_{1},cdots ,{vec {e}}_{n}}}{displaystyle {{vec {e}}_{1},cdots ,{vec {e}}_{n}}}，这里的 e→j=(0,⋯,1,0,⋯,0){displaystyle {vec {e}}_{j}=(0,cdots ,1,0,cdots ,0)}{displaystyle {vec {e}}_{j}=(0,cdots ,1,0,cdots ,0)} 是 Rn 的元素，带有 1 在第 j 个位置上其他地方都是 0。


如果 T : Rn → Rm 是线性变换，T 的 m × n 矩阵是对于 j=1,⋯,n{displaystyle j=1,cdots ,n}{displaystyle j=1,cdots ,n} 其第 j 纵列是 T(e→j){displaystyle T({vec {e}}_{j}),}{displaystyle T({vec {e}}_{j}),} 的矩阵 t。在这种情况下我们有 T(x→)=tx→{displaystyle T({vec {x}})=mathbf {t} {vec {x}}}{displaystyle T({vec {x}})=mathbf {t} {vec {x}}} 对于所有 Rn 中的 x，这里我们把 x 当作列向量，在右侧的乘法是矩阵乘法。在线性代数中一个基本事实是从 Rn 到 Rm 的所有线性变换的向量空间 Hom(Rn, Rm) 自然的同构在 R 上的 m × n 矩阵的空间 Rm × n；就是说线性变换 T : Rn → Rm 对于所有目的和用途都等价于它的矩阵 t。


我们还利用下列简单的观察。


定理：设 V 和 W 是向量空间，设 {α1,⋯,αn}{displaystyle {alpha _{1},cdots ,alpha _{n}}}{displaystyle {alpha _{1},cdots ,alpha _{n}}} 是 V 的基，并设 {γ1,⋯,γn}{displaystyle {gamma _{1},cdots ,gamma _{n}}}{displaystyle {gamma _{1},cdots ,gamma _{n}}} 是任何 W 中的 n 个向量。则存在一个唯一的线性变换 T : V → W ，对于 j=1,⋯,n{displaystyle j=1,cdots ,n}{displaystyle j=1,cdots ,n} 有 T(αj)=γj{displaystyle T(alpha _{j})=gamma _{j},}{displaystyle T(alpha _{j})=gamma _{j},}。


这个唯一的 T 定义自 T(x1α1+⋯+xnαn)=x1γ1+⋯+xnγn{displaystyle T(x_{1}alpha _{1}+cdots +x_{n}alpha _{n})=x_{1}gamma _{1}+cdots +x_{n}gamma _{n}}{displaystyle T(x_{1}alpha _{1}+cdots +x_{n}alpha _{n})=x_{1}gamma _{1}+cdots +x_{n}gamma _{n}}。当然，如果 {γ1,⋯,γn}{displaystyle {gamma _{1},cdots ,gamma _{n}}}{displaystyle {gamma _{1},cdots ,gamma _{n}}}碰巧是 W 的基，则 T 是双射又是线性的；换句话说，T 是同构。如果在这种情况下我们还有 W = V，则 T 被称为是自同构。


现在设 V 在 R 上的向量空间并假设 {α1,⋯,αn}{displaystyle {alpha _{1},cdots ,alpha _{n}}}{displaystyle {alpha _{1},cdots ,alpha _{n}}} 是 V 的基。通过定义，如果 ξ 是 V 中的向量，则 ξ=x1α1+⋯+xnαn{displaystyle xi =x_{1}alpha _{1}+cdots +x_{n}alpha _{n}}{displaystyle xi =x_{1}alpha _{1}+cdots +x_{n}alpha _{n}} 是 x1,⋯,xn{displaystyle x_{1},cdots ,x_{n}}x_1, cdots, x_n 在 R 中唯一标量选择，被叫做 ξ 相对于有序基 {α1,⋯,αn}{displaystyle {alpha _{1},cdots ,alpha _{n}}}{displaystyle {alpha _{1},cdots ,alpha _{n}}} 的坐标。 Rn 中的向量 x→=(x1,⋯,xn){displaystyle {vec {x}}=(x_{1},cdots ,x_{n})}{displaystyle {vec {x}}=(x_{1},cdots ,x_{n})} 被叫做 ξ (相对于这个基)的坐标元组。唯一的线性映射 φ : Rn → V，对于 j=1,⋯n{displaystyle j=1,cdots n}{displaystyle j=1,cdots n} 有 ϕ(e→j)=αj{displaystyle phi ({vec {e}}_{j})=alpha _{j},}{displaystyle phi ({vec {e}}_{j})=alpha _{j},}，它被称为对 V 和基 {α1,⋯,αn}{displaystyle {alpha _{1},cdots ,alpha _{n}}}{displaystyle {alpha _{1},cdots ,alpha _{n}}} 的坐标同构。所以 ϕ(x→)=ξ{displaystyle phi ({vec {x}})=xi ,}{displaystyle phi ({vec {x}})=xi ,} 当且仅当 ξ=x1α1+⋯+xnαn{displaystyle xi =x_{1}alpha _{1}+cdots +x_{n}alpha _{n}}{displaystyle xi =x_{1}alpha _{1}+cdots +x_{n}alpha _{n}}。



坐标变更


我们实现检查在 V 中的向量 ξ 的坐标在选择了另一个基的时候怎样变更的问题。假设 {α1,⋯,αn}{displaystyle {alpha _{1},cdots ,alpha _{n}}}{displaystyle {alpha _{1},cdots ,alpha _{n}}} 和 {α1′,⋯,αn′}{displaystyle {alpha '_{1},cdots ,alpha '_{n}}}{displaystyle {alpha '_{1},cdots ,alpha '_{n}}} 是 V 的两个基。设 φ1 和 φ2 是从 Rn 到 V 的对应的坐标同构就是说 ϕ1(e→j)=αj{displaystyle phi _{1}({vec {e}}_{j})=alpha _{j},}{displaystyle phi _{1}({vec {e}}_{j})=alpha _{j},} 而 ϕ2(e→j)=αj′{displaystyle phi _{2}({vec {e}}_{j})=alpha '_{j},}{displaystyle phi _{2}({vec {e}}_{j})=alpha '_{j},} 对于 j=1,⋯,n{displaystyle j=1,cdots ,n}{displaystyle j=1,cdots ,n}。如果 x→=(x1,⋯,xn){displaystyle {vec {x}}=(x_{1},cdots ,x_{n})}{displaystyle {vec {x}}=(x_{1},cdots ,x_{n})} 是 ξ 关于第一个基的坐标 n-元组，因此 ξ=ϕ1(x→){displaystyle xi =phi _{1}({vec {x}}),}{displaystyle xi =phi _{1}({vec {x}}),}，则 ξ 关于第二个基的坐标元组是 ϕ2−1(ξ)=ϕ2−1(ϕ1x→)){displaystyle phi _{2}^{-1}(xi )=phi _{2}^{-1}(phi _{1}{vec {x}}))}{displaystyle phi _{2}^{-1}(xi )=phi _{2}^{-1}(phi _{1}{vec {x}}))}。现在映射 ϕ2−1∘ϕ1{displaystyle phi _{2}^{-1}circ phi _{1}}{displaystyle phi _{2}^{-1}circ phi _{1}} 是在 Rn 上的自同构，因此有一个矩阵 p。此外， p 的第 j 纵列是 ϕ2−1∘ϕ1(e→j)=ϕ2−1(αj){displaystyle phi _{2}^{-1}circ phi _{1}({vec {e}}_{j})=phi _{2}^{-1}(alpha _{j})}{displaystyle phi _{2}^{-1}circ phi _{1}({vec {e}}_{j})=phi _{2}^{-1}(alpha _{j})}，就是说，αj{displaystyle alpha _{j},}{displaystyle alpha _{j},} 关于第二个基 {α1′,⋯,αn′}{displaystyle {alpha '_{1},cdots ,alpha '_{n}}}{displaystyle {alpha '_{1},cdots ,alpha '_{n}}} 的坐标 n-元组。所以 y→=ϕ2−1(ϕ1(x→))=px→{displaystyle {vec {y}}=phi _{2}^{-1}(phi _{1}({vec {x}}))=mathbf {p} {vec {x}}}{displaystyle {vec {y}}=phi _{2}^{-1}(phi _{1}({vec {x}}))=mathbf {p} {vec {x}}} 是 ξ 关于基 {α1′,⋯,αn′}{displaystyle {alpha '_{1},cdots ,alpha '_{n}}}{displaystyle {alpha '_{1},cdots ,alpha '_{n}}} 的坐标 n-元组。



线性变换的矩阵


现在假设 T : V → W 是线性变换，{α1, ..., αn} 是 V 的一个基而 {β1, ..., βm} 是 W 的一个基。设 φ 和 ψ 分别是 V 和 W 的相对于给定基的坐标同构。则映射 T1 = ψ-1 o T o φ 是从 Rn 到 Rm 的线性变换，并因此有一个矩阵 t；它的第 j 纵列是 ψ-1(T(αj)) 对于 j = 1, ..., n。这个矩阵叫做T 关于有序基 {α1, ..., αn} 和 {β1, ..., βm} 的矩阵。如果 η = T(ξ) 并且 y 和 x 是 η 和 ξ 的坐标元组，则 y = ψ-1(T(φ(x))) = tx。反过来，如果 ξ 在 V 中，而 x = φ-1(ξ) 是 ξ 关于 {α1, ..., αn} 的坐标元组，我们设置 y = tx 和 η = ψ(y)，则 η = ψ(T1(x)) = T(ξ)。就是说，如果 ξ 在 V 中而 η 在 W 中并且 x 和 y 是它们的坐标元组，则 y = tx 当且仅当 η = T(ξ)。


定理：假设 U, V 和 W 是有限维的向量空间并为每个选择了有序基。如果 T : U → V 和 S : V → W 是有矩阵 s 和 t 的线性变换，则线性变换 S o T : U → W (关于给定基)的矩阵是 st。



基的变更


现在我们要问 T : V → W 的矩阵在变更在 V 和 W 的基的时候发生了什么。设 {α1, ..., αn} 和 {β1, ..., βm} 分别是 V 和 W 的有序基，并假设给予了第二对基 {α'1, ..., α'n} 和 {β'1, ..., β'm}。设 φ1 和 φ2 是从在 Rn 中的平常基到 V 的第一个和第二个基的坐标同构，并设 ψ1 和 ψ2 是从在 Rm 中的平常基到 W 的第一个和第二个基的同构。


令 T1=ψ1−1∘T∘ϕ1{displaystyle T_{1}=psi _{1}^{-1}circ Tcirc phi _{1}}{displaystyle T_{1}=psi _{1}^{-1}circ Tcirc phi _{1}}，并令 T2=ψ2−1∘T∘ϕ2{displaystyle T_{2}=psi _{2}^{-1}circ Tcirc phi _{2}}{displaystyle T_{2}=psi _{2}^{-1}circ Tcirc phi _{2}}（两者都从 Rn{displaystyle mathbb {R} ^{n}}mathbb {R} ^{n} 映至 Rm{displaystyle mathbb {R} ^{m}}mathbb {R} ^{m}）。令 t1{displaystyle mathbf {t} _{1}}{displaystyle mathbf {t} _{1}} 与 t2{displaystyle mathbf {t} _{2}}{displaystyle mathbf {t} _{2}} 为相应的矩阵。令 p,q{displaystyle mathbf {p} ,mathbf {q} }{displaystyle mathbf {p} ,mathbf {q} } 分别为对应到基变更自同构 ϕ2−1∘ϕ1:Rm→Rm{displaystyle phi _{2}^{-1}circ phi _{1}:mathbb {R} ^{m}to mathbb {R} ^{m}}{displaystyle phi _{2}^{-1}circ phi _{1}:mathbb {R} ^{m}to mathbb {R} ^{m}} 与 ψ2−1∘ψ1:Rn→Rn{displaystyle psi _{2}^{-1}circ psi _{1}:mathbb {R} ^{n}to mathbb {R} ^{n}}{displaystyle psi _{2}^{-1}circ psi _{1}:mathbb {R} ^{n}to mathbb {R} ^{n}} 的矩阵。




由於我们有 T2=ψ2−1∘T∘ϕ2=(ψ2−1∘ψ1)∘T1∘(ϕ1−1∘ϕ2){displaystyle T_{2}=psi _{2}^{-1}circ Tcirc phi _{2}=(psi _{2}^{-1}circ psi _{1})circ T_{1}circ (phi _{1}^{-1}circ phi _{2})}{displaystyle T_{2}=psi _{2}^{-1}circ Tcirc phi _{2}=(psi _{2}^{-1}circ psi _{1})circ T_{1}circ (phi _{1}^{-1}circ phi _{2})}，又因为线性映射的合成对应到矩阵乘法，遂得到


t2=qt1p−1{displaystyle mathbf {t} _{2}=mathbf {q} mathbf {t} _{1}mathbf {p} ^{-1}}{displaystyle mathbf {t} _{2}=mathbf {q} mathbf {t} _{1}mathbf {p} ^{-1}}


自同态的矩阵


线性变换的矩阵的一个重要情形是自同态的矩阵，亦即从一个向量空间 V{displaystyle V}V 至其自身的线性映射，换言之就是 W = V 的情形。我们可以自然地取基 {β1, ..., βn} = {α1, ..., αn} 与 {β'1, ..., β'm} = {α'1, ..., α'n}。此时线性映射 T 的矩阵必为方阵。



基的变更


套用同样的基变更，使得 q = p，而基变更公式遂写成



t2 = p t1p-1.

在此情形下，可逆矩阵 p 被称为向量空间 V 的基变更矩阵，而上述等式言明 t1 与 t2 是相似矩阵。



双线性形式的矩阵


於域 R 的向量空间 V 上的双线性形式是一个映射 V × V → R，使得它对两个参数都是线性的，也就是说



v↦B(v,w){displaystyle vmapsto B(v,w)}{displaystyle vmapsto B(v,w)}

v↦B(w,v){displaystyle vmapsto B(w,v)}{displaystyle vmapsto B(w,v)}


对任何固定的 w 都是线性的。此定义可推广至於交换环的模，此时须将线性映射换为模同态。


对应於基 α1,…,αn{displaystyle alpha _{1},dots ,alpha _{n}}{displaystyle alpha _{1},dots ,alpha _{n}} 的 Gram 矩阵 G 定义为



Gi,j=B(αi,αj){displaystyle G_{i,j}=B(alpha _{i},alpha _{j}),}{displaystyle G_{i,j}=B(alpha _{i},alpha _{j}),}.

若 v, w 以此基表成



v=∑ixiαi{displaystyle v=sum _{i}x_{i}alpha _{i}}{displaystyle v=sum _{i}x_{i}alpha _{i}}

w=∑iyiαi{displaystyle w=sum _{i}y_{i}alpha _{i}}{displaystyle w=sum _{i}y_{i}alpha _{i}}


则该双线性形式由下式给出



B(v,w)=x⊤Gy{displaystyle B(v,w)=x^{top }Gy,}{displaystyle B(v,w)=x^{top }Gy,} .

若 B 是对称双线性形式，则对应的矩阵会是对称矩阵。



基的变更


若矩阵 P 表示从 α1,…,αn{displaystyle alpha _{1},dots ,alpha _{n}}{displaystyle alpha _{1},dots ,alpha _{n}} 至 α1′,…,αn′{displaystyle alpha '_{1},dots ,alpha '_{n}}{displaystyle alpha '_{1},dots ,alpha '_{n}} 的基变更，则两组基的 Gram 矩阵依下式变换：


G′=P⊤GP{displaystyle G'=P^{top }GP,}{displaystyle G'=P^{top }GP,}


参考文献





外部链接



  • MIT Linear Algebra Lecture on Change of Bases at Google Video, from MIT OpenCourseWare



Comments

Post a Comment

Popular posts from this blog

Monte Carlo

Image
For other uses, see Monte Carlo (disambiguation). Quarter and ward of Monaco in Monaco Monte Carlo Quarter and ward of Monaco Monte Carlo in Monaco (Ward shown) Monte Carlo Location in relation to France Coordinates: 43°44′23″N 7°25′38″E  /  43.73972°N 7.42722°E  / 43.73972; 7.42722 Coordinates: 43°44′23″N 7°25′38″E  /  43.73972°N 7.42722°E  / 43.73972; 7.42722 Country   Monaco Government  • Type Principality Area  • Urban 0.61 km 2 (.234 sq mi) Population  • Quarter and ward of Monaco 15,200 (in the quarter)  3,500 (in the ward) Postcode 98000 Monte Carlo ( / ˈ m ɒ n t i ˈ k ɑːr l oʊ / ; Italian:  [ˈmonte ˈkarlo] ; French: Monte-Carlo [mɔ̃te kaʁlo] , or colloquially Monte-Carl [mɔ̃te kaʁl] ; Monégasque: Munte Carlu ) officially refers to an administrative area of the Principality of Monaco, specifically the ward of Monte Carlo/Spélugues, where the Monte Carlo Casino is located. Informally the name also refers to a ...
Read more

Information security

Image
This article is part of a series on Information security Related security categories Internet security Cyberwarfare Computer security Mobile security Network security Threats Computer crime Vulnerability Eavesdropping Malware Spyware Ransomware Trojans Viruses Worms Rootkits Bootkits Keyloggers Screen scrapers Exploits Backdoors Logic bombs Payloads Denial of service Defenses Computer access control Application security Antivirus software Secure coding Secure by default Secure by design Secure operating systems Authentication Multi-factor authentication Authorization Data-centric security Encryption Firewall Intrusion detection system Mobile secure gateway Runtime application self-protection (RASP) v t e Information security , sometimes shortened to InfoSec , is the practice of preventing unauthorized access, use, disclosure, disruption, modification, inspection, recording or destruction of information. Th...
Read more

章鱼与海女图

Image
本条目 可参照英語維基百科相應條目来扩充 。 （2014/5/25） 若您熟悉来源语言和主题，请协助参考外语维基扩充条目。请勿直接提交机械翻译，也不要翻译不可靠、低品质内容。依版权协议，译文需在编辑摘要注明来源，或于讨论页顶部标记 {{Translated page}} 标签。 本条目 需要擴充。 （2013年8月15日） 请協助改善这篇條目，更進一步的信息可能會在討論頁或扩充请求中找到。请在擴充條目後將此模板移除。 《 章鱼与海女 》（日语： 蛸と海女 ／ たことあま   Tako to ama ）是一幅由日本畫家葛饰北斋创作的浮世绘，出自1814年（文化4年）出版的艳本《喜能会之故真通》（日语： 喜能会之故真通 ／ きのえのこまつ   Kinoe no Komatsu ）。畫中有兩隻章鱼以觸手攻擊一名採珠的海女，並進行擬似戀獸癖的交媾行為。作品尺寸为6½" × 8¾" （16.51 cm × 22.23 cm）。 [1] 在此之前的类似作品还有北尾重政的艳本《謡曲色番組》及勝川春潮的艳本《艳本千夜多女志》等，有被北斋作为参考的可能性。 《章鱼与海女图》有不同英文翻译，一般称The Dream of the Fisherman's Wife，又作Girl Diver and Octopi、Diver and Two Octopi，Richard Douglas Lane称其为 Girl Diver and Octopi [2] ，Mathi Forrer 称其为 Pearl Diver and Two Octopi [3] ，Danielle Talerico 称其为 Diver and Two Octopi 。 [4] 目录 1 作品介绍 1.1 画中对话 1.2 解释 2 评价 3 影响 3.1 模仿作品 4 另见 5 参考来源 6 外部連結 作品介绍 画中对话 原文 译文 大蛸： いつぞハいつぞハとねらいすましてゐたかいがあつて、けふといふけふ、とうとうとらまへたア。てもむつくりとしたいいぼぼだ。いもよりハなをこうぶつだ。サアサア、すつてすつてすいつくして...
Read more