홈 > 강의소개
실해석학Ⅰ
장태수 교수
인하대학교 대학원 수학과 석사졸업
인하대학교 대학원 수학과 박사졸업
인하대학교 대학원 수학과 석사졸업
인하대학교 대학원 수학과 박사졸업
인하대학교
현) 유니와이즈 전임교수
AI가 이끄는 스마트한 학습 경험, AI 튜터와 함께 더 빠르고, 더 깊게 학습하세요.
긴 강의 내용을 AI가 핵심만 요약하여 복습 시간을 단축시킵니다.
강의에서 가장 중요한 키워드와 개념을 자동으로 추출해 제공합니다.
학습한 내용을 바탕으로 AI가 생성한 퀴즈를 풀며 이해도를 점검합니다.
모르는 부분을 24시간 언제든 AI 튜터에게 질문하고 답변을 받습니다.
총 6개 챕터, 49강으로 구성되어 있습니다.
| 제목 | 강의시간 | 상세내용 |
|---|---|---|
| 실해석학OT | ||
|
[1강] 실해석학 오리엔테이션
|
0:
19:
00
|
|
|
실해석학 과목 구조와 학습 목표 개관
• 해석학 관련 과목 구조: 해석학개론·다변수·벡터·복소·실해석학·수치해석의 분류와 역할, 실해석학의 위치와 대상(실수·함수공간) 정의 • 실해석학 핵심 이론 축: 실수체계와 완비성, 칸토어 집합과 길이 문제, 측도론과 가측함수, 르베그 적분, 미적분의 기본정리, 바나흐 공간과 L^p 공간의 정의와 상호 구조 • 실해석학 학습 방법: 정리·증명 전부를 대상으로 한 논리 전개 추적, 시간차를 두고 증명 재구성·서술 연습, 수학적 사고력·엄밀한 서술 능력 훈련 전략 |
||
| 1장. 집합과 연속함수 | ||
|
[2강] 집합
|
1:
13:
15
|
|
|
실해석학 1장 집합: 정의, 연산, 첨자집합과 드모르간 법칙 정리
• 집합 이론 기본 개념: 집합·원소·부분집합·진부분집합·상등·공집합·단집합·멱집합·집합족 정의와 표기, 집합을 통한 대상/구조 표현 체계 정립 • 집합 연산과 법칙: 합집합·교집합·차집합·여집합·곱집합 정의와 교환·결합·배분·드모르간 법칙, 카테시안 곱과 합집합·교집합의 결합 및 포함 관계 구조 정리 • 첨자집합과 무한 집합족: 첨자집합을 이용한 집합족의 합집합·교집합 정의, 무한 버전 드모르간·배분법칙 일반화, 구간열 예시를 통한 무한 합·교집합 구조 이해 |
||
|
[3강] 함수
|
1:
06:
48
|
|
|
실해석학 함수 개념 정리, 상·역상과 합성함수 중심
• 함수와 기본 용어·수열: 정의역·공변역·치역·상·항등함수 정의 및 수열을 자연수를 정의역으로 하는 함수로 해석하는 개념 정리 • 상·역상과 집합연산, 단사·전사·전단사·역함수: 상·역상의 합집합·교집합·차집합 성질과 전사·단사·전단사 정의, 역함수 존재 조건 및 역상 개념 구분 정리 • 합성함수·축소함수·확장함수: 합성함수 정의와 단사·전사 보존 성질, 정의역 축소·확장을 통한 역함수 구성 및 수열-함수 연결 구조 정리 |
||
|
[4강] 가산집합
|
0:
54:
14
|
|
|
가산집합, 대등, 기수와 멱집합 개념 정리 요약
• 집합의 대등성과 무한/가산 개념: 전단사 대응에 의한 대등 정의를 바탕으로 유한·무한·가산·비가산집합을 구분하고, 자연수 부분집합·가산개의 가산집합 합집합·유리수 Q의 가산성 구조를 정리함 • 비가산성과 대각선 논법·칸토어 정리: 실수 구간 [0,1]의 비가산성을 칸토어 대각선 논법으로 증명하고, 임의 집합 A와 멱집합 P(A)의 기수 비교를 통해 P(ℕ)가 비가산임을 보이는 칸토어 정리의 논리 구조를 학습함 • 기수와 무한의 계층 구조: 기수(cardinal number)와 ℵ₀를 통해 가산무한의 크기를 정의하고, 멱집합의 기수 2^{ℵ₀}, 실수 집합의 연속체 기수, 그리고 ℵ₁ 이상으로 이어지는 무한 기수의 계층 및 연속체 가설의 핵심 아이디어를 개념 수준에서 정리함 |
||
|
[5강] 관계 (1)
|
0:
45:
15
|
|
|
관계, 동치관계, 동치류와 분할 개념 정리
• 관계와 동치관계: 집합 X 위의 관계를 곱집합 X×X의 부분집합으로 정의하고, 반사율·대칭율·추이율을 모두 만족하는 관계를 동치관계로 규정함 • 동치류·몫집합·분할: 동치관계로 정의된 동치류 E(a)와 몫집합 X/∼를 도입하고, 동치류들의 족이 X를 겹치지 않게 완전히 덮는 분할을 이룸을 증명함 • 대표 동치관계 예시: 정수의 잉여류 관계 n≡m (mod p)와 집합 사이 전단사함수 존재 관계를 동치관계로 제시하고, 이를 통해 기수와 집합의 대등 개념을 구조적으로 설명함 |
||
|
[6강] 관계 (2)
|
0:
45:
26
|
|
|
실해석학 관계(2): 부분순서, 상한·하한, 완전순서와 선택공리
• 부분순서·극대/최대·상한/하한·완비성: 부분순서와 극대·최대·극소·최소의 구분, 상계·하계와 상한(sup)·하한(inf)의 정의를 통해 실수체의 완비성과 유리수의 비완비성 비교 • 완전순서·정렬집합: 완전순서와 정렬집합의 정의를 제시하고, 실수·자연수·부분순서 예시를 통해 최소 원소 존재 여부와 극대·최대의 관계 구조 분석 • 선택공리·Zorn의 보조정리·정렬공리 동치: 선택공리, Zorn’s Lemma, Hausdorff 최대정리, 정렬공리의 동치성과 사슬·극대 원소·정렬 가능성 개념을 집합론적 기초로 정리 |
||
|
[7강] 실수 (1)
|
0:
54:
06
|
|
|
실해석학 실수체의 공리, 순서공리, 기본 부등식 정리
• 실수체와 순서 구조: 체의 공리(가환군·분배법칙)와 순서공리(양의 부분집합 P, 완전순서)로 실수계의 대수·순서 구조를 공리적으로 규정 • 절대값과 기본 부등식: 절대값 정의를 통해 양수성 확립 후, 실수 전역에서 삼각부등식과 절대값 관련 기본 부등식들의 구조와 증명 절차 정리 • 핵심 부등식 체계: 베르누이 부등식, 코시-슈바르츠 부등식, ℝⁿ 유클리드형 삼각부등식을 내적·노름 관점에서 정식화하고 해석학 전반의 추정 도구로 체계화 |
||
|
[8강] 실수 (2)
|
1:
17:
22
|
|
|
실해석학 완비성, 아르키메데스 성질, 조밀성, 데데킨트·축소구간 정리 요약
• 실수의 완비성·sup/inf 구조: 상계·하계, 최소상계(sup), 최대하계(inf)와 완비성 공리, sup(a+X)=a+sup X 등 실수 순서체의 기본 구조 정리 • 아르키메데스 성질·조밀성: 아르키메데스 성질과 1/n·정수부분 존재 귀결을 통해 유리수·무리수의 조밀성(임의 구간에 유리수·무리수 존재) 증명 • 데데킨트 정리·축소구간 정리·동치성: 데데킨트 분할과 경계 실수 존재·유일성, 축소구간 정리와 유일 교집합 조건, 이들이 완비성·Bolzano–Weierstrass·단조수렴 정리와 이루는 동치 관계 정리 |
||
|
[9강] 열린집합, 컴팩트 집합 (1)
|
1:
10:
05
|
|
|
실해석학 강의 9강 열린 집합과 닫힌 집합, 열린집합 분해와 가산성 정리 핵심 정리
• ε-근방·내점·열린 집합·닫힌 집합: ε-근방으로 정의되는 내점을 통해 열린 집합을 규정하고, 여집합의 열린 성질로 닫힌 집합을 정의하며, 공집합·전체집합·유리수/무리수 집합 등의 예와 반례로 기본 성질을 구조적으로 제시 • 열린 집합·닫힌 집합의 연산 성질: 열린 집합은 임의 합집합과 유한 교집합에 대해, 닫힌 집합은 임의 교집합과 유한 합집합에 대해 각각 닫혀 있으며, 드모르간 법칙으로 두 성질을 상호 전환하고 무한 교집합·무한 합집합에서의 반례로 한계를 명시 • 열린 집합의 가산 개 서로소 열린구간 분해 정리: 실수에서 임의 열린 집합을 최대 열린구간 I_x=(a_x,b_x)들의 합집합으로 표현하고, 이 구간들이 서로소이면서 유리수의 가산성과 조밀성을 이용해 가산 개의 서로소 열린구간의 유일한 분해로 표현됨을 (존재성–서로소성–가산성) 단계로 정리 |
||
|
[10강] 열린집합, 컴팩트 집합 (2)
|
0:
38:
23
|
|
|
실해석학: 집적점·폐포·완전집합과 컴팩트 집합 개념 정리
• 집적점·고립점·도집합·폐포: 네이버후드 조건을 이용해 집적점과 고립점을 구분하고, 도집합 S′와 폐포 𝑆̄= S∪S′ 개념으로 집합의 국소 구조와 닫힌성(폐포는 항상 닫힌 집합)을 기술 • 완전집합: 집적점 집합이 자기 자신과 같은 집합(S′=S)의 정의를 통해 수열의 모든 수렴값이 집합 내부에 존재하는 집합(예: ℝ은 완전, ℚ는 비완전)으로 파악 • 열린 덮개·유한 부분 덮개·컴팩트 집합: 임의의 열린 덮개에 대해 항상 유한 부분 덮개가 존재하는 집합을 컴팩트 집합으로 정의하고, 유한 집합·닫힌 유계구간 [a,b]의 컴팩트성 및 (0,1), ℝ의 비컴팩트성을 열린 덮개 구성으로 비교·정리 |
||
|
[11강] 열린집합, 컴팩트 집합 (3)
|
1:
05:
35
|
|
|
실해석학: 컴팩트 집합과 동치 조건 정리
• 컴팩트 집합과 Heine–Borel 정리: 실수 집합에서 컴팩트 ⇔ 닫히고 유계(Heine–Borel), 정의는 모든 오픈 커버에 대해 유한 부분커버 존재로 정리 • 닫힌 구간과 컴팩트성 증명 구조: [a,b]의 컴팩트성, 닫히고 유계 ⇒ 컴팩트, 컴팩트 ⇒ 닫히고 유계 증명을 오픈 커버, 중첩 구간 정리, 네이버후드 분리 논리로 구성 • 컴팩트성과 집적점·수열 조건 동치: 컴팩트 ⇔ 모든 무한 부분집합이 집적점을 가지며 그 점이 집합 안에 있음 ⇔ 모든 수열이 집합 안에서 수렴 부분수열을 가짐 |
||
|
[12강] 칸토르 집합
|
0:
56:
23
|
|
|
칸토르 집합의 정의와 성질 정리
• 칸토르 집합 정의·구성: [0,1]에서 가운데 1/3 구간을 단계적으로 제거해 얻는 축소열 교집합으로 정의되며, 각 단계 집합은 길이 3⁻ⁿ인 구간 2ⁿ개의 합집합 구조를 가짐 • 칸토르 집합 위상·측도 성질: 실수에서 닫히고 유계라 컴팩트이며 모든 점이 집적점인 완전 집합이고, 제거된 구간 길이의 합이 1이라 르베그 측도 0이지만 어떠한 열린 구간도 포함하지 않고 내부·고립점이 공집합인 비가산 집합임 • 3진법 표현과 비가산성: 모든 원소가 3진법 전개에서 0과 2만 사용하는 수들로 표현되며, {0,2}^ℕ 및 {0,1}^ℕ과의 일대일 대응과 대각선 논법을 통해 비가산성을 보이고, 끝점뿐 아니라 0,2-전개를 갖는 비끝점 실수들도 포함함 |
||
|
[13강] 수열 (1)
|
0:
46:
27
|
|
|
실해석학 수열: 수렴, BW정리, 발산과 Extended Real
• 수열 수렴과 수렴값 유일성: 실수열의 ε–N 수렴 정의, 수렴 직관(항들의 ε-이웃 집적), 수렴값 유일성 증명 구조(삼각부등식·∀ε>0이면 |a−a'|<ε ⇒ a=a') 정리 • Bolzano–Weierstrass 정리와 부분수열: 유계 실수열·컴팩트 구간·집적점 개념을 통한 수렴 부분수열 존재 정리, 집적점 주변에서 반지름 축소하며 부분수열 구성 및 수렴 증명 절차 정리 • 발산·무한대로의 수렴과 Extended Real: properly divergent 수열(±∞로의 발산) 정의, 단조 발산과 진동 수열 구분, 확장실수 R*에서 ±∞를 포함한 수렴 개념과 공간(ℚ, ℝ, R*)에 따른 수렴·발산 판정 정리 |
||
|
[14강] 수열 (2)
|
0:
57:
42
|
|
|
상극한·하극한과 수열 수렴 성질 정리
• 상극한·하극한 정의: 꼬리집합 상·하한을 이용해 $M_n=\sup_{k\ge n}a_k$, $m_n=\inf_{k\ge n}a_k$ 를 두고 $\limsup a_n=\inf_n\sup_{k\ge n}a_k$, $\liminf a_n=\sup_n\inf_{k\ge n}a_k$ 로 수열의 상한·하한적 거동을 기술 • 수렴과 상·하극한 관계: 일반 극한이 존재할 필요충분조건을 $\lim a_n=L$ ⇔ $\limsup a_n=\liminf a_n=L$ 로 두고, ε–N 논법을 통해 수렴성과 상·하극한의 일치성을 구조적으로 정리 • 상극한·하극한 성질: 기본 예제 수열에서 limsup·liminf 계산, 합·상수배·부호변환에 대한 부등식, 그리고 “꼬리에서의 상계 + 근방에 무한히 많은 항 존재”를 결합한 동치 정리로 상·하극한의 특성 체계화 |
||
|
[15강] 수열 (3)
|
0:
44:
37
|
|
|
단조수열과 코시수열, 단조수렴정리와 코시수열의 성질
• 단조수열과 단조수렴정리: 단조 증가·감소수열의 정의, 유계 단조수열의 수렴과 극한값을 sup·inf로 표현하는 단조수렴정리 및 완비성과 상·하한을 이용한 증명 구조 • 코시수열: 코시수열의 정의(뒤의 항들 사이 거리 수렴), 수렴·비수렴 예제와 점화식으로 정의된 코시수열 분석, 코시 조건과 다른 수 체계(예: 유리수)에서의 비수렴 가능성 • 코시수열의 성질과 완비성: 수렴수열 ⇒ 코시수열, 코시수열 ⇒ 유계수열, 실수체에서 코시수열 ⇔ 수렴수열 성질과 볼차노–바이어슈트라스 정리를 활용한 증명, 실수의 완비성과의 연계 구조 정리 |
||
|
[16강] 연속함수 (1)
|
0:
47:
18
|
|
|
연속함수 정의, 수열판정법, 연산·합성·위상적 성질 정리
• 연속함수와 불연속 함수(Dirichlet 함수): ε-δ 연속성 정의, Dirichlet 함수의 전점 불연속성과 유리·무리수 조밀성 구조 • 수열판정법과 집적점: 함수극한–수열극한 동치 정리, 집적점 개념과 연속성·극한 증명에의 활용 • 연속함수의 연산·합성과 위상적 성질: 상수배·합·곱·몫·합성의 연속성 보존, 열린·닫힌집합 역상을 통한 위상적 연속성 동치 정리 |
||
|
[17강] 연속함수 (2)
|
0:
37:
13
|
|
|
연속함수 최대최소·중간값정리와 컴팩트 영상 정리 핵심 정리 요약
• 연속함수와 최대·최소 정리: 폐구간에서의 연속함수 유계성, 볼차노–바이어슈트라스와 상한을 이용한 최대·최소값 존재 증명 구조 정리 • 중간값 정리와 방정식 해: 실수의 완비성과 집합의 상한을 이용한 중간값 정리 증명 및 삼각함수·혼합함수 방정식 해의 존재·유일성 응용 구조 정리 • 컴팩트 집합의 영상 정리: 연속함수의 원상 열린집합 성질과 open cover–finite subcover 개념을 이용한 compact 집합의 영상 compact성 증명 구조 정리 |
||
|
[18강] 연속함수 (3)
|
1:
05:
15
|
|
|
Summary Content:
고른연속, 점별수렴, 함수열/함수항급수 핵심 정리 • 고른연속과 고른연속 정리: 고른연속 정의·수열형 부정형·일반 연속과 차이 및 유계 폐구간 연속함수의 고른연속성 증명 구조 정리 • 함수열과 함수항 급수: 점별수렴·부분합 함수열·함수항 급수 정의와 점별수렴 시 연속성·완비성·급수 합의 연속성 미보존 사례(불연속 극한 함수, Dirichlet 함수 등) 정리 • 점별수렴과 연산 교환 문제: 점별수렴 하에서 미분·적분·극한 교환이 실패하는 대표 예들을 통해 도함수 수렴 불일치와 적분-극한 불교환 현상 구조적 이해 |
||
|
[19강] 연속함수 (4)
|
0:
52:
28
|
|
|
연속함수의 고른수렴과 Cauchy 조건, 연속성 보존 개념 정리
• 고른수렴과 sup 노름: 함수열의 고른수렴 정의, 점별수렴과의 차이, 차이함수의 sup norm → 0 수렴과의 동치 및 예제 $f_n(x)=x^n$ 으로 보는 비고른수렴 판정 정리 • 고른수렴과 Cauchy 조건: sup norm 을 이용한 Cauchy 함수열 조건과 고른수렴의 동치, 실수 완비성을 사용한 극한함수 구성 및 함수공간에서의 거리·완비성 구조 정리 • 고른수렴과 연속성 보존: 연속함수열의 고른수렴 시 극한함수의 연속성 보존 정리, ε–δ 및 삼각부등식(ε/3 분해) 증명 구조와 실해석·적분·미분 이론에서의 보존성·르베그 적분과의 연결 개념 정리 |
||
| 2장. 측도 | ||
|
[20강] 집합대수 (1)
|
0:
53:
04
|
|
|
실해석학 집합대수: 정의, 최소 집합대수, 예제 및 분해 정리
• 집합대수(algebra of sets): 부분집합족이 유한 합집합·여집합(따라서 유한 교집합·차집합·대칭차집합·공집합·전체집합)에 대해 닫혀 있는 구조 • 최소 집합대수 존재 정리: 임의 집합족 G를 포함하는 모든 집합대수의 교집합으로 G를 포함하는 유일한 최소 집합대수 구성 (유한·단일점·cofinite 예제 포함) • 서로소 분해 정리: 집합대수 내 임의 집합열 {E_i}를 서로소 집합열 {F_i}로 구성해 F_i ⊂ E_i, ⋃F_i = ⋃E_i를 만족하게 하는 구조적 분해 방법 |
||
|
[21강] 집합대수 (2)
|
0:
37:
21
|
|
|
실해석학 σ-집합대수와 보렐 σ-대수 요약
• σ-집합대수와 생성 σ-대수: 집합대수에 가산 합집합 닫힘을 추가한 구조로, 가산 합·교집합·여집합 및 limsup·liminf에 대해 닫혀 있으며, 주어진 집합족으로부터 이를 포함하는 최소 σ-대수를 교집합으로 구성함 • 보렐 σ-대수와 Fσ·Gδ 집합: 실수선의 모든 열린(또는 닫힌)집합을 포함하는 최소 σ-대수로서 보렐집합을 이루며, 닫힌집합 가산 합인 Fσ, 열린집합 가산 교집합인 Gδ 집합을 포함하되, 열린·닫힌과 일대일 대응되지 않는 다양한 비열린·비닫힌 집합 구조를 형성함 • 연속함수와 보렐 구조 보존: 연속함수 f에 대해 역상이 보렐집합이 되는 집합족이 σ-집합대수를 이루고 모든 열린집합의 역상이 보렐집합이므로 보렐 σ-대수를 포함하여, 측도·적분 이론의 가측성 및 구조 보존의 기본 틀을 제공함 |
||
|
[22강] 르베크 외측도 (1)
|
0:
32:
20
|
|
|
르베그 외측도 정의와 기본 성질 개념 정리
• 집합함수와 길이 함수 ℓ, 평행이동: 구간족을 정의역으로 하는 집합함수 ℓ로 구간 길이를 정의하고, 실수 평행이동 연산(translation)에 대해 ℓ이 불변임을 통해 길이 개념의 기하적 불변성 정립 • 르베그 외측도 m*: 임의의 집합 E⊂ℝ에 대해 열린구간 덮개의 길이합 infimum으로 정의되는 외측도로서, 공집합·단일점 집합의 길이 0, 포함관계에 대한 단조성, 평행이동 불변성 등 리만 길이의 핵심 성질을 계승하는 집합함수 • 르베그 외측도의 의의와 르베그 측도 연결: 모든 부분집합에 대해 정의되는 외측도 m*를 적절한 집합족에 제한하여 가산가법성을 갖는 르베그 측도로 정제하고, 이를 기반으로 리만 적분보다 넓은 함수공간을 다루는 르베그 적분 이론을 구축함 |
||
|
[23강] 르베크 외측도 (2)
|
0:
53:
13
|
|
|
르베그 외측도와 인터벌 길이, 가산준가법성, 가산집합 및 G-델타 근사
• 르베그 외측도와 인터벌 길이 일치·가산집합 외측도: 모든 유계·무계 인터벌에서 외측도와 길이의 일치 $m^*(I)=\ell(I)$ 증명 구조(하이네–보렐 포함), 가산집합·단일점 집합의 외측도 0 및 이를 통한 $(0,1)$ 비가산성 도출 • 르베그 외측도의 가산준가법성: 임의 집합열에 대한 $m^*(\bigcup E_n)\le\sum m^*(E_n)$ 증명 절차(인터벌 커버 선택, $\varepsilon/2^n$ 분배, 이중합 구조)와 등호 성립 조건이 단순 상호소집합 조건만으로 충분치 않음을 인지 • 외측도의 열린집합 근사와 G-델타 집합: 임의 집합 $E$에 대해 외측도 근사 열린집합 $O$ 존재($E\subset O$, $m^*(O)\le m^*(E)+\varepsilon$)와 동일 외측도를 갖는 $G_\delta$ 집합 $G$ 존재($E\subset G$, $m^*(G)=m^*(E)$)를 이용해 르베그 측도와 측도가능 집합 이론 전개의 위상적 기반 확보 |
||
|
[24강] 르베크 가측집합 (1)
|
0:
38:
36
|
|
|
르베그 가측집합의 정의와 기본 성질 정리
• 르베그 가측집합과 외측도: 집합 E가 임의의 부분집합 X에 대해 m*(X) = m*(X ∩ E) + m*(X ∩ E^c)를 만족하며, 이때 가측집합에서 외측도와 르베그 측도가 일치해 m(E)=m*(E)로 정의됨 • 가측집합족 M의 구조(집합대수): 모든 가측집합의 모임 M은 ∅, ℝ를 포함하고 여집합·유한 합집합·유한 교집합에 대해 닫혀 있으며, 특히 m*(E)=0인 집합과 그 부분집합, 가산집합(예: ℚ)이 모두 M에 포함됨 • 서로소 가측집합열의 가법성: 서로소인 가측집합열 {E_i}_{i=1}^n과 임의의 X⊂ℝ에 대해 m*(X ∩ ⋃_{i=1}^n E_i) = Σ_{i=1}^n m*(X ∩ E_i)가 성립하고, X=ℝ인 경우 m*(⋃_{i=1}^n E_i) = Σ_{i=1}^n m*(E_i)로서 르베그 측도의 유한 가법성 구조를 이룸 |
||
|
[25강] 르베크 가측집합 (2)
|
0:
51:
01
|
|
|
르베그 가측집합의 σ-대수성과 단조수열에서의 측도 극한 정리
• 르베그 가측집합족 M의 σ-대수 구조: 여집합·유한 합집합·가산 합집합에 대해 닫혀 가측집합족이 σ-대수를 이루며, 외측도 m*와 서로소 분할을 이용해 가산 합집합의 가측성을 증명함 • 르베그 측도와 집합 연산: 칸토르 집합의 르베그 측도 0, 가측집합의 차집합 가측성과 m(E\F)=m(E)-m(E∩F) (특히 F⊂E이면 m(E\F)=m(E)-m(F)) 공식으로 측도의 σ-가법성과 분해 규칙 정립 • 단조 가측집합열의 연속성 정리: 단조감소열에서 m(E_1)<∞ 조건 하에 m(∩E_n)=lim m(E_n), 단조증가열에서 항상 m(∪E_n)=lim m(E_n)이 성립하며, 서로소 분해와 망 원리로 측도의 연속성 구조를 설명함 |
||
|
[26강] 르베크 가측집합 (3)
|
1:
04:
38
|
|
|
르베그 가측집합과 보렐집합, 동치명제 정리 요약
• 르베그 가측집합과 실수 구간·보렐집합: $(a,\infty)$의 가측성 증명을 출발점으로 모든 실수 구간, 열린집합·닫힌집합, $G_\delta$·$F_\sigma$ 집합 및 모든 보렐집합이 르베그 가측집합임을 구조적으로 정리 • $G_\delta$·$F_\sigma$ 및 동치 조건: 열린집합·닫힌집합·$G_\delta$·$F_\sigma$ 집합으로의 외측도 0 또는 임의의 $\varepsilon>0$ 오차 근사가 “르베그 가측”이라는 조건과 서로 동치임을 보이는 다섯 가지 명제 제시 • 비가측집합 존재와 르베그 측도의 한계: 르베그 측도가 보렐 $\sigma$-대수를 포함하는 더 큰 $\sigma$-대수를 이루지만 실수의 모든 부분집합을 가측으로 만들지는 못하며, 르베그 비가측집합이 실제로 존재함을 강조 |
||
|
[27강] 르베크 가측집합이 아닌 집합
|
0:
34:
31
|
|
|
르베그 비가측집합 예: [0,1)에서의 Vitali 집합 구성과 성질
• 도트 플러스(⊕) 연산과 르베그 측도 불변성: [0,1)에서 모듈로 1 평행이동 연산 정의 후, 르베그 가측집합에 대해 도트 플러스가 가측성과 측도 m(E⊕y)=m(E)를 보존함을 분해·가산가법성으로 증명 • 유리수 차이 동치관계와 대표집합 S 구성: x∼y⇔x−y∈ℚ 로 [0,1)을 동치류들로 분할하고, 선택공리로 각 동치류에서 하나씩 택한 대표점들의 집합 S를 정의하여 서로 유리수 차이가 다른 점들의 집합을 형성 • Vitali 집합과 비가측성 귀류법: 유리수를 가산열 (r_n)으로 나열해 S_n=S⊕r_n 을 정의하고 [0,1)=⋃S_n, S_n 상호 서로소, m(S_n)=m(S)를 이용하면 m([0,1))=0 또는 ∞라는 모순이 발생하므로 S는 르베그 비가측집합(Vitali 집합)의 예가 됨 |
||
| 3장. 가측함수 | ||
|
[28강] 가측함수 (1)
|
0:
53:
51
|
|
|
가측함수 정의와 연산, 연속함수와의 관계 정리
• 가측함수 개념과 동치 정의: 가측집합 위 함수가 수준집합(>, ≥, <, ≤), 열린집합 역상, 특성함수 기준으로 가측성이 동치가 되는 함수 클래스 정리 • 가측함수의 연산 닫힘성 및 비교 집합: 상수함수·특성함수 포함, 상수 더하기·스칼라배·합·곱·절대값·대소관계(=, ≤, <)에서의 가측성 보존 구조 정리 • 연속함수와 합성함수의 가측성: 연속함수 ⊂ 가측함수 포함 관계와 가측함수–연속함수 합성(g∘f)에서 가측성 보존 및 정의역 가측성 조건 정리 |
||
|
[29강] 가측함수 (2)
|
0:
48:
32
|
|
|
실해석학 가측함수 심화: 극한·a.e.·단순함수 근사
• 가측함수의 극한 구조: 가측함수열의 sup·inf·limsup·liminf 및 점별극한의 가측성 보존, 양·음부분함수 정의와 성질 정리 • a.e. 개념과 가측성: a.e. 동일·a.e. 연속 함수의 가측성 전이, 측도 0 집합과 단조함수·특수 예시 함수의 가측성 구조 이해 • 단순함수와 근사 정리: 단순함수 정의·표현(계단함수·상수함수·특성함수) 및 비음수 가측함수의 단순함수 단조 근사 정리와 구성 절차 |
||
|
[30강] 보렐 함수
|
1:
09:
53
|
|
|
보렐함수, 칸토르 집합, 비보렐 가측집합 존재 정리 핵심 정리 요약
• 보렐함수와 르베그 가측함수: 보렐/르베그 가측성 정의(역상 조건 네 형태 동치), 선형·곱·상하한·극한에 대한 닫힘 성질, 보렐/르베그 σ-대수에 대한 역상 가측성 구조 정리 • 칸토르 집합과 Cantor–Lebesgue 함수: 칸토르 집합의 구성(닫힘·비가산·측도 0), Cantor–Lebesgue 함수 φ의 정의(계단+상한), 연속·단조·전사 성질, ψ(x)=φ(x)+x 를 통한 ψ(C)의 양의 르베그 측도 증명 • 비가측집합과 비보렐 가측집합 존재: Vitali 정리를 이용한 ψ(C) 내부 비가측 부분집합 구성, 역상 A=ψ⁻¹(W)로부터 A∈M\B 를 얻어 B⊊M 및 “르베그 가측이지만 보렐이 아닌 집합”의 존재 증명 |
||
|
[31강] 본질적 유계함수, 가측함수의 성질
|
0:
50:
28
|
|
|
실해석학: 본질적 유계함수, Egoroff·Lusin 정리 핵심 정리
• 본질적 상한·하한·본질적 유계: measure 0 집합을 무시한 supremum/infimum/유계 개념 정의와 기본 성질, 본질적 상한의 부등식·연속함수와의 관계 정리 • 거의-균등수렴·Egoroff 정리: 유한 measure 집합에서 가측함수 수열의 점별·a.e. 수렴이 작은 measure 집합 제거 후 거의-균등·균등수렴으로 승격되는 구조와 집합 구성 절차 제시 • Lusin 정리와 가측함수 근사: 가측함수를 계단함수·연속함수로 a.e. 근사·동치시키는 정리와 단순·계단·연속함수 근사 과정, 적분 이론·함수해석학에서의 활용 의미 요약 |
||
| 4장. 르베크 적분 | ||
|
[32강] 리만적분
|
1:
15:
07
|
|
|
리만적분과 르벡 도미네이티드 수렴정리 예비 개념 정리
• 리만적분 구조: 분할·상합·하합·상적분·하적분·리만판정법을 통해 유계함수의 적분 가능성 기준과 연속·단조함수의 리만 적분 가능 충분조건 정리 • 리만적분 한계와 완비성: 유리수/무리수 지시함수(디리클레 함수) 예를 통해 리만적분 가능한 함수열의 극한이 적분 불가능이 되는 불완비성과 이를 보완하는 르벡 적분·L(E)·가측함수 개념 제시 • 르벡 도미네이티드 수렴정리(DCT): 가측 함수열의 a.e. 수렴, 지배함수 조건 또는 L(E) 귀속 조건 하에서 극한과 적분의 교환 및 르벡 적분이 리만적분을 확장하는 구조적 목표 제시 |
||
|
[33강] 단순함수의 적분
|
1:
02:
46
|
|
|
단순함수 르베그 적분과 근사 정리 핵심 정리
• 단순함수와 근사 정리: 유한 값만 취하는 가측 단순함수 정의·연산 닫힘성·표준표현을 정리하고, 임의(양의·일반·유계) 가측함수를 점별/균등 수렴 단순함수열로 근사하는 구성 원리 제시 • 르베그 적분 정의와 기본 성질: 단순함수 표준표현을 이용한 르베그 적분 정의(전역·부분집합 적분)와 리만 적분과의 구조 비교, 선형성·단조성·영역 가법성·평행이동 불변성 등 기본 성질 체계화 • 적분 극한 정리와 σ-유한성: 단조 증가 가측집합열에서 단순함수 적분 극한 정리( $E_n\uparrow E \Rightarrow \int_{E_n}\varphi\to\int_E\varphi$ )와 σ-유한측도집합 정의를 통해 일반 르베그 적분 이론 확장을 위한 측도 구조 정립 |
||
|
[34강] 음이 아닌 가측함수의 적분 (1)
|
0:
40:
26
|
|
|
음이 아닌 가측함수의 르베그 적분 정의와 성질
• 음이 아닌 르베그 적분 정의와 기본 성질: 단순함수 하근사를 통한 르베그 적분 정의, 측도 0 집합 위 적분 0, 함수·집합 단조성 및 양의 상수배 성질 정리 • 가측성과 적분 가능성 판정 정리: 상·하 단순함수 적분의 sup/inf 일치 조건을 통한 가측성 확보, 거의 어디서나 0인 함수와 적분 0의 동치 정리 구조 제시 • 르베그 적분과 리만 적분의 정합성: 리만 적분 가능한 유계 함수에 대해 르베그 적분 가능성과 두 적분값의 일치 조건 및 하·상적분과 sup/inf 정의의 관계 정리 |
||
|
[35강] 음이 아닌 가측함수의 적분 (2)
|
1:
05:
06
|
|
|
Fatou의 Lemma와 Lebesgue Monotone Convergence Theorem 요약
• Fatou의 Lemma: 음이 아닌 가측함수열의 점별극한 적분과 각 항 적분의 liminf 사이 하계 부등식(∫f ≤ liminf ∫f_n) 제시, 르벡적분 정의(단순함수 supremum)와 측도의 연속성을 이용한 무한/유한 두 경우 증명 구조 정리 • Lebesgue Monotone Convergence Theorem(MCT): 음이 아닌 가측함수열이 단조 증가하며 a.e. 수렴할 때 적분과 극한 교환(∫lim f_n = lim ∫f_n) 보장, Fatou Lemma의 하계 부등식과 적분의 단조성을 결합한 증명 구조 및 단조감소열에서의 일반적 실패·우연한 성립 사례 대비 • 극한·적분 교환 조건 비교: Fatou Lemma의 일방향 부등식 성격, MCT의 단조 증가 조건의 필수성, 단조 감소 함수열에서의 반례(적분이 ∞→0로 붕괴)와 특수한 계단함수 근사 예를 통한 르벡적분 이론의 적용 범위와 한계 구분 |
||
|
[36강] 음이 아닌 가측함수의 적분 (3)
|
0:
46:
30
|
|
|
음이 아닌 가측함수의 르베그 적분
• 르베그 적분 구조: 음이 아닌 가측함수에 대한 simple function 근사, Monotone Convergence Theorem을 통한 선형성·극한 및 무한합(σ-가산성)과 적분의 교환, 가측 집합 분할에 따른 적분 분해 정리 • 적분가능성 개념: 음이 아닌 르베그 적분가능 함수 정의를 “적분값이 유한한 가측함수”로 설정하고, 발산 적분 예시(∫₀^∞ 1/x dx = ∞)를 통해 적분가능성과 무한대 적분값을 구분 • Chebyshev 부등식과 무한값 집합: 레벨 집합 측도를 적분값으로 제어하는 Chebyshev 부등식(m({f≥λ}) ≤ (1/λ)∫f)을 증명하고, 이를 이용해 음이 아닌 르베그 적분가능 함수가 무한값을 갖는 점들의 집합은 측도 0임을 도출 |
||
|
[37강] 일반 가측함수의 적분 (1)
|
0:
52:
11
|
|
|
일반 가측함수의 르베그 적분과 성질 정리
• 일반 가측함수 르베그 적분 가능성: 가측함수의 양함수부·음함수부 분해($f^+,f^-$)와 유한 적분값을 기준으로 $f\in L, f\in L(E)$ 정의 및 유계 가측함수의 적분 가능 조건 정리 • 르베그 적분의 기본 성질: 선형성(상수배·합의 적분 교환), 단조성(점별 a.e. 부등식 → 적분값 부등식), 구간 가산성(서로소 가측집합에서의 적분 가산성) 구조화 • 적분판정법과 기본 부등식: 상Majorant 적분 가능함수 $g$에 의한 비교($|f|\le|g|$ ⇒ $f\in L(E)$)와 적분 절댓값 부등식($|\int_E f|\le\int_E|f|$)을 통한 르베그 적분 가능성 판정 원리 정리 |
||
|
[38강] 일반 가측함수의 적분 (2)
|
0:
58:
58
|
|
|
르벡 지배 수렴 정리와 균등적분·Vitali 수렴 정리 개념 정리
• Lebesgue 지배 수렴 정리: 가측함수열이 적분가능 지배함수 아래에서 a.e. 수렴할 때 극한함수의 적분가능성과 적분-극한 교환 조건을 Fatou 보조정리로 보이는 정리 • 균등적분 가능 집합: 작은 측도 집합에서 모든 함수의 적분을 일괄 제어하는 함수 컬렉션의 성질로, 단일 함수의 적분가능성과의 등가 조건·유한 집합의 균등적분성·균등적분 수열 극한의 적분가능성 구조 정리 • Vitali 수렴 정리와 근사: 유한측도 집합에서 균등적분 가능한 함수열의 a.e. 수렴이 적분-극한 교환을 보장함을 Egoroff 정리와 균등적분으로 증명하고, 유계 가측함수의 step function 및 연속함수에 의한 적분 의미의 근사 성질을 정리 |
||
| 5장. 미분과 적분 | ||
|
[39강] 단조함수 (1)
|
0:
55:
34
|
|
|
르벡 적분과 단조함수, 불연속점의 가산성, 카운터블 집합 위 단조함수 구성 및 비탈리 커버 개념
• 단조함수와 도약, 불연속점 가산성: 단조 증가·감소함수 정의, 좌·우극한과 도약 j(x)=f(x+)-f(x-) 개념, 단조함수의 불연속점 집합이 유리수와의 1-1 대응을 통해 가산집합임을 보이는 구조 • 카운터블 집합 위 단조함수 구성: 임의의 가산집합 E에 대해 f(x)=∑_{q_n≤x}2^{-n} 꼴의 단조 증가함수를 구성하여, 정확히 E에서만 점프 불연속을 갖고 그 밖에서는 연속이 되게 하는 방법 • 비탈리 커버와 비탈리 보조정리: 비탈리 커버의 정의(각 점을 임의로 짧은 인터벌로 덮는 인터벌 족)와 비탈리 보조정리를 통해 복잡한 집합을 서로소인 유한 개의 인터벌로 거의 전부 덮어 르벡 적분·미적분학의 기본정리 르벡판 증명에 활용하는 원리 |
||
|
[40강] 단조함수 (2)
|
0:
59:
53
|
|
|
비탈리 커버링 렘마와 단조함수에서의 활용 개념 정리
• 비탈리 덮개와 비탈리 커버링 렘마: 클로즈드·bounded·비퇴화 구간들로 이루어진 비탈리 덮개 정의와, 유한 외측도를 가진 집합을 상호 디스조인트한 유한 개 구간으로 거의 전부 덮는 비탈리 커버링 렘마의 명제 구조 정리 • 디스조인트 구간 선택 절차와 보조 구조: 외측도 정의와 오픈 커버 구성, 비탈리 커버에서 길이 제한을 두고 디스조인트 구간열 추출, 집합 차집합을 덮는 $T_n$의 정의와 포함관계, $5^\ast I_k$ 확장 구간의 기하학적 의미와 상수 5 도출 과정 정리 • 외측도 추정과 렘마 결론: 선택된 디스조인트 구간 길이합의 유한성, 꼬리합 $\varepsilon$-조절, $E-\bigcup I_k$를 $5^\ast I_k$의 합집합으로 포함시켜 외측도를 추정하고 $m^\*(E-\bigcup_{k=1}^N I_k)<\varepsilon$을 얻는 증명 구조 정리 |
||
|
[41강] 단조함수 (3)
|
0:
42:
00
|
|
|
단조 증가함수의 상도함수 집합의 르벡 외측도 성질
• 디니 미분계수(상도함수·하도함수) 정의: 차분비의 limsup·liminf를 통해 모든 점에서 extended real 값을 갖는 상·하도함수를 정의하고, 두 값이 같을 때 미분가능으로 규정함 • 단조 증가함수와 상도함수 집합의 외측도 정리: 단조 증가함수에서 $E_\alpha=\{x: Df(x)\ge\alpha\}$의 르벡 외측도에 상계 $m^*(E_\alpha)\le\frac1\alpha(f(b)-f(a))$를 주고, 상도함수가 무한대인 점들의 집합이 외측도 0임을 증명함 • Vitali covering lemma 활용 구조: $Df(x)\ge\alpha$인 점들을 기울기 하계가 $\beta<\alpha$인 짧은 구간들로 덮는 Vitali covering $T$를 구성하고, 서로소 구간 선택 후 길이 합을 단조성으로 $f(b)-f(a)$로 제어하여 외측도 부등식을 도출함 |
||
|
[42강] 단조함수 (4)
|
0:
48:
11
|
|
|
르베그 정리와 단조함수의 미분·적분 관계 정리 요약
• Lebesgue’s Theorem(단조함수의 a.e. 미분 가능성) : 단조 증가·감소 함수의 미분 불가능점 집합이 르베그 외측도 0임을 Vitali covering lemma와 외측도 추정을 통해 보이는 정리로, 단조함수의 가산 불연속성과 a.e. 연속·미분 가능 구조 제시 • 단조함수의 도함수와 르베그 적분 관계 : 단조 증가함수에서 도함수의 a.e. 존재·가측성·르베그 적분 가능성을 확보하고, 분할 차분 함수 Diff_hf와 Fatou 정리를 사용해 ∫_a^b f'(x)dx ≤ f(b)−f(a)를 증명하는 미분–적분 비교 구조 정리 • 측도론적 도구와 실해석학적 의미 : Diff, Av 함수의 정의와 가측성, Fatou 정리 및 Vitali covering lemma를 활용해 almost everywhere·measure zero 개념을 정립하고, 변동·절대연속·함수공간 이론으로 가는 실해석학 르베그 이론의 기초 위치 규명 |
||
|
[43강] 유계변동함수 (1)
|
0:
59:
01
|
|
|
유계변동함수의 정의와 기본 성질 정리
• 유계변동·전변동 개념: 분할에 대한 변동 V(f,Δ)와 전변동 TV(f)=supΔV(f,Δ) 정의, TV(f)<∞인 함수를 유계변동함수(FBV)로 규정하고 분할 세분화 시 변동 증가 성질 정리 • 유계변동함수의 성질: 연속이지만 유계변동이 아닌 함수(예: x sin(1/x)류) 제시, 단조함수에서 TV(f)=|f(b)-f(a)| 및 FBV ⇒ 유계함수 정리 구조와 증명 아이디어(망원경 합·삼각부등식·부분구간 전변동 상계) 제시 • 전변동 분해 구조(P,N): 증가·감소량의 양·음 부분 (·)+,(·)− 정의, P= supΔ∑(Δf)+, N= supΔ∑(Δf)−로 두고 P−N=f(b)−f(a), P+N=TV(f) 관계를 통해 전체 진동량과 순증가량 분해 구조 정리 |
||
|
[44강] 유계변동함수 (2)
|
0:
53:
35
|
|
|
Summary Content:
• 유계변동함수 집합 FBV[a,b]의 구조: 전변동 TV가 유한한 함수들의 집합으로, 덧셈·스칼라배·차·곱에 대해 닫힌 선형공간이며, 곱의 경우 유계성 가정 하에서 TV(fg) ≤ M(TV(f)+TV(g)) 형태의 상계를 가짐 • 미분가능함수와 유계변동성: 연속·(a,b)에서 미분가능·도함수 f′가 bounded이면 평균값정리를 통해 V(f,Δ) ≤ M(b−a)를 얻어 f ∈ FBV[a,b]가 되며, 단순 연속성만으로는 전변동 유한성이 보장되지 않음을 보여 줌 • 전변동의 분할·가산 성질과 계산법: 임의의 c ∈ (a,b)에 대해 TV_a^b(f)=TV_a^c(f)+TV_c^b(f)가 성립하고, 단조 구간에서는 TV_a^b(f)=|f(b)−f(a)|로 계산되며, 예시 f(x)=|x|에서 구간 분할과 TV_a^x(f) 형태의 전변동 함수를 통해 전체 변동을 구조적으로 해석함 |
||
|
[45강] 유계변동함수 (3)
|
0:
40:
42
|
|
|
유계변동함수와 Jordan 정리, 미분가능성과 불연속점 구조
• 토탈 베리에이션 함수와 연속성 특성화: $g(x)=TV_a^x(f)$의 단조성·연속성·균등연속성을 이용해 $g\in C[a,b]\iff f\in C[a,b]\cap FBV[a,b]$ 관계로 유계변동함수의 연속성과 베리에이션 구조를 정리 • Jordan 분해 정리와 유계변동함수의 표현: $f\in FBV[a,b]\iff f=g-h$ (단조증가함수 $g,h$ 존재)로 정리하고, 베리에이션의 정의·가법성으로 단조함수의 유계변동성과 $TV_a^b(f)\le TV_a^b(g)+TV_a^b(h)$ 구조를 서술 • 유계변동함수의 미분가능성과 불연속점 구조: Jordan 분해와 Lebesgue 정리를 결합해 $f$가 거의 모든 점에서 미분가능이고 $f'\in L[a,b]$임을 보이며, 단조함수의 점프 불연속 성질을 사용해 $f$의 불연속점 집합이 가산(측도 0)이고 모든 점에서 좌·우극한이 존재함을 제시 |
||
|
[46강] 절대연속함수 (1)
|
1:
15:
17
|
|
|
절대연속함수 정의, Lipschitz 조건, Cantor-Lebesgue 함수, 예시 및 BV와의 관계 정리
• 절대연속함수·연속·고른연속 위계: 절대연속 정의(FAC)와 연속·고른연속 포함관계(FAC ⊂ UC ⊂ C), Cantor-Lebesgue·xsin(1/x) 등을 통한 역불성립 반례 구조 정리 • Lipschitz 함수와 절대연속·예시: Lipschitz 조건 정의와 Lipschitz ⇒ 절대연속 증명, √x 예를 통한 FAC \ FLip 사례 및 F_Lip ⊊ FAC 관계 정리 • 절대연속함수와 유계변동·분해: FAC ⊂ FBV 포함관계, Jordan 분해를 통한 “단조 증가 절대연속 함수 두 개의 차” 표현, 거의 모든 점에서의 미분 가능성과 f(x)=f(a)+∫ f' 형태 적분 표현 정리 |
||
|
[47강] 절대연속함수 (2)
|
0:
53:
28
|
|
|
절대연속함수의 연산 닫힘성과 미분과의 관계 정리 (실해석학 47강)
• 절대연속함수와 상수함수 정리: $f\in AC[a,b]$에서 $f'=0$ a.e. ⇒ $f$ 상수함수 정리, Vitali covering과 절대연속성 정의를 이용한 증명 구조 및 “두 부분 합 ≤ ε/2” 추정 구조 정리 • 절대연속함수의 연산 닫힘성: $AC[a,b]$의 덧셈·곱셈에 대한 닫힘성, 합성에 대한 비닫힘성과 대표 반례(f, g는 AC이나 $f\circ g$는 비절대연속) 제시 및 boundedness·δ-ε 논리 중심 정리 • 연속·BV·절대연속·Lipschitz 포함 관계: Lipschitz ⊂ AC ⊂ (continuous ∩ BV) 사슬, AC ⇒ BV ⇒ a.e. 미분가능 및 미적분학 기본정리(르베그 버전)와의 연결, monotone ⊂ BV 및 역포함이 성립하지 않는 구조 요약 |
||
|
[48강] 부정적분 (1)
|
0:
49:
22
|
|
|
부정적분의 도함수와 절대연속성 (르벡적분, FAC, 기본정리 1단계)
• 르벡 부정적분과 FAC 기반 기본정리 1단계: $F(x)=\int_a^x f$ 정의, 디리클레 함수로 “점wise≠a.e.” 구분, FAC 함수에 대해 $\int_a^b F'(x)\,dx = F(b)-F(a)$ 증명하여 $F'(x)=f$ a.e.와 $\int_a^b f=F(b)-F(a)$ 수립 • FAC·수렴정리·에너지 소멸 구조: 연속함수의 짧은 구간 평균 극한, FAC의 차분몫과 Vitali 수렴정리, $L_0^+(E)$에서 “작은 측도 → 적분값 작음” (Monotone Convergence 이용)으로 $|f|$ 적분 제어 구조 정립 • 부정적분의 절대연속성 증명: $f\in L[a,b]$이면 $F(x)=\int_a^x f$가 FAC임을 보이기 위해 서로소 구간들의 길이합이 작을 때 $\sum|F(d_k)-F(c_k)|=\sum\left|\int_{c_k}^{d_k}f\right|\le\int_{\cup[c_k,d_k]}|f|<\varepsilon$로 FAC 정의를 충족시킴 |
||
|
[49강] 부정적분 (2), 볼록함수
|
1:
00:
39
|
|
|
부정적분의 도함수, 절대연속과 볼록함수, Jensen 부등식 정리
• 르베그 부정적분과 절대연속: 르베그 적분형 부정적분 $F(x)-F(a)=\int_a^x f$의 도함수 $F'=f$ a.e. 정리, 적분이 0이면 함수가 0 a.e. 보조정리, bounded function에서 $F'=f$ a.e.와 절대연속 함수에 대한 미적분학의 기본정리(역방향) 및 르베그 적분 부분적분 공식 구조 • 절대연속과 볼록함수 정칙성: 절대연속 함수의 bounded variation·a.e. 미분가능·도함수 르베그 적분 가능성과 복원 공식 $F(x)=F(a)+\int_a^x F'$ 구조, 볼록함수 정의(선분 조건)와 미분조건($f'\uparrow$, $f''\ge0$), convex ⇒ 유계구간에서 Lipschitz 연속 및 절대연속성 확보 관계 • Jensen 부등식과 응용: 볼록함수에 대한 Jensen 부등식 $\varphi(\int f)\le\int\varphi\circ f$의 정식화와 subderivative 기반 증명 구조, 르베그 적분 평균과의 관계, 지수함수 $\varphi(t)=\exp(t)$에 대한 특수형 및 확률·해석 모델에서의 응용 가능성 정리 |
||
장태수 교수님
실해석학Ⅰ
