线性代数
|
|
向量 · 向量空间 · 基底 · 行列式 · 矩阵
|
|
|
線性映射(英語:linear map)是於向量空間之間,保持向量加法和标量乘法的函數,所以線性映射也是向量空間間的同态[1]。
線性算子(英語:linear operator)與線性轉換(英語:linear transformation)是與線性映射相關的慣用名詞,但其實際意義存在許多分歧,詳見相關名詞一節。
正式定义
这等價於要求 對任意向量 和任意标量 須滿足
若要特別強調标量所在的母集合是域 ,會特稱 為 -線性映射。如對复数的共軛運算 是-線性映射(因為取實數為标量才會有齐次性)。
線性泛函
域本身就是定義在自己之上(也就是以自己為标量母集合)的向量空間,所以如 的線性映射被特稱為線性泛函。線性泛函分析就是不預先假設基底存在性的高等線性代数(也就是直觀來說,無窮維或是不可數維度的向量空間)。線性泛函分析是泛函分析最成熟的分支,但泛函分析最早研究的是有關向量空間上的实值函数(它们一般是非線性映射)的變分问题。
注意事項
- 本条目所定义的“線性”与“函数图像是条直线”間有根本的区别(可见下文的举例说明),请勿混淆。
- 線性映射可以复合,但一般不能随便交換复合的先后顺序;如“给函数乘上”和“对函数进行微分”都是線性算子(可见下文的举例说明),但对一个函数“先乘上再进行微分”和“先进行微分再乘上”所得到的结果一般是不一样的。[2]
- 由“可加性”不可能推导出“齐次性”,由“齐次性”也不可能推导出“可加性”,所以这2条件对于“線性”的定义缺一不可。[3]
相關名詞
線性變換和線性算子与本条目的線性映射密切相關,但不同作者对它們有不同的定義。而這種定義分歧的根源在於,如 這樣,定義域和值域落在同個向量空間的特殊線性映射,有些人為了凸顯而予之不同的稱呼。
比如Axler和龔昇就稱這種特殊線性映射為線性算子[4][5],但另一方面將線性映射和線性變換視為同義詞;李尚志則将這種特殊線性映射称为線性變換[6];而泛函分析的書籍一般將三者都視為同義詞[7][8]。
但為清晰起見,本条目一律以線性映射稱呼,其他的細節都以函數的慣用符號表達。
例子
- 对于实数,映射不是線性的。
- 如果是实矩阵,則定义了一个从到的線性映射,这个映射将列向量映射到列向量。反过来说,在有限维向量空間之間的任何線性映射都可以用这种方式表示;参见后面章节。
- 积分生成从在某个区間上所有可积分实函数的空間到的線性映射。这只是把积分的基本性质(“积分的可加性”和“可从积分号内提出常数倍数”)用另一种说法表述出来。[9]
- 微分是从所有可微分函数的空間到所有函数的空間的線性映射。[9]
- “给函数乘上”是一种線性映射。[9]设是由全体连续函数所组成的函数空間,則此运算也是空間中的算子。
- 后向移位(backward shift)运算是一种線性映射。即把无穷维向量的第一个坐标划去:。[9]
- 如果和为在域上的有限维向量空間,則从線性映射到在后面所描述的矩阵的函数也是線性映射。[9]
- 一次函数仅在时才是一种線性變換。容易验证一次函数仅在时,線性變換的基本性质才能成立。(尽管时其图像也是一条直线,但这里所说的線性不是指函数图像为直线。)同理,平移變換一般也不是線性變換(平移距离为零时才是線性變換)。[10][11]
矩阵
若向量空間 和 都是有限維的,且它們定義在同個标量域 上,則从 到 的所有線性映射可以用矩阵表示。反之亦然,下面將詳述如何表示。
以矩陣表示线性映射
假設 是個線性映射,且
分別是 和 的基底。
根據基底 的基本定義,對於每個基向量 ,存在唯一一組标量 使得
直觀上,标量 就是對基向量 的作用結果 ,在基底 下的諸分量。
現在任取一個 裡的向量 ,因為基底 的基本定義,存在唯一一組标量 使得
這樣根據求和符号的性質,可以得到
然後考慮到 ,所以根據基底 的基本定義,存在唯一一組标量 使得
因為這樣的标量 是唯一存在的,所以對 有
考慮到矩陣乘法的定義,上式可以改寫為
也就是說,只要知道 在 下的諸分量 ,任意向量 的作用結果 ,都可以表示為矩陣 與行向量 的乘積。更直觀的來說,矩陣 就是把 的諸分量沿行(column)擺放所構成的。
由上面的推導可以知道,不同的基底 和 下,矩陣 也不同,為了強調這點,也會將矩陣 記為
來強調這種關聯性。
若 ,在同個向量空間 通常沒有取不同基底的必要,那上面的推導可以在 的前提下進行。這時上式可以進一步簡寫為
以线性映射表示矩陣
若有由 個标量構成的矩陣 ,如果取 為
其中
因為矩陣乘法只有唯一的結果,上面的定義的確符合函数定義的基本要求。然後考慮 和 都可以視為定義在同個标量域 上的向量空间,而且矩陣乘法是線性的,所以上述定義的函數 的確符合线性映射的基本定義。
用矩阵表示線性映射的原因和好处
- 把線性映射写成具体而简明的2维数阵形式后,就成了一种矩阵。进而由線性映射的加法规則和复合规則来分别定义矩阵的加法规則和乘法规則是很自然的想法。[12]当空間的基变化(坐标系變換)时,線性映射的矩阵也会有规律地变化。在特定的基上研究線性映射,就转化为对矩阵的研究。利用矩阵的乘法,可以把一些線性系统的方程表达得更紧凑(比如把線性方程组用矩阵表达和研究),也使几何意义更明显。矩阵可以分块计算,可以通过适当的變換以“解耦”(把复杂的變換分解为一些简单變換的组合)。要求出一个線性變換的秩,先写出其矩阵形式几乎是不可避免的一个步骤。
- 遇到这样的加上了1个常量的非線性映射可以通过增加1个维度的方法,把變換映射写成2×2维的方形矩阵形式,从而在形式上把这一类特殊的非線性映射转化为線性映射。这个办法也适用于处理在高维線性變換上多加了一个常向量的情形。这在计算机图形学和刚体理论(及其相關机械制造和机器人学)中都有大量应用。
- 对角化的矩阵具有诸多优点。線性映射在写成矩阵后可以进行对角化(不能对角化的矩阵可以化简成接近对角矩阵的准对角矩阵),从而可以获得对角化矩阵拥有的独特优势(极大地简化乘法运算,易于分块,容易看出与基的选取无關的不变量)。比如,对于作用于同一个空間的可对角化的方形矩阵,要求出自乘次后的结果,一个一个慢慢地乘是很麻烦的事情。而知道对角化技巧的人会发现,在将这矩阵对角化后,其乘法运算会变得格外简单。实际应用中有很多有意思的问题或解题方法都会涉及到矩阵自乘n次的计算,如1阶非齐次線性递推数列通项公式的線性代数求解法和马尔可夫链的极限状态(极限分布)的求解。線性代数及矩阵论的一个主要问题就是寻找可使矩阵对角化的条件或者可使矩阵化简到含很多个0的条件[13],以便简化计算(这是主要原因之一)。
線性映射的矩阵的例子
二维空間的線性變換的一些特殊情况有:
- 逆时针旋转90度:
- 逆時針旋轉度[14]:
- 针对y轴反射:
- 在所有方向上放大2倍:
- 水平错切:
- 挤压:
- 向y轴投影:
从给定線性映射构造新的線性映射
两个線性映射的复合映射是線性的:如果和是線性的,則也是線性的。
若線性映射可逆,則该線性映射的逆也是線性映射。
如果和是線性的,則它们的和也是線性的(这是由定义的)。
如果是線性的,而a是基础域K的一个元素,則定义自 (af)(x) = a (f(x))的映射af也是線性的。
所以从到的線性映射的集合自身形成在上的向量空間,有时指示为。进一步的说,在的情况中,这个向量空間(指示为)是在映射复合下的结合代数,因为两个線性映射的复合再次是線性映射,所以映射的复合总是结合律的。
给定有限维的情况,如果基已经选择好了,則線性映射的复合对应于矩阵乘法,線性映射的加法对应于矩阵加法,而線性映射与标量的乘法对应于矩阵与标量的乘法。
自同态線性映射
自同态的線性映射在泛函分析和量子力学中都有很重要的地位。按前文约定,我们用“線性算子”来简称它。(注意泛函分析中所说的“線性算子”不一定是自同态(endomorphism)映射,但我们为了照顾不同书籍的差异以及叙述的方便,暂用“線性算子”来称呼这种自同态。)
自同态和自同构
自同态是一个数学对象到它本身的保持結構的映射(同态),例如群的自同态則是群同态。對於向量空間,其自同态是線性算子;所有这种自同态的集合与如上定义的加法、复合和标量乘法一起形成一个结合代数,带有在域上的单位元(特别是一个环)。这个代数的乘法单位元是恒等映射。
若的自同态也剛好是同构則稱之為自同构。两个自同构的复合再次是自同构,所以的所有的自同构的集合形成一个群,的自同构群可表为或。因为自同构正好是那些在复合運算下擁有逆元的自同态,所以也就是在环中的可逆元群。
如果之维度有限同构於带有在中元素的所有矩阵構成的结合代数,且的自同态群同构于带有在中元素的所有可逆矩阵構成的一般線性群。
量子力学应用
核、像和秩-零化度定理
如果是線性的,我们定义的核和像(或称值域)为
是的子空間,而是的子空間。下面的叫做秩-零化度定理的维度公式经常是有用的:
的数也叫做“的秩”(rank)并写为,有时写为;的数也叫做“的零化度”(nullity)并写为。如果和是有限维的,基已经选择好并且被表示为矩阵,則的秩和零化度分别等于矩阵的秩和零化度。
推广
多重線性映射是線性映射最重要的推广,它也是格拉斯曼代数和张量分析的数学基础。其特例为双線性映射。
参见
脚注与参考资料
脚注
脚注所引资料
其它参考资料