线性映射
線性映射(英語:linear map)是於向量空間之間,保持向量加法和标量乘法的函數,所以線性映射也是向量空間間的同态[1]。
線性算子(英語:linear operator)與線性轉換(英語:linear transformation)是與線性映射相關的慣用名詞,但其實際意義存在許多分歧,詳見相關名詞一節。
正式定义 编辑
这等價於要求 對任意向量 和任意标量 須滿足
若要特別強調标量所在的母集合是域 ,會特稱 為 -線性映射。如對复数的共軛運算 是 -線性映射(因為取實數為标量才會有齐次性)。
線性泛函 编辑
域本身就是定義在自己之上(也就是以自己為标量母集合)的向量空間,所以如 的線性映射被特稱為線性泛函。線性泛函分析就是不預先假設基底存在性的高等線性代数(也就是直觀來說,無窮維或是不可數維度的向量空間)。線性泛函分析是泛函分析最成熟的分支,但泛函分析最早研究的是有關向量空間 上的实值函数(它们一般是非線性映射)的變分问题。
注意事項 编辑
- 本条目所定义的“線性”与“函数图像是条直线”間有根本的区别(可见下文的举例说明),请勿混淆。
- 線性映射可以复合,但一般不能随便交換复合的先后顺序;如“给函数乘上 ”和“对函数进行微分”都是線性算子(可见下文的举例说明),但对一个函数“先乘上 再进行微分”和“先进行微分再乘上 ”所得到的结果一般是不一样的。[2]
- 由“可加性”不可能推导出“齐次性”,由“齐次性”也不可能推导出“可加性”,所以这2条件对于“線性”的定义缺一不可。[3]
相關名詞 编辑
線性變換和線性算子与本条目的線性映射密切相關,但不同作者对它們有不同的定義。而這種定義分歧的根源在於,如 這樣,定義域和值域落在同個向量空間的特殊線性映射,有些人為了凸顯而予之不同的稱呼。
比如Axler和龔昇就稱這種特殊線性映射為線性算子[4][5],但另一方面將線性映射和線性變換視為同義詞;李尚志則将這種特殊線性映射称为線性變換[6];而泛函分析的書籍一般將三者都視為同義詞[7][8]。
但為清晰起見,本条目一律以線性映射稱呼,其他的細節都以函數的慣用符號表達。
例子 编辑
- 对于实数,映射 不是線性的。
- “给函数乘上 ”是一种線性映射。[9]设 是由全体连续函数所组成的函数空間,則此运算也是空間 中的算子。
- 后向移位(backward shift)运算是一种線性映射。即把无穷维向量 的第一个坐标划去: 。[9]
- 如果 和 为在域 上的有限维向量空間,則从線性映射 到在后面所描述的 矩阵的函数也是線性映射。[9]
矩阵 编辑
若向量空間 和 都是有限維的,且它們定義在同個标量域 上,則从 到 的所有線性映射可以用矩阵表示。反之亦然,下面將詳述如何表示。
以矩陣表示线性映射 编辑
假設 是個線性映射,且
分別是 和 的基底。
根據基底 的基本定義,對於每個基向量 ,存在唯一一組标量 使得
直觀上,标量 就是對基向量 的作用結果 ,在基底 下的諸分量。
現在任取一個 裡的向量 ,因為基底 的基本定義,存在唯一一組标量 使得
這樣根據求和符号的性質,可以得到
然後考慮到 ,所以根據基底 的基本定義,存在唯一一組标量 使得
考慮到矩陣乘法的定義,上式可以改寫為
也就是說,只要知道 在 下的諸分量 ,任意向量 的作用結果 ,都可以表示為矩陣 與行向量 的乘積。更直觀的來說,矩陣 就是把 的諸分量沿行(column)擺放所構成的。
由上面的推導可以知道,不同的基底 和 下,矩陣 也不同,為了強調這點,也會將矩陣 記為
來強調這種關聯性。
若 ,在同個向量空間 通常沒有取不同基底的必要,那上面的推導可以在 的前提下進行。這時上式可以進一步簡寫為
以线性映射表示矩陣 编辑
若有由 個标量構成的矩陣 ,如果取 為
其中
因為矩陣乘法只有唯一的結果,上面的定義的確符合函数定義的基本要求。然後考慮 和 都可以視為定義在同個标量域 上的向量空间,而且矩陣乘法是線性的,所以上述定義的函數 的確符合线性映射的基本定義。
用矩阵表示線性映射的原因和好处 编辑
- 把線性映射写成具体而简明的2维数阵形式后,就成了一种矩阵。进而由線性映射的加法规則和复合规則来分别定义矩阵的加法规則和乘法规則是很自然的想法。[12]当空間的基变化(坐标系變換)时,線性映射的矩阵也会有规律地变化。在特定的基上研究線性映射,就转化为对矩阵的研究。利用矩阵的乘法,可以把一些線性系统的方程表达得更紧凑(比如把線性方程组用矩阵表达和研究),也使几何意义更明显。矩阵可以分块计算,可以通过适当的變換以“解耦”(把复杂的變換分解为一些简单變換的组合)。要求出一个線性變換的秩,先写出其矩阵形式几乎是不可避免的一个步骤。
- 遇到 这样的加上了1个常量的非線性映射可以通过增加1个维度的方法,把變換映射写成2×2维的方形矩阵形式,从而在形式上把这一类特殊的非線性映射转化为線性映射。这个办法也适用于处理在高维線性變換上多加了一个常向量的情形。这在计算机图形学和刚体理论(及其相關机械制造和机器人学)中都有大量应用。
- 对角化的矩阵具有诸多优点。線性映射在写成矩阵后可以进行对角化(不能对角化的矩阵可以化简成接近对角矩阵的准对角矩阵),从而可以获得对角化矩阵拥有的独特优势(极大地简化乘法运算,易于分块,容易看出与基的选取无關的不变量)。比如,对于作用于同一个空間的可对角化的方形矩阵 ,要求出 自乘 次后的结果 ,一个一个慢慢地乘是很麻烦的事情。而知道对角化技巧的人会发现,在将这矩阵对角化后,其乘法运算会变得格外简单。实际应用中有很多有意思的问题或解题方法都会涉及到矩阵自乘n次的计算,如1阶非齐次線性递推数列通项公式的線性代数求解法和马尔可夫链的极限状态(极限分布)的求解。線性代数及矩阵论的一个主要问题就是寻找可使矩阵对角化的条件或者可使矩阵化简到含很多个0的条件[13],以便简化计算(这是主要原因之一)。
線性映射的矩阵的例子 编辑
二维空間 的線性變換的一些特殊情况有:
从给定線性映射构造新的線性映射 编辑
两个線性映射的复合映射是線性的:如果 和 是線性的,則 也是線性的。
如果 和 是線性的,則它们的和 也是線性的(这是由 定义的)。
如果 是線性的,而a是基础域K的一个元素,則定义自 (af)(x) = a (f(x))的映射af也是線性的。
所以从 到 的線性映射的集合 自身形成在 上的向量空間,有时指示为 。进一步的说,在 的情况中,这个向量空間(指示为 )是在映射复合下的结合代数,因为两个線性映射的复合再次是線性映射,所以映射的复合总是结合律的。
给定有限维的情况,如果基已经选择好了,則線性映射的复合对应于矩阵乘法,線性映射的加法对应于矩阵加法,而線性映射与标量的乘法对应于矩阵与标量的乘法。
自同态線性映射 编辑
此章节需要扩充。 (2016年6月2日) |
自同态的線性映射在泛函分析和量子力学中都有很重要的地位。按前文约定,我们用“線性算子”来简称它。(注意泛函分析中所说的“線性算子”不一定是自同态(endomorphism)映射,但我们为了照顾不同书籍的差异以及叙述的方便,暂用“線性算子”来称呼这种自同态。)
自同态和自同构 编辑
自同态是一个数学对象到它本身的保持結構的映射(同态),例如群 的自同态則是群同态 。對於向量空間 ,其自同态是線性算子 ;所有这种自同态的集合 与如上定义的加法、复合和标量乘法一起形成一个结合代数,带有在域 上的单位元(特别是一个环)。这个代数的乘法单位元是恒等映射 。
若 的自同态也剛好是同构則稱之為自同构。两个自同构的复合再次是自同构,所以 的所有的自同构的集合形成一个群, 的自同构群可表为 或 。因为自同构正好是那些在复合運算下擁有逆元的自同态,所以 也就是在环 中的可逆元群。
如果 之维度 有限 同构於带有在 中元素的所有 矩阵構成的结合代数,且 的自同态群同构于带有在 中元素的所有 可逆矩阵構成的一般線性群 。
量子力学应用 编辑
核、像和秩-零化度定理 编辑
是 的子空間,而 是 的子空間。下面的叫做秩-零化度定理的维度公式经常是有用的:
的数也叫做“ 的秩”(rank)并写为 ,有时写为 ; 的数也叫做“ 的零化度”(nullity)并写为 。如果 和 是有限维的,基已经选择好并且 被表示为矩阵 ,則 的秩和零化度分别等于矩阵 的秩和零化度。
推广 编辑
参见 编辑
脚注与参考资料 编辑
脚注 编辑
- ^ 见Lax 2010,第7頁(位于第2章“线性映射”第1节“线性映射生成的代数”)。
- ^ 见Axler 2009,第41頁(位于第3章“线性映射”第1节“定义与例子”)。
- ^ 见Axler 2009,第59頁(位于第3章“线性映射”末尾习题旁的说明)。
- ^ 见龚昇《线性代数五讲》第1讲第10页。
- ^ 见Axler 2009,第38頁(位于第3章“线性映射”第1节“定义与例子”)。
- ^ 李尚志. 第6章“线性变换”第4节“线性变换”. 线性代数 第1版. 高等教育出版社. 2006: 326. ISBN 7-04-019870-3.
则V到自身的线性映射称为V的线性变换(linear transformation)。
- ^ А·Н·柯尔莫哥洛夫,佛明(С. В. Фомин). 第4章“线性泛函与线性算子”第5节“线性算子”. Элементы теории функций и функционального анализа [函数论与泛函分析初步]. 俄罗斯数学教材选译. 段虞荣 (翻译),郑洪深 (翻译),郭思旭 (翻译) 原书第7版,中译本第2版. 高等教育出版社. 2006年: 162. ISBN 7-04-018407-9.
- ^ 见Lax 2010,第131頁(位于第15章“有界线性映射”的开头部分)。原文为“线性映射也称为线性算子或线性变换”。
- ^ 9.0 9.1 9.2 9.3 9.4 9.5 见Axler 2009,第38-39頁(位于第3章“线性映射”第1节“定义与例子”)。
- ^ 见Artin 2010,第156頁。(位于第6章“Symmetry”第1节“ Symmetry of the Plane Figures”)
- ^ Walter Rudin. 第1章“Topological Vector Spaces”中的“Linear mappings”一节. Functional Analysis [泛函分析]. Higher mathematics series. McGraw-Hill Book Company. 1973: 13.
- ^ 见Axler 2009,第51頁(位于第3章“线性映射”第3节“线性映射的矩阵”)。
- ^ 见Axler 2009,第82頁(位于第5章“本征值与本征向量”第3节“上三角矩阵”)。
- ^ 其证明只需要用到三角函数的基础知识,在网上很容易找到证明过程。也可参见Feynman第11章“Vectors”第3节“Rotations”。
脚注所引资料 编辑
- Michael Artin. Algebra [代数] 2. Pearson. 2010. ISBN 978-0132413770.
- Sheldon Axler. Linear Algebra Done Right [线性代数应该这样学]. 图灵数学•统计学丛书. 杜现昆 (汉译者); 马晶 (汉译者). 人民邮电出版社. 2009. ISBN 9787115206145 (中文(中国大陆)).
- Peter D. Lax. Functional Analysis [泛函分析]. 图灵数学·统计学丛书. 侯成军 (翻译); 王利广 (翻译). 人民邮电出版社. 2010. ISBN 978-7-115-23174-1.
- Richard Feynman. The Feynman Lectures on Physics [费曼物理学讲义] 1. Addison-Wesley. 1999. ISBN 978-0201021165.
其它参考资料 编辑
- Halmos, Paul R., Finite-Dimensional Vector Spaces, Springer-Verlag, (1993). ISBN 0-387-90093-4.