近世代数——Part1 整数和等价关系
文章目錄
- 前言
- 良序性
- **整除**相關定義:
- Theorem 0.1 Division Algorithm
- Theorem 0.2 GCD is a Linear Combination
- Corollary
- Euclid's Lemma
- Theorem 0.3 Fundamental Theorem of Arithmetic
- 模算術
- 一個有趣的例子
- 復數
- Theorem 0.4 Properties of Complex Numbers
- 數學歸納法
- Theorem 0.5 First Principle of Mathematical Induction
- Theorem 0.6 Second Principle of Mathematical Induction
- 兩種歸納法的理解
- 另一個有趣的例子
- 等價關系
- 定義
- 記號
- 例子
- 劃分Parititon
- Theorem 0.7 Equivalence Classes Partition
- 函數與映射
- **Definition Function (Mapping)**
- 映射符號
- 函數的復合
- 函數的一種分類
- 函數的一些特性
前言
想系統地學習一下近世代數,參考書是Joseph-Gallian的《Contemporary Abstract Algebra》,希望花半年時間讀完,在博客里做筆記督促自己。
很多抽象代數的關注點在整數和集合的特性,為未來的學習方便,這節介紹一些基礎的結論。
良序性
良序性(視為公理):
任何正整數的非空集合都包含一個最小的數。
整除相關定義:
對于s,t∈Zs,t\in Zs,t∈Z
- ttt (t≠0t\neq 0t?=0) is a divisor of sss if ?u∈Z,s=tu\exists u\in Z,s=tu?u∈Z,s=tu, we write t∣st\mid st∣s; we read “ttt divides sss”,即ttt整除sss,或ttt是sss的約數。反之,記為t?st\nmid st?s
- 質數:定義為只有1和它本身兩個約數的數。
- sss is a multiple of ttt if ?u∈Z,s=tu\exists u\in Z, s=tu?u∈Z,s=tu; 倍數,等價于t∣st\mid st∣s
- gcd?(a,b)\gcd(a,b)gcd(a,b):aaa和bbb的最大公約數
- 互質(relatively prime):gcd?(a,b)=1\gcd(a,b)=1gcd(a,b)=1
- lcm(a,b)\mathrm{lcm}(a,b)lcm(a,b):aaa和bbb的最小公倍數
Theorem 0.1 Division Algorithm
?a,b∈Z,b>0→?!q,r∈Z,a=bq+r∧0≤r<b\forall a,b\in Z, b>0\to \exists !\ q,r\in Z,a=bq+r\ \land\ 0\le r<b?a,b∈Z,b>0→?!?q,r∈Z,a=bq+r?∧?0≤r<b
約定符號?!\exists !?!表示存在唯一的元素。
定理含義:這個定理描述了整數相除的結果,aaa是被除數,bbb是除數,qqq是商,rrr是余數。這里還限制了除數大于0,余數非負且余數必須小于除數,這樣才能保證商和余數的唯一性。
證明:考慮一個集合S={a?bk∣k∈Z,a?bk≥0}S=\{a-bk\mid k\in Z,a-bk\ge 0\}S={a?bk∣k∈Z,a?bk≥0}
顯然,集合是非空的,這很好證明,著需要選取適當的kkk使得a?bk≥0a-bk\ge 0a?bk≥0即可,這里可以簡單取k=?b∣a∣k=-b|a|k=?b∣a∣
如果0∈S0\in S0∈S,那么b∣ab\mid ab∣a,此時必有r=0,q=a/br=0,q=a/br=0,q=a/b,這取法是唯一的;
如果0?S0\notin S0∈/?S,根據良序性,集合必然存在一個最小的正數,不妨設為rrr,此時有a=bq+r,r≥0a=bq+r,r\ge 0a=bq+r,r≥0,此時只需要證明r<br< br<b即可。如果r≥br\ge br≥b,很容易確定,rrr并非SSS中最小的數,只需將kkk增加1 (a>0a>0a>0的情況,a<0a<0a<0則相反),那么必有r?b∈Sr-b\in Sr?b∈S。
QED
Theorem 0.2 GCD is a Linear Combination
?a,b∈Z,a≠0,b≠0→?s,t∈Z,gcd?(a,b)=as+bt\forall a,b\in Z, a\neq 0, b\neq 0\to \exists s,t\in Z\ ,\gcd(a,b)=as+bt?a,b∈Z,a?=0,b?=0→?s,t∈Z?,gcd(a,b)=as+bt
gcd?(a,b)=min?{as+bt∣as+bt>0}\gcd(a,b)=\min\{as+bt\mid as+bt>0\}gcd(a,b)=min{as+bt∣as+bt>0}
定理含義:這個定理說明,兩個整數的最大公約數可以寫成這兩個數的線性組合,且最大公約數是這兩個數的所有線性組合中,最小的正整數。
證明:考慮集合S={am+bn∣m,n∈Z∧am+bn>0}S=\{am+bn\mid m,n\in Z\ \land am+bn>0\}S={am+bn∣m,n∈Z?∧am+bn>0}
顯然集合非空,選取mmm和nnn分別與aaa和bbb同號即可。
根據良序性,這個集合必然存在最小的元素,不妨設為d=as+btd=as+btd=as+bt,這里s,ts,ts,t是集合取最小時確定的數。
根據定理內容,d=gcd?(a,b)d=\gcd(a,b)d=gcd(a,b),我們證明這個即可。
根據Theorem 0.1,直接考慮aaa除以ddd,必有a=dq+r,0≤r<da=dq+r,0\le r<da=dq+r,0≤r<d,如果r≠0r\neq 0r?=0,r=a?dq=a?(as+bt)q=a?asq?btq=a(1?sq)+b(?tq)∈Sr=a-dq=a-(as+bt)q=a-asq-btq=a(1-sq)+b(-tq)\in Sr=a?dq=a?(as+bt)q=a?asq?btq=a(1?sq)+b(?tq)∈S,這說明ddd并非SSS中最小的數(因為此時rrr是aaa和bbb的線性組合),產生矛盾,因此必有r=0→d∣ar=0\to d\mid ar=0→d∣a,同理,d∣bd\mid bd∣b,因此ddd是a,ba,ba,b的公約數。
假設存在比ddd更大的公約數d′d'd′,必有?h,k∈Z,s.t.a=d′h,b=d′k\exists h,k\in Z, \mathrm{s.t.}\ a=d'h,b=d'k?h,k∈Z,s.t.?a=d′h,b=d′k,因此d=as+bt=ad′h+bd′k=d′(ah+bk)d=as+bt=ad'h+bd'k=d'(ah+bk)d=as+bt=ad′h+bd′k=d′(ah+bk),顯然d′∣dd'\mid dd′∣d,ddd肯定是更大的數。推出矛盾,因此d=gcd?(a,b)d=\gcd(a,b)d=gcd(a,b)
Corollary
aaa和bbb互質等價于?s,t∈Zs.t.as+bt=1\exists s,t\in Z\ \mathrm{s.t. }\ as+bt=1?s,t∈Z?s.t.?as+bt=1
Euclid’s Lemma
p∣ab→p∣a∨p∣bp\mid ab \to p\mid a\ \lor p\mid bp∣ab→p∣a?∨p∣b if ppp is a prime.
定理含義:質數如果是兩個數乘積的約數,那么這個質數是這兩個整數之一的約數。
證明:顯然,分情況討論下即可。
p∣ab∧p?a→1=as+pt→b=asb+ptbp\mid ab\ \land\ p\nmid a\to 1=as+pt\to b=asb+ptbp∣ab?∧?p?a→1=as+pt→b=asb+ptb,ppp是方程右側的約數,自然是bbb的約數
Theorem 0.3 Fundamental Theorem of Arithmetic
大于1的整數,要么是質數,要么是質數之積,且質因數分解方式唯一。
定理含義:算術基本定理,主要闡明,整數的質因數分解唯一。
證明:存在性的證明使用了強數學歸納法: 點擊跳轉 ;Euclid’s Lemma保證了分解的唯一性。
模算術
模是一種計數方法的抽象。例如,今天是星期3,23天后是星期幾呢?只需要讓23對7取余數,得2,所以答案是星期5.
模算術思想很簡單,但在數學和計算機科學中很重要。
根據 Theorem 0.1 有a=qn+ra=qn+ra=qn+r,我們記amodn=ra\mod{n}=ramodn=r
有一些顯而易見的結論值得列出:
- amodn=biif.n∣(a?b)a\mod n=b\ \mathrm{iif.}\ n\mid (a-b)amodn=b?iif.?n∣(a?b)
- 兩個數和的模,積的模,都可以簡化為先計算模,再加(乘),再取模。例如27×36mod11=5×3mod1127\times 36\mod{11}=5\times 3\mod{11}27×36mod11=5×3mod11
一個有趣的例子
嘗試證明:x2?y2=1002x^2-y^2=1002x2?y2=1002沒有整數解。
證明:首先我們知道1002mod4=21002\mod{4}=21002mod4=2
對于任何整數,模4的結果只有0,1,2,3,而對于任何整數平方模4的結果,則只可能0,1,那很顯然,x2?y2mod4x^2-y^2\mod{4}x2?y2mod4的結果無論如何都不可能是2。
復數
復數是具有形式a+bi,a,b∈R,i=?1a+bi, a,b\in R,i=\sqrt{-1}a+bi,a,b∈R,i=?1?的數。
極坐標表示r(cos?(θ)+isin?(θ))r(\cos(\theta)+i\sin(\theta))r(cos(θ)+isin(θ))
Theorem 0.4 Properties of Complex Numbers
- 對加法封閉,?a,b∈C→a+b∈C\forall a,b\in C\to a+b\in C?a,b∈C→a+b∈C
- 對乘法封閉
- 當除數不等于0時,對除法封閉
- 非0復數的逆存在
- (r(cos?θ+isin?θ))n=rn(cos?nθ+isin?nθ)(r(\cos\theta+i\sin\theta))^n=r^n(\cos n\theta+i\sin n\theta)(r(cosθ+isinθ))n=rn(cosnθ+isinnθ)
數學歸納法
Theorem 0.5 First Principle of Mathematical Induction
SSS is a set and a∈Sa\in Sa∈S,Suppose SSS has the property whenever some integer n≥an\ge an≥a belongs to SSS, then n+1n+1n+1 also belong to SSS. Then, SSS contains every integer greater than or equal to aaa.
定理含義:說的是,如果集合SSS有一個性質,即有一些大于等于aaa的整數nnn屬于SSS的話,n+1n+1n+1必然也屬于SSS. 那么,SSS必然包含所有大于等于aaa的整數。
Theorem 0.6 Second Principle of Mathematical Induction
SSS is a set and a∈Sa\in Sa∈S,Suppose SSS has the property that n∈Sn\in Sn∈S, when ?m∈Ss.t.a≤m<n,m∈S\forall m\in S\ \mathrm{s.t.} \ a\le m<n,\mathrm{}\ m\in S?m∈S?s.t.?a≤m<n,?m∈S .Then, SSS contains every integer greater than or equal to aaa.
定理含義:這里歸納仍然是需要兩個條件,1. a∈Sa\in Sa∈S;2.如果假定a≤m<na\le m<na≤m<n的所有mmm都屬于SSS,可推出n∈Sn\in Sn∈S
兩種歸納法的理解
首先說明一下,上述兩個定理的表述我是抄的書上的,更合適的說法應該不是自然數屬于集合SSS,而是自然數具有某種特定的性質。
第一種歸納法是我們常見的那種,即存在一個起始點aaa具有性質ppp,**我們假定nnn也具有性質ppp,可推出n+1n+1n+1也具有性質ppp**時,就可以得出結論:任何大于等于aaa的整數都具有性質ppp
第二種歸納法也叫強歸納法,區別在第二個條件,可以使用aaa到n?1n-1n?1的所有整數來推出nnn,它假設的條件是更多的。
第二數學歸納法再某些情況下更好用,這里給出之前算術基本定理的證明:
約定,所有質數和質數之積的集合是SSS
顯然,2∈S2\in S2∈S,假定所有整數?k∈Z,s.t.2≤k<n→k∈S\forall k\in Z, \mathrm{s.t.}\ 2\le k<n\to k\in S?k∈Z,s.t.?2≤k<n→k∈S,對于nnn來說,要么是質數屬于SSS,要么是合數可寫成ab,s.t.1<a<n∧1<b<nab,\mathrm{s.t.}\ 1<a<n\ \land\ 1<b<nab,s.t.?1<a<n?∧?1<b<n,顯然a∈S∧b∈Sa\in S\ \land\ b\in Sa∈S?∧?b∈S,因此n∈Sn\in Sn∈S
顯然,通過這個證明,可以更深刻理解這兩種歸納方式的別,強歸納法能在假設中把兩個(甚至多個)變量aaa和bbb賦予性質ppp,而第一種歸納方式僅假定了一個數。
另一個有趣的例子
給定任意面值5美元的硬幣和面值8美元的硬幣,找到這兩種硬幣最大的不可表示的總面值。
分析:很明顯,題目就是求555和888的非負整數系數的所有線性組合所不能表達的最大數,用符號表示即是:max?{Z?{5a+8b∣a,b∈Zs.t.a≥0,b≥0}}\max{\{Z-\{5a+8b\mid a,b\in Z\ \mathrm{s.t.}\ a\ge 0 ,b\ge 0\}\}}max{Z?{5a+8b∣a,b∈Z?s.t.?a≥0,b≥0}}
很容易可以從小到大列出可表達的面值:
5=5×1+8×05=5\times 1+8\times 05=5×1+8×0
8=5×0+8×18=5\times 0+8\times 18=5×0+8×1
10=5×2+8×010=5\times 2+8\times 010=5×2+8×0
13=5×1+8×113=5\times 1+8\times 113=5×1+8×1
?\cdots?
26=5×2+8×226=5\times 2+8\times 226=5×2+8×2
28=5×4+8×128=5\times 4+8\times 128=5×4+8×1
29=5×1+8×329=5\times 1+8\times 329=5×1+8×3
?\cdots?
39=5×3+8×339=5\times 3+8\times 339=5×3+8×3
40=5×8+8×040=5\times 8+8\times 040=5×8+8×0
似乎從272727后面所有數都有正確的表示,我們可以考慮能否證明所有大于272727的數都可以表示為5a+8b5a+8b5a+8b的形式。
約定下面的a,ba,ba,b服從約束:a,b∈Zs.t.a≥0,b≥0a,b\in Z\ \mathrm{s.t.}\ a\ge 0,b\ge 0a,b∈Z?s.t.?a≥0,b≥0
首先用第一數學歸納法:
顯然282828可以表示為5a+8b5a+8b5a+8b的形式,那么假設大于282828的一個數n=5a+8bn=5a+8bn=5a+8b,顯然,a≥3∨b≥3a\ge 3\ \lor\ b\ge 3a≥3?∨?b≥3,因為如果不滿足此條件,將有n≤28n\le 28n≤28
接下來我們有:n+1=5a+8b+(?3?5+2?8)=5?(a?3)+8?(b+2)n+1=5a+8b+(-3\cdot5+2\cdot 8)=5\cdot (a-3)+8\cdot (b+2)n+1=5a+8b+(?3?5+2?8)=5?(a?3)+8?(b+2)
n+1=5a+8b+(5?5?3?8)=5?(a+5)+8?(b?3)n+1=5a+8b+(5\cdot5-3\cdot 8)=5\cdot (a+5)+8\cdot (b-3)n+1=5a+8b+(5?5?3?8)=5?(a+5)+8?(b?3)
顯然,遞推可以繼續,QED
然后使用第二數學歸納法:
首先,282828滿足條件,我們很容易驗證28,29,30,31,3228,29,30,31,3228,29,30,31,32滿足條件,那么對于n>32n>32n>32,我們假定所有28≤k<n28\le k< n28≤k<n滿足條件,現在要證明nnn滿足條件,很簡單,由于n?5n-5n?5滿足,nnn自然滿足(只需要把aaa系數增加111就是nnn的表示)。QED
等價關系
事物的關系是復雜的,也取決于我們看待問題的角度,兩件事物在一種角度下是完全不同的,但可能在另一種情況下是等價的。一個典型的例子是3和8當然是不同的,但在模5運算下確實相同的。數學中等價關系用于精確地區分各種等價和差異。
定義
An equivalence relation on a set SSS is a set RRR of ordered pairs of elements of SSS such that
定義理解:等價關系需要對一個集合聲明和定義(on a set SSS),它本身是一個有序二元對集合RRR,二元對中的每個元素都是SSS的元素。且等價關系滿足反身性,對稱性和傳遞性。
記號
如果SSS是定義等價關系的集合,RRR表示等價關系,a,b∈Sa,b\in Sa,b∈S
- (a,b)∈R(a,b)\in R(a,b)∈R可記為aRbaRbaRb,也可記為a~ba\sim ba~b
- [a]={x∈S∣x~a}[a]=\{x\in S\mid x\sim a\}[a]={x∈S∣x~a},aaa的等價類或含有aaa的等價類
例子
這里僅列出幾個重要的例子:
模nnn同余:
nnn是正整數,a,b∈Za,b\in Za,b∈Z,a~bifamodn=bmodna\sim b\ \mathrm{if}\ a\mod{n}=b\mod{n}a~b?if?amodn=bmodn,模nnn同余定義了一種等價關系,等價類可以表示為[a]={a+kn∣k∈Z}[a]=\{a+kn\mid k\in Z\}[a]={a+kn∣k∈Z}。這個等價關系很容易驗證滿足三條件。
S={(a,b)∣a,b∈Z,b≠0}S=\{(a,b)\mid a,b\in Z,b\neq 0\}S={(a,b)∣a,b∈Z,b?=0},在SSS上定義等價關系:(a,b)~(c,d)ifad=bc(a,b)\sim (c,d)\ \mathrm{if}\ ad=bc(a,b)~(c,d)?if?ad=bc,這個等價關系的動機來自于分數,實際上表示分數相等a/b=c/da/b=c/da/b=c/d。
劃分Parititon
集合的劃分指的是集合SSS分為幾個不相交的,并集為SSS的子集。
定義劃分的目的是為了引入等價類的劃分方式。
Theorem 0.7 Equivalence Classes Partition
集合SSS上定義的一個等價關系的等價類構成集合SSS的一個劃分。反之也成立,對于集合SSS的任何劃分,都可以據此定義一個等價關系。
定理理解:這個定理實際上說明等價關系的定義和集合劃分是等效的操作。
證明:這個定理的反之這里就不作證明了,因為可以用比較無腦的方式給出,直接定義等價關系就是屬于某個劃分后的子集就行。
對于等價關系如何形成劃分的證明,要證明等價類無交集且并集是SSS。
首先等價類肯定無交集,因為傳遞性導致如果兩個等價類有交集,這兩個等價類就是一個等價類。
所有等價類的并集是SSS就更好證明了,對所有元素各自求一個等價類,這些等價類必然包含這些元素,那么他們的并必然是SSS。
函數與映射
接下來介紹一下函數,函數在數學眾多領域中都是至關重要的,各種關于函數的記號卻有略微差別,這里約定好關于函數的定義和記號。
Definition Function (Mapping)
A function (or mapping) ?\phi? for a set AAA to a set BBB is a rule that assigns to each element aaa of AAA exactly one element bbb of BBB. AAA is called the domain of ?\phi?, and BBB is called a range of ?\phi?. if ?\phi? assigns bbb to aaa, bbb is called the image of aaa under ?\phi?. The subset of BBB comprising all the images of elements of AAA is called the image of AAA under ?\phi?
定義理解:
- 函數和映射是一個意思,是針對兩個集合的一個規則,這個規則能讓集合AAA的任意元素,在BBB集合中找到對應的值。
- 集合AAA被稱為定義域,集合BBB被稱為值域。
- 元素aaa被映射為元素bbb,那么bbb被叫做像。
- AAA集合中所有元素在BBB中的像的集合,被稱為AAA的像。
映射符號
兩集合映射的表示:?:A→B\phi:A\to B?:A→B
元素間映射的表示:?:a→b\phi:a\to b?:a→b or ?(a)=b\phi(a)=b?(a)=b
函數的復合
Let ?:A→B\phi : A\to B?:A→B and φ:B→C\varphi :B\to Cφ:B→C. The composition φ?\varphi\phiφ? is a mapping from AAA to CCC.
We denote that (f°g)(x)=f(g(x))(f\circ g)(x)=f(g(x))(f°g)(x)=f(g(x))
函數的一種分類
約定討論函數?:A→B\phi :A\to B?:A→B
- one-to-one function: ?a1,a2∈A,?(a1)=?(a2)?a1=a2\forall a_1, a_2\in A, \phi (a_1)=\phi (a_2)\longrightarrow a_1=a_2?a1?,a2?∈A,?(a1?)=?(a2?)?a1?=a2?
- Function from AAA onto BBB: ?b∈B,?a∈Asuchthat?(a)=b\forall b\in B, \exists a\in A\ \mathrm{such\ that}\ \phi (a)=b?b∈B,?a∈A?such?that??(a)=b
理解:這兩種映射可以翻譯為“一一的”和“到上的”,實際上對應的是單射和滿射。“一一的”代表像相同則原像相等,即不能有多個原像映射到同一個像。“到上的”即集合BBB中所有元素都是像,也即是AAA的像等于值域。
函數的一些特性
- 映射滿足結合律:γ(βα)=(γβ)α\gamma (\beta\alpha)=(\gamma\beta )\alphaγ(βα)=(γβ)α
- 如果α\alphaα和β\betaβ都是一一的,那么βα\beta\alphaβα也是
- 如果α\alphaα和β\betaβ都是到上的,那么βα\beta\alphaβα也是
- 如果α\alphaα是一一到上的(雙射),那映射存在逆
總結
以上是生活随笔為你收集整理的近世代数——Part1 整数和等价关系的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: python爬取网页表格数据匹配,pyt
- 下一篇: [软工]可行性分析报告