Can you summarize the following document?
        
  線性代數的研究最初出現於對行列式的研究上。行列式當時被用來求解線性方程組。萊布尼茨在1693年使用行列式。隨後,加布里爾·克拉默在1750年推匯出求解線性方程組的克萊姆法則。然後,高斯利用高斯消元法發展出求解線性系統的理論。這也被列為大地測量學的一項進展。  現代線性代數的歷史可以上溯到19世紀中期的英國。1843年,哈密頓發現四元數。1844年,赫爾曼·格拉斯曼發表他的著作《線性外代數》(Die lineare Ausdehnungslehre),包括今日線性代數的一些主題。1848年,詹姆斯·西爾維斯特引入矩陣(matrix),該詞是“子宮”的拉丁語。阿瑟·凱萊在研究線性變換時引入矩陣乘法和轉置的概念。很重要的是,凱萊使用一個字母來代表一個矩陣,因此將矩陣當做了聚合物件。他也意識到矩陣和行列式之間的聯絡。  不過除了這些早期的文獻以外.線性代數主要是在二十世紀發展的。在抽象代數的環論開發之前,矩陣只有模糊不清的定義。隨著狹義相對論的到來,很多開拓者發現線性代數的微妙。進一步的,解偏微分方程的克萊姆法則的例行應用導致大學的標準教育中包括線性代數。例如,E.T. Copson寫到:  1882年,Hüseyin Tevfik Pasha()寫了一本書,名為《Linear Algebra》(線性代數)。第一次現代化精確定義向量空間是在1888年,由朱塞佩·皮亞諾提出。在1888年,弗蘭西斯·高爾頓還發起相關係數的應用。經常有多於一個隨機變數出現並且它們可以互相關。在多變元隨機變數的統計分析中,相關矩陣是自然的工具。所以這種隨機向量的統計研究幫助矩陣用途的開發。到1900年,一種有限維向量空間的線性變換理論被提出。在20世紀上半葉,許多前幾世紀的想法和方法被總結成抽象代數,線性代數第一次有了它的現代形式。矩陣在量子力學、狹義相對論和統計學上的應用幫助線性代數的主題超越純數學的範疇。計算機的發展導致更多地研究致力於有關高斯消元法和矩陣分解的有效演算法上。線性代數成為數字模擬和模型的基本工具。

  線性代數起源於對二維和三維直角座標系的研究。在這裡,一個向量是一個有方向的線段,由長度和方向同時表示。這樣向量可以用來表示物理量,比如力,也可以和標量做加法和乘法。這就是實數向量空間的第一個例子。  現代線性代數已經擴充套件到研究任意或無限維空間。一個維數為formula_1的向量空間叫做"formula_1"維空間。在二維和三維空間中大多數有用的結論可以擴充套件到這些高維空間。儘管許多人不容易想象"formula_1"維空間中的向量,這樣的向量(即n元組)用來表示資料非常有效。由於作為"n"元組,向量是"formula_1"個元素的“有序”列表,大多數人可以在這種框架中有效地概括和操縱資料。比如,在經濟學中可以使用8維向量來表示8個國家的國民生產總值(GNP)。當所有國家的順序排定之後,比如(中國,美國,英國,法國,德國,西班牙,印度,澳大利亞),可以使用向量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_41是單位矩陣。為使該方程存在非平凡解,formula_42。行列式是一個多項式,所以在域formula_43內不保證存在特徵值。

  線性代數是一個成功的理論,其方法已被應用於數學的其他分支。模論就是將線性代數中的標量的域用環替代,並進行研究,像線性無關、線性生成空間、基底、秩等概念仍然可以適用。不過許多線性代數中的定理在模論中不成立,例如不是所有的模都有基底(有基底的模稱為自由模),自由模的秩不唯一,不是所有模中的線性獨立的子集都可以延伸成為基底,也不是所有模生成空間的子集都包括基底。  多重線性代數推廣線性代數的方法。和線性代數一樣也是建立在向量的概念上,發展向量空間的理論。在應用上,出現許多型別的張量。  在運算元的譜理論中,通過數學分析,可以控制無限維矩陣。泛函分析混合線性代數和數學分析中的方式,研究許多不同函式空間,例如Lp空間。
線性代數(英語:linear algebra)是關於向量空間和線性對映的一個數學分支。它包括對線、面和子空間的研究,同時也涉及到所有的向量空間的一般性質。