홈 > 강의소개
위상수학
전춘배 교수
KAIST 대학원 수학과 석사과정
KAIST 대학원 수학과 박사졸업
Tokyo Institute of Technology Post-Doc.
KAIST 대학원 수학과 석사과정
KAIST 대학원 수학과 박사졸업
Tokyo Institute of Technology Post-Doc.
KAIST
ICU
현) 유니와이즈 자문교수
AI가 이끄는 스마트한 학습 경험, AI 튜터와 함께 더 빠르고, 더 깊게 학습하세요.
긴 강의 내용을 AI가 핵심만 요약하여 복습 시간을 단축시킵니다.
강의에서 가장 중요한 키워드와 개념을 자동으로 추출해 제공합니다.
학습한 내용을 바탕으로 AI가 생성한 퀴즈를 풀며 이해도를 점검합니다.
모르는 부분을 24시간 언제든 AI 튜터에게 질문하고 답변을 받습니다.
총 9개 챕터, 57강으로 구성되어 있습니다.
| 제목 | 강의시간 | 상세내용 |
|---|---|---|
| 1장. 집합론 | ||
|
[1강] 기초논리, 집합과 연산
|
0:
52:
56
|
|
|
기초논리와 집합 연산 핵심 정리 요약
• 명제 논리와 증명 방법: 명제·복합명제·진리표·필요·충분·필요충분조건, 논리법칙·동치변형(멱등·교환·결합·분배·드모르간), 대우·모순·귀류법·수학적 귀납법을 통한 조건명제 증명 구조 정리 • 집합의 구조와 포함관계: 집합·원소·부분집합·진부분집합·공집합 정의, 합집합·교집합·서로소와 기본 포함관계, 부분집합 판정 기준(합·교집합 동치) 및 집합 대수법칙(멱등·교환·결합·분배) 체계화 • 여집합·차집합과 논리 대응: 전체집합·여집합·차집합 정의와 표현($A\setminus B=A\cap B^c$), 여집합의 역포함·이중여집합·공집합·전체집합 성질, 집합 드모르간 법칙과 서로소–여집합 관계를 논리 연산 $\lor,\land,\lnot$와의 동치로 정리 |
||
|
[2강] 동치관계와 분할
|
0:
22:
34
|
|
|
동치관계와 분할의 개념 정리 및 상호 대응 구조
• 관계·동치관계: 집합의 곱집합 부분집합으로서의 관계 정의, 반사성·대칭성·추이성을 만족하는 동치관계 구조 제시 • 동치류·동치류 집합: 동치류 [x]와 몫집합 X/∼ 정의, 동치류들의 서로소·포괄성에 의한 집합 분할 성질 정리 • 분할·동치관계 대응: 분할의 정의(서로소·합집합=전체)와 “동치관계 ⇒ 분할”, “분할 ⇒ 동치관계”의 1대1 대응 및 정수 모듈러 예시 구조화 |
||
|
[3강] 함수와 곱집합
|
1:
00:
14
|
|
|
함수와 곱집합의 구조와 성질 정리
• 함수와 상·역상 구조: 관계로서의 함수 정의(정의역·공역·치역, 전사·단사·전단사)와 집합의 상·역상 연산, 포함관계·합집합·교집합·차집합·여집합에 대한 상·역상의 보존·포함 성질 및 전사·단사 조건에서의 등호 성립 정리 • 합성함수와 역함수 체계: 합성함수 정의와 상·역상 공식, 합성과 전사·단사의 관계, 항등함수·역함수 개념, 역함수 존재 ⇔ 전단사 필요충분조건, 전단사 합성의 역함수 공식 (g ∘ f)⁻¹ = f⁻¹ ∘ g⁻¹ 구조화 • 곱집합과 지수집합 관점: 순서쌍을 지수집합에서의 함수로 보는 관점에 따른 유한 곱집합 X₁×…×Xₙ, 가산 곱집합 ∏ₙ Xₙ, 임의 지수집합 Λ에 대한 곱집합 ∏_{α∈Λ} X_α 정의 및 “함수들의 집합”으로서 곱집합의 통일적 구조 정리 |
||
|
[4강] 선택공리와 순서집합
|
1:
05:
06
|
|
|
선택공리와 순서·정렬·Zorn 보조정리 개념 정리
• 선택공리·선택함수·동치 원리: 무한 집합족에서 선택함수 존재를 공리로 보장하고, Hausdorff 극대원리·Zorn의 보조정리·정렬원리(Well-ordering principle)와의 동치 구조 정리 • 부분순서·전순서·상계 구조: 부분순서(poset)·전순서·체인 정의와 상계·하계·최소상계(sup)·최대하계(inf)·극대·극소·최대·최소원소 개념 및 전순서/체인/사전식 순서에서의 정렬성·고정점 정리 조건 정리 • 정렬집합·정렬원리·Zorn 보조정리: 자연수·정수·실수의 정렬 관련 성질, 정렬집합의 부분집합·곱집합(사전식 순서)의 정렬성, “모든 체인이 상계를 가지면 극대원소 존재”라는 Zorn 보조정리와 정렬원리 ⇔ 선택공리 논리 구조 정리 |
||
|
[5강] 가산집합 (1)
|
0:
34:
38
|
|
|
위상수학 가산집합과 대등관계, Cantor–Bernstein 정리
• 대등관계와 기수: 전단사함수로 정의되는 대등관계(equipotent)가 동치관계를 이루며, 이를 통해 집합의 기수(cardinality)와 유한·무한 집합의 구조를 분류함 • 가산·비가산 개념: 가부번집합(자연수와 대등한 집합), 가산집합(유한 또는 가부번), 비가산집합(가산이 아닌 집합)을 정의하고, 대등관계가 유한성·무한성·가산성·비가산성을 보존함 • Cantor–Bernstein 정리 구조: 부분집합으로의 단사 존재 시 전단사를 구성하는 원리(FACT9)를 이용하여 |X|≤|Y|, |Y|≤|X|이면 전단사함수 구성을 통해 |X|=|Y|를 증명함 |
||
|
[6강] 가산집합 (2)
|
1:
09:
45
|
|
|
위상수학 가산집합·기수·연속체 가설 핵심 정리
• 가산성 개념과 구조: 가부번·가산집합의 부분집합 성질, ℕ^k와 ℕ×ℕ의 가부번성, 가산개의 가산집합 합집합의 가산성, ℤ·ℚ의 가산성과 모든 무한집합이 포함하는 가부번 부분집합 정리 • 비가산성과 기수 이론: ℝ·ℂ 및 {0,1}^ℕ의 비가산성, ℝ²≃ℝ와 ℂ≃ℝ의 기수 동형, 임의 집합 X와 멱집합 ℘(X)의 기수 비교(Cantor 정리), 초한기수·ℵ₀·c와 기수 순서 관계 정립 • 연속체 가설과 GCH: ℵ₀와 c 사이 기수 부재를 주장하는 연속체 가설(CH)과 일반화된 연속체 가설(GCH)의 내용, 비가산 부분집합의 기수 구조에 미치는 영향, CH의 무모순성·독립성 결과(ZF/ZFC에서의 증명불가능성) |
||
| 2장. 유클리드공간 | ||
|
[7강] 실수 집합 R의 성질
|
0:
51:
37
|
|
|
실수집합 ℝ의 상하계, 수열, 아르키메데스 성질 핵심 정리
• 상하계·상한·하한과 완비성: 실수 부분집합의 상계·하계, 상한(sup)·하한(inf) 정의와 TFAE 조건, 최소상계·최대하계 성질 및 유계 집합 예제를 통한 상한·하한 존재성과 유일성 구조 정리 • 수열과 단조수열 수렴, 축소구간 정리: 실수열의 정의·수렴·유계성·단조성, 상한·하한을 이용한 단조수열 수렴정리와 폐구간 축소정리(증가·감소수열의 극한을 통한 교집합 비공집합성) 구조 정리 • 아르키메데스 성질과 조밀성: 아르키메데스 성질의 등가 표현(자연수와 실수의 크기 관계) 및 이를 이용한 유리수·무리수의 조밀성 증명 구조(임의 구간 내 유리수·무리수 존재성 및 실수선 분포 특성) 정리 |
||
|
[8강] R^n 상의 열린집합 (1)
|
1:
01:
01
|
|
|
유클리드 공간에서의 열린집합과 닫힌집합 핵심정리
• 유클리드 공간·거리·열린구: ℝⁿ에서 유클리드 거리를 갖는 metric space 구조와 열린구 B(p,r)의 정의 및 교집합 성질을 통해 모든 점의 주변에 포함되는 열린구 개념 정리 • 열린집합·닫힌집합 구조: 열린집합의 정의(각 점 주변 열린구 포함), 닫힌집합의 정의(여집합이 열린집합), 열린집합의 임의 합집합·유한 교집합 폐쇄성과 닫힌집합의 임의 교집합·유한 합집합 폐쇄성 및 유한집합·정수집합 등의 닫힘성 정리 • ℝ에서의 열린·닫힌 집합 분류: 구간·정수·유리수·유한집합의 open/closed 판정, 열린집합의 무한교집합·닫힌집합의 무한합집합 반례, ℝ에서 동시에 열린·닫힌 집합은 ∅와 ℝ뿐임을 상한을 이용한 귀류법으로 증명하는 정리 정리 |
||
|
[9강] R^n 상의 열린집합 (2)
|
0:
59:
06
|
|
|
실수 및 유클리드 공간에서의 연속함수와 가산성 요약
• 연속함수 동치 정의: ε-δ 조건, 열린볼 포함관계, 공역 열린집합의 역상을 통한 점별·전역 연속성 판정 구조 정리 • ℝ의 열린집합 구조: 임의 열린집합의 서로소 최대 열린구간 분해와 유리수의 조밀성·가산성을 이용한 가산개의 열린구간 합집합 표현 • ℝⁿ의 가산성 정리: Lindelöf 정리를 통한 임의 열린덮개의 가산 부분덮개 존재와 이를 활용한 서로소 열린집합족의 가산성 증명 |
||
| 3장. 위상공간 | ||
|
[10강] 위상공간
|
0:
31:
53
|
|
|
위상공간과 열린집합·닫힌집합 핵심 정리 요약
• 위상·위상공간·열린집합·닫힌집합: 집합 X의 부분집합족 T가 공집합·전체집합 포함, 임의 합집합·유한 교집합에 대해 닫혀 있을 때 (X,T)를 위상공간이라 하고, T의 원소를 열린집합, 여집합이 열린 부분집합을 닫힌집합으로 정의함 • 대표 위상 구조: 자명위상·이산위상·여유한위상·여가산위상과 ℝⁿ의 보통(유클리드) 위상 등을 통해 위상의 공리적 구조, 위상들의 교집합이 항상 위상이 됨을 이용한 ‘주어진 집합족을 포함하는 최소 위상’의 존재를 다룸 • 열린·닫힌집합 성질: 열린집합 공리를 닫힌집합 성질로 등가 변형하고, 무한 합집합·교집합에서 열린·닫힌 성질이 보존되지 않을 수 있음, 동시에 열린·닫힌(clopen) 집합과 둘 다 아닌 집합의 존재를 위상 구조 분석의 핵심 개념으로 정리함 |
||
|
[11강] 기저와 부분기저 (1)
|
1:
01:
31
|
|
|
위상수학 기저와 부분기저, 위상 비교 및 RN의 표준기저 정리
• 기저·부분기저와 생성 위상: 기저(b1,b2)·부분기저 정의, 기저로 생성되는 위상 𝒯ℬ의 위상 공리 검증, “기저 원소들의 모든 합집합 = 생성 위상” 및 ℬ를 포함하는 최소 위상 성질 정리 • RN의 다양한 기저와 가산기저: RN에서 열린구·열린 n-cell·유리수 중심·반지름 열린구 기저들의 동치 위상(보통 위상) 생성, 유리수 데이터 열린구들로 이루어진 가산기저 구성과 모든 열린집합의 가산 합집합 표현, 보통위상 기수와 멱집합 기수 비교 • 위상·기저 포함관계: finer/coarser 위상 정의, 𝒯⊆𝒯′의 필요충분조건(각 점마다 더 작은 열린집합 포함 조건)과 그 기저 버전(ℬ,ℬ′에 대한 포함 판정 정리), 자명위상·이산위상·여유한/여가산 위상 예시를 통한 포함 구조 분석 |
||
|
[12강] 기저와 부분기저 (2)
|
0:
47:
03
|
|
|
하극한 위상과 기저·부분기저, 부분기저가 생성하는 위상 정리
• 하극한 위상과 보통위상 비교: 실수에서 $[a,b)$ 꼴 집합을 기저로 하는 하극한 위상의 열린/닫힌 성질을 규명하고, 보통위상과의 포함관계 $U\subsetneq T_L$을 통해 열린집합 구조 차이를 정리함 • 기저·부분기저의 정의와 판정 조건: 주어진 위상에서 어떤 집합족이 기저가 되는 필요충분조건(PROP14)을 제시하고, 부분기저의 정의(합집합=전체집합), 부분기저가 만드는 유한교집합 기저와 그 기저가 생성하는 최소 위상 구조를 설명함 • 대표 위상의 부분기저 표현: 유한·무한 집합 예제를 통해 자명위상, 이산위상, 여유한 위상을 부분기저가 생성하는 위상으로 구성하는 방법과, 기저·위상 자체가 부분기저가 되는 일반적 구조를 정리함 |
||
|
[13강] 거리공간 (1)
|
0:
40:
31
|
|
|
거리공간과 거리 위상, 다양한 거리의 예시 정리
• 거리함수와 거리공간: 비음성·항등성·대칭성·삼각부등식을 만족하는 메트릭과 메트릭 공간 개념, 유클리드·택시·최대·이산거리 및 변형 거리 d₁의 정의와 성질 정리 • 열린구와 거리 위상: 거리로 정의된 열린구와 그 기하학적 모양(원판·마름모·정사각형·한 점/전체), 열린구 집합으로 이루어진 기저와 이 기저가 생성하는 거리 위상 구조 정리 • 위상 비교와 이산위상: 보통·택시·최대거리가 생성하는 위상의 동치성, 이산거리로부터 얻는 모든 부분집합이 열린 이산위상, 네 거리 위상의 포함관계 τ_{d₁}=τ_{d₂}=τ_{d₃}⊊τ_{d₄} 정리 |
||
|
[14강] 거리공간 (2)
|
0:
32:
56
|
|
|
위상수학 거리공간: 동치관계, 표준유계거리, 점·집합 거리, 유계성, 거리화가능성
• 거리와 위상 동치관계: 서로 다른 거리들이 만드는 위상의 포함관계·동일성(동치관계) 판정, 중심을 동일하게 둔 열린구 비교를 통한 위상 동치 판별 구조 정리 • 표준유계거리와 거리적 개념: 임의의 거리에서 유도한 표준유계거리 정의, 원래 거리와 같은 위상을 생성함을 이용한 유계성·직경·점–집합·집합–집합 거리 등의 비위상적 거리적 성질 정리 • 위상적 성질과 거리화가능성: 위상에 의해 보존되는 성질과 보존되지 않는 성질 구분, 거리화가능성 정의 및 자명(비이산) 위상을 가진 유한 집합이 거리화가능하지 않음을 보이는 예시를 통한 메트리제이빌리티 개념 정리 |
||
|
[15강] 부분공간
|
0:
43:
50
|
|
|
부분공간과 부분공간 위상, 거리공간의 부분공간 정리
• 부분공간위상과 열린·닫힌집합: 위상공간 부분집합에 부분공간위상을 정의하고, 부분공간의 열린·닫힌집합을 항상 전체공간의 열린·닫힌집합과의 교집합 형태로 특징 • 부분공간 기저와 열린·닫힌 관계 정리: 전체공간의 기저로부터 A∩B 꼴의 부분공간 기저를 구성하고, 열린·닫힌 부분집합이 열린·닫힌 부분공간 안에 있을 때 전체에서도 열린·닫힌이 되는 포함 정리 제시 • 거리공간의 부분공간 위상 일치: 거리공간에서 부분집합에 주는 부분공간위상과 거리를 제한해 얻는 부분거리위상이 동일함을 열린구 기저와 삼각부등식을 통해 증명하고, 이로부터 부분공간 구조 분석의 기준 확립 |
||
|
[16강] 순서위상
|
0:
47:
26
|
|
|
순서위상과 볼록부분집합, 사전식 순서, 부분위상의 관계 정리
• 순서위상과 기저 구조: 전순서집합에서 열린·반열린·폐구간과 상·하집합을 정의하고, 열린구간 기저 ℬₒ와 부분기저 S={Uₐ,Lₐ}로 순서위상을 구성하며, ℝ에서는 보통위상과 일치하고 ℕ에서는 이산위상이 됨 • 사전식 순서와 위상 비교: 사전식 순서를 갖는 ℝ² 및 {1,2}×ℕ에서 순서위상 기저((a,b)형 구간)와 보통위상 기저(직사각형, 열린원판)를 비교하여 사전식 순서위상이 보통위상보다 더 센 경우와 이산이 되지 않는 점집합 구조를 분석함 • 부분위상과 볼록집합: 전순서집합 부분집합 A에 대해 부분순서위상 𝒯ₒ*와 부분공간위상 𝒯ₛ*의 포함관계(항상 𝒯ₒ*⊂𝒯ₛ*)를 정리하고, 볼록집합(convex subset)일 때 두 위상이 일치(𝒯ₒ*=𝒯ₛ*)함을 예시(ℝ의 구간, ℝ² 사전식 정사각형, 비볼록 집합)와 함께 구조적으로 설명함 |
||
| 4장. 열린집합과 닫힌집합 | ||
|
[17강] 열린집합과 내부
|
0:
38:
33
|
|
|
위상공간에서 열린집합과 내부, 부분공간에서의 내부 정리
• 내부와 내점, 열린집합 특성: 내부 $A^{\circ}$를 $A$에 포함되는 모든 열린집합의 합집합이자 최대 열린부분집합으로 정의하고, 내점을 이를 포함하는 열린집합 존재로 판정하며, $A$가 열린집합일 필요충분조건을 $A=A^{\circ}$ 및 모든 점의 내점성으로 정리함 • 기저·거리공간에서의 내점 판정과 예제, 내부 연산 법칙: 기저를 이용한 내점 등가조건과 거리공간에서 열린구를 통한 내점 판정법을 제시하고, 유리수·무리수·유한집합 위상·평면 도형 예제로 내부를 계산하며, 포함·합집합·(유한/무한) 교집합에 대한 내부 연산 공식과 비등호 반례 구조를 정리함 • 부분공간 위상에서의 내부와 전체공간과의 관계: 부분공간 위상에서 열린집합을 $U\cap A$ 형식으로 정의하고, $\operatorname{int}_X(B)\subset \operatorname{int}_A(B)$ 및 $\operatorname{int}_X(B)=\operatorname{int}_X(A)\cap \operatorname{int}_A(B)$ 관계를 증명하며, 실수 직선·구간·평면에서 동일 집합의 내부가 전체공간 선택에 따라 달라지는 구조를 비교함 |
||
|
[18강] 닫힌집합과 폐포 (1)
|
0:
42:
32
|
|
|
닫힌집합·리밋포인트·도집합·폐포의 정의와 성질 정리
• 근방·리밋 포인트·도집합: 위상공간에서 근방·열린 근방으로 리밋 포인트를 정의하고, 리밋 포인트들의 집합인 도집합 A′와 성질(근방·기저·거리공간에서의 동치 조건, 포함관계·합집합·교집합·무한 합집합에 대한 연산 법칙, 유리수·무리수의 도집합 계산) 정리 • 폐포와 리밋 포인트의 관계: 폐포 Ȧ를 A를 포함하는 모든 닫힌집합의 교집합이자 A를 포함하는 최소 닫힌집합으로 정의하고, Ȧ = A ∪ A′ 및 Ȧ = int(A) ∪ ∂A 성질, 도집합·폐포가 내부·경계·외부 분해와 연결됨을 구조적으로 정리 • 유한 위상 예제 계산: 유한 위상공간에서 열린집합·닫힌집합 목록을 이용해 도집합 A′와 폐포 Ȧ를 직접 계산하며, “A를 포함하는 가장 작은 닫힌집합”으로서의 폐포 개념과 도집합 연산에서 등호가 깨지는 대표 예(교집합, 무한 합집합)를 훈련하는 문제 중심 구성 |
||
|
[19강] 닫힌집합과 폐포 (2)
|
0:
45:
44
|
|
|
위상수학 닫힌집합과 폐포, 리미트 포인트 정리 정리
• 폐포와 근방/기저/거리공간 characterization: $x\in\overline{A}$의 필요충분 조건을 열린 근방·일반 근방·기저원소·열린구(거리공간)로 동치화하고, ℝ·ℝ²에서 ℚ, ℚᶜ, 삼각형 부분집합 등의 폐포를 통해 $\overline{A}$의 점별 정의 구조화 • 폐포의 대수적·위상적 성질: 포함관계 보존, 유한 합집합에 대한 분배법칙, 교집합·임의 합집합에서의 일방 포함, 여집합과 내부와의 관계 $\overline{A^c}=(\operatorname{int}A)^c$, $(\overline{A})^c=\operatorname{int}(A^c)$ 및 이들 식이 등호가 되지 않는 반례(유리수/무리수, 단일점 합집합) 정리 • 폐포·도집합·닫힌집합의 동치 구조: $\overline{A}=A\cup A'$을 통한 폐포와 도집합의 관계 정리, 닫힌집합의 동치조건 $\overline{A}=A$ 및 $A'\subset A$ 제시, 실수선에서 $\{1/n\}$, $\{1/n\}\cup\{0\}$, 구간류((a,b), (a,b], [a,b])의 리미트 포인트와 닫힘 여부 판정 구조화 |
||
|
[20강] 닫힌집합과 폐포 (3)
|
0:
31:
04
|
|
|
위상수학 여유한·여가산 공간, 닫힌집합·폐포·상한/하한
• 여유한/여가산 위상(cofinite/cocountable topology) 구조: 부분집합과 여집합의 크기(유한/무한, 가산/비가산)에 따른 내부·도집합·폐포의 네 가지 유형 분류 및 값 결정 규칙 정리 • 실수 위 특수 위상 예시: $(\mathbb{R},\tau_f),(\mathbb{R},\tau_c)$에서 $\mathbb{Z},\mathbb{Q},\mathbb{Q}^c,[1,3]$ 등의 내부·도집합·폐포 계산을 통해 일반 공리적 패턴을 구체적 집합에 적용 • 상한·하한과 폐포 관계: 유클리드 공간에서 위·아래로 유계 집합의 상한·하한 존재성, 항상 폐포에 포함됨을 리미트 포인트로 증명하고, 집합이 닫힌 경우 상한·하한이 실제 원소가 되는 조건 서술 |
||
|
[21강] 닫힌집합과 폐포 (4)
|
0:
38:
44
|
|
|
부분공간에서의 폐포와 exterior·boundary 성질 요약
• 부분공간 폐포와 성질: 위상공간의 부분공간에서 폐포를 전체공간 폐포와의 교집합으로 표현하고(cl_A(B)=A∩cl_X(B)), 포함관계 cl_A(A∩C)⊂A∩cl_X(C) 및 반례를 통해 부분공간 폐포 구조를 이해함 • interior·exterior·boundary 구조: 집합의 interior·exterior·boundary를 정의하고(ext(A)=Int(A^c), bd(A)=X\(Int A∪ext(A))), 세 집합이 서로소이고 합이 전체공간을 이루며, exterior=cl(A)^c, closure=A∪bd(A)=Int A∪bd(A), boundary=cl(A)\Int A=cl(A)∩cl(A^c)=bd(A^c) 등의 관계를 정리함 • 예제 기반 성질 확인: 유한 위상, 이산공간, 유리수 집합, 구간 합집합, 평면 도형 사례에서 interior·closure·boundary·exterior를 직접 계산하여 boundary point의 근방 특성(임의 열린근방이 A와 A^c를 모두 만남)과 exterior의 합집합-교집합 법칙 ext(A∪B)=ext(A)∩ext(B)를 검증함 |
||
|
[22강] 닫힌집합과 폐포 (5)
|
0:
39:
46
|
|
|
닫힌집합과 폐포 5: 조밀집합·노웨어댄스·최소 비가산 정렬집합
• 조밀한 부분집합·노웨어댄스 부분집합: 폐포가 전체공간인 집합(조밀, $\overline{A}=X$), 여집합의 내점 부재와의 등가조건, 폐포의 내부가 공집합인 집합(노웨어댄스, $(\overline{A})^\circ=\varnothing$), 여유한/여가산 위상에서의 조밀성 및 실수공간 예제 구조 정리 • 노웨어댄스 등가조건·조밀 여집합: 노웨어댄스 정의와 “폐포의 여집합이 조밀”이라는 동치 정리, 조밀·노웨어댄스·둘 다 아님의 분류, 여집합-내부-폐포 교환법칙을 통한 조밀성과 희박성의 위상적 특징 정리 • 최소 비가산 정렬집합 $S_\omega$: 선택공리와 정렬원리를 통한 최소 비가산 정렬집합의 존재, 섹션(section) $S_a$ 구조와 각 섹션의 가산성, $S_\omega$의 모든 가산부분집합 상계 존재 및 $X=S_\omega\cup\{\omega\}$의 순서위상에서 $S_\omega$의 조밀성 증명 구조 정리 |
||
|
[23강] 수열의 수렴성과 극한
|
1:
04:
16
|
|
|
수열의 수렴성과 극한, 거리공간에서의 극한점과 수열
• 위상공간에서의 수열 수렴: 수열을 자연수에서 공간으로 가는 함수로 보고, 임의의 열린 근방에 꼬리가 포함되는지로 수렴 정의, 위상에 따라 극한의 존재·다중성·부재가 달라짐(여유한·여가산 위상에서의 특수한 수렴 성질 포함) • 폐포·극한점·도집합: 부분집합의 폐포와 극한점 집합(도집합)을 수열의 극한과 연결하고, 거리공간에서 극한점의 등가 정의(근방/구에서의 무한 교집합), 유한집합의 닫힘성, 도집합의 닫힘성과 “극한점 ↔ 그 점으로 수렴하는(부분)수열 존재”의 대응 구조 정리 • 거리공간에서의 ε-수렴과 정리들: 거리공간의 ε-근방 수렴 정의와 위상적 정의의 동치, Hausdorff 성질에 따른 극한의 유일성, Bolzano–Weierstrass 정리를 통한 유계·무한 집합의 극한점 존재 및 이를 활용한 수열 구성 절차(반지름 1/n 볼 선택) 제시 |
||
| 5장. 연속사상 | ||
|
[24강] 연속사상 (1)
|
1:
02:
26
|
|
|
위상수학 연속사상, 열린·닫힌 사상, 동치정리 정리
• 연속사상·위상동형 개념: 위상공간 사이 연속사상 정의, 위상동형사상과 유클리드 공간의 점별 연속·ε-δ 정의 및 열린집합·기저를 이용한 연속성 판정, 항등·상수·이산·자명 위상에서의 연속성 및 다항함수 연속성 구조 정리 • 열린사상·닫힌사상 및 동치 정리: 연속·열린·닫힌 사상의 정의와 상호 비함의 관계, 닫힌집합 역상·closure 이미지 포함·interior 역상 포함에 의한 연속성 동치 정리와 이를 이용한 연속성 판정 구조 정리 • 특수 위상과 분리정리 예제: 하극한 위상에서의 연속성 판정과 표준 위상과의 비교, 여집합도 기저가 되는 특수 기저 위상에서 닫힌집합과 점을 0·1 값으로 분리하는 연속함수(Urysohn 유형) 구성 원리 정리 |
||
|
[25강] 연속사상 (2)
|
0:
33:
36
|
|
|
연속사상 합성, 부분·붙임·제한 사상 정리 정리
• 연속사상 구조 보존: 합성사상 연속성, 포함사상·제한사상·치역제한 연속성, 공역을 부분공간·상위공간으로 조정할 때 연속성 불변 조건 정리 • 열린덮개와 연속성 동치: 정의역을 열린집합족으로 분할했을 때 전체 연속성과 각 부분 제한사상의 연속성 동치(TFAE 정리) 및 inverse image 분해 구조 • 붙임 보조정리(Pasting Lemma): 열린·닫힌 부분집합 위 연속함수의 접합 조건(열림/닫힘, 합집합=전체, 교집합에서 값 일치)과 실수·유리수/무리수 분할 예제를 통한 적용 가능/실패 기준 정리 |
||
|
[26강] 연속사상 (3)
|
0:
39:
58
|
|
|
한 점에서의 연속성과 거리공간에서의 연속성 정리 정리
• 위상적 연속성 개념: 위상공간에서 한 점에서의 연속성·전역 연속성·열린집합 역상 조건의 동치 구조 정리, 유한 집합 위상 예제로 점별 연속성과 전역 연속성의 차이 제시 • 거리공간 연속성 구조: 거리공간에서 위상적 연속성과 ε-δ 정의의 동치, 점별 ε-δ 조건과 전역 연속사상 조건의 동치, 해석학의 연속성이 일반 위상수학적 연속성의 특수 경우임을 정리 • 연속함수 대표 예제: 점-집합 거리함수의 1-리프시츠 연속성, 실수선 선형함수 f(x)=3x의 ε-δ 연속성, 택시거리 공간에서 선형사상 x↦Ax의 리프시츠 조건을 통한 연속성 증명 구조 정리 |
||
|
[27강] 연속사상 (4)
|
0:
55:
11
|
|
|
연속사상, 함수열의 점별·고른수렴, 극한과 연속성 정리 요약
• 함수열 수렴 개념: 함수열의 점별수렴과 고른수렴 정의, 두 수렴의 포함관계(고른수렴 ⇒ 점별수렴)와 대표 예제(xⁿ, xⁿ on [0,1], hₙ)로 수렴 양상 비교 • 고른수렴과 연속성: 연속 함수열의 고른극한정리(고른수렴이면 극한함수도 연속), 연속함수에서 수열극한 교환 정리, 점에서의 연속성과 함수극한(ε-δ) 정의의 동치 및 수열판정 정리 정리 • 거리공간·위상공간 관점: 거리공간에서 함수극한과 연속성·수열판정의 등가 관계 구조화, 일반 위상(여가산 위상)에서 수열판정이 성립해도 연속이 아닐 수 있는 역예제로 “수열만으로는 연속성 판정 불가” 상황 제시 |
||
|
[28강] 위상동형사상 (1)
|
0:
59:
17
|
|
|
위상동형사상, 연속·열린·닫힌 사상의 관계 정리
• 연속·열린·닫힌 사상: 위상공간 사이 연속사상·열린사상·닫힌사상의 정의, 상호 독립성, interior/closure 보존 조건과 기저를 이용한 열린/닫힌사상 판정, 실수함수·부분공간·사영사상·보통위상–이산위상 항등함수 등의 연속/열린/닫힌 여부 사례 정리 • 열린/닫힌사상과 역함수 연속성: 전단사 사상에서 열린사상·닫힌사상 조건과 역함수의 연속성의 동치성, 여집합 공식을 이용한 열린↔닫힌 전환, 닫힌·열린사상이 역상 포함 조건을 만족시키는 열린/닫힌집합의 존재 정리 • 위상동형사상과 동치조건: 위상동형사상의 정의(전단사+양방향 연속), 동치관계 성질(반사·대칭·추이)과 “연속+열린/연속+닫힌/closure 보존” 등 여러 동치조건, 유한집합 위상에서의 위상동형 예와 실수·유리수 위상공간의 비동형성(기수 차이로 인한 전단사 부재) 정리 |
||
|
[29강] 위상동형사상 (2)
|
0:
53:
31
|
|
|
위상동형사상 예제와 임베딩, 스테레오그래픽 사영 정리 핵심 정리
• 기본 위상동형 예제: 실수 열린구간·ℝⁿ의 열린구·구·환·단위원·타원·단위구면에서 한 점 제거한 공간을 ℝⁿ과 잇는 선형사상·방사형 사상·스테레오그래픽 사영 위상동형 및 부분공간 위상·이산공간·집적점 구조 비교를 통한 비위상동형 판정 • 위상동형과 거리·제한·유계성: 위상동형의 부분집합 제한 성질, 임의 거리공간과 유계 거리공간( d, d' = min{d,1} )의 동치 위상, 유계성이 위상 불변이 아님을 보여주는 항등 위상동형 구조 • 임베딩과 S¹ 임베딩 차원: 임베딩 정의(치역 부분공간 위상과의 위상동형), 단사·연속이지만 임베딩이 아닌 예([0,1]→S¹)와 임베딩 예((0,1)→S¹\{p}), S¹의 ℝ 임베딩 불가능성과 ℝ²·ℝ³에서의 단순폐곡선·조던곡선·매듭·링크 등 임베딩 형태 차이에 의한 위상적으로 다른 배치 구조 |
||
| 6장. 곱공간 | ||
|
[30강] 곱공간 (1)
|
0:
38:
27
|
|
|
곱공간과 곱위상, 사영사상 연속성 및 기저 구조 정리
• 곱위상과 사영사상: 곱공간 $X\times Y$에 기저 $\{U\times V:U\in\mathcal{T}_X,V\in\mathcal{T}_Y\}$로 정의한 곱위상에서 사영사상 $\pi_X,\pi_Y$가 연속이 되며, 이들을 연속으로 만드는 위상 중 가장 작은 위상(보편적 성질)을 이룸 • 곱위상의 기저 구조: 각 위상공간의 기저 $\mathcal{B}_X,\mathcal{B}_Y$의 곱 $\{B\times C:B\in\mathcal{B}_X,C\in\mathcal{B}_Y\}$가 곱공간의 기저가 되고, 이 기저가 생성하는 위상은 곱위상과 일치하며, 열린집합은 일반적으로 기저원소 곱들의 합집합으로 표현됨 • 곱위상 예제와 성질: $\mathbb{R}\times\mathbb{R}$의 곱위상이 보통위상 $\mathbb{R}^2$와 위상동형임을 보이고, 하극한공간 $\mathbb{R}_\ell^2$에서의 닫힌집합·부분공간 이산위상, 유한 집합 위상의 곱에서 기저와 실제 위상을 구분하며 곱위상의 열린집합 판정 조건을 정리함 |
||
|
[31강] 곱공간 (2)
|
0:
34:
24
|
|
|
유한계 위상공간 곱공간, 곱위상, 클로저·내부 성질 정리
• 곱위상과 사영사상: 유한계 위상공간 곱집합에 각 좌표 열린집합의 곱으로 곱위상을 정의하고, 모든 사영사상을 연속으로 만드는 최소 위상으로 특징화 • 곱위상 기저와 연속성 판정: 좌표공간 기저들의 곱이 곱위상의 기저를 이루며, $\mathbb{R}^n$에서 곱위상은 표준위상과 일치하고, 곱공간으로 가는 함수의 연속성은 모든 성분함수의 연속성과 동치 • closure·interior 공식: 유한 곱집합에서 $\overline{\prod A_i}=\prod\overline{A_i}$, $\operatorname{Int}(\prod A_i)=\prod\operatorname{Int}(A_i)$가 성립하며, closure 공식은 무한곱에도 유지되나 interior 공식은 일반적으로 무한곱에서 성립하지 않음 |
||
|
[32강] 곱공간 (3)
|
0:
35:
33
|
|
|
곱공간에서의 폐포·내부·경계, 그래프와 위상동형, 거리위상 최소성
• 곱공간의 집합연산 구조: 유한 곱공간에서 곱집합의 폐포·내부·경계를 각 성분공간의 폐포·내부와 집합항등식으로 표현하고, 유클리드 평면·일반위상·이산위상 예제로 계산 구조 정리 • 연속함수의 그래프와 위상동형: 곱공간의 부분공간으로서 그래프를 정의하고, 삽입사상·프로젝션·합성함수 연속성을 이용해 “f 연속 ⇔ 그래프와 정의역 사이의 위상동형사상 존재” 동치 구조 제시 • 거리함수 연속성과 거리위상 최소성: 거리위상을 열린구 기저로 정의하고, 삼각부등식을 이용해 곱위상에서 거리함수의 연속성을 증명하며, 거리함수가 연속이 되는 위상들 중 거리위상이 포함관계상 최소 위상임을 정리 |
||
|
[33강] 곱공간 (4)
|
0:
56:
51
|
|
|
위상수학 곱공간의 곱위상과 사영사상, 폐포와 내점 성질 정리
• 곱위상과 사영사상: 곱집합·곱위상 정의, 곱위상의 기저·부분기저 구조, 유한곱과의 일치, 모든 사영사상을 연속이 되게 하는 최소 위상이라는 범함수적 성질 정리 • 곱공간에서의 연속성과 사영사상 성질: 곱공간으로 가는 함수의 연속성 ⇔ 성분함수들의 연속성(THM24), 사영사상의 연속성·개사상성·비폐사상성 및 무한곱 예제(ℝ^ω, 열린집합 아님 사례) 정리 • 곱공간에서의 폐포와 내점: 곱에서의 폐포 교환 법칙 \(\overline{\prod A_\alpha}=\prod\overline{A_\alpha}\) 과 내점 포함 관계 \(\operatorname{Int}(\prod A_\alpha)\subset\prod\operatorname{Int}(A_\alpha)\) (유한곱에서 등호, 무한곱에서 엄격 포함·[0,1)^\(\omega\) 내점 공집합 예) 정리 |
||
|
[34강] 곱공간 (5)
|
0:
37:
30
|
|
|
위상수학 곱공간의 고른거리와 곱위상 관계 정리
• 표준 육의 거리와 고른거리: 각 성분 거리의 표준 육의 거리 \(\bar d_\alpha=\min\{d_\alpha,1\}\) 를 사용해 곱공간에 고른거리 \(\bar\rho(x,y)=\sup_\alpha\bar d_\alpha(x_\alpha,y_\alpha)\) 를 정의하고, 이 거리가 각 성분 거리와 동치 위상을 생성함을 통해 곱공간에 고른 위상을 부여함 • 함수공간과 고른수렴: 함수공간 \(Y^X\) 를 곱공간으로 보고 고른거리 \(\bar\rho(f,g)=\sup_{x\in X}\bar d(f(x),g(x))\) 를 정의하여, 이 거리 위상에서의 수렴이 \(\forall\varepsilon>0\,\exists N\,\forall n\ge N\,\forall x\in X\,d(f_n(x),f(x))<\varepsilon\) 형태의 함수열 고른수렴과 정확히 동치임을 정리함 • 곱위상과 고른 위상의 관계: 임의의 거리공간 곱에서 곱위상 \(\mathcal T_p\subseteq\mathcal T_{\bar\rho}\) 가 항상 성립하고, \(\mathbb R^\Lambda\) 에서는 \(\Lambda\) 가 유한일 때 \(\mathcal T_p=\mathcal T_{\bar\rho}\), \(\Lambda\) 가 무한일 때는 고른거리 열린구 \(B_{\bar\rho}(0,\tfrac12)\) 를 이용한 반례로 \(\mathcal T_p\subsetneq\mathcal T_{\bar\rho}\) 임을 통해 유한 곱과 무한 곱에서의 위상 차이를 구조적으로 제시함 |
||
|
[35강] 곱공간 (6)
|
0:
42:
32
|
|
|
실수 곱공간의 곱위상과 거리위상, 가산/비가산 지표 비교
• 비가산 지표 실수 곱공간: 비가산 지표 집합 Λ에 대한 곱위상 공간 ℝ^Λ의 수열-닫힘점 성질 실패와 프로젝션 연속성을 이용한 비거리화성(THM34) 정리 • 가산 지표 실수 곱공간: ℝ^ω에서 sup형 거리 d(x,y)=sup_n( \bar d(x_n,y_n)/n )의 metric 성질 증명과 d가 생성하는 위상과 곱위상의 일치(τ_d=τ_p, THM35) 구조 정리 • 일반 거리공간 곱: 유한 곱에서 max형 거리, 가산 곱에서 가중 sup형 거리를 통한 곱위상의 거리화 가능 조건과 비가산 지표 곱공간과의 대비 정리 |
||
|
[36강] 상자위상
|
0:
57:
40
|
|
|
상자위상, 곱위상, 고른위상 비교 및 성질 정리
• 상자위상·곱위상·고른위상 구조: 무한 곱공간에서 상자위상 기저(모든 좌표 열린집합 곱), 곱위상 기저(유한 좌표만 비자명), 고른거리위상(고른거리 sup-정의) 구성과 포함관계 𝒯_P ⊂ 𝒯_{\bar d} ⊂ 𝒯_B 및 유한지수에서의 세 위상 일치 제시 • 연속성·사영·연산 법칙: 사영사상 연속성과 곱위상의 범용성(initial topology), 상자위상에서 성분함수 연속이 전체 연속을 보장하지 못하는 반례(ℝ^ℕ의 대각함수), 그리고 상자위상에서의 closure·interior 교환 법칙 \(\overline{\prod A_\alpha}=\prod\overline{A_\alpha}\), \(\operatorname{Int}(\prod A_\alpha)=\prod\operatorname{Int}(A_\alpha)\)와 곱위상과의 대비 정리 • 위상 세기 비교와 예제: 상자위상이 곱위상·고른위상보다 항상 더 강한 위상임을 보여주는 포함 증명, ℝ^Λ에서 고른위상 열린구가 상자위상 열린집합에 포함되지만 역은 성립하지 않는 구체적 상자형 집합 U 예시로 𝒯_P ⊂neq 𝒯_{\bar d} ⊂neq 𝒯_B 엄격 포함 구조 설명 |
||
| 7장. 분리공리 | ||
|
[37강] 하우스도르프공간 (1)
|
0:
34:
10
|
|
|
위상수학 분리공리와 하우스도르프 공간 핵심 정리
• 위상동형과 위상적 성질: 위상동형의 정의와 위상적 성질 개념, T0·T1·T2(하우스도르프) 분리공리의 포함 관계(T2 ⇒ T1 ⇒ T0) 정리 • 분리공리와 예시 위상: 한점집합의 닫힘성과 T1 성질, 유한위상·자명위상·이산위상·순서위상·자연수 특수위상·여유한/여가산 위상의 T0/T1/T2 판별 및 거리공간·이산공간·순서위상의 하우스도르프 성질 구조 정리 • 분리공리의 보존성과 거리화가능성: T0·T1·T2의 위상적 성질 보존성, 위상동형 판별 도구로서의 활용, 하우스도르프 성질과 거리화가능성의 관계 및 여유한/여가산 위상이 거리화가능하지 않음을 이용한 위상동형 불가능성 정리 |
||
|
[38강] 하우스도르프공간 (2)
|
0:
43:
14
|
|
|
위상공간의 분리공리와 부분공간·곱공간·수열 성질 정리
• 분리공리 T0·T1·T2: 부분공간·곱공간·상자위상에서의 보존 성질과 한점닫힘(closer), 한점·유한집합의 닫힘, 곱공간 대각선의 닫힘을 통한 T0·T1·T2의 특성화 정리 • T1 공간의 리미트 포인트: 모든 근방에서 A∩U\{x}가 무한집합이 되는 집적점의 성질과 유한집합 닫힘 성질을 이용한 동치 조건 • 하우스도르프(T2) 공간의 함수·수열 성질: 곱공간 대각선 닫힘에 따른 연속함수 일치집합의 닫힘·조밀부분집합에서의 일치 ⇒ 전체 일치, 및 T2 공간에서 수렴수열 극한의 유일성 정리 |
||
|
[39강] 정칙공간과 정규공간 (1)
|
0:
58:
20
|
|
|
정칙공간과 정규공간, T3·T3½·K-위상 핵심 정리
• 정칙공간(T3, T1+T3)과 분리공리 관계: T1·T2·T3 정의, T3만으로 T2 불충분한 예시 구성, T3의 closure 기반 동치정리(점–근방–closure 조건) 정리 • K-위상(K-Topology)과 분리공리 예제: 실수 위 K-위상의 정의(기저: (a,b), (a,b)\K), 보통위상과의 포함관계, T3이지만 T1·T2 아님 / T2이지만 T3 아님인 전형적 공간 구성 • 정칙성의 위상 불변성: 정칙성(T1+T3)이 위상동형, 부분공간, 곱공간에서 보존됨을 점–근방–closure 동치정리를 이용해 증명하는 구조(닫힌집합·점 분리 절차, 곱공간 기저와 closure 성질) 정리 |
||
|
[40강] 정칙공간과 정규공간 (2)
|
0:
46:
03
|
|
|
정규공간과 정렬순서공간의 정규성, T4-덩치조건, 정규⇔정칙 관계 정리
• 정규공간·T4 조건·정규성 위상불변성: 정규공간을 T1+T4로 정의하고, 서로소 닫힌집합 분리 및 닫힌집합-이웃 열린집합 사이 클로저(덩치) 조건(T4⇔closure 조건)과 정규성이 위상동형에서 보존되는 위상적 성질임을 정리 • 정렬순서공간의 정규성·T4 예제: 정렬순서공간에서 반열린구간 (x,y]의 열린성, 최소원소 유무에 따른 두 경우로 서로소 닫힌집합을 분리해 T1+T4(정규성)를 증명하고, T4이지만 T1·T2·T3를 만족하지 않는 3점 예제로 T-공리 간 비포함 관계를 제시 • 정규공간과 정칙공간 관계 및 비보존성: 정규공간 ⇒ 정칙공간(T1에서 한 점집합 닫힘 + T4로 닫힌집합-점 분리)임을 보이나 정칙 ⇒ 정규는 거짓이고, 정규성은 곱공간·부분공간에서 일반적으로 보존되지 않음을 명시 |
||
|
[41강] 정칙공간과 정규공간 (3)
|
0:
47:
58
|
|
|
하극한공간과 상반평면 예제에서의 정칙성과 비정규성
• 하극한공간 ℝ\_ℓ와 곱공간 ℝ\_ℓ²: 기저 [a,b)로 정의된 ℝ\_ℓ의 T1·T4(정규) 성질과, 곱공간 ℝ\_ℓ²의 정칙성 및 대각선 L의 이산 닫힌 부분공간 구조를 통한 비정규성 증명 • 멱집합 기수 논증 구조: 대각선 L과 조밀한 부분집합 D 위에서 정의한 함수 θ:P(L)→P(D)와 기수 동형 π:P(D)→L을 이용해 |P(L)|≤|L|를 유도하고, 일반 정리 |P(L)|>|L|와의 모순으로 ℝ\_ℓ²의 비정규성을 도출하는 AEO 핵심 논증 틀 • 상반평면 예제 X: 상반평면∪x축에 특수 기저(B₁, B₂)를 주어 x축 L을 이산 닫힌 부분공간으로 만들고, Hausdorff·정칙성(T3)을 확인한 뒤 ℝ\_ℓ²와 동일한 멱집합 기수 논증을 적용해 “정칙이지만 정규는 아닌 공간”의 전형적 반례 구조 정리 |
||
|
[42강] 정칙공간과 정규공간 (4)
|
0:
26:
12
|
|
|
정칙공간과 정규공간: 거리공간, 닫힌사상, 유한집합 T1
• 정규·거리공간 정리: 정규공간의 닫힌 부분공간은 정규이며, 모든 거리공간과 그 부분공간은 정규공간이 되고, 하극한 위상 ℝₗ은 어떤 거리로도 만들 수 없는 비가측 공간임 • 정규성 보존 사상: 전사 연속 닫힌사상은 정규공간에서 공역(또는 이미지 공간)의 정규성을 보존하며, 이를 위해 T₁ 성질과 서로소 닫힌집합의 역상·이미지 구조를 사용함 • 유한집합과 T₃·T₄ 보존: 유한집합에서 T₁ ⇔ 이산위상 ⇔ T₂·정칙·정규와 동치이고, T₃·T₄ 성질은 위상동형·부분공간·곱공간에서 보존되는 분리공리임 |
||
| 8장. 연결성 | ||
|
[43강] 연결성 (1)
|
0:
34:
21
|
|
|
위상수학 연결성: 분리, 비연결, 연결의 동치조건 정리
• 연결성 및 관련 개념: 연결·국소연결·길연결·국소길연결의 정의와 길연결 ⇒ 연결, 국소길연결 ⇒ 국소연결 등 성질 간 포함 관계 정리 • 분리와 비연결/연결 정의: 분리(separation)를 이루는 서로소 비공집합 열린집합 쌍을 통한 비연결 정의, 이에 대한 열린·닫힌·clopen·닫힘·경계 관점의 동치조건 및 이산·하극한·여유한 위상 예시 정리 • 연결성 동치조건: 비연결의 대우로서 clopen 집합 부재, 서로소 닫힌 분할 부재, 경계가 빈 비자명 부분집합 부재, 이산공간으로의 연속사상이 상수사상에 한정됨을 통한 연결성 판정 구조 정리 |
||
|
[44강] 연결성 (2)
|
0:
56:
44
|
|
|
위상공간의 부분공간 연결성, 연속상·위상동형과 연결성, 실수와 구간의 연결성, 위상수학자의 사인곡선
• 부분공간 연결성·분리 개념: 부분공간의 비연결 조건을 전체공간의 열린집합 분리로 표현하고, 분리 존재 시 연결부분집합의 포함 관계와 다양한 비연결 예제(이산집합, 구간 합집합, 유리수, 평면 위 곡선 합집합)를 통해 연결성 구조를 해석함 • 연속상·위상동형과 연결성 보존: 연속함수 이미지의 연결성 보존, 위상동형 간 연결성 동치, 연결집합 클로저의 연결성 정리를 사용하여 실수공간의 연결성, 실수의 연결부분집합=구간 분류, 단위원 및 한 점 제거 단위원의 연결성, 여러 공간 쌍의 비위상동형성을 판정함 • 특수 예제의 연결성: 실수선과 구간들의 연결성 비교, 한 점 제거에 따른 연결성 변화, 위상수학자의 사인곡선에서 그래프 부분과 그 클로저의 연결성을 통해 경계·극한집합이 포함된 복합 집합의 연결성 판단 원리를 제시함 |
||
|
[45강] 연결성 (3)
|
0:
44:
06
|
|
|
연결성 정리와 곱공간/특수 예제 정리 (위상수학 연결성 3)
• 연결집합 합집합 정리·사슬형 연결성: 공통점이 있는 연결 부분집합들의 합집합 및 카운터블 사슬형 합집합의 연결성 정리, 평면의 직선 조각·점열 예제와 빗공간(comb space)의 연결성 구조 • 곱공간 연결성(곱위상)과 좌표공간: 유한·임의 지수집합에서 연결공간들의 곱위상의 연결성, 유한 부분집합 고정 기법과 closure=전체 공간 증명, 곱공간 연결성으로부터 각 좌표공간 연결성 도출(연속 사영) • 상자위상에서의 비연결성: 상자위상을 준 $\mathbb{R}^\omega$의 bounded / unbounded 점 집합 분리, 두 집합의 개방성·분리(separation) 증명과 곱위상과의 연결성 대비 |
||
|
[46강] 연결성분
|
0:
58:
16
|
|
|
위상수학 연결성분과 국소연결 개념 정리
• 연결성분과 동치관계: 연결부분집합으로 정의된 동치관계에 따른 최대 연결부분집합(연결성분)의 존재·유일성·분할 구조 및 항상 닫힌집합임, 유한 개 또는 국소연결 시 열린집합이기도 하며 개수가 위상동형 불변량임 • 예제와 위상동형 판정: 평면 특이 집합, 유리수 부분공간 등에서의 연결성분 구조 분석과 분리 개념을 이용해 한 점집합 성분, clopen 성분, 한 점 제거 후 연결성분 개수 비교 등을 통해 비위상동형을 판정하는 방법 정리 • 국소연결과 열린집합의 연결성분: 한 점 주변의 연결 열린 근방 존재로 정의되는 국소연결성과 “모든 열린집합의 연결성분이 열린집합” 조건의 동치, 그리고 국소연결공간에서 전체 공간의 연결성분이 항상 열리고 닫힌 집합이 되는 성질 정리 |
||
|
[47강] 연결성의 응용
|
0:
40:
44
|
|
|
위상수학 연결성 응용: 중간값·고정점·가산 집합 제거
• 연결성과 연속함수: 연결공간에서의 중간값 정리(일반 위상공간 버전)·폐구간 고정점 정리·열린/닫힌 집합에서의 분리 가능성과 Urysohn 보조정리 조건 비교 • 가산 집합 제거와 연결성: ℝⁿ(n≥2)·단위구면 Sⁿ에서 가산 부분집합 제거 시 연결/경로연결 유지 증명, 입체사영·연속상 연결성 활용 • 비위상동형성 판별: 점 제거 후 연결성 보존 여부를 이용해 ℝⁿ vs ℝ, S¹ vs Sⁿ, I vs Iⁿ의 비위상동형성 증명 및 연결성 기반 위상 불변량 이해 |
||
|
[48강] 길연결성 (1)
|
0:
52:
57
|
|
|
위상수학 길연결성
• 길연결성 개념: 단위구간에서 오는 연속함수(path)로 임의 두 점을 연결할 수 있는 위상공간의 성질로, 길연결 ⇒ 연결이지만 연결 ⇒ 길연결은 일반적으로 거짓이며, 실수선·유클리드 공간·열린구·실수선의 구간은 길연결임 • 길연결/비길연결 예시: comb space와 그 변형 예제는 연결이면서 길연결 또는 연결이지만 길연결이 아닌 공간의 전형적 사례이며, 위상수학자의 사인곡선·선분들의 모임과 수평선 D 공간은 연결이지만 길연결이 아닌 반례 구조를 통해 길연결성과 연결성의 차이를 보여줌 • 길연결성 보존 정리: 공통 교집합이 비어 있지 않은 길연결 부분집합들의 합집합 및 사슬형(증분적) 합집합은 길연결이고, 길연결 공간의 연속이미지와 위상동형 공간에서는 길연결성이 보존되어 길연결성이 위상적 성질임을 정리함 |
||
|
[49강] 길연결성 (2)
|
0:
44:
23
|
|
|
위상수학 길연결성과 곱공간·길연결 성분 정리
• 길연결 공간 구조: 가산 부분집합을 제거한 ℝⁿ, Sⁿ의 길연결성, 곱위상에서 곱공간과 각 좌표공간 길연결성의 동치, 곱위상·상자위상에서의 연결·길연결 비교 • 길연결 성분 이론: path 기반 동치관계 정의(x∼ₚy), 길연결 성분의 분할·극대성·위상동형 불변성, 연결 성분이 서로 소인 길연결 성분들의 합으로 표현됨을 확립 • 대표 예시와 응용: 위상수학자의 사인곡선에서의 두 길연결 성분 구조와 비폐쇄성, 연결과 길연결의 비동치 사례, 시험·문제풀이에서 성분 개수 및 구조 판별에 활용 |
||
|
[50강] 길연결성 (3)
|
0:
26:
03
|
|
|
국소길연결성과 연결·길연결의 관계 정리
• 국소길연결 공간: 각 점의 모든 근방 안에 그 점을 포함하는 열린 길연결집합이 존재하는 위상공간으로, 이때 임의의 열린집합의 길연결성분은 열린집합이 됨 • 성분 구조: 국소길연결 공간에서는 길연결성분과 연결성분이 일치하고 각 성분이 열리고 닫힌(clopen) 집합이 되며, 국소길연결인 열린부분공간에서도 같은 성질이 보존됨 • 연결·길연결 등가조건: 공간이 연결이면서 국소길연결이면 전체가 길연결이 되고, 국소길연결 공간의 열린집합에서는 연결과 길연결이 동치가 되며, 국소연결·국소길연결·연결·길연결 사이의 비함의 예제로 차이를 구분함 |
||
|
[51강] 길연결성 (4)
|
1:
07:
36
|
|
|
순서공간의 연결성과 선형연속체, 사전식 순서공간 정리
• 전순서집합·선형연속체·순서위상: 전순서집합에서 최소상계성질·최대하계성질 동치, sup·inf의 폐포 포함 성질, “빈틈 없음 + 조밀성”을 갖는 선형연속체 정의와 예(ℝ, ℚ, ℤ, ℝ\{0}, ℝ×ℝ, I×I) 및 사전식 순서위상 구조 정리 • 순서공간의 연결성과 블록: 순서위상 하에서 연결부분집합 = 구간(블록) 동치, “연결 순서공간 ⇔ 선형연속체” 정리의 양방향 증명 구조(연결 ⇒ 최소상계성질·조밀성, 선형연속체 ⇒ separation 부정)를 통해 순서적 연속성과 위상적 연결성의 대응 관계 정리 • 사전식 순서공간의 연결·길연결 분석: 사전식 순서의 ℝ×ℝ 비연결성, I×I의 두 관점(ℝ×ℝ의 부분공간으로서 비연결 vs 자체 사전식 순서공간으로서 연결이지만 길연결 아님)과, I×I의 길연결 부재를 보이는 “경로 영상의 블록성 → 전체 충만 → 서로소 열린집합 가산성 모순” 전략 정리 |
||
| 9장. 컴팩트 | ||
|
[52강] 컴팩트 공간 (1)
|
0:
48:
50
|
|
|
컴팩트 공간과 열린덮개, 부분공간에서의 컴팩트성 요약
• 컴팩트성 정의와 덮개 개념: 덮개·열린덮개·부분덮개 정의와 “모든 열린덮개가 유한 부분덮개를 갖는 집합/공간”으로서의 컴팩트성 정식화, 부분공간과 전체공간에서의 컴팩트 동치 성질 제시 • 위상별 컴팩트 판정 구조: 유클리드 공간에서의 유한집합·유계 폐구간(Heine–Borel) 컴팩트성, 자명위상·여유한위상에서의 전집합/부분집합 컴팩트성, 이산위상 무한집합·열린·반폐구간·특수 수열집합의 비컴팩트성 및 열린덮개·부분덮개 구성 원리 • 특수 위상과 증명 기법: 0을 특이점으로 갖는 위상에서 전체집합/부분집합의 컴팩트 여부 판정, 유계 폐구간 컴팩트성 증명에서 귀류법·이분법(축소구간열)·중첩 폐구간 교집합 비공집합 성질·기저와 아르키메데스 성질을 결합하는 논증 구조 정리 |
||
|
[53강] 컴팩트 공간 (2)
|
1:
03:
28
|
|
|
위상수학 컴팩트 공간(전순서 집합, 하우스도르프, 닫힘성 정리)
• 전순서 순서공간의 컴팩트성 특징: 전순서집합 순서위상에서 컴팩트성 ⇔ 모든 비공집합이 집합 안에 sup·inf를 가지는 조건, minimal uncountable well-ordered set을 통한 컴팩트/비컴팩트 예시 정리 • 컴팩트성과 연속성·하우스도르프 조건: 연속이미지·위상동형 불변인 컴팩트성, 컴팩트 공간의 닫힌 부분집합의 컴팩트성, 하우스도르프에서 컴팩트 집합의 닫힘성과 점·서로소 컴팩트집합 분리를 통한 정칙·정규성 도출 • 컴팩트 하우스도르프 구조와 T2 필요성: 컴팩트 하우스도르프에서 “부분집합 컴팩트 ⇔ 닫힌집합” 및 컴팩트 집합 족 교집합의 컴팩트성, 유한여 집합 위상을 통한 T2 부재 시 “컴팩트 ⇒ 닫힘” 및 관련 정리들의 붕괴 예시 정리 |
||
|
[54강] 컴팩트 공간 (3)
|
0:
39:
16
|
|
|
컴팩트 공간과 말기 위상, 곱공간 컴팩트성 정리 핵심 정리 요약
• 말기 위상과 컴팩트 교집합 반례: T1이지만 T2가 아닌 말기 위상공간을 구성하고, 컴팩트 부분집합 교집합이 비컴팩트가 되는 예를 통해 하우스도르프 조건에서만 “컴팩트 부분집합의 교집합 컴팩트성”이 보장됨을 제시 • 정칙공간·위상동형성 정리: 정칙공간에서 컴팩트 집합을 둘러싸는 열린집합 존재 정리와 “컴팩트 공간 → 하우스도르프 공간” 전단사 연속함수의 위상동형성(닫힌 사상성, 컴팩트 집합의 닫힘성 활용) 구조를 정리 • 관 보조정리와 곱공간 컴팩트성: 관 보조정리로 컴팩트한 축을 포함하는 튜브형 열린집합을 구성하고, 그 실패 예로 Y 비컴팩트 조건의 필요성을 보이며, 이를 이용해 두 컴팩트 공간 곱공간의 컴팩트성을 열린덮개·유한 부분덮개 구조로 증명하는 과정 정리 |
||
|
[55강] 컴팩트 공간 (4)
|
0:
36:
15
|
|
|
컴팩트 공간과 사영사상, 그래프의 닫힘성과 연속성
• 컴팩트성과 사영사상 닫힌 사상 성질: 위상공간 X 가 컴팩트일 필요충분조건을 “임의의 위상공간 Y 에 대해 사영사상 π_Y:X×Y→Y 가 닫힌 사상”으로 정리하고, Tube Lemma 를 이용해 곱공간의 닫힌집합 이미지가 닫힘이 되는 구조를 설명함 • 비컴팩트성 가정과 특수 위상공간 구성: X 가 컴팩트가 아니라고 가정하고 지표집합 Λ 와 그 유한부분집합들의 집합 I 로 공간 Y=Λ∪I 및 특수 위상을 구성한 뒤, X×Y 의 닫힌집합 C 를 정의하여 π_Y(C)=Y\Λ 가 닫힌 집합이 아님을 보임으로써 “모든 Y 에 대해 π_Y 가 닫힌 사상”이라는 가정과 모순을 만들어 X 의 컴팩트성을 도출함 • 컴팩트 하우스도르프 공간과 그래프의 닫힘성: Y 가 컴팩트 하우스도르프 공간일 때 함수 f:X→Y 의 연속성과 그래프 Γ(f)⊂X×Y 의 닫힌집합성이 동치임을 보이고, 한쪽 방향에서는 하우스도르프성을 이용한 서로소 열린집합 분리, 다른 방향에서는 “Y 컴팩트 ⇒ 사영사상 π_X:X×Y→X 가 닫힌 사상” 성질을 이용해 그래프의 닫힘성으로부터 f 의 연속성을 재구성함 |
||
|
[56강] 컴팩트 공간 (5)
|
0:
51:
50
|
|
|
정규공간의 부분공간, 컴팩트와 유한교집합 성질 핵심 정리
• 정규공간과 Sω 예제: 정규공간의 곱·부분공간에서 정규성이 보존되지 않는 반례로 $S_\omega\times\overline{S_\omega}$ 를 제시하고, 정칙이지만 정규가 아닌 구조와 최소 비가산 정렬집합 $S_\omega$·그 클로저의 위상 성질 정리 • 컴팩트성과 극한점·축소열: 컴팩트 공간에서 무한부분집합의 극한점 존재 정리, 하우스도르프 공간에서 축소 컴팩트 집합열·유클리드 공간의 축소구간 교집합 비공집합 성질 및 T2·컴팩트 조건이 빠질 때의 여유한 위상·비컴팩트 집합열 반례 구조 정리 • 유한교집합 성질(FIP)과 컴팩트성: FIP 정의와 컴팩트성과의 동치 정리, 닫힌·컴팩트 부분집합 족이 FIP를 가질 때 교집합이 비공집합이 되는 정리 및 열린덮개 정의와의 상호 전환 구조 정리 |
||
|
[57강] Tychonoff정리
|
0:
47:
26
|
|
|
티콘호프 정리와 하우스도르프 극대원리, 유한교집합 성질 정리 구조
• 하우스도르프 극대원리·극대 체인: 부분순서집합에서 임의 체인을 포함하는 극대 전순서 부분집합(맥시멀 체인)의 존재 원리로, FIP 집합족을 포함하는 극대 FIP 집합족 구성의 기초 도구 • 유한교집합 성질(FIP) 극대 집합족(FACT 1·2): FIP를 갖는 집합족의 극대 확장 존재, 극대족의 유한교집합에 대한 닫힘과 “족의 모든 원소와 교차하는 집합은 반드시 족에 포함”되는 성질을 통해 구조적 제어 확보 • 티콘호프 정리·곱공간 컴팩트성: 컴팩트 공간들의 곱공간에서 FIP 집합족을 극대 FIP 집합족으로 확장한 뒤, 각 좌표 프로젝션과 클로저 교집합 비공집합성을 이용해 한 점을 구성하고, 부분기저·기저 원소를 모두 극대족에 포함시켜 곱공간의 컴팩트성 증명 |
||
전춘배 교수님
위상수학
