版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進行舉報或認(rèn)領(lǐng)
文檔簡介
第七章代數(shù)結(jié)構(gòu)預(yù)備知識7.1集合與映射定義1
設(shè)和是給定的兩個集合,如果有一個規(guī)則,使對任意一個元素,在中有唯一的元素與之對應(yīng),則稱是到的一個映射。記作和,稱為的定義域,稱為的值域,稱為的象,稱為的原像。例1設(shè)為一個非空集合。是到的一個映射,稱為上的恒等映射或單位映射。定義2
兩個映射,當(dāng)且僅當(dāng),且對任意,都有,稱和是相等的映射,記為。3.若既是單射又是滿射,則稱它是到的雙射。定義3
設(shè)是到的一個映射。1.若對任意,都有,稱是到的單射。2.若,則稱是到的滿射。定義4
設(shè)是三個集合,有兩個映射:,則由和可確定一個到的映射,稱為與的合成,記作,亦即映射的合成一般不滿足交換律,但滿足結(jié)合律。因此中的恒等映射,則定理1
設(shè)是到的映射,和分別是與是可逆映射。定義5
設(shè)兩個映射,若成立,則稱是左可逆映射,是右可逆映射,并稱是的左逆映射,是的右逆映射。又若也成立,則稱和都定理2
到的映射是左可逆的充要條件是為單射,是右可逆的充要條件是為滿射。推論:是可逆映射,當(dāng)且僅當(dāng)是雙射。定理3
設(shè)是到的映射,且,則。7.2等價關(guān)系當(dāng)時,說與沒有關(guān)系,記作。定義1
集合和的笛卡爾積的任一子集稱為與之間的一個二元關(guān)系,它的元素是有序?qū)?,記為,其中。則稱是上的等價關(guān)系。用符號~表示。定義2
設(shè)是集合上的二元關(guān)系,如果1.對所有的,都有,即具有自反性;2.對所有的,若,則,即具有對稱性;3.對所有的,若,則,即具有傳遞性。其中是該等價類的一個代表元。這樣,對任一元素,所有與有關(guān)系的元素構(gòu)成一個集合,稱之為的一個等價類,記作,即~依據(jù)等價關(guān)系的定義,等價類具有以下性質(zhì):1.2.若,則。~3.若且,則?!?,若非,則有。定理1
設(shè)~是上的一個等價關(guān)系,對任意元素定理2
設(shè)是上由等價關(guān)系~確定的全部等價類,那么常用記號表示,并稱之為關(guān)于~的商集。等價類的集合,稱為等價類族記為~例1
設(shè)是非負(fù)整數(shù)集合,是一個正整數(shù),令是中的模同余關(guān)系。則顯然是等價關(guān)系,因此定理3
集合的一個劃分可以確定的一個等價關(guān)系。定理4
設(shè)是到的一個滿射,則可以確定的一個等價關(guān)系。定理5
設(shè)是到的一個滿射,則存在唯一雙射,使,其中~是由~確定的等價關(guān)系,是到的自然映射?!?.3代數(shù)系統(tǒng)的概念稱為的一個二元代數(shù)運算,簡稱定義1
設(shè)是非空集合,到的一個映射二元運算。定義2
設(shè)是非空集合,是正整數(shù),到的一個映射稱為的一個元運算,簡稱為元運算。當(dāng)是有限集合時,也稱該系統(tǒng)是有限代數(shù)系統(tǒng)。定義3
設(shè)是一個非空集合,分別是的元運算,是正整數(shù),。稱集合和運算所組成的系統(tǒng)為一個代數(shù)系統(tǒng)(或一個代數(shù)結(jié)構(gòu)),簡稱為一個代數(shù),用記號表示。定理1
若對二元運算適合結(jié)合律,則對于任何正整數(shù)和,有1.。2.。若既是左單位元又是右單位元,則稱之為單位元。定義4
給定一個代數(shù)系統(tǒng),如果存在一個元素(或者),使得對于任意元素,有(或),稱(或)是上關(guān)于運算的一個左(或右)單位元。定理2
若代數(shù)系統(tǒng)有左單位元,又有右單位元,則是的唯一的單位元。定義5
設(shè)是有單位元的代數(shù)系統(tǒng),對于,若存在一個元素,使得,則稱是左可逆的,并稱是的一個左逆元;若存在,使得,則稱是右可逆的,并稱是的一個右逆元;若既是左可逆又是右可逆的,則說是可逆元。右逆元,則有唯一逆元,并且定理3
設(shè)代數(shù)系統(tǒng)具有單位元,且適合結(jié)合律,對于,有左逆元,又有。7.4同構(gòu)與同態(tài)定義1
設(shè)和是兩個代數(shù)系統(tǒng),若和都是元運算,是正整數(shù),,則說代數(shù)系統(tǒng)和是同類型的。定義2
設(shè)和是兩個同類型的代數(shù)系統(tǒng),是一個雙射。如果對任意元,恒有則稱是到的一個同構(gòu)映射,并稱與同構(gòu),用表示。定義3
設(shè)和是兩個同類型的代數(shù)系統(tǒng),是到一個映射。如果對任意的,都有,則稱是到的一個同態(tài)映射,簡稱同態(tài)。例1
一個代數(shù)系統(tǒng);另一個代數(shù)系統(tǒng),其中和分別是模的加法和乘法運算,即這樣可定義映射,即則是到的一個同態(tài),因為總有定義4
設(shè)是一個代數(shù)系統(tǒng),是的一個非空集合,如果在運算下是封閉的,則稱是的一個子代數(shù)系統(tǒng)或子代數(shù)。子代數(shù),并稱它是在的作用下的同態(tài)象。定理1
設(shè)映射是從代數(shù)系統(tǒng)到的一個同態(tài),則是的一個定義5
設(shè)是從到的一個同態(tài),如果1.是單射,稱是單一同態(tài)。2.是滿射,稱是滿同態(tài),用表示,~并稱是的一個同態(tài)象。3.是雙射,則是同構(gòu)。則對運算,每一個元素都有逆元定理2
給定代數(shù)系統(tǒng)和,其中和都是二元運算。設(shè)是到的滿同態(tài),則1.如果是可交換的或可結(jié)合的運算,則
溫馨提示
- 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)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 2026內(nèi)蒙古農(nóng)商銀行社會招聘70人備考題庫完整答案詳解
- 2025-2030正畸醫(yī)療服務(wù)市場擴張與新型技術(shù)采納分析
- 2025-2030歐盟人工智能監(jiān)管框架修改與產(chǎn)業(yè)自律章程大會會議紀(jì)要編撰資料
- 2025-2030歐洲金融科技服務(wù)行業(yè)市場現(xiàn)狀分析競爭形態(tài)投資評估發(fā)展前景規(guī)劃報告
- 2025-2030歐洲自動駕駛車政策立法技術(shù)標(biāo)準(zhǔn)測試評價分析書
- 2025-2030歐洲生物燃料產(chǎn)業(yè)化進程經(jīng)濟評估或端頭殘留物生物轉(zhuǎn)化資源化利用進展研討報告
- 2025-2030歐洲汽車后市場行業(yè)競爭及維修保養(yǎng)和個性化服務(wù)分析
- 2025-2030歐洲智能機器人應(yīng)用行業(yè)市場趨勢分析投資評估及商業(yè)化規(guī)劃報告
- 2025-2030歐洲智能建筑控制系統(tǒng)行業(yè)市場現(xiàn)狀評估與投資研究
- 2025-2030歐洲智能交通系統(tǒng)行業(yè)市場現(xiàn)狀分析競爭格局及發(fā)展規(guī)劃報告
- 民兵集訓(xùn)通知函
- 2025年雞飼料采購合同
- 模擬電子技術(shù)基礎(chǔ) 第4版黃麗亞課后參考答案
- 電信營業(yè)廳運營方案策劃書(2篇)
- JBT 14850-2024 塔式起重機支護系統(tǒng)(正式版)
- 專精特新申報材料范本
- 牽引供電系統(tǒng)短路計算-三相對稱短路計算(高鐵牽引供電系統(tǒng))
- (完整版)第一性原理
- 安全技術(shù)勞動保護措施管理規(guī)定
- 學(xué)習(xí)主題班會課件 高三寒假攻略
- 高一年級主任工作總結(jié)(4篇)
評論
0/150
提交評論