집합론

ZFC 공리계

4 분 소요

집합론의 공리들

순서쌍

3 분 소요

집합의 포함관계와 순서쌍의 정의

이항관계

2 분 소요

이항관계의 정의

함수

3 분 소요

함수의 기본 정의

집합의 합

4 분 소요

집합들 사이의 합 (분리합집합)

집합의 곱

4 분 소요

집합들 사이의 곱

곱집합의 성질

3 분 소요

부분곱, 결합법칙과 결합법칙

동치관계

3 분 소요

동치관계의 정의와 성질들

동치관계의 예시들

4 분 소요

동치관계의 예시들, 동치관계의 포화, isomorphism theorem들

단조함수

3 분 소요

순서집합의 연산과 단조함수

유향집합

2 분 소요

유향집합과 lattice

선택공리

4 분 소요

선택공리와 그 동치들

기수

3 분 소요

Cardinal number의 정의

극한

6 분 소요

Inverse limit과 direct limit

Back to [Math] directory