跳至內容

線性代數

本頁使用了標題或全文手工轉換
維基百科,自由的百科全書
三維歐氏空間R3是一個向量空間,而通過原點的線及平面是R3的向量子空間
線性代數
向量 · 向量空間 · 基底  · 行列式  · 矩陣

線性代數(英語:linear algebra)是關於向量空間線性映射的一個數學分支。它包括對線、面和子空間的研究,同時也涉及到所有的向量空間的一般性質。

坐標滿足線性方程的點集形成n維空間中的一個超平面n個超平面相交於一點的條件是線性代數研究的一個重要焦點。此項研究源於包含多個未知數的線性方程組。這樣的方程組可以很自然地表示為矩陣向量的形式。[1][2]

線性代數既是純數學也是應用數學的核心。例如,放寬向量空間的公理就產生抽象代數,也就出現若干推廣。泛函分析研究無窮維情形的向量空間理論。線性代數與微積分結合,使得微分方程線性系統的求解更加便利。線性代數的理論已被泛化為算子理論

線性代數的方法還用在解析幾何工程物理自然科學計算機科學計算機動畫社會科學(尤其是經濟學)中。由於線性代數是一套完善的理論,非線性數學模型通常可以被近似一般線性模型

歷史

帕薩土耳其語Hüseyin Tevfik Paşa的《線性代數》

線性代數的研究最初出現於對行列式的研究上。行列式當時被用來求解線性方程組。萊布尼茨在1693年使用行列式。隨後,加布里爾·克拉默在1750年推導出求解線性方程組的克萊姆法則。然後,高斯利用高斯消元法發展出求解線性系統的理論。這也被列為大地測量學的一項進展。[3][4]

現代線性代數的歷史可以上溯到19世紀中期的英國。1843年,哈密頓發現四元數。1844年,赫爾曼·格拉斯曼發表他的著作《線性外代數》(Die lineare Ausdehnungslehre),包括今日線性代數的一些主題。1848年,詹姆斯·西爾維斯特引入矩陣(matrix),該詞是「子宮」的拉丁語。阿瑟·凱萊在研究線性轉換時引入矩陣乘法和轉置的概念。很重要的是,凱萊使用一個字母來代表一個矩陣,因此將矩陣當做了聚合物件。他也意識到矩陣和行列式之間的聯繫。[3]

不過除了這些早期的文獻以外.線性代數主要是在二十世紀發展的。在抽象代數環論開發之前,矩陣只有模糊不清的定義。隨着狹義相對論的到來,很多開拓者發現線性代數的微妙。進一步的,解偏微分方程克拉瑪公式的例行應用導致大學的標準教育中包括線性代數。例如,E.T. Copson寫到:

1882年,Hüseyin Tevfik Pasha英語Hüseyin Tevfik Pasha(TR土耳其語Hüseyin Tevfik Paşa)寫了一本書,名為《Linear Algebra》(線性代數)。[5][6]第一次現代化精確定義向量空間是在1888年,由朱塞佩·皮亞諾提出。在1888年,弗蘭西斯·高爾頓還發起相關係數的應用。經常有多於一個隨機變量出現並且它們可以互相關。在多變元隨機變量的統計分析中,相關矩陣是自然的工具。所以這種隨機向量的統計研究幫助矩陣用途的開發。到1900年,一種有限維向量空間的線性轉換理論被提出。在20世紀上半葉,許多前幾世紀的想法和方法被總結成抽象代數,線性代數第一次有了它的現代形式。矩陣在量子力學狹義相對論統計學上的應用幫助線性代數的主題超越純數學的範疇。計算機的發展導致更多地研究致力於有關高斯消元法和矩陣分解的有效算法上。線性代數成為數字模擬和模型的基本工具。[3]

基本介紹

線性代數起源於對二維和三維直角坐標系的研究。在這裏,一個向量是一個有方向的線段,由長度和方向同時表示。這樣向量可以用來表示物理量,比如,也可以和純量做加法和乘法。這就是實數向量空間的第一個例子。

現代線性代數已經擴展到研究任意或無限維空間。一個維數為的向量空間叫做維空間。在二維和三維空間中大多數有用的結論可以擴展到這些高維空間。儘管許多人不容易想像維空間中的向量,這樣的向量(即n元組)用來表示數據非常有效。由於作為n元組,向量是個元素的「有序」列表,大多數人可以在這種框架中有效地概括和操縱數據。比如,在經濟學中可以使用8維向量來表示8個國家的國民生產總值(GNP)。當所有國家的順序排定之後,比如(中國美國英國法國德國西班牙印度澳大利亞),可以使用向量顯示這些國家某一年各自的GNP。這裏,每個國家的GNP都在各自的位置上。

作為證明定理而使用的純抽象概念,向量空間(線性空間)屬於抽象代數的一部分,而且已經非常好地融入這個領域。一些顯著的例子有:不可逆線性映射或矩陣,向量空間的線性映射的

線性代數也在數學分析中扮演重要角色,特別在向量分析中描述高階導數,研究張量積和可交換映射等領域。

向量空間是在上定義的,比如實數體或複數體。線性算子將線性空間的元素映射到另一個線性空間(也可以是同一個線性空間),保持向量空間上加法和純量乘法的一致性。所有這種轉換組成的集合本身也是一個向量空間。如果一個線性空間的基是確定的,所有線性轉換都可以表示為一個數表,稱為矩陣。對矩陣性質和矩陣算法的深入研究(包括行列式特徵向量)也被認為是線性代數的一部分。

我們可以簡單地說數學中的線性問題——-那些表現出線性的問題——是最容易被解決的。比如微分學研究很多函數線性近似的問題。在實踐中與非線性問題的差異是很重要的。

線性代數方法是指使用線性觀點看待問題,並用線性代數的語言描述它、解決它(必要時可使用矩陣運算)的方法。這是數學與工程學中最主要的應用之一。

研究範圍

向量空間

向量空間是線性代數的主要結構。上的向量空間是集合再加上兩個二元運算的元素叫做向量而元素叫做純量。第一個運算,向量加法,取任意兩個向量,然後輸出第三個向量。第二個運算,向量乘法,取任意純量和任意向量並輸出新向量。從第一個例子來看,其中乘法是以純量將向量縮放後完成的,這種乘法叫做係數積。向量空間內的加法和乘法運算滿足下列公理[7]在下表中,令中的任意向量,中的純量。

公理 意義
加法結合律
加法交換律
加法的單位元 存在元素,稱作零向量,使得對所有,都有
加法的反元素 對每個,存在一元素,稱作相反數,使得
相對於向量加法的係數積分配律  
相對於體加法的係數積分配律
係數積與體乘法的相容性 [nb 1]
係數積的單位元 ,其中1表示內的乘法單位

一般向量空間可能有不同性質的元素,例如,函數多項式、向量或矩陣。線性代數關注的是所有向量空間的共同性質。

線性轉換

子空間

矩陣理論

矩陣是一個矩形的數學方陣。一個方陣可看作兩個向量空間的線性變陣,故矩陣理論可當作線性代數的一個分枝。

在圖論,每一個加上標示圖對應唯一的非負矩陣,稱為鄰接矩陣。

排列矩陣是排列的矩陣表達式,在組合數學極為重要。

正定矩陣及半正定矩陣可用來尋找實數函數的極大值或極小值。

任意環矩陣亦非常重要。舉例說,多項式環的矩陣用於控制理論。

另外,不同的矩陣環經常是提供數學上反例的素材。

特徵值和特徵向量

一般情況下,線性轉換可能相當複雜。一些低維的例子,讓我們領會不同的類型。一般的維轉換的一個技巧是找到在下的不變集——特徵線。如果是一個非零向量,使得的純量倍,那麼通過0和的直線就是在下的不變集,而被稱為特徵向量。使得的純量叫做特徵值

要求一個特徵向量或特徵值,我們注意到

其中單位矩陣。為使該方程存在非平凡解,。行列式是一個多項式,所以在體內不保證存在特徵值。

內積空間

相關定理

一般化和相關主題

線性代數是一個成功的理論,其方法已被應用於數學的其他分支。論就是將線性代數中的純量的替代,並進行研究,像線性無關線性生成空間基底等概念仍然可以適用。不過許多線性代數中的定理在模論中不成立,例如不是所有的模都有基底(有基底的模稱為自由模),自由模的秩不唯一,不是所有模中的線性無關的子集都可以延伸成為基底,也不是所有模生成空間的子集都包括基底。

多重線性代數推廣線性代數的方法。和線性代數一樣也是建立在向量的概念上,發展向量空間的理論。在應用上,出現許多類型的張量

在算子的譜理論中,通過數學分析,可以控制無限維矩陣。泛函分析混合線性代數和數學分析中的方式,研究許多不同函數空間,例如Lp空間

註解

  1. ^ Strang, Gilbert, Linear Algebra and Its Applications 4th, Brooks Cole, July 19, 2005, ISBN 978-0-03-010567-8 
  2. ^ Weisstein, Eric W. (編). Linear Algebra. at MathWorld--A Wolfram Web Resource. Wolfram Research, Inc. [16 April 2012]. (原始內容存檔於2021-02-09) (英語). 
  3. ^ 3.0 3.1 3.2 Vitulli, Marie. A Brief History of Linear Algebra and Matrix Theory. Department of Mathematics. University of Oregon. [2012-01-24]. (原始內容存檔於2012-09-10). 
  4. ^ O'Connor J J and Robertson E F. Matrices and determinants. School of Mathematical and Computational Sciences, University of St Andrews. [2013-10-14]. (原始內容存檔於2015-03-08). 
  5. ^ Hussein Tevfik. Linear Algebra. A.H. Boyajian. 1882 [2013-10-13]. 
  6. ^ Gert Schubring. HÜSEYİN TEVFİK PASHA – THE INVENTOR OF‘LINEAR ALGEBRA’. 2007 [2013-10-14]. (原始內容存檔於2014-03-16). 
  7. ^ Roman 2005, ch. 1, p. 27
  8. ^ 對於有限生成的向量空間存在一個基是直接了當的,但是在完全一般性的情況下,它邏輯上等價於選擇公理
  9. ^ 段正敏、王漢明. 线性代数. 北京: 清華大學出版社有限公司. 2006: p66 [2013-10-21]. ISBN 7302123500. (原始內容存檔於2013-10-21). 
  1. ^ This axiom is not asserting the associativity of an operation, since there are two operations in question, scalar multiplication: bv; and field multiplication: ab.

參見

拓展閱讀

外部連結

在線資源

在線書籍