![[현대대수학]노트정리-1](http://images.happyhaksul.com/thumb/391/390447-0001.gif)
![[현대대수학]노트정리-2](http://images.happyhaksul.com/thumb/391/390447-0002.gif)
![[현대대수학]노트정리-3](http://images.happyhaksul.com/thumb/391/390447-0003.gif)
![[현대대수학]노트정리-4](http://images.happyhaksul.com/thumb/391/390447-0004.gif)
![[현대대수학]노트정리-5](http://images.happyhaksul.com/thumb/391/390447-0005.gif)
![[현대대수학]노트정리-6](http://images.happyhaksul.com/thumb/391/390447-0006.gif)
![[현대대수학]노트정리-7](http://images.happyhaksul.com/thumb/391/390447-0007.gif)
![[현대대수학]노트정리-8](http://images.happyhaksul.com/thumb/391/390447-0008.gif)
![[현대대수학]노트정리-9](http://images.happyhaksul.com/thumb/391/390447-0009.gif)
![[현대대수학]노트정리-10](http://images.happyhaksul.com/thumb/391/390447-0010.gif)
![[현대대수학]노트정리-11](http://images.happyhaksul.com/thumb/391/390447-0011.gif)
![[현대대수학]노트정리-12](http://images.happyhaksul.com/thumb/391/390447-0012.gif)
분야
hwpB : a subset of A
: . notation :
2. Equality of sets (집합의 상등) A , B : sets.
A=B
: :
3. Cartesian Product (카테이션 곱) A , B : sets.
AB={(a,b) }
; Cartesian product of A and B
4. Ordered Pairs (순서쌍) A , B : sets.
. (a,b) { {a}, {a,b} }
5. Relation (관계) A , B : sets.
ℜ: a relation from A to B
ℜ
6. Equivalence relation (동치관계) A : a set.
ℜ: an equivalence relation on A
0. ℜ
1. reflexive ; : aℜa
2. symmetric ; aℜb ⇒ bℜa
3. transitive ; aℜbbℜc ⇒ aℜc
7. Function, Map (함수, 사상) A , B : sets.
: a map
1.
2. :
3. :
8. Injective map (단사 사상) A , B : sets.
: a map : injective (1-1)
1. : a map
2. :
9. Surjective map (전사 사상) A , B : sets.
: a map : surjective (onto)
1. : a map
2. :
10. Bijective map (전단사 사상) A , B : sets.
: a map : bijective
1. : a map
2. f : injective and surjective
11. Cardinality (기수), Size (농도) A : set.
the cardinality of A : the number of elements in A.
notation : #A
12. Same cardinality (같은 원소 개수) A , B : sets.
