抽象代數 羣(第1章)1

一.集合論預備知識(1.1)
1.集合:
在這裏插入圖片描述
2.集合的運算
(1)交:
在這裏插入圖片描述
(2)並:
在這裏插入圖片描述
(3)補:
在這裏插入圖片描述
(4)直積:
在這裏插入圖片描述
3.映射
(1)概念:
在這裏插入圖片描述
在這裏插入圖片描述
(2)映射的和成:
在這裏插入圖片描述

引理1(和成運算滿足結合律):設 f : A B , g : B C , h : C D f:A→B,g:B→C,h:C→D 均是集合間的映射,則 h ( g f ) = ( h g ) f h\circ(g\circ f)=(h\circ g)\circ f
在這裏插入圖片描述

(3)滿射/單射/雙射:
在這裏插入圖片描述

引理2:映射 f : A B f:A→B 是雙射 ^① 的充要條件是:存在映射 g : B A g:B→A ,使得 f g = 1 B , g f = 1 A f\circ g=1_B,g\circ f=1_A
在這裏插入圖片描述
在這裏插入圖片描述
注:①一一對應或一一映射又稱雙射

(4)逆映射:
在這裏插入圖片描述
4.等價
(1)等價關係:
在這裏插入圖片描述
(2)等價類與完全代表系:
在這裏插入圖片描述
(3)集合的分拆:
在這裏插入圖片描述
在這裏插入圖片描述
(4)等勢的集合:
在這裏插入圖片描述
5.運算:
在這裏插入圖片描述 二.羣的概念(1.2)