線性映射
線性映射(英語: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.