강의목록

강의소개

홈 > 강의소개

해석학

전춘배 교수

KAIST 대학원 수학과 석사과정
KAIST 대학원 수학과 박사졸업
Tokyo Institute of Technology Post-Doc.

학력

KAIST 대학원 수학과 석사과정
KAIST 대학원 수학과 박사졸업
Tokyo Institute of Technology Post-Doc.

강의경력

KAIST
ICU
현) 유니와이즈 자문교수

교수님 강의 보러가기

강좌 소개: 🤖 **유니와이즈 AI 튜터 탑재!**
- AI강의요약, AI질문채팅, AI문제생성 가능
- 강의는 기본, 최신 트렌드 학습은 AI 튜터로 24시간 학습!

✅ **실해석학개론: 미적분의 엄밀한 기초**:
- 미적분을 ε‑δ 논법과 완비성으로 재정립하여 연속성, 미분, 리만 적분, 함수열·함수급수를 체계적으로 이해하는 대학 수준의 해석학 입문 강좌입니다.
✅ **체계적인 커리큘럼**:
- 논리·집합 → 실수의 완비성 → 수열/극한 → 연속 → 미분 → 적분 → 급수 → 함수열(일양수렴) → 거리공간 맛보기까지 단계적으로 다룹니다.
✅ **증명 중심 + 명쾌한 문제풀이**:
- 정의–정리–증명–예제의 흐름과 대표 유형별 풀이로 서술형 논증력과 실전 해결력을 동시에 강화합니다.
✅ **상위과정/진학·임용 대비**:
- 위상수학, 측도론·확률, 수리통계, 최적화 등 상위 과목의 선수지식을 견고히 하여 대학원 진학/임용 대비 토대를 마련합니다.
교육 대상: 🎓 **수학·통계·과학/공학 전공자**: 학부 해석학의 엄밀한 기반을 확립하고 상위 과목(위상, 측도, 수리통계)으로 자연스럽게 연결하고 싶은 학생.
📚 **편입·복수전공·대학원 준비생**: 해석학 선수과목을 빠짐없이 정리하고 증명형 서술 역량을 강화하려는 학습자.
🏃 **사범대 수학교육과/임용 대비**: 핵심 정리(볼차노–바이어슈트라스, 평균값정리 등)의 증명 아이디어와 서술을 훈련하고 싶은 예비 교사.
🔬 **데이터·AI·금융·계량경제 지망생**: 수렴성/연속성/미분·적분의 이론을 바탕으로 모델링·최적화·추정의 수학적 이해도를 높이고 싶은 학습자.
교재정보 및 참고문헌: 📘 **주교재 (PDF 제공)**:
- 유니와이즈 자체 교수진 연구교재로, 실해석학 핵심 개념과 대표 증명, 난이도별 연습문항을 대학 수업 흐름에 맞춰 정리했습니다.
- 수강 시 PDF로 제공되어 예습/복습과 시험 대비에 충분합니다.
📖 **참고 문헌 (선택)**:
- 『실해석학개론』 최신 개정판(정동명·조승제 저, 경문사): 국내 학부 수준에 적합한 해설과 예제가 강점.
- 『실해석학개론(Introduction to Real Analysis)』 최신 개정판(Bartle·Sherbert 저, 강수철 역, 범한서적주식회사): 고전 명저 번역본으로 정밀한 전개가 특징.
- 주교재만으로도 학습 가능하며, 심화·대조 학습 시 참고서를 병행하세요.

유니와이즈 AI학습의 특징

AI가 이끄는 스마트한 학습 경험, AI 튜터와 함께 더 빠르고, 더 깊게 학습하세요.

📝

AI 자동 요약

긴 강의 내용을 AI가 핵심만 요약하여 복습 시간을 단축시킵니다.

🔑

핵심 키워드 추출

강의에서 가장 중요한 키워드와 개념을 자동으로 추출해 제공합니다.

💡

AI 자동 퀴즈

학습한 내용을 바탕으로 AI가 생성한 퀴즈를 풀며 이해도를 점검합니다.

🤖

1:1 AI 튜터

모르는 부분을 24시간 언제든 AI 튜터에게 질문하고 답변을 받습니다.

AI 튜터 기능 체험하기

커리큘럼

총 7개 챕터, 41강으로 구성되어 있습니다.

커리큘럼
제목	강의시간	상세내용
1장. 집합과 함수
[1강] 집합, 함수	0: 55: 46
해석학 집합과 함수 핵심 정리 (집합·함수·집합족·곱집합·함수 개념·단사 전사·역함수·이미지와 역상·수열) • 집합·집합연산·집합족: 부분집합·공집합·합집합·교집합·차집합·여집합과 드모르간 법칙, 인덱스 집합을 갖는 집합족의 지수화된 합집합·교집합 정의 및 논리 구조 정리 • 곱집합과 함수 구조: 곱집합과 순서쌍을 기반으로 정의역·공역·치역·그래프·합성함수, 단사·전사·전단사·역함수, 축소함수·확대함수 개념 및 상(image)·역상(inverse image)의 포함관계 체계화 • 수열의 집합론적 표현: 수열을 자연수에서 집합으로 가는 함수로 보는 정의를 통해 점열·실수열·함수열 등 각종 수열의 구조와 치역 집합과의 구분 개념화
[2강] 이항연산, 가산집합	0: 46: 26
해석학 이항연산과 가산집합 핵심 정리 요약 • 이항연산과 대수적 성질: 집합 위 이항연산의 정의와 교환법칙·결합법칙·분배법칙·항등원·역원의 조건을 통해 정수·멱집합·함수합성 등의 연산 구조를 분류·판별하는 이론 정리 • 자연수의 정렬성과 수학적 귀납법: 자연수의 정렬성(모든 비공집합 부분집합의 최소원 존재)을 공리로 채택하여 집합형·명제형 수학적 귀납법을 도출하고 두 원리가 동치임을 보이는 증명 구조 제시 • 집합의 대등성과 가산성: 전단사 함수를 통한 대등 개념으로 유한·무한·가산·비가산 집합을 정의하고, 부분집합·가산 합집합의 가산성 및 𝔑, ℤ, 𝔑×𝔑, ℚ, 양·음의 유리수의 가산무한성 정리 및 증명 절차 제시
2장. 실수계
[3강] 체의 공리, 순서공리	1: 09: 00
실수계의 체 공리·순서 공리 및 자연수·정수·유리수 포함 구조 요약 • 실수계 공리적 구조: 체 공리·순서 공리·완비성 공리로 정의되는 순서완비체로, 덧셈·곱셈의 대수 구조와 부등식·절댓값·삼각부등식의 형식적 성질 정립 • 체와 역원 성질: 덧셈·곱셈 항등원과 역원의 존재·유일성, 제로곱 법칙, 분수 연산 규칙, 1차방정식 해의 유일성 등 역원 관련 대수 성질 체계화 • 순서·절댓값·포함 구조: 양수집합 기반 순서 공리로 부등식 조작·절댓값·삼각부등식 정식화하고, 그 안에 자연수·정수·유리수의 포함 구조(N⊂Z⊂Q⊂R)와 유리수 체의 비완비성 설명
[4강] 완비성공리 (1)	0: 34: 16
실수의 완비성, 상한과 하한, 아르키메데스 원리, 유리수의 조밀성 • 실수의 완비성 공리와 상한·하한: 위로/아래로 유계, 상계·하계, 상한(sup), 하한(inf)의 정의와 유일성, 상한형·하한형 완비성 공리의 동치 구조 정리 • 아르키메데스 원리와 따름정리: 임의의 양수와 실수에 대해 자연수배가 임계값을 넘는 존재성, 이를 통한 자연수의 크기 비교, 1/n 꼴 양수의 존재와 경계 추정 도구로서의 기능 • 유리수의 조밀성 정리: 임의의 두 실수 사이에 유리수가 존재한다는 조밀성, 완비성과의 대비를 통한 Q의 비완비성·R의 완비성 이해 및 실수선 구조 분석 기반 마련
[5강] 완비성공리 (2)	0: 58: 07
완비성공리와 Dedekind 정리, 유리수의 결함과 무리수·제곱근·실수 소수표시 요약 • 실수 완비성 구조: 완비성공리와 Dedekind 정리의 동치, 유리수에서의 Dedekind 실패와 무리수(√2 등) 존재, 실수계의 공리적 구성·완비순서체로서의 존재성과 동형에 의한 유일성 및 실직선 표현 • 제곱근·n제곱근과 지수 확장: 임의 a≥0의 제곱근과 a>0의 n제곱근의 존재·유일성 증명, 이를 통한 유리수 지수 a^{m/n} 정의, 유리수·무리수의 조밀성 및 거리 d(a,b)=\|a-b\|의 기본 성질과 실수 동일성 판정 렘마(\|x−y\|<ε ∀ε>0 ⇔ x=y) • 실수 표현과 소수 전개: 유리수의 갭과 무리수 조밀성에 기반한 실수선의 빈틈 없는 구조, Archimedes 성질과 상한 개념을 이용한 모든 양의 실수의 소수표시 절차 및 구간·실직선 상 표현 체계 정리
3장. 실직선의 위상
[6강] 개집합과 폐집합	0: 29: 29
실직선상의 위상: 근방, 개집합, 폐집합, 기본 성질 • 실직선 위상구조와 근방: 거리 d(x,y)=\|x−y\|에 의해 정의되는 위상·근방 N(c,ε)·개구간 구조와 서로 다른 점 분리·교집합 내 근방 존재 성질 정리 • 개집합과 폐집합: 근방을 통한 개집합 정의, 여집합을 통한 폐집합 정의, 개구간·근방·전체집합·공집합·유한집합 등의 개·폐집합 여부 및 개집합=개구간들의 합집합 구조 정리 • 개·폐집합의 닫힘 성질: 개집합의 유한 교집합·임의 합집합 닫힘, 폐집합의 유한 합집합·임의 교집합 닫힘과 개·폐구간 수열의 합집합·교집합 예시를 통한 실직선 위상 구조 정리
[7강] 내점과 집적점	1: 06: 19
내점과 집적점, 축소구간정리와 Bolzano-Weierstrass 정리 핵심 정리 요약 • 내점·집적점·클로저: 내점·집적점 정의와 수열적 특징을 통해 개집합·폐집합의 성격(내점집합, 집적점 포함 여부)과 클로저의 구조 및 성질(포함 보존, 합집합, 상한 포함) 정리 • 개집합·폐집합 특성: 개집합은 모든 점이 내점인 집합(O=O°), 폐집합은 모든 집적점을 포함하는 집합(F'⊂F, F=F̄)으로 수열·집적점 관점에서 동치 조건과 예제 구조화 • 축소구간정리·완비성·Bolzano-Weierstrass: 축소구간정리와 실수의 완비성의 동치(중첩 폐구간열·상한 구성)와 이를 이용한 Bolzano-Weierstrass 정리(유계 무한집합의 집적점 존재) 증명 절차 및 활용 관계 정리
[8강] Heine-Borel의 정리, 연결집합	1: 09: 25
하이네-보렐 정리와 컴팩트·연결집합 핵심 정리 요약 • 컴팩트 집합·Heine–Borel 정리: 열린 덮개·유한 부분 덮개를 통한 컴팩트 정의, 폐구간 축소구간 정리에 의한 컴팩트성 증명, 컴팩트 ⇔ 닫히고 유계(Heine–Borel) 및 컴팩트 집합의 폐부분집합도 컴팩트·컴팩트 ⇒ 폐집합 관계 정리 • 실수에서의 컴팩트성 특징: 유한 집합과 폐구간의 컴팩트성, (0,1)·ℝ 등의 비컴팩트 예시, 닫힘·유계에서 컴팩트성 도출, 컴팩트성에서 유계성 도출을 위한 특수 열린 덮개 {(-n,n)} 활용 구조 제시 • 연결·비연결집합과 구간 동치: 개집합 분할에 의한 비연결·연결 정의, 연결 ⇔ 임의 두 점 사이 모든 점 포함 성질 증명, 실수에서 연결집합 = (유·무한) 구간 및 한 점 집합·공집합이라는 형태 분류 정리
4장. 수렴
[9강] 수열의 수렴성	0: 54: 43
수열의 수렴성, ε-정의와 동치조건, 발산 및 꼬리수열 핵심 정리 • 실수열과 수렴 개념: 수열을 자연수에서 실수로 가는 함수로 정의하고 ε–N 정의, 근방·개집합 표현, 극한의 유일성과 수렴 ⇒ 유계 정리로 수렴 구조를 정식화 • 비수렴·발산 개념: ε-정의의 부정을 통한 비수렴 동치 조건, 유계지만 비수렴하는 수열, ±∞ 로의 발산 정의와 대표 수열(n, (-1)^n, n^2 등)의 수렴·발산 판정 절차 정리 • 꼬리수열과 종국적 성질: 꼬리수열 정의, “종국적으로 성질 P를 가진다” 개념, 모든 꼬리가 동일한 극한을 가질 때와 수열의 수렴성의 동치 관계로 초기항이 수렴성에 미치는 영향 분석
[10강] 수열공간, 부분수열	1: 15: 18
수열공간과 부분수열, Bolzano-Weierstrass 정리 핵심 정리 • 실수열공간과 수렴수열 벡터공간: 실수열 전체 공간 $\mathbb{R}^\infty$의 항별 연산·벡터공간 구조, 수렴수열공간 $C$의 부분벡터공간 성질 및 극한 연산 법칙(합·곱·몫·상수배·절대값·다항식·제곱근) 정리 • 수렴수열의 부등식·조임·비율판정법: 수렴수열의 부등식 성질, 조임정리와 극한의 크기 비교, 비율판정법을 통한 양수수열의 0으로의 수렴 판정 절차 정리 • 부분수열·집적점·Bolzano-Weierstrass 정리: 부분수열 정의와 함수 관점 표현, 집적점과 수열의 관계, 유계수열의 수렴부분수열 존재를 보이는 Bolzano-Weierstrass 정리와 부분수열을 이용한 수렴·발산 판정 원리 정리
[11강] 수열의 수렴판정법	1: 01: 43
수열의 수렴판정법: 단조수렴 정리와 Cauchy 판정법 • 단조수열과 단조수렴 정리: 단조증가·단조감소·증가·감소 수열 정의와 유계 단조수열의 수렴, 극한을 상한·하한으로 표현하는 단조수렴 정리 및 유계성 ⇔ 수렴 관계 정리 • Cauchy 수열과 성질: Cauchy 수열 정의, 수렴수열 ⇒ Cauchy, Cauchy ⇒ 유계 및 부분수열 보존, Cauchy 수열의 수렴 부분수열 존재 시 원수열 수렴성 도출 • Cauchy 수렴판정법과 응용: 실수 체에서 Cauchy ⇔ 수렴을 완비성과 연계해 증명하고, 재귀수열·교대수열에서 인접항 차이·꼬리 구간 추정을 이용한 수렴 판정 및 극한값 계산 절차 정리
[12강] 상극한과 하극한	0: 58: 29
상극한과 하극한, 수열의 극한과의 관계 정리 • 상극한·하극한 정의와 직관: 꼬리집합의 상한·하한을 이용한 limsup·liminf의 집합론적 정의와 집적점 중 최대·최소값으로서의 의미 정리 • 상극한·하극한 성질과 특성화: ε–N 조건에 따른 limsup·liminf의 특징(THM3, THM4), 이 조건을 만족하는 값과 limsup·liminf의 동치성(THM5), 수렴 ⇔ limsup=liminf 판정 기준(THM6) • 연산 법칙과 응용: 합수열에 대한 limsup/liminf 부등식(LEMMA, THM7), 상수배·부호 반전에서의 상·하극한 공식(THM7 (3),(4))을 통한 수열 연산 시 상·하극한 계산 및 수렴 판정 체계화
[13강] 함수열	0: 44: 43
함수열의 점별수렴과 평등수렴, Cauchy 판정 요약 • 함수열·점별수렴·평등수렴 개념: 동일 정의역에서의 함수열과 점별수렴(각 점별 실수열 수렴)·평등수렴(공통 N(ε)로 전 구간에서 동시에 수렴) 정의 및 포함관계(평등수렴 ⇒ 점별수렴, 역은 일반적으로 성립하지 않음) 정리 • 평등수렴 부정 판정: 평등수렴 부정의 논리형(고정된 ε₀와 계속해서 ε₀ 밖으로 나가는 항·점 존재) 및 부분수열·점열 구성 정리로 점별수렴하지만 평등수렴하지 않는 예(xⁿ, x/n, nx/(1+n²x²) 등) 판정 절차 제시 • 평등수렴의 Cauchy 판정법: 평등수렴과 Cauchy 조건(모든 ε>0에 대해 m,n≥N이면 전 x에서 \|f_m(x)-f_n(x)\|<ε) 동치 정리와 극한함수 없이 평등수렴을 판정하는 절차, 일률적 상계를 이용한 예제(f_n(x)=x/(1+n²x²)) 분석 포함
[14강] 급수의 수렴성	0: 52: 48
해석학 급수의 수렴성: 무한급수, Cauchy 판정, p-급수, e 정의 • 무한급수와 수렴성 판정: 무한급수를 부분합수열 극한으로 정의하고 Cauchy 판정법·수렴급수 일반항 조건·양항급수의 단조성과 유계성을 통해 수렴·발산을 구조적으로 판정함 • 대표 급수 유형과 성질: 무한등비급수·조화급수·p-급수·팩토리얼 급수를 기준 모델로 삼아 수렴조건(\|r\|<1, p>1 등)과 발산 사례를 정리하고 비교판정·결합법칙 성립 조건을 통해 다른 급수 분석의 표준틀을 제공함 • 수 e의 정의와 극한 일치: 팩토리얼 급수 ∑1/n!의 합으로 정의된 e와 수열 (1+1/n)^n의 극한이 상·하계 비교와 이항정리를 통해 서로 일치함을 보이고, 분석학에서 e의 기본적 위상을 엄밀히 정립함
[15강] 급수의 수렴판정법	1: 01: 01
급수의 수렴 판정법: 비교·근·비·교대·극한비교·Dirichlet·Abel 요약 • 비교·근·비·교대·극한 비교 판정법: 기준 급수(등비급수·p-급수)와 일반항의 크기·제곱근·비율·부호 구조·비의 극한을 이용해 양항급수 및 교대급수의 수렴·발산을 판정하는 기본 도구 체계 • Abel 보조정리·Dirichlet 판정법·Abel 판정법: 부분합 유계성과 단조·0수렴 수열 조건을 활용해 곱형 급수 ∑a_nb_n의 수렴을 보장하고, 특히 ∑a_ncos(nx), ∑a_nsin(nx) 형태의 Fourier 급수형 급수에 적용하는 고급 판정법 • 교대급수·Fourier 급수형 적용: 부호가 번갈아 바뀌는 교대 구조와 삼각함수 부분합의 유계성을 결합해 교대급수 및 ∑a_ncos(nx), ∑a_nsin(nx)의 수렴성을 분석하는 응용 커리큘럼 구성
[16강] 절대수렴과 조건수렴	0: 49: 02
절대수렴, 조건수렴과 재배열·코시곱 정리 핵심 정리 • 절대수렴·조건수렴 및 양·음수 부분급수: 절대수렴(∑\|a_n\| 수렴)과 조건수렴(∑a_n 수렴·∑\|a_n\| 발산) 정의, a_n^+, a_n^- 분해와 “절대수렴 ⇔ ∑a_n^+, ∑a_n^- 동시 수렴, 조건수렴 ⇒ 두 부분급수 모두 발산” 정리 • 재배열급수와 수렴 성질: 전단사로 정의되는 재배열급수 개념, 절대수렴 시 모든 재배열이 원래와 같은 합으로 수렴(교환법칙 성립), 조건수렴 시 재배열에 따라 임의의 실수 또는 발산 가능(리만 재배열 정리) • Cauchy곱과 절대수렴 조건: 급수의 곱에서 항별곱과 Cauchy곱 정의, 두 급수 수렴만으로는 Cauchy곱 발산 가능함을 보이는 예, 두 급수가 절대수렴할 때에만 Cauchy곱이 수렴하고 합이 두 급수 합의 곱 ST가 되는 Cauchy곱 정리
[17강] 함수항 급수	0: 38: 05
함수항급수와 거듭제곱급수의 수렴, 수렴반경, 평등수렴 정리 • 함수항급수와 수렴 개념: 함수항급수·부분합 함수열 정의, 점별수렴·평등수렴의 ε–N 정의 및 Cauchy 평등수렴 판정법 구조 정리 • 평등수렴 판정법과 Weierstrass M-판정법: 함수항급수의 평등수렴을 Cauchy 조건과 상계 수열(M_n) 비교로 판정하는 Weierstrass M-판정법과 대표 적용 구조 • 거듭제곱급수와 수렴반경: 거듭제곱급수 정의, 근판정법을 이용한 수렴반경·수렴구간 결정, 한 점에서의 수렴·발산이 주는 의미, 수렴반경 내 절대수렴 및 폐구간에서의 평등수렴 성질 정리
5장. 연속함수
[18강] 함수의 극한 (1)	0: 46: 18
함수의 극한과 정의역 집적점, 수열·위상에 의한 극한 정의 요약 • 집적점과 극한 개념: 정의역 집합의 집적점에서만 함수 극한을 정의하며, 집적점은 모든 근방에서 자기 자신을 제외한 점들이 항상 존재하는 점으로, 함수값 존재 여부와 무관하게 극한 논의를 가능하게 하는 기초 개념 • 함수 극한의 ε–δ 및 동치 정의: ε–δ 조건(모든 ε>0에 대해 적절한 δ>0 존재)으로 극한을 정의하고, 극한의 유일성과 수열판정법, 근방·개집합 표현을 통해 동일 개념을 수열적·위상적으로 재구성하며, 존재·부존재 판정에 활용 • ε–δ 증명 구조와 대표 예시: 상수함수·부분집합 정의역·다항함수·진동함수(x·sin(1/x), sin(1/x))에서 극한 존재/부존재를 증명하며, 인수분해·상계추정·δ=min{…} 선택 기법과 서로 다른 극한을 갖는 수열 구성 전략을 통해 연속성·불연속성 분석의 기반을 마련함
[19강] 함수의 극한 (2)	0: 40: 08
함수의 극한의 동치 정의와 성질, 무한대 극한 정리 핵심 정리 • 함수의 극한 동치 정의: ε–δ 정의, 수열 정의, 근방 정의, 계집합 정의의 상호 동치 구조와 이를 이용한 극한 불존재 동치 조건 정리 • 극한의 대수 법칙과 샌드위치 정리: 합·상수배·곱·몫에 대한 극한 성질과 끼인 함수(샌드위치) 정리의 가정 구조 및 수열 버전과의 대응 관계 정리 • 무한대 관련 극한: 함수값이 ±∞로 발산하는 극한, x→±∞에서의 극한 정의와 1/\|x\|, 1/x^p 예제를 통한 ε–δ 검증 절차 정리
[20강] 함수의 연속성	1: 12: 13
연속함수의 ε-δ 정의, 고립점, 위상적 성질 정리 • 연속성 핵심 개념: ε-δ 정의·극한과의 동치·고립점/집적점 구분을 통해 점별·집합별 연속성과 불연속 조건 구조화 • 수열·위상적 characterization: 연속/불연속의 수열 판정(TFAE)·근방/개집합·역이미지(개집합/폐집합 보존) 조건을 통한 연속함수의 위상적 성질 정리 • 특수함수 예제: 항등함수·다항함수·Dirichlet형·Thomae형 및 유리수/무리수 기반 함수에서 점 유형별(0, 유리수, 무리수, 고립점) 연속·불연속 판정 절차 정리
[21강] 연속함수의 성질 (1)	0: 54: 53
연속함수 공간과 컴팩트 집합에서의 연속함수 성질 요약 • 연속함수 공간과 대수·벡터공간 구조: 합·상수배·곱·몫(분모 0 제외)·절대값·최대·최소·합성에 대해 연속성을 보존하며, 정의역 E 위 연속함수 집합 C(E)가 실수체 위 벡터공간을 이룸 • 컴팩트 집합에서의 연속함수 성질: 컴팩트 K에서 연속함수는 항상 유계이고 최댓값·최솟값을 달성하며, compact + 연속성 조건이 유계성·극값 존재의 필수·충분 구조를 형성함 • 연속함수와 컴팩트성 보존: 연속함수 f:K→ℝ는 컴팩트 집합 K를 컴팩트 집합 f(K)로 보내며, f(K)가 유계이자 폐집합이 되는 위상적 성질을 통해 최대·최소 정리와 실수선에서의 컴팩트 특성(유계·폐집합)을 연결함
[22강] 연속함수의 성질 (2)	1: 09: 01
연속함수의 성질(중간값 정리·역함수·평등연속성) • 연속함수의 구간 사상 성질: 중간값 정리·극값 정리를 통해 폐구간에서의 연속함수 치역이 하나의 구간(상수함수가 아니면 폐구간)이 됨을 정리하고, 단조 연속함수의 역함수 존재·연속성·단조성을 포함한 구간 구조 분석 • 평등연속 개념과 판별: 평등연속의 정의를 점별 연속성과 비교하고, 정의역에 따른 평등연속/비평등연속(다항함수·역수함수 등) 사례로 개념을 정리하며, “평등연속 아님”의 부정형 조건을 통해 판별 절차를 제시 • 컴팩트성과 평등연속, Cauchy 보존: 컴팩트 집합 위 연속함수의 평등연속성(열린덮개·유한 부분덮개 논리)과 평등연속함수의 Cauchy 수열 보존 성질을 연결하여, 위상적 조건(컴팩트성)과 해석학적 조건(평등연속·Cauchy성) 사이의 구조적 관계를 정리
[23강] 단조함수 (1)	0: 57: 22
함수의 평등연속성과 Lipschitz, 단조함수 불연속성 정리 요약 • Lipschitz 함수·평등연속·연속확장: Lipschitz 조건(기울기 유계)과 평등연속의 관계(Lipschitz ⇒ 평등연속), 열린구간 평등연속 ⇔ 폐구간 연속확장 정리 및 평등연속이지만 Lipschitz가 아닌 함수(√x) 구조 • 좌극한·우극한·불연속점 분류: 좌극한·우극한의 ε–δ 정의와 일반 극한과의 관계, 제1종(점프·제거가능)·제2종(진동·발산) 불연속점의 개념 및 분류 체계 • 단조함수와 불연속점 가산성: 단조함수에서 모든 점의 좌극한·우극한 존재와 제2종 불연속 부재, 불연속점에서의 점프 크기와 유리수 대응을 통한 불연속점 집합의 가산성 정리 구조
[24강] 단조함수 (2)	0: 47: 38
순단조함수의 역함수, n제곱근과 유리수 거듭제곱, 연속함수열과 평등수렴 요약 • 연속 순단조함수와 역함수 정리: 구간에서의 연속 순단조함수는 1:1 대응을 이루며, 역함수 존재·연속성·단조성을 가지는 구조를 제공하고 이를 통해 n제곱근 함수(짝·홀수 경우)를 거듭제곱함수의 역함수로 정의함 • 유리수 지수 거듭제곱과 대수적 성질: x^{1/n}, x^{m/n}를 역함수와 자연수 지수 거듭제곱으로 정의하여 표현에 무관한 well-defined성을 확보하고, x^{m/n}=(x^{1/n})^m=(x^m)^{1/n} 및 x^r x^s=x^{r+s}, (x^r)^s=x^{rs} 등 유리수 지수 지수법칙을 정립함 • 연속함수열의 점별수렴·평등수렴과 연속성 보존: 연속함수열의 점별수렴과 평등수렴을 구분하고, 평등수렴이 극한함수의 연속성과 극한 교환(함수항급수 포함)을 보장함을 보이며, x^n, nx/(1+n^2x^2), cos(nx)/e^{nx} 등의 반례와 콤팩트 구간·단조성·연속 극한함수를 가정한 Dini 정리로 점별수렴이 평등수렴으로 강화되는 조건을 제시함
[25강] Weierstrass의 근사정리	0: 39: 29
연속함수의 근사, 계단함수·다항함수·Bernstein 다항식 • 평등근사와 평등수렴: 연속함수의 평등근사 정의, 평등수렴하는 함수열 존재와의 동치 관계, 컴팩트 집합에서의 평등연속성 활용 구조 정리 • 계단함수·구분적 선형함수 근사: 분할과 계단함수 정의, 폐구간 연속함수의 계단함수·구분적 선형함수에 의한 평등근사 정리 및 증명 아이디어(분할 세분화, 평등연속성 이용) • Bernstein 다항식과 Weierstrass 근사정리: Bernstein 다항식 정의·확률적 성질(이항분포·평균·분산 상계), 단위구간에서의 평등수렴, 선형변환을 통한 일반 폐구간으로의 확장 및 Weierstrass 근사정리(연속함수의 다항함수 평등근사) 구조 정리
6장. 미분가능함수
[26강] 함수의 미분가능성	1: 10: 42
함수의 미분가능성과 도함수 • 미분가능성·도함수 개념: 한 점에서의 미분계수 극한 정의, 좌·우미분계수와 절대값/끝점 판정, 도함수 정의 및 미분가능 ⇒ 연속 관계 구조 정리 • 접선 근사·증가·감소·연산법칙: 접선 근사 정리(오차항 표현)와 미분계수 부호에 따른 국소 증가·감소 성질, 미분가능 함수공간과 합·상수배·곱·몫의 미분 공리적 구조 제시 • 연쇄법칙·역함수 미분법·로그: 합성함수 미분의 연쇄법칙, 단조·미분가능 함수의 역함수 미분 공식과 적용, 이를 통한 자연로그 도함수 및 초월함수 미분 구조 정리
[27강] 미분가능함수의 성질	1: 00: 53
미분가능함수의 성질: 평균값정리, Lipschitz, Darboux 정리 요약 • 극대·극소와 Fermat–Rolle–평균값정리 계층: 극대·극소 정의, Fermat 정리(미분가능 극값점의 도함수 0), Rolle 정리, Cauchy 평균값정리(CMVT), 평균값정리(MVT)를 통한 도함수–기하적 의미–부등식 증명 구조 • 단조성·Lipschitz·역함수 미분 가능성: 도함수 부호와 상수·단조성 판정, 도함수 유계성 → Lipschitz 조건 → 평등연속, 단조·미분가능 함수의 역함수 존재와 역함수 미분법(연쇄법칙 기반 도함수 역수 공식) • 도함수의 불연속성과 Darboux 정리: 도함수는 불연속일 수 있으나 항상 중간값 성질(Darboux 성질)을 만족하며, 이를 이용해 “어떤 함수가 도함수가 될 수 있는지”를 판정하고 적분가능성·도함수 후보의 필요조건 분석에 활용
[28강] 로피탈의 법칙	0: 50: 41
L'Hospital의 법칙: 0/0, ∞/∞ 부정형 극한과 증명 핵심 정리 • 부정형 극한·기본 개념: 0/0, ∞/∞ 등 부정형의 정의와 유형, 0·∞형 등의 0/0·∞/∞형 환원 구조 정리 • L'Hospital의 법칙 구조: 0/0형·∞/∞형에서 연속성·미분가능성·분모·분모 도함수 비영 조건하에 lim(f/g)=lim(f'/g') 성립과 Cauchy 평균값 정리 기반 증명 및 내점·좌우극한·무한대 극한으로의 확장 원리 정리 • L'Hospital 적용 절차: x→a, x→∞에서의 0/0·∞/∞ 부정형 판정, x=1/t 치환 활용, 반복 미분을 통한 극한 계산과 삼각함수·로그함수 대표 예제 풀이 패턴 정리
[29강] Taylor 정리 (1)	0: 48: 15
테일러 정리(1)와 C^n 함수 개념 정리, 나머지항까지 • C^n·C^∞ 함수와 n차 도함수: n차 도함수까지 존재·연속인 C^n, 모든 차수에서 미분가능한 C^∞ 정의와 예시(조각함수, 삼각함수)로 부드러움의 단계 구조 제시 • 테일러 다항식과 나머지항: 미분계수로 결정되는 테일러 다항식 계수 C_k=f^{(k)}(a)/k!와 일반 함수에서의 테일러 다항식 P_n, 나머지항 R_n 정의 및 근사·오차 개념 정리 • 테일러 정리와 나머지식 구조: C^n[a,b] 함수에서 코시형·라그랑주형 나머지식으로 표현되는 테일러 정리와 평균값정리(확장된 평균값정리) 연결, e^x·sin x 근사와 오차 추정 절차 정리
[30강] Taylor 정리 (2)	0: 39: 45
Summary Content: 테일러 급수, 맥로린 급수, 해석적 함수 개념 정리 • 테일러 정리·테일러/맥로린 급수: Cauchy·Lagrange 나머지항을 통한 테일러 다항식 구성, 테일러·맥로린 급수 정의와 나머지항 극한(0)과의 필요충분 수렴 조건 정리 • 대표 함수 전개와 수렴 성질: sin x의 전 구간 맥로린 수렴, ln x의 a=1 테일러 급수와 수렴반경·수렴구간((0,2]) 분석, e^{-1/x^2} 형식 함수의 모든 도함수 계수 0에 따른 맥로린 급수 비수렴(비해석성) 예시 • 해석적 함수 개념: C^\infty 함수 중 테일러 급수가 어떤 구간에서 원함수와 일치하는 함수로서 해석적 함수 정의, sin x·ln x의 해석성 및 e^{-1/x^2}의 비해석성 구분 기준 정리
[31강] Taylor 정리 (3)	0: 51: 12
극값 판정, 볼록함수, Newton 방법: Taylor 정리 응용 핵심 • 고계도함수 극값 판정법: Taylor 정리와 n계도함수 부호를 이용해 임계점의 극대·극소·비극값 여부를 n의 짝·홀성과 f^{(n)}(c)의 부호로 판정하는 방법 • 볼록함수와 2계도함수 조건: 볼록함수의 정의(할선 부등식)와 C² 함수에서의 동치조건 f''(x)≥0, 오목함수·좌우미분·연속성 등 볼록성의 기본 성질 및 판정 구조 • Newton 방법과 수렴·오차 분석: 접선 기반 Newton 점화식 x_{n+1}=x_n−f(x_n)/f'(x_n), 수렴 정리의 조건(C², f', f''의 하·상계), 2차 수렴 오차식 \|x_{n+1}-r\|≤K\|x_n-r\|² 및 초기값 선택 원칙
[32강] 미분가능 함수열	0: 39: 33
미분가능 함수열과 항별미분, 거듭제곱급수 요약 • 미분가능 함수열과 수렴 조건: 점별·평등수렴만으로는 극한 함수의 미분가능성(Q1)·도함수열 수렴(Q2) 불보장, 반례(점별/평등수렴 극한의 비미분가능성, 도함수열 비수렴)를 통해 한계 구조 제시 • 미분과 극한 교환 정리: 한 점에서의 함수값 수렴 + 도함수열의 평등수렴 ⇒ 함수열의 평등수렴·극한 함수의 미분가능성·$f'(x)=\lim f_n'(x)$ 성립, 이를 통해 함수항급수의 항별미분 정당화 • 거듭제곱급수와 계수 유일성: 거듭제곱급수와 도함수급수는 동일한 수렴반경 내에서 항별미분 가능·$C^\infty$ 구조 형성, 반복 미분과 $x=0$ 대입으로 계수열의 유일성(동일 함수 ⇒ 계수 일치) 확보
[33강] 초등초월함수	1: 08: 38
초등초월함수 해석적 정의와 성질 요약 • 지수함수·로그함수 해석적 정의: exp의 거듭제곱급수 정의·항별미분·지수법칙·단조성·극한·치역, exp와 e^x의 일치, 역함수 ln의 정의·도함수 1/x·로그법칙·일반 로그(밑변환) 구조 정리 • 삼각함수 해석적 정의와 성질: sin, cos의 급수 정의·대칭성·도함수·기본항등식(sin²+cos²=1), 덧셈정리, cos x=0의 최소 양수해를 통한 π 도입, 특수값 및 주기 2π, 나머지 삼각함수(tan, cot, sec, csc) 정의 • 거듭제곱함수(파워펑션) 구조: x^{α}=e^{α ln x}로 해석적 정의, 유리지수와의 일치, (xy)^α·(x^α)^β·x^{-α} 등 지수법칙, x>1에서의 단조성, 미분 공식 (x^{α})'=α x^{α-1} 확립
7장. 적분가능함수
[34강] Riemann 적분	1: 01: 49
리만 적분과 적분가능성 핵심 정리(연속·단조함수 중심) • 리만 적분 공리적 정의와 상·하합 구조: 유계함수 분할, 상합·하합, 상·하적분 정의를 통해 Riemann 적분을 실수체 완비성에 기반해 구성하고, 세분할 단조성과 상·하적분 일치 조건을 적분가능성 기준으로 제시 • 적분가능성 판정과 대표 예제: 코시 판정법(상합–하합 차이 ε-조절)을 통해 상수함수, f(x)=x, 디리클레형 함수의 적분가능·불가능성을 비교하고, 유한개 점에서 함수값 변경 시 적분가능성과 적분값 불변성을 구조적으로 설명 • 연속·단조함수의 적분가능성: 폐구간 연속함수의 평등연속성과 단조함수의 유계·단조성에 기반해 상합–하합 차이를 제어하여 항상 Riemann 적분가능함을 증명하고, C([a,b]), M([a,b]), 𝓡([a,b]) 사이의 포함 관계와 무한개 불연속 단조함수 예제로 적분가능성과 연속·단조성의 차이를 정리
[35강] 함수의 적분가능성	1: 18: 13
리만 적분가능성과 리만합·불연속점 집합의 성질 요약 • 리만 적분과 리만합: 상·하합·상·하접분과 리만 적분가능성 정의, 분할 노름과 리만합 극한 개념, 적분값과 리만합 극한 및 균등분할 리만합 공식의 동치 구조 정리 • 측도 0 집합과 진동량 ν(f,x): 측도 0 집합 정의·성질(유한·가산집합, 가산개의 합집합, 부분집합 보존) 및 점별 진동량 ν(f,x)에 의한 연속·불연속 판정 개념 정리 • 리만 적분가능성과 불연속점 집합: 유계 함수에서 리만 적분가능성 ⇔ 불연속점 집합이 측도 0인 정리, 불연속점 덮개·컴팩트성·상·하합 차이 추정과 ν(f,x)≥1/m 집합 분해를 통한 양방향 증명 구조 정리
[36강] 적분가능 함수공간	1: 12: 40
리만 적분가능 함수들의 벡터공간과 연산 성질 요약 • 리만 적분가능 함수공간 R[a,b] : 폐구간에서 리만 적분가능한 실함수들의 집합으로 덧셈·상수배에 대해 닫혀 실수체 위 벡터공간을 이루며, 적분 연산은 선형범함수(∫(f+g)=∫f+∫g, ∫(λf)=λ∫f)로 작동함 • 상·하합 기반 성질 : 집합의 상한·하한 보조정리를 이용해 합·스칼라배의 상·하합 부등식을 세우고, 비음수·순서보존·절대값(양·음 부분 함수, \|∫f\|≤∫\|f\|) 및 제곱·곱 함수의 적분가능성과 f≥0⇒∫f≥0, f≥g⇒∫f≥∫g 등을 구조적으로 증명함 • 구간 분할과 적분 분해 : f∈R[a,b]⇔구간 분할점 c에서의 제한함수 f\|[a,c], f\|[c,b]가 각각 적분가능하며 코시 판정법으로 적분가능성을 연결하고 ∫_a^b f=∫_a^c f+∫_c^b f 형태의 적분 분해·역정리를 확립함
[37강] 미적분학의 기본정리	0: 44: 25
미적분학의 기본정리와 적분 계산법 핵심 정리 요약 • 미적분학의 기본정리·넓이 함수: 리만적분 가능 함수의 넓이 함수 정의, 평등연속·미분가능성 조건, 연속성 가정 하에서 F'(x)=f(x)와 정적분 F(b)-F(a) 동치 구조 정리 • 적분 기초 정리들: 적분의 평균값 정리, 치환적분법, 부분적분법의 가정(연속성·미분가능성·적분 가능성)과 정적분 변형·계산 규칙 체계화 • Taylor 정리(적분형 나머지): C^n 함수의 Taylor 전개식과 적분형 나머지 R_n(x)=1/n!∫ f^{(n+1)}(t)(x-t)^n dt 구조, 부분적분 반복을 통한 도출 원리 정리
[38강] 특이적분	0: 51: 21
특이적분과 무한적분, 판정법 및 절대수렴 정리 정리 • 특이적분 개념·유형: 유계폐구간/유계함수 조건이 깨지는 경우(열린 끝점, 내부 특이점, 무한구간)에 리만적분의 극한으로 정의되는 적분, 전구간 $(-\infty,\infty)$ 정의와 선형성 구조 포함 • 수렴 판정법 체계: Cauchy 판정법, 단조·유계 판정법, 비교판정법·극한비교판정법을 통한 무한적분 존재 여부 판정, 대표적으로 $x^{-p}$형 적분과 내부 특이점 적분의 수렴·발산 조건 정리 • 절대적분가능성(절대수렴): $\int\|f\|$ 존재 여부로 정의되는 절대(특이)적분 가능성, 절대수렴 ⇒ 수렴 및 적분값 절대부등식, 진동·감쇠형 함수(예: $\sin x/x^p$)의 절대수렴 판정 원리 정리
[39강] 유계변동함수	0: 51: 59
유계변동함수, 단조함수와의 관계 및 벡터공간 구조 정리 • 유계변동·전변동 개념: 분할에 따른 변동 합과 전변동 정의, 연속·단조·유계변동 함수 사이의 포함관계 및 유계변동함수의 유계성 정리 • 단조함수·전변동 구조: 단조함수의 전변동 계산(끝점 차이 절댓값), 전변동의 구간 분해 성질, 유계변동함수 = 단조증가함수 − 단조증가함수 표현 • BV[a,b] 벡터공간·적분가능성: 유계변동함수 집합의 합·스칼라배·곱에 대한 닫힘과 벡터공간 구조, BV ⊂ R[a,b] 및 유계변동함수의 리만적분가능성 정리
[40강] Riemann-Stieltjes 적분	0: 46: 07
리만-스틸체스 적분: 정의, 성질, 예제, 연속함수와 유계변동 함수 • 리만-스틸체스 적분 구조: 단조 증가 함수 α를 이용한 상·하합, 상·하적분 정의와 리만 적분과의 관계, 단조함수 반례와 연속함수의 적분 가능성 조건 제시 • 적분 가능성 판정 정리: ε-분할 조건에 따른 RS-적분 가능성 동치 정리와 연속성·일양 연속성을 활용한 증명 아이디어, 점프형 α 및 상수 α에 대한 적분값 도출 • 유계변동 함수에 대한 RS-적분: g=α₁−α₂ 분해를 통한 정의, 서로 다른 분해 간 적분값 일치에 의한 well-defined 성질, 연속함수와 유계변동 함수 조합에서의 적분 가능성 정리
[41강] 적분가능함수열	0: 37: 18
리만 적분가능 함수열과 극한, 급수, 특이적분 요약 • 리만 적분가능 함수열과 평등수렴: $R[a,b]$에서 점별수렴·평등수렴 개념을 비교하고, 평등수렴 시 극한함수의 리만 적분가능성과 적분–극한(또는 급수) 교환 성립 구조 정리 • 점별수렴 반례·특이적분·리만–Stieltjes 적분: Dirichlet형 함수와 삼각형 함수열을 통한 점별수렴 실패 사례, 무한구간 특이적분에서 평등수렴과 적분 가능성·적분–극한 교환 붕괴 예, 단조·유계변동 함수에 대한 리만–Stieltjes 적분에서 평등수렴 보존 성질 정리 • 연속함수열·함수항 급수·멱급수: 연속함수열 평등수렴 시 연속·적분가능성 및 적분–극한 교환 보장, 함수항 급수 및 멱급수의 수렴반지름 내 폐구간에서 평등수렴을 이용한 항별 적분 가능 조건 및 적분 공식 제시