




版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡介
在平面幾何學(xué)中,有兩個非常熟悉的概念:全等三角形和相似三角形.
請問:這兩個概念的思想是什么?全等三角形具有完全相同的幾何性質(zhì)和數(shù)量關(guān)系;相似三角形具有相似的幾何性質(zhì)和數(shù)量關(guān)系.問題:比較的實(shí)質(zhì)是什么?如何用數(shù)學(xué)語言來描述?比較的實(shí)質(zhì)就是在兩個事物之間建立一個對應(yīng),若能使相互對應(yīng)的元素具有相同或相似的屬性,就可以說這兩個事物是一樣的或相似的.通過比較進(jìn)行分類第6講群的同態(tài)1/31/20231定義
設(shè)f是群G到群H的一個映射,如果
a,b∈G,f(ab)=f(a)f(b)[保持運(yùn)算]則稱f是G到H的一個同態(tài)(映射).當(dāng)是滿射時(shí),則稱f是滿同態(tài),記G~H;當(dāng)是單射時(shí),則稱f是單同態(tài);當(dāng)是雙射時(shí),則稱f是同構(gòu),記G≌H;當(dāng)G=H時(shí),則稱f是G的自同態(tài);何謂自同構(gòu)?1/31/20232命題1.3.3
若f是群G到群H的一個同態(tài),則
f(eG)=eH,f(a-1)=f(
a)-1。證明:
a∈G,f(a)=f(eGa)=f(eG)f(a),等式兩端右f(a)的逆得f(eG)=eH.
f(a-1)f(
a)=f(a-1
a)=f(eG)=eH,故f(a-1)=f(
a)-1?!?/31/20233命題1.3.4(同態(tài)核)ker(f)={a∈G:f(a)=eH}G。證明:a,b∈ker(f),f(a)=eH,f(b)=eH,于是,f(ab)=f(a)f(b)=eHab∈ker(f).由命題1.3.2得f(a-1)=f(
a)-1=eH-1=eH。因而a-1∈ker(f),根據(jù)判定定理知ker(f)G?!?/31/20234命題1.3.5(同態(tài)像)Im(f)=f(G)={f(a):a∈G}H.證明:a,b∈Im(f),有x,y∈G使f(x)=a,f(y)=b,于是
ab=f(x)f(y)=f(xy)∈Im(f).
a-1=f(x)-1=f(x
-1)∈Im(f).根據(jù)判定定理知Im(f)G。■1/31/20235Cayley定理
每個抽象群必與某個變換群同構(gòu).證明:設(shè)G是任一群.1、構(gòu)造變換群g∈G,令I(lǐng)g:GG,Ig(x)=gx,則Ig∈SG.Ig是滿射:每個x∈G在Ig下都有原像g-1x;Ig是單射:若Ig(x)=Ig(y),即gx=gy,由消去律得x=y(tǒng).令H={Ig:g∈G},則H是SG的子群。根據(jù)命題1.3.5,其證明蘊(yùn)涵于下面的證明.1/31/202362、驗(yàn)證同構(gòu)映射f:GSG,f(g)=
Ig.g,h∈G,x∈G,Igh(x)=gh(x)=g(h(x))=Ig(Ih(x))=(IgIh)(x).故Igh=IgIh,即f(gh)=f(g)f(h).f是同態(tài)映射.若
f(h)=f(g),即Ih=Ig,于是,Ih(e)=Ig(e)h=g.所以,f是單射,G與f(G)=H同構(gòu).
■1/31/20237注:兩個同構(gòu)的群具有完全一樣的運(yùn)算性質(zhì),其代數(shù)結(jié)構(gòu)也完全一樣.代數(shù)學(xué)中主要是研究運(yùn)算的一般性質(zhì),而對承載運(yùn)算的集合是不注意的.同構(gòu)的群作為代數(shù)運(yùn)算系統(tǒng)被看作是一樣的.
Cayley定理告訴我們:第一,只需要研究變換群就可以了;第二,每個抽象群都有具體的模型.1/31/20238例.
域F上的N維向量空間V上的全體可逆線性變換之集GLn(V)關(guān)于變換的合成運(yùn)算構(gòu)成一個群,且與GLn(F)同構(gòu).因?yàn)?兩個可逆線性變換的合成還是可逆線性變換,且可逆線性變換的逆變換還是可逆線性變換,即,∈GLn(V)有
∈GLn(V),且-1∈GLn(V),所以,GLn(V)是SV的子群,因而是群.給定V的一個基X,∈GLn(V),記關(guān)于基X的矩陣為f(),在高等代數(shù)中已經(jīng)證明,f是群GLn(V)到群GLn(F)的雙射,且保持運(yùn)算.■1/31/20239例.對數(shù)函數(shù)
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 2025年硅膠片材項(xiàng)目投資可行性研究分析報(bào)告
- 全包合同范本
- 動漫城裝修項(xiàng)目包干價(jià)協(xié)議
- 2024年安徽六安農(nóng)商銀行社會招聘考試真題
- 2025-2030年中國箱車配件行業(yè)深度研究分析報(bào)告
- 2025年度學(xué)校安全文化建設(shè)責(zé)任協(xié)議
- 2025年度智慧社區(qū)物業(yè)保安勞務(wù)管理合同樣本
- 2025年度個人購房借款合同(含物業(yè)管理費(fèi)及裝修貸款)
- 科技人才培育與科研誠信建設(shè)的聯(lián)動機(jī)制研究
- 2025年度房屋買賣合同撤銷條件下的法律援助與合同解除服務(wù)協(xié)議
- 高二歷史【開學(xué)第一課】2022年高中秋季開學(xué)指南之愛上歷史課
- 人間生活(外國部分)
- 2023年TOFD檢測通用工藝規(guī)程參考版
- 物業(yè)保潔團(tuán)隊(duì)建設(shè)與管理
- 紙與我們的生活
- 國家中長期科技發(fā)展規(guī)劃綱要2021-2035
- 施工班組考核評分表
- 水泥攪拌樁施工記錄表
- 脫碳塔CO2脫氣塔設(shè)計(jì)計(jì)算
- 《駱駝祥子》通讀指導(dǎo)手冊
- 股東會會議系列文件(通知、議程、簽到表、表決票、決議)
評論
0/150
提交評論