線性代數裡的代數結構 - 線代啟示錄

我們先介紹三種代數結構：阿貝爾群(abelian group)，群(group) 以及體(域，field)，隨後討論線性代數處理的核心數學物件──向量空間(vector space)。

線代啟示錄 Iseeknottoknowtheanswers,buttounderstandthequestions. Skiptocontent ←每週問題September12, 2011 每週問題September19, 2011→ 線性代數裡的代數結構 Postedon09/16/2011byccjou 本文的閱讀等級：初級 線性代數是一門探討純量(標量，scalar)與向量(矢量，vector)的學科，純量即為數，向量(本文專指幾何向量)又由純量構造而成，因此瞭解數的基本結構可以幫助我們深化線性代數的理解。

我們先介紹三種代數結構：阿貝爾群(abeliangroup)，群(group)以及體(域，field)，隨後討論線性代數處理的核心數學物件──向量空間(vectorspace)。

  純量加法的代數結構稱為阿貝爾群。

考慮整數集(包含正整數、負整數與零)，我們觀察出任兩個整數的加法運算滿足以下五個性質： 加法具有封閉性，如果和屬於，那麼也屬於。

加法具有交換性，兩整數之和與其計算位置無關， 。

加法具有結合性，排序固定的三個整數之和與其執行加法的順序無關， 。

存在一整數使得任何整數與其相加皆不改變， ， 因此也稱為加法單位元。

任何加法都可以「回復」，意即每一整數皆存在逆元，如下： 。

  再舉一個例子，考慮正實數集，並以表示一般的乘法運算： 。

明顯地，正實數乘法滿足封閉性、交換性與結合性。

上例中的角色被實數所取代，稱為乘法單位元，滿足下式： 。

每一個正實數的逆元為其倒數，因為 。

  上例整數的加法與正實數的乘法共同滿足的五個性質即為阿貝爾群的定義。

正式地說，給定一個集合與二元運算，若滿足上述五個性質，即封閉性、交換性、結合性，存在一運算單位元，且每一元素皆存在對應的逆元，我們便稱為阿貝爾群。

  阿貝爾群也稱為可交換群(commutativegroup)。

如果二元運算除交換性外，滿足其餘四個性質，則稱為不可交換群或簡稱群。

不難驗證是一個群(也是阿貝爾群)，但不構成一個群，因為不存在逆元，亦即不存在使得。

若將剔除，令，則為一個阿貝爾群。

明顯地，若將實數擴大為複數，以上陳述仍然成立。

  近代基礎線性代數教本經常省略有關體的介紹，而直接以實數或複數稱之，至於純量或數則代表某個體的元素。

下面我們從封閉性這個角度來探討體的基本概念。

我們知道數有加減乘除四則運算，不過整數的除法卻會發生問題，除了不能有，另一個麻煩是兩整數相除的結果未必仍為整數，也就是說，整數僅對加法、減法和乘法維持封閉性。

如果我們堅持引入除法，一個可行的辦法是將整數擴大為有理數，即兩整數相除所得的數，記作。

這種滿足封閉性的數系稱為一個體，實數賦予的加法和乘法是最著名的一個體，不令人意外，複數也是一個體。

  從有理數，實數和複數的性質如何歸納出體的定義呢？上述三種數系都具備加法與乘法運算，我們瞭解對而言，、，是阿貝爾群；對而言，，，(排除所得的集合)也都是阿貝爾群。

剩下的工作只要再將這兩種運算聯繫在一起，此即分配律： ， 。

因此，我們推論(或歸納)出下列定義：一個體是一個集合並賦予和運算，而且和皆為阿貝爾群並滿足分配律。

  現在我們可以運用阿貝爾群與體來「發現」向量空間的數學結構。

令代表二維有序數組所成的集合，其中和是實數。

既然實數存在加法運算，自然也可以定義中任兩元素和的加法運算，如下： 。

請讀者自行檢查是一個阿貝爾群。

集合中任兩元素除了可以相加，還有一個合理且有用的乘法運算，那就是純量與有序數組的乘法，如下： ， 其中是一個實數。

上述結構包含三個部分：一個阿貝爾群(即)，一個體(即)，以及體中任一元素與阿貝爾群中任一元素的乘法運算。

在一般情況下，數學家極不願意賦予一個集合兩種以上的結構(如上例的阿貝爾群與體)，除非兩者之間存在緊密的關係，因此我們可以判斷體中一個元素與阿貝爾群中一個元素的乘法運算確實有其必要性。

下面給出有別於傳統教科書所述的向量空間定義： 佈於一個體(其中元素稱為純量)的一個向量空間(其中元素稱為向量)是一個加法阿貝爾群(即是一個阿貝爾群)，並賦予純量與向量的乘法運算，簡稱為純量乘法，其結果為屬於的一個向量。

以下向量空間記為，並省略乘法符號。

為了使純量乘法運算適當地配合既有的三種運算(的加法，的加法，的乘法)，還必須滿足下列四個性質： 向量分配律：對於，，。

純量分配律：對於，，。

結合律：對於，，。

純量單位元：對於，存在，使得。

  你可能已察覺阿貝爾群所滿足的最後四個性質(扣除封閉性)，再加上前述四個純量乘法性質正是向量空間所必須滿足的八個公理[1]。

最後討論一個問題：為甚麼向量空間沒有「向量乘法」運算？我們何不仿造向量加法也定義相同形式的「向量乘法」？例如， 。

數學家回答：不可以！縱使我們刪除的零元素，剩下的部分仍不構成一群(當然也不是阿貝爾群)，理由是任何向量若包含零元，如，則不存在使得，也就是不存在逆元。

在數學家眼中，定義這種不構成阿貝爾群的「向量乘法」不僅醜陋、無益，甚至還是一種不道德的舉止。

  註解 [1]一般向量空間的公設化定義如下：佈於一個體的向量空間是向量組成的一個集合，並賦予向量加法與純量乘法。

向量之和為，向量與純量之積為。

向量加法與純量乘法運算滿足(見“同構的向量空間”) 加法交換律：； 加法結合律：； 向量單位元：存在唯一的使得； 逆元：存在唯一的使得； 向量分配律：，； 純量分配律：； 結合律：； 純量單位元：存在唯一的使得。

Sharethis:EmailPrintFacebookTwitterLikethis:LikeLoading... Thisentrywaspostedin線性代數專欄,向量空間andtagged阿貝爾群,體,向量空間.Bookmarkthepermalink. ←每週問題September12, 2011 每週問題September19, 2011→ 14Responsesto線性代數裡的代數結構 Pingback:线性代数里的代数结构|共享 延伸寸says: 03/28/2012at9:01am 上代數課時總覺得和線性代數有藕斷絲連的感覺。

教代數課的老師無瑕解釋和線代的關聯，教線代的老師也略過這一段繁瑣的探討。

對“佈於體”的提問也只回答“先想成Q,R,C就好了”………….。

原來如此！ Reply ccjousays: 03/28/2012at12:33pm 目前正修我課的學生心裡或許這麼想：周老師也是「教線代的老師也略過這一段繁瑣的探討」其中一員。

Reply 張志瑋(@jrweizhang)says: 03/31/2012at6:48pm 想請問一下，關於Field的定義中，是明確以加法和乘法定義，還是以兩個二元運算來定義？ 謝謝！ Reply ccjousays: 03/31/2012at9:31pm 體的加法和乘法可以自行定義。

譬如有限體F4={O,I,A,B}，將O當作0，I當作1，加法運算如 A+O=O+A=A,A+A=O,A+I=B,A+B=I 乘法運算如 A*O=O,A*I=I*A=A,A*B=I,A*A=B F4也滿足文中所述體的定義。

Reply JustCurioussays: 12/31/2012at9:24am 那可不可以把複數平面上的兩條軸拿掉再定義向量乘法 Reply ccjousays: 12/31/2012at10:55am 向量乘法之所以不存在的原因在於它不構成可交換群。

但不知“把複數平面上的兩條軸拿掉”所指為何？是說將改為？ Reply Moonlovesays: 01/14/2013at11:49am 請問在代數結構的觀點上我該怎麼稱呼向量空間呢?接著內積空間又該怎麼稱呼？向量空間在加法上確實滿足abeliangroup、但偏有個特殊不知的運算是取倍數、所以我才有上述兩問題 Reply ccjousays: 01/14/2013at12:55pm 向量空間定義如下：佈於體的向量空間是一加法可交換群，並加入一運算，它將每一純量與向量的乘積指定為一向量。

內積空間則是指向量空間上有定義良好的內積運算，見內積的定義： https://ccjou.wordpress.com/2010/01/27/%E5%85%A7%E7%A9%8D%E7%9A%84%E5%AE%9A%E7%BE%A9/ 這樣回答了你的問題嗎？ Reply Moonlovesays: 01/16/2013at1:11am 感謝老師的回覆，所以向量空間是一個交換群加入一運算，這有個統一的名稱嗎？ 例如Ring也有兩個運算一般. Reply ccjousays: 01/16/2013at9:48am 向量空間即為統一名稱。

向量空間是一可交換群加上純量與向量乘法運算，但也不是環(ring)。

所謂環是指一集合具有兩個二元運算：和，這裡是Cartesianproduct。

Reply Moonlovesays: 01/16/2013at11:51pm 原來如此，感謝老師回答 Reply suehangsays: 06/07/2015at1:29pm 大陆60,70年代的实变分析和泛函分析教材大都直接通过定义代数结构来定义”线性代数”,和”线性变换”.这些年不知为什么又喜欢从行列式这个洪水猛兽开始讲线性代数,真是咄咄怪事! Reply josefsays: 07/06/2021at11:00pm 所以矩陣空間中，矩陣乘法從代數系統的觀點來看仍是一個未解明的運算(畢竟沒有向量乘法)；或許像是線性映射，而線性映射本身也是向量空間。

此外，向量空間V本身似乎也不是任一代數系統。

Reply LeaveaReplyCancelreply Enteryourcommenthere... Fillinyourdetailsbeloworclickanicontologin: Email(required)(Addressnevermadepublic) Name(required) Website YouarecommentingusingyourWordPress.comaccount. ( Log Out /  Change ) YouarecommentingusingyourGoogleaccount. ( Log Out /  Change ) YouarecommentingusingyourTwitteraccount. ( Log Out /  Change ) YouarecommentingusingyourFacebookaccount. ( Log Out /  Change ) Cancel Connectingto%s Notifymeofnewcommentsviaemail.Notifymeofnewpostsviaemail. Δ 搜尋(繁體中文或英文) Searchfor: 訊息看板 近期文章 每週問題June26, 2017 每週問題June19, 2017 每週問題June12, 2017 每週問題June5, 2017 每週問題May29, 2017 線性代數專欄其他主題專欄每週問題數據充分性問題其他分類RecentComments curcon簡約列梯形式的唯一性ccjouon矩陣導數Zacharyon矩陣導數zacharyon矩陣導數用julia的線性代數套件解聯立方程…on別再算逆矩陣了連on教學光碟 近期最多人點閱 三階逆矩陣公式 行列式的運算公式與性質 利用行列式計算多邊形面積 奇異值分解(SVD) 基底與維數常見問答集 內積的定義 矩陣的四個基本子空間基底算法 LU分解 從推導一元二次方程的公式解看個性 線性代數基本定理(一) 分類分類 SelectCategory 無關線代  (23) 特別主題  (20) 答讀者問  (49) 網友分享  (2) 線性代數專欄  (426)    特徵分析  (76)    特殊矩陣  (23)    線性變換  (33)    線性方程  (30)    行列式  (32)    證明細解  (4)    內積空間  (28)    典型形式  (27)    向量空間  (47)    應用之道  (42)    數值線性代數  (29)    二次型  (42)    仿射幾何  (11) 隨筆雜談  (18) 試閱  (2) 周老師時間  (16) 問題回報  (24) 圖論  (12) 布告欄  (22) 希爾伯特空間  (4) 數據充分性問題  (3)    DSQ特徵分析  (1)    DSQ向量空間  (2) 機率統計  (21) 機器學習  (8) 每週問題  (435)    pow特徵分析  (87)    pow線性變換  (23)    pow線性方程與矩陣代數  (56)    pow行列式  (55)    pow內積空間  (57)    pow典型形式  (9)    pow向量空間  (75)    pow二次型  (73) Archives Archives SelectMonth June2017 (4) May2017 (5) April2017 (4) March2017 (4) February2017 (6) January2017 (11) December2016 (5) November2016 (5) October2016 (5) September2016 (4) August2016 (5) July2016 (4) June2016 (4) May2016 (10) April2016 (6) March2016 (10) February2016 (11) January2016 (7) December2015 (11) November2015 (9) October2015 (8) September2015 (11) August2015 (14) July2015 (8) June2015 (11) May2015 (5) April2015 (5) March2015 (6) February2015 (4) January2015 (7) December2014 (9) November2014 (5) October2014 (4) September2014 (5) August2014 (5) July2014 (5) June2014 (11) May2014 (10) April2014 (12) March2014 (14) February2014 (15) January2014 (10) December2013 (16) November2013 (14) October2013 (19) September2013 (15) August2013 (13) July2013 (13) June2013 (18) May2013 (16) April2013 (14) March2013 (6) February2013 (8) January2013 (13) December2012 (16) November2012 (18) October2012 (17) September2012 (10) August2012 (8) July2012 (10) June2012 (15) May2012 (12) April2012 (12) March2012 (11) February2012 (10) January2012 (7) December2011 (5) November2011 (4) October2011 (6) September2011 (5) August2011 (5) July2011 (8) June2011 (13) May2011 (14) April2011 (11) March2011 (11) February2011 (10) January2011 (12) December2010 (12) November2010 (13) October2010 (8) September2010 (11) August2010 (15) July2010 (7) June2010 (13) May2010 (12) April2010 (12) March2010 (14) February2010 (14) January2010 (12) December2009 (12) November2009 (14) October2009 (10) September2009 (13) August2009 (14) July2009 (12) June2009 (12) May2009 (12) April2009 (15) March2009 (39) 標籤雲 Cayley-Hamilton定理 Frobenius範數 Gram-Schmidt正交化 Gramian矩陣 Hermitian矩陣 Householder矩陣 Jordan典型形式 LU分解 QR分解 Schur定理 SVD Vandermonde矩陣 三角不等式 不變子空間 么正矩陣 二次型 代數重數 伴隨矩陣 內積 冪矩陣 冪等矩陣 冪零矩陣 分塊矩陣 列空間 半正定矩陣 反對稱矩陣 可交換矩陣 可逆矩陣 向量空間 圖論 基底 基本列運算 奇異值 奇異值分解 實對稱矩陣 對角化 座標變換 微分方程 投影矩陣 排列矩陣 旋轉矩陣 最小多項式 最小平方法 正交性 正交投影 正交矩陣 正交補餘 正定矩陣 正規矩陣 特徵值 特徵向量 特徵多項式 特殊矩陣 相伴矩陣 相似 矩陣乘法 矩陣多項式 矩陣指數 矩陣範數 矩陣譜 秩 秩─零度定理 簡約列梯形式 組合數學 線性獨立 線性變換 線性變換表示矩陣 行列式 行空間 譜分解 跡數 逆矩陣 通解 零空間 高斯消去法 線代線上影音課程 Essenceoflinearalgebra(3Blue1Brown) KhanAcademy(SalmanKhan) MITOCW(GilbertStrang) 國立台灣大學OCW(蘇柏青) 國立清華大學OCW(趙啟超) 國立交通大學OCW(莊重) 國立交通大學OCW(巫木誠) 線代學習網站 用maxima學數值分析─特徵值和特徵向量 FreeOnlineBooks MathInsight MITOCW Wikibooks:LinearAlgebra WolframDemonstrationProject 線代電子書 AFirstCourseinLinearAlgebra(RobertA.Beezer) FundamentalsofLinearAlgebra(JamesB.Carrell) LinearAlgebra(JimHefferon) LinearAlgebraDoneWrong(SergeiTreil) LinearAlgebraProblems(JerryL.Kazdan) LinearAlgebraviaExteriorProducts(SergeiWinitzki) LinearAlgebra,TheoryandApplications(KennethKuttler) MatrixAnalysisandAppliedLinearAlgebra(CarlD.Meyer) NotesonLinearAlgebra(PeterJ.Cameron) 矩陣計算器 JordanFormCalculator MatrixCalculator OnlineMatrixCalculator LaTeX OnlineLaTeXEquationEditor Wikibooks:LaTeX Blogroll 陰暗的小角落 MarkChang'sBlog 尼斯的靈魂 微積分福音 訂閱 請輸入您的email，當有新文章發表時，您將會收到通知。

訂閱之後您隨時可以取消訂閱。

Join639otherfollowers EmailAddress: 我要訂閱 閱讀導引學習資源 專題探究 急救查詢其他分頁 Meta Register Login Entriesfeed Commentsfeed WordPress.com 網路狀態 AutomatticStatus WordPressForums BlogStats 6,811,229hits Copyright©2009-2019ccjou Allrightsreserved 歡迎轉載，但須列明來源。

線代啟示錄 BlogatWordPress.com. Privacy&Cookies:Thissiteusescookies.Bycontinuingtousethiswebsite,youagreetotheiruse. Tofindoutmore,includinghowtocontrolcookies,seehere: CookiePolicy Follow Following 線代啟示錄 Join639otherfollowers Signmeup AlreadyhaveaWordPress.comaccount?Loginnow. 線代啟示錄 Customize Follow Following Signup Login Copyshortlink Reportthiscontent ViewpostinReader Managesubscriptions Collapsethisbar SendtoEmailAddress YourName YourEmailAddress Cancel Postwasnotsent-checkyouremailaddresses! Emailcheckfailed,pleasetryagain Sorry,yourblogcannotsharepostsbyemail. %dbloggerslikethis: