高等代數筆記整理(六)
來自專欄我的數學臆想19 人贊了文章
大家好!
我們接著上篇沒講完的地方講。
目錄
- 引言
- 陪集
- 商空間
- 一些代數上的補充
引言
這一節我們來探討商空間的內容。
上一節我們只是粗略地提及了陪集的需要,現在我們來重新解釋一下,為什麼我們需要引入商空間的概念。
之前我們總共講到兩種研究線性空間的途徑,即「細胞核」與「切蛋糕」,而商空間則比較特殊,他是從重新整合線性空間的角度來研究它的結構的,換句話說,它是將原本的線性空間經過一定的整合拆分組合成一個新的線性空間,下面你就會深刻理解到這一點。
為此,我么先給出陪集(其實是新的線性空間中的元素)的概念。
陪集(Coset)
我們先給出如下等價關係:取 是線性空間 的一個子空間,則
下面我們證明它是一個等價關係。
proof:
1.反身性
2.對稱性:
3.傳遞性:
其中,對於 , 的等價類
我們把這個集合記作 ,並稱為 的一個陪集, 為這個陪集的一個代表(實際上它有很多個代表)。
特別地, 時, 。(這表明 其實是 的零元)
注意,這個定義只是在線性空間上的陪集,並不完全,為了邏輯鏈的完整性,我們將在最後給出它的真實定義,但是此部分知識與本課程無關,不是很感興趣的同學可以選擇直接跳過。
對於上述等價關係 ,商集 (我們常寫成 )
我們的目標是將其重新整合為一個線性空間,所以我們引入如下兩種運算:
加法:
純量乘法:
可以驗證,它滿足線性空間的八條運演算法則且封閉,於是此時商集 就是一個線性空間了,我們把它稱為線性空間 對於 的商空間。
em
這裡補充下線性空間的定義吧。
首先是域(Field)
Def:一個被定義了兩個二元運算 和 的集合 如果滿足:
1.對於加法:
- 結合律:
- 交換律:
- 含有單位元: ,使得 ,我們將這裡的 記作 ,稱為加法單位元
- 可逆: ,使得 ,我們將這裡的 記作 ,稱為 的加法逆
2.對於乘法:
- 結合律:
- 交換律:
- 含有單位元: ,使得 ,我們將這裡的 記作 ,稱為乘法單位元
- 可逆: ,使得 ,我們將這裡的 記作 ,稱為 的乘法逆
3.對於加法和乘法的結合(分配律):
它有一些簡單的性質,具體可參考
胡樹:數學分析筆記整理(一)線性空間(Linear space)
Def:設V是一個帶有加法( 的一個映射)與純量乘法(scalar mutiplication,也可稱為標量乘法,即 的一個映射)的集合,並滿足以下八條性質(其中, 是一個域)
- 加法交換律:
- 加法結合律:
- 加法單位元: ,我們稱0為 的零元。
- 加法可逆: ,使得 這裡,我們稱 是 的負元,其中
- 純乘單位元:
- 純乘分配律:
- 分配律一:
- 分配律二:
那麼就稱V是域 上的一個線性空間。(注意和上面定義的區別。)
商空間
給出上面的定義後,我們來研究商空間作為線性空間的一些性質。
Theorem 1:若 是線性空間 的一個子空間,則
proof:取子空間 的一個基 並將其擴充為 的一個基
。
下面證明 是 的一個基(即證明線性無關且可以線性表出 中的全部元素)。
設 ( 相當於 中的零向量)
於是 ,即
於是有 ,即
又因為 線性無關,所以
所以 線性無關。
顯然,它也可以線性表出 中的全部元素,於是 是 的一個基,所以。
於是有推論。
Corollary:若
則 是 的一個基。
反過來對不對呢?答案是肯定的,我們給出證明。
Theorem 2:如果 是 的一個基, ,則 ,並且 是 的一個基。
proof:
(a)先證
任取 ,由於 是 的一個基,所以有
即
於是 ,因此
,
這就證明了
又由 是 的子空間知道 ,於是 。
(b)現在來證明剩下的部分。
由Theorem 1,
所以 ,由 知 ,於是
由 我們又知道 ,所以 ,因此 (因為 ),並且 是 的一個基。
這就完成了我們的證明。
商空間的概念在之後會有很大作用。
關於陪集一些的補充
下面是關於陪集的一些補充。以下引用塊的部分全部引自 @劉理 的抽象代數筆記,感謝學長的支持!
作為鋪墊,我們先引入二元運算
二元運算(binary operation)Def:設 是一個集合,關於S的一個二元關係是從 到 的映射。這裡的意思是,如果運算符號記為*,那麼這個二元運算從 映射到 ,也可以記為 ,其中 。
注意,由於這裡的*是一個 到 的映射,所以 , 並且有且只有一個。
另外,二元運算只有定義到集合上才有意義,這點與二元關係類似。
我們平常所說的加法或者乘法就是實數集或者有理數集上的二元運算,沒錯,運算的本質就是映射,這樣想想,是不是對我們早已習以為常的加減乘除的認識更深刻了?
其實,集合與映射本身就是最本質的概念,如果細究起來,很多數學分支最後都能建立在這兩個概念之上。
下面我們引入群(Group)
Definition:group給定一個集合 和一個二元關係 ,這個二元關係是一個 的映射,則如果這是一個群,就需要滿足以下三個性質(1)結合律(Associativity),對於任意給定的 ,有 (2)單位元存在(Identity),對於所有的 ,存在這樣的元素 滿足 (3)逆元存在(Inverse),對於所有的 ,存在這樣的元素 使得 為了方便例子的舉出,我們暫時給定一個記號 (因為我們之後會放棄它),注意,這裡它不是一個群,只是表示一個集合和對應的一個二元關係。比如說, 是一個群,而 就不是。
以下是子群
子群就是群上的進一步收縮,它的定義如下
Definition:subgroup設 是一個群, 是 的一個子群,那麼如果 滿足(1)封閉性(Closure):對於任意的 , (2)單位元存在(Identity): ,其中 是 中的單位元(3)逆元存在(Inverse):對於任意的 ,有 比如說,對於一個群 , 就是它的一個子群。我們給定記號 說明 是 的子群。
子群可以粗略地說成是包含於原來群並保持原先運算的一個群。
關於子群在整數域下的應用,有一個很有趣的問題
Problem
考慮群 ,設 為一個正整數,那麼 是子群,並且一定存在 ,使得 ( )proof: 是子群很簡單,但是證明它的子群只有這種形式,則稍有難度。分情況討論,如果, 是這個加法群的單位元集合,它是一個平凡子群(trivial group),當然是子群。並且 如果 ,那麼H中就有一系列的非零元素,不失一般性(WLOG),我們假設內部非零元全為正數,並且取出最小的那個非零元為 ,那麼對於任意的在 中的數 ,根據帶余除法,就有 , 。由於 是一個群,所以根據 都在群內,可以得出 也在群內。但是 是那個最小的非零元。所以 ,那麼這樣的話就可以得出,對於任意的 ,它都是形如 的形式,因此可以說明 。另一方面,對於任意的 ,根據群的性質我們可以得到 ,因此我們可以得出 ,於是 。這就證明了結論。由於證明的主體是 ,而這裡的 是規定的,有條件的,因此我們的討論重點在 上,如果在 上討論了就做不出來了。這個性質也就刻畫了整數群的子群的結構形式,我們這裡不加引入的使用了陪集的符號,大家明白意思就好。
下面我們研究陪集。
Definition:Left Coset
設 是一個群, (別忘了啥意思了), ,那麼 就是 的一個左陪集。右陪集同理定義,因為單獨一種的性質是相似的,所以我們先只討論左陪集。注意, 本身也是一個陪集(想想為什麼?)陪集有很多種,舉個例子,我們在高中數學必修4中學的三角函數表示 ,把一個表示相同幾何角的角度聚合在一起構成的集合,就是一個陪集,只不過是在加法群上的而已。另外比較常見的是最小剩餘類,這個高中的競賽數論是非常常見的東西。如果研究陪集的性質的話會發現,陪集有個很有趣的現象,就是它按照一個類別分好後,各類之間絕對不會相交。這就讓我們聯想到了之前說的等價關係和劃分。如何確定陪集的這個性質呢?所以我們加一個關係好了。這個在群 上的關係我們這麼定義。 存在 使得 可以證明它是等價關係,這個留給大家做練習。
小結
OK,這就是今天的全部內容了,去掉補充的話,實際上並沒有講太多東西,只是對上一篇的內容做了一定程度上的深化,當然了,商空間將在我們之後Jordan塊的內容中發揮重要作用。
到目前為止,我們已經成功地從線性空間的基與劃分的角度探討了它的結構,從下一篇開始,我們將從另一個(也是最重要的)角度再次深入對線性空間的研究,這將是一個不小的篇幅,也會是高代中最精彩的一部分。
最後,碼字不易,歡迎各位看官點贊收藏感謝打賞支持,小生在此拜過各位啦~~
任何筆記都具有著作權,未經同意不得剽竊或轉載。
推薦閱讀:
※線性代數: 線性空間與線性映射(2)
※高等代數筆記整理(三)
※高等代數筆記整理(一)
※高等代數筆記整理(五)
※導言&目錄