線性代數

!style=" text-align: left; background: #DCF0FF; font-size: 90%;"|線性空間與線性變換線性空間 · 線性變換 · 線性子空間 · 線性生成空間 · 基 · 線性對映 · 線性投影 · 線性無關 · 線性組合 · 線性泛函 · 行空間與列空間 · 對偶空間 · 正交 · 特徵向量 · 最小二乘法 · 格拉姆-施密特正交化線性代數是關於向量空間和線性對映的一個數學分支。它包括對線、面和子空間的研究，同時也涉及到所有的向量空間的一般性質。座標滿足線性方程的點集形成"n"維空間中的一個超平面。"n"個超平面相交於一點的條件是線性代數研究的一個重要焦點。此項研究源於包含多個未知數的線性方程組。這樣的方程組可以很自然地表示為矩陣和向量的形式。線性代數既是純數學也是應用數學的核心。例如，放寬向量空間的公理就產生抽象代數，也就出現若干推廣。泛函分析研究無窮維情形的向量空間理論。線性代數與微積分結合，使得微分方程線性系統的求解更加便利。線性代數的理論已被泛化為。線性代數的方法還用在解析幾何、工程、物理、自然科學、電腦科學、計算機動畫和社會科學中。由於線性代數是一套完善的理論，非線性數學模型通常可以被近似為一般線性模型。歷史.線性代數的研究最初出現於對行列式的研究上。行列式當時被用來求解線性方程組。萊布尼茨在1693年使用行列式。隨後，加布里爾·克拉默在1750年推匯出求解線性方程組的克萊姆法則。然後，高斯利用高斯消元法發展出求解線性系統的理論。這也被列為大地測量學的一項進展。現代線性代數的歷史可以上溯到19世紀中期的英國。1843年，哈密頓發現四元數。1844年，赫爾曼·格拉斯曼發表他的著作《線性外代數》，該詞是“子宮”的拉丁語。阿瑟·凱萊在研究線性變換時引入矩陣乘法和轉置的概念。很重要的是，凱萊使用一個字母來代表一個矩陣，因此將矩陣當做了聚合物件。他也意識到矩陣和行列式之間的聯絡。不過除了這些早期的外．線性代數主要是在二十世紀發展的。在抽象代數的環論開發之前，矩陣只有模糊不清的定義。隨著狹義相對論的到來，很多開拓者發現線性代數的微妙。進一步的，解偏微分方程的克萊姆法則的例行應用導致大學的標準教育中包括線性代數。例如，E.T. Copson寫到：1882年，()寫了一本書，名為《Linear Algebra》(線性代數)。第一次現代化精確定義向量空間是在1888年，由朱塞佩·皮亞諾提出。在1888年，弗蘭西斯·高爾頓還發起相關係數的應用。經常有多於一個隨機變量出現並且它們可以互相關。在多變元隨機變數的統計分析中，相關矩陣是自然的工具。所以這種隨機向量的統計研究幫助矩陣用途的開發。到1900年，一種有限維向量空間的線性變換理論被提出。在20世紀上半葉，許多前幾世紀的想法和方法被總結成抽象代數，線性代數第一次有了它的現代形式。矩陣在量子力學、狹義相對論和統計學上的應用幫助線性代數的主題超越純數學的範疇。計算機的發展導致更多地研究致力於有關高斯消元法和矩陣分解的有效演算法上。線性代數成為數字模擬和模型的基本工具。基本介紹.線性代數起源於對二維和三維直角座標系的研究。在這裡，一個向量是一個有方向的線段，由長度和方向同時表示。這樣向量可以用來表示物理量，比如力，也可以和標量做加法和乘法。這就是實數向量空間的第一個例子。現代線性代數已經擴充套件到研究任意或無限維空間。一個維數為formula_1的向量空間叫做"formula_1"維空間。在二維和三維空間中大多數有用的結論可以擴充套件到這些高維空間。儘管許多人不容易想象"formula_1"維空間中的向量，這樣的向量，可以使用向量formula_5顯示這些國家某一年各自的GNP。這裡，每個國家的GNP都在各自的位置上。作為證明定理而使用的純抽象概念，向量空間屬於抽象代數的一部分，而且已經非常好地融入這個領域。一些顯著的例子有：不可逆線性對映或矩陣的群，向量空間的線性對映的環。線性代數也在數學分析中扮演重要角色，特別在向量分析中描述高階導數，研究張量積和可交換對映等領域。向量空間是在域上定義的，比如實數域或複數域。線性運算元將線性空間的元素對映到另一個線性空間也被認為是線性代數的一部分。我們可以簡單地說數學中的線性問題——-那些表現出線性的問題——是最容易被解決的。比如微分學研究很多函式線性近似的問題。在實踐中與非線性問題的差異是很重要的。線性代數方法是指使用線性觀點看待問題，並用線性代數的語言描述它、解決它的方法。這是數學與工程學中最主要的應用之一。研究範圍.向量空間.向量空間是線性代數的主要結構。域formula_6上的向量空間是集合"formula_7"再加上兩個二元運算。formula_7的元素叫做向量而"formula_6"的元素叫做標量。第一個運算，向量加法，取任意兩個向量formula_10和formula_11，然後輸出第三個向量formula_12。第二個運算，向量乘法，取任意標量formula_13和任意向量"formula_10"並輸出新向量formula_15。從第一個例子來看，其中乘法是以標量"formula_13"將向量"formula_10"縮放後完成的，這種乘法叫做formula_10與formula_13的係數積。向量空間內的加法和乘法運算滿足下列公理。在下表中，令formula_21和"formula_11"為"formula_7"中的任意向量，"formula_13"和formula_25為"formula_6"中的標量。一般向量空間"formula_7"可能有不同性質的元素，例如，函式、多項式、向量或矩陣。線性代數關注的是所有向量空間的共同性質。矩陣理論.矩陣是一個矩形的數學方陣。一個方陣可看作兩個向量空間的線性變陣，故矩陣理論可當作線性代數的一個分枝。在圖論，每一個加上標示圖對應唯一的非負矩陣，稱為鄰接矩陣。排列矩陣是排列的矩陣表示式，在組合數學極為重要。正定矩陣及半正定矩陣可用來尋找實數函式的極大值或極小值。任意環矩陣亦非常重要。舉例說，多項式環的矩陣用於控制理論。另外，不同的矩陣環經常是提供數學上反例的素材。特徵值和特徵向量.一般情況下，線性變換可能相當複雜。一些低維的例子，讓我們領會不同的型別。一般的formula_1維變換formula_29的一個技巧是找到在"formula_29"下的不變集——特徵線。如果formula_10是一個非零向量，使得formula_32為"formula_10"的標量倍，那麼透過0和"formula_10"的直線就是在"formula_29"下的不變集，而"formula_10"被稱為特徵向量。使得formula_37的標量formula_38叫做"formula_29"的特徵值。要求一個特徵向量或特徵值，我們注意到formula_40其中formula_41是單位矩陣。為使該方程存在非平凡解，formula_42。行列式是一個多項式，所以在域formula_43內不保證存在特徵值。一般化和相關主題.線性代數是一個成功的理論，其方法已被應用於數學的其他分支。模論就是將線性代數中的標量的域用環替代，並進行研究，像線性無關、線性生成空間、基底、秩等概念仍然可以適用。不過許多線性代數中的定理在模論中不成立，例如不是所有的模都有基底，自由模的秩不唯一，不是所有模中的線性獨立的子集都可以延伸成為基底，也不是所有模生成空間的子集都包括基底。多重線性代數推廣線性代數的方法。和線性代數一樣也是建立在向量的概念上，發展向量空間的理論。在應用上，出現許多型別的張量。在運算元的譜理論中，透過數學分析，可以控制無限維矩陣。泛函分析混合線性代數和數學分析中的方式，研究許多不同函式空間，例如Lp空間。