홈 > 강의소개
집합론
정진교 교수
부산대학교 대학원 수학과 석사과정
부산대학교 대학원 수학과 박사졸업
부산대학교 대학원 수학과 석사과정
부산대학교 대학원 수학과 박사졸업
부산대학교
신라대학교
현) 유니와이즈 전임교수
AI가 이끄는 스마트한 학습 경험, AI 튜터와 함께 더 빠르고, 더 깊게 학습하세요.
긴 강의 내용을 AI가 핵심만 요약하여 복습 시간을 단축시킵니다.
강의에서 가장 중요한 키워드와 개념을 자동으로 추출해 제공합니다.
학습한 내용을 바탕으로 AI가 생성한 퀴즈를 풀며 이해도를 점검합니다.
모르는 부분을 24시간 언제든 AI 튜터에게 질문하고 답변을 받습니다.
총 6개 챕터, 28강으로 구성되어 있습니다.
| 제목 | 강의시간 | 상세내용 |
|---|---|---|
| 1장. 초등논리 | ||
|
[1강] 오리엔테이션. 명제와 결합자
|
0:
31:
57
|
|
|
명제와 결합자 개념완성
* 명제: 참/거짓을 판별하는 서술문으로, 단순명제와 결합자로 구성된 합성명제로 분류하며 진리집합 개념을 포함. * 결합자: 부정, 논리곱, 논리합, 조건부, 쌍조건부 등 주요 논리 연산자로 명제를 연결하고 진리표로 논리 관계를 정의. * 논리 연산: 논리곱(모든 성분 참일 때 참), 논리합(적어도 하나 참일 때 참), 조건부(가정 참/결론 거짓일 때만 거짓), 쌍조건부(두 진리값 동일 시 참)를 통해 논리적 동치를 분석. |
||
|
[2강] 함진명제, 모순, 추론
|
0:
58:
44
|
|
|
명제 논리: 항진명제, 모순, 추론
* 명제 논리 핵심 개념: 항진명제, 모순 정의 및 명제 간 함의($\implies$), 동치($\equiv$) 관계 분석 * 주요 논리 법칙: 드모르간, 대우 등 명제 동치 및 함의 증명 규칙과 진리표 활용 방법 * 연역적 추론: 논리 법칙 기반 복잡한 명제의 타당성 증명 절차 및 조건문 대우, 역, 이 관계 이해 |
||
|
[3강] 한정규칙, 타당성의 증명, 수학적 귀납법
|
1:
00:
20
|
|
|
집합론: 한정규칙, 타당성 증명, 수학적 귀납법
• 한정규칙: 전칭기호(∀x)와 존재기호(∃x)의 개념 및 부정법칙을 통한 명제 형식화 방법. • 논증의 타당성 증명: 전제로부터 결론을 유도하는 논리적 절차와 직접/간접증명법(배리법)을 통한 증명 방법. • 수학적 귀납법: 기초 단계와 귀납 가정을 통해 모든 자연수에 대한 명제의 타당성을 증명하는 원리. |
||
| 2장. 집합의 개념 | ||
|
[4강] 집합의 규정
|
1:
01:
44
|
|
|
집합의 개념: 정의, 부분집합, 연산
• 집합의 기본 개념: 원소를 이용한 집합의 정의, 종류, 부분집합 및 멱집합의 구성 원리. • 집합의 기본 연산: 합집합, 교집합, 여집합, 차집합의 정의와 핵심 연산 성질 요약. • 집합 연산 법칙: 분배법칙 등 대수적 성질과 집합의 논리적 관계를 설명하는 드 모르간의 정리. |
||
|
[5강] 벤 다이어그램, 집합족
|
0:
43:
49
|
|
|
벤 다이어그램과 첨수된 집합족의 연산
• 첨수된 집합족의 연산: 무한 집합의 합집합('for some')과 교집합('for all')을 논리적으로 정의하는 원리. • 일반화된 드 모르간·분배 법칙: 집합족의 합집합·교집합에 적용되는 여집합 및 분배 연산의 기본 구조. • 첨수집합이 공집합인 교집합: 조건문의 가정이 거짓이므로 명제는 참이 되어 결과가 전체집합(U)이 되는 원리. |
||
| 3장. 관계와 함수 | ||
|
[6강] 두 집합의 데카르트곱
|
0:
34:
16
|
|
|
두 집합의 데카르트 곱 정의와 주요 성질
• 순서쌍 정의: 원소의 순서를 지정하는 집합론적 구성 방식과 필요충분조건. • 데카르트 곱: 두 집합의 원소로 순서쌍의 집합을 생성하는 연산($A \times B$)과 비가환성 등 주요 성질. • 데카르트 곱과 집합 연산: 교집합·합집합·차집합에 대한 분배법칙 및 곱집합 간 연산 시 성립하는 등식·포함 관계. |
||
|
[7강] 관계
|
0:
43:
31
|
|
|
집합론의 관계: 정의, 역관계, 동치관계
• 관계의 기본 개념: 데카르트 곱의 부분집합으로 정의하며, 역관계·정의역·상을 통해 관계의 구조를 분석. • 동치관계: 반사성·대칭성·추이성을 모두 만족하는 관계로, 정수론의 합동관계가 대표적인 예시. • 순서관계: 반사성·반대칭성·추이성을 만족하며, 집합 내 원소들의 대소 또는 포함 관계를 구조화. |
||
|
[8강] 분할과 동치관계
|
0:
50:
48
|
|
|
집합론: 분할과 동치관계의 정의 및 상호 관계
• 분할(Partition): 집합을 상호 배타적(서로소)이고 전체를 포함하는 부분집합들로 나누는 원리. • 동치관계(Equivalence Relation): 반사·대칭·추이성을 만족하는 관계로, 원소들을 동치류(Equivalence Class)로 그룹화. • 분할-동치관계 대응: 동치관계가 동치류 집합으로 유일한 분할을 결정하고, 분할은 '같은 부분집합에 속함'으로 유일한 동치관계를 유도하는 상호 관계. |
||
|
[9강] 함수, 집합의 상과 원상
|
1:
00:
35
|
|
|
함수의 정의, 종류 및 집합의 상과 역상
• 함수의 기본 정의: 집합론의 관계를 이용해 정의역·공역·치역을 규정하고 특성함수, 항등함수 등 주요 유형 분석 • 집합의 상(Image)과 역상(Inverse Image): 정의역과 공역의 부분집합을 각각 대응시키는 함수의 핵심 기능 정의 • 상과 역상의 연산 속성 비교: 역상이 합집합·교집합·차집합 연산을 모두 보존하는 반면, 상은 합집합만 보존하는 차이 분석 |
||
|
[10강] 전단사, 함수의 합성
|
0:
43:
12
|
|
|
단사, 전사, 전단사 및 함수의 합성
* 단사, 전사, 전단사 함수: 정의역-공역 원소 대응 관계에 따른 각 함수의 정의 및 특징 분석 * 역함수: 함수가 전단사 함수일 때 역함수의 존재 조건 및 $y=x$ 대칭 그래프 성질 요약 * 함수의 합성: 두 함수를 결합하여 새로운 함수를 만드는 정의와 비가환적이지만 결합적인 성질 이해 |
||
| 4장. 가부번집합과 비가부번집합 | ||
|
[11강] 유한집합과 무한집합(1)
|
0:
34:
18
|
|
|
유한집합과 무한집합의 정의와 주요 정리
• 데데킨트 무한/유한 집합 정의: 집합이 진부분집합과 일대일 대응하면 무한집합, 그렇지 않으면 유한집합으로 엄밀히 구분. • 유한집합의 특징: 공집합 및 한원소 집합의 유한성을 데데킨트 정의에 기반하여 증명. • 집합의 크기 관련 정리: 무한집합을 포함하는 상위 집합의 무한성, 유한집합 부분집합의 유한성, 일대일 대응 함수의 무한성 보존 특성 분석. |
||
|
[12강] 유한집합과 무한집합(2)
|
0:
44:
12
|
|
|
유한 및 무한 집합의 주요 정리와 증명
* 유한/무한 집합 정의: 데데킨트 무한 개념 및 $N_k$와의 일대일 대응을 통한 집합의 유한성, 무한성 판별 기준. * 집합의 성질 분석: 유한집합의 일대일 대응 성질(따름정리 3)과 무한집합에서 원소 제거 시 무한성 유지(정리 4) 원리 정리. * 집합 증명 방법론: 귀류법 및 수학적 귀납법을 활용한 유한/무한 집합 관련 명제의 논리적 증명 절차. |
||
|
[13강] 집합의 대등
|
0:
44:
10
|
|
|
집합의 대등: 크기 비교와 가산성
* 집합의 대등 개념: 일대일 대응을 통한 집합 크기 비교 원리, 동치 관계 및 합집합·데카르트 곱 연산 성질 분석. * 가부번 집합 정의: 자연수 집합과 대등하여 원소를 번호 매길 수 있는 무한집합의 구조와 특징. * 가산 집합 정의: 유한하거나 가부번인 집합 분류 및 가부번/가산 집합의 부분집합이 갖는 성질. |
||
|
[14강] 가부번집합의 성질
|
0:
52:
37
|
|
|
가부번 집합과 비가부번 집합의 성질
• 가부번 집합: 자연수 집합과 일대일 대응 가능한 집합으로, 정수, 유리수 집합 및 합집합, 데카르트 곱의 가부번성 증명. • 비가부번 집합: 자연수 집합과 대등하지 않은 무한 집합으로, 실수 개구간, 실수, 무리수 집합의 비가부번성 증명. • 칸토어의 대각선 논법: 실수 개구간의 비가부번성을 입증하는 핵심 증명 방법으로, 무한 집합 크기 비교 원리. |
||
| 5장. 기수와 기수의 셈 | ||
|
[15강] 기수의 개념
|
0:
46:
15
|
|
|
기수의 개념 및 순서, 칸토어-베른슈타인 정리
* 기수 개념: 집합의 크기를 유한기수와 초한기수로 표현하며, 기수 공리로 존재 및 기본 성질을 정의. * 기수의 순서: 유한/초한 기수 간 대소 관계를 집합의 부분집합과 대등 관계 기반으로 규정. * 칸토어-베른슈타인 정리: 두 집합 간의 상호 부분집합 대등 관계를 통해 두 집합의 대등성을 증명, 기수 동등성을 판단. |
||
|
[16강] 멱집합의 기수
|
1:
04:
12
|
|
|
멱집합의 기수와 기수 연산
• 멱집합과 기수: 칸토어의 정리로 $card(X) < card(P(X))$ 관계를 통해 무한 기수의 대소 관계를 정의. • 기수 연산: 기수합과 기수곱의 정의 및 $\aleph_0$, $c$ 등 주요 무한 기수 연산의 교환·결합·분배 법칙을 탐구. • 무한기수 특성: 유한기수 연산과의 차이점($x+y=x \Rightarrow y \neq 0$)을 분석하고 연속체 가설의 의미를 파악. |
||
|
[17강] 기수의 거듭제곱 (1)
|
0:
35:
52
|
|
|
기수의 거듭제곱 정의 및 주요 성질
• 기수의 거듭제곱 정의: 유한기수에서 초한기수로 확장하여 집합 간 함수들의 총집합 기수로 정의하며, 전단사 함수를 통해 잘 정의됨을 입증. • 멱집합 기수: $card(P(A))$와 $2^{card(A)}$의 동등성을 특성 함수를 활용한 전단사 대응으로 증명. • 기수의 거듭제곱 성질: $a^x a^y = a^{x+y}$ 등 대수적 관계를 서로소 지수 집합의 함수 결합을 통해 논증. |
||
|
[18강] 기수의 거듭제곱 (2)
|
0:
37:
12
|
|
|
기수의 거듭제곱과 그 성질 증명
* 기수 거듭제곱 법칙: $(z^y)^x = z^{yx}$ 및 $(ab)^x = a^x b^x$는 전단사 함수 구성으로 증명 * $2^{\aleph_0} = c$ 정리: 실수 및 자연수 멱집합 간 단사 함수 구성으로 기수의 대등성 입증 * $\aleph_0 < c$ 관계: 칸토어 정리와 $2^{\aleph_0} = c$를 통한 무한 기수 대소 관계 분석 |
||
|
[19강] 연속체 가성과 그것의 일반화
|
0:
27:
28
|
|
|
집합론: 연속체 가설과 기수 계산
• 집합론 기수 계산: 연속, 미분가능, 상수 함수 및 무리수 집합의 기수 $c$를 증명 • 연속체 가설: $\aleph_0$와 $c$ 사이의 기수 부재 주장 및 일반화된 형태로 초한 기수 사이의 '틈' 탐색 • 칸토어의 정리: 초한 기수 $\aleph_0$, $c$ 개념과 가부번·비가부번 집합 구분을 통한 무한 집합의 크기 비교 원리 |
||
| 6장. 선택공리 | ||
|
[20강] 도입
|
0:
41:
51
|
|
|
선택공리 및 순서관계 도입
• 선택공리: 공집합 아닌 집합족의 선택함수 존재성을 명시하며, 하우스도르프 극대원리, 존의 보조정리 등과 동치인 집합론의 핵심 공리. • 부분순서 및 전순서: 반사성, 추이성, 반대칭성으로 원소 간 순서 관계를 정의하고, 전순서는 모든 원소의 대소 비교가 가능한 특수 순서 관계. • 사슬: 부분순서집합 내에서 유도된 관계가 전순서를 이루는 부분집합으로, 특정 순서 구조를 분석하는 도구. |
||
|
[21강] 하우스도르프의 극대원리
|
0:
51:
39
|
|
|
하우스도르프 극대원리와 부분순서집합의 주요 개념
• 부분순서집합 기본 개념: 상계·하계·극대원소·상한·하한 등 부분순서 구조를 정의하는 핵심 용어 정리 • 하우스도르프 극대원리: 모든 부분순서집합 내 극대 완전순서 부분집합(사슬)의 존재성을 보장하는 원리 • 선택공리와의 관계 및 활용: 고정점 정리를 이용한 증명 과정과 수학적 대상의 존재성 증명에 활용되는 원리 요약 |
||
|
[22강] 존의 보조정리
|
0:
34:
42
|
|
|
존의 보조정리와 집합의 기수 비교
• 존의 보조정리: 모든 사슬(chain)이 상계(upper bound)를 갖는 부분 순서 집합에서 극대원소(maximal element)의 존재를 보장하는 원리. • 기수 비교 정리: 존의 보조정리를 활용해 임의의 두 집합 간 단사함수 존재를 보여 모든 기수의 비교 가능성을 증명하는 정리. • 기수 비교 증명 절차: 단사함수들의 집합으로 부분 순서 집합을 구성하고, 그 극대원소의 성질을 분석하여 증명을 완성하는 과정. |
||
|
[23강] 정렬원리
|
0:
50:
25
|
|
|
정렬원리와 선택공리의 동치 관계
• 정렬원리: 임의의 집합에 모든 부분집합이 최소원소를 갖는 정렬순서를 부여할 수 있다는 존재성 원리. • 존의 보조정리를 이용한 증명: 정렬 가능한 부분집합들의 모임에서 극대원소의 존재성을 통해 정렬원리를 증명하는 핵심 논리. • 선택공리-정렬원리 동치성: 정렬원리가 선택함수의 존재를 보장함을 보여 선택공리, 존의 보조정리, 정렬원리의 논리적 동치 관계를 완성. |
||
|
[24강] 초한귀납법과 역사적 단평
|
1:
10:
05
|
|
|
[출력 시작]
초한귀납법의 원리와 선택공리와의 관계 • 절편과 정렬집합: 수학적 귀납법을 임의의 정렬집합으로 확장하는 초한귀납법의 기초 개념. • 초한귀납법의 원리: 정렬집합에서 특정 원소 이전의 모든 원소에서 명제가 성립하면 해당 원소에서도 성립함을 증명하는 논리. • 선택공리와 정렬원리: 초한귀납법의 논리적 기반을 형성하는 공리적 체계와 그 동치 명제(존의 보조정리 등)의 관계. |
||
|
[25강] 순서수의 개념과 순서 매김
|
1:
11:
13
|
|
|
집합론: 순서수의 개념과 순서 관계 정의
• 순서수와 순서동형: 정렬집합 간 순서 보존 전단사함수를 통해 순서 개념을 정의하고 동일성을 판별 • 순서수 대소 관계: 한 정렬집합이 다른 집합의 '절편(segment)'과 순서동형인지를 기준으로 순서를 정의 • 삼일률(Trichotomy Law): 임의의 두 순서수 사이에는 ≺, =, ≻ 중 하나만 성립함을 증명하여 전순서 구조 확립 |
||
|
[26강] 순서수의 덧셈
|
0:
27:
13
|
|
|
순서수 덧셈의 정의와 주요 정리
• 순서수 덧셈 정의: 서로소인 두 정렬집합을 순서대로 연결하여 순서형을 더하는 연산. • 초한 서수 덧셈의 비가환성: 초한 서수(ω)가 포함되면 교환법칙이 성립하지 않는 특징(k+ω=ω, ω+k>ω). • 주요 연산 법칙: 결합법칙과 좌소거 법칙은 성립하나, 우소거 법칙은 성립하지 않음. |
||
|
[27강] 순서수의 곱셈
|
0:
53:
33
|
|
|
순서수의 곱셈: 정의, 법칙 및 비대칭성
• 순서수 곱셈의 정의: 두 정렬집합의 곱집합에 사전식 순서를 부여하여 정의하며, 교환법칙이 성립하지 않는 비대칭적 구조. • 순서수 곱셈의 연산 법칙: 결합법칙 및 좌분배·좌소거 법칙은 성립하나, 우분배·우소거 법칙은 성립하지 않음. • 초한서수 곱셈의 비교환성: 2ω와 ω2의 계산을 통해 연산 순서에 따라 결과가 달라지는 비직관적 특성 분석. |
||
|
[28강] 결론
|
0:
28:
28
|
|
|
서수와 정렬집합, 부랄리-포르티의 역리
• 서수의 집합적 정의: 임의의 서수 α를 그보다 작은 모든 서수의 집합 `{β | β < α}`과 동일시하는 개념. • 초기 서수와 기수: 서수 집합의 정렬성을 기반으로, 임의의 집합과 대등한 최소 서수를 초기 서수이자 기수로 정의. • 부랄리-포르티의 역리: '모든 서수의 집합'이 존재한다고 가정할 때 발생하는 논리적 모순(`α < α`)을 통해 해당 집합의 비존재 증명. |
||
정진교 교수님
집합론
