홈 > 강의소개
실해석학Ⅱ
장태수 교수
인하대학교 대학원 수학과 석사졸업
인하대학교 대학원 수학과 박사졸업
인하대학교 대학원 수학과 석사졸업
인하대학교 대학원 수학과 박사졸업
인하대학교
현) 유니와이즈 전임교수
AI가 이끄는 스마트한 학습 경험, AI 튜터와 함께 더 빠르고, 더 깊게 학습하세요.
긴 강의 내용을 AI가 핵심만 요약하여 복습 시간을 단축시킵니다.
강의에서 가장 중요한 키워드와 개념을 자동으로 추출해 제공합니다.
학습한 내용을 바탕으로 AI가 생성한 퀴즈를 풀며 이해도를 점검합니다.
모르는 부분을 24시간 언제든 AI 튜터에게 질문하고 답변을 받습니다.
총 2개 챕터, 12강으로 구성되어 있습니다.
| 제목 | 강의시간 | 상세내용 |
|---|---|---|
| 6장. 바나흐 공간 | ||
|
[1강] 바나흐 공간 (1)
|
1:
03:
42
|
|
|
바나흐 공간과 노름선형공간 개념 정리, C[0,1] 예시와 완비성
• 노름·노름선형공간·거리공간: 노름 공리(양의성·동차성·삼각부등식) 정의와 노름에서 유도되는 거리로 벡터공간에 위상적 구조를 부여하는 노름선형공간 개념 정리 • 바나흐 공간과 대표 예: 바나흐 공간을 complete normed linear space로 정의하고, 유클리드 노름을 가진 ℝⁿ과 상한노름을 가진 C[0,1]이 코시수열 수렴을 통해 완비성을 만족하는 대표적 예임을 서술 • C[0,1] 완비성과 적분형 노름 반례: 상한노름에서 코시수열→점별극한→균등수렴→연속성 보존으로 C[0,1]의 바나흐 공간 성질을 증명하고, 적분형 노름에서는 코시수열 극한이 불연속 함수가 되어 완비성이 실패함을 보이며 Lᵖ 공간 도입 필요성을 제시 |
||
|
[2강] 바나흐 공간 (2)
|
0:
40:
17
|
|
|
바나흐 공간과 절대수렴 급수의 동치 성질
• 노름공간 기본 개념: 노름공간에서 연속·극한·급수·절대수렴을 실수 절댓값 개념을 노름으로 일반화한 정의와 노름 함수의 연속성 성질 정리 • 바나흐 공간 동치 정리 (정의 1): 바나흐 공간을 “완비인 노름선형공간(모든 코시수열이 수렴하는 노름공간)”으로 정의하고, 절대수렴 급수의 부분합이 코시수열이 됨을 이용해 수렴성 증명 • 바나흐 공간 동치 정리 (정의 2): “공간 X에서 절대수렴하는 모든 급수가 X 안에서 수렴한다”는 성질과 완비성이 서로 동치임을, 코시수열로부터 차분을 이용해 절대수렴 급수와 부분수열을 구성하는 절차로 증명하는 구조 정리 |
||
|
[3강] 선형작용소 (1)
|
0:
54:
05
|
|
|
실해석학 선형작용소: 정의·노름·연속성 동치 정리 핵심 정리
• 선형작용소(linear operator) 개념: 바나흐공간 사이 선형 T : X → Y의 정의와 미분·적분·르베그적분 연산자를 예로 한 선형성 구조 정리 • 유계선형작용소와 작용소 노름: 유계성 정의(∥T(x)∥ ≤ M∥x∥), 최소 상수로서의 작용소 노름 및 sup-형 등가 표현(전체/단위구/단위구면) 구조 정리 • 유계·연속성 동치 정리: 선형작용소에 대해 유계성 ⇔ 전역 고른연속성 ⇔ 0에서의 연속성의 상호 동치와 ε–δ·스케일링을 이용한 증명 구조 정리 |
||
|
[4강] 선형작용소 (2)
|
0:
47:
07
|
|
|
선형작용소와 유계작용소 공간 B(X,Y), 듀얼공간 X∗ 정리
• 유계선형작용소 기본 성질: 선형작용소에서 유계성·고른연속성·0에서의 연속성 동치, 유한차원 노름공간에서 모든 선형작용소의 유계성 및 연산자 노름 정의로 B(X,Y)의 노름벡터공간 구조 정리 • B(X,Y)의 바나흐공간 성질: 목표공간 Y가 바나흐공간일 때 유계작용소 공간 B(X,Y)의 완비성 증명(코시수열 → 점별 코시수열·극한 작용소 정의 → 선형성·유계성 계승 → 연산자 노름 수렴) 구조 제시 • 듀얼공간 X∗=B(X,ℝ): 선형범함수와 듀얼공간 정의, 평가함수·적분형 함수 예시를 통한 X∗의 구성, X∗가 바나흐공간이 되는 구조를 활용해 원래 공간 X의 성질을 분석하는 함수해석학적 활용 의의 정리 |
||
|
[5강] 르베크 공간 Lp (1)
|
1:
15:
35
|
|
|
Summary Content:
르베그 공간 Lp의 정의와 L1의 노름선형공간 구조 • 측도공간과 측도: σ-집합대수 위에 비음수·σ-가법성을 갖는 측도 µ를 둔 구조 (X,B,µ) 정의 및 가측집합·르베그 적분 가능성 규정 • 르베그 공간 L1과 µ-동등: 적분가능함수의 µ-동등 관계로 정의된 동치류 [f]들의 집합 L1(X,B,µ)과 노름 ‖[f]‖1=∫|f|dµ 에 의해 노름선형공간 구조 형성 • 일반 Lp 공간과 예: 1≤p<∞에서 ∫|f|p dµ<∞ 인 가측함수의 동치류 공간 Lp와 노름 ‖f‖p=(∫|f|p dµ)1/p 정의, 대표 예 Lp[0,1]·ℓp 및 L2-노름과 분산·표준편차의 연관성 정리 |
||
|
[6강] 르베크 공간 Lp (2)
|
0:
40:
01
|
|
|
르베그 공간 $L^p$에서의 Hölder 부등식과 보조부등식
• $L^p$ 노름과 삼각부등식 구조: $L^1$에서의 삼각부등식, $p>1$에서 삼각부등식 증명 필요성, $p<1$에서 노름 실패와 $L^{1/2}$ 반례를 통해 노름 정의의 유효 범위 규명 • 보조부등식과 Hölder 부등식: $a^\alpha b^{1-\alpha} \le \alpha a + (1-\alpha)b$ 보조부등식과 등호 조건을 이용해 공액첨수 $p,q$에 대해 $\|fg\|_1 \le \|f\|_p\|g\|_q$, $fg\in L^1$을 증명하는 절차 정리 • 공액첨수와 Cauchy–Schwarz: $\frac1p+\frac1q=1$인 공액첨수 개념을 통해 $L^p$–$L^q$ 쌍대성 구조를 설명하고, Hölder 부등식의 특수 경우로서 $L^2$에서의 Cauchy–Schwarz 부등식과 내적공간 구조를 정리 |
||
|
[7강] 르베크 공간 Lp (3)
|
0:
49:
55
|
|
|
르베그 공간 Lp의 민코프스키 부등식과 Lr⊂Lp 포함관계 정리
• 민코프스키 부등식과 Lp-노름: Hölder 부등식과 공액지수 관계를 이용해 $\|f+g\|_p \le \|f\|_p+\|g\|_p$를 증명하고, $L^p$에서의 삼각부등식 구조 확립 • Lp 노름선형공간 구조: $\|f\|_p=0 \Leftrightarrow f=0$ a.e., 스칼라배 동차성, 민코프스키 부등식을 통해 $L^p$가 노름선형공간이 됨을 정리 • Lr⊂Lp 포함관계와 반례: 유한 측도 집합에서 $1\le p |
||
|
[8강] 르베크 공간 Lp (4)
|
1:
08:
46
|
|
|
르베그 공간 $L^p$의 바나흐성, $L^\infty$와 근사 정리 핵심 정리 정리
• 르베그 공간 $L^p$ 바나흐성: 절대수렴 급수·단조수렴정리·파투 정리·지배수렴정리를 사용해 $1\le p<\infty$ 인 $L^p$ 노름공간의 완비성과 바나흐공간 구조를 증명 • 본질적 유계함수와 $L^\infty$ 바나흐구조: 본질적 상한(ess sup)으로 정의한 $\|\cdot\|_\infty$ 노름, a.e. 동치류를 통한 $L^\infty$ 정의, 노름공간 성질과 코시수열의 a.e. 점별수렴을 이용한 완비성(바나흐공간) 확립 • $L^1$–$L^\infty$ Hölder 부등식과 $L^p$ 근사 정리: $\int|fg|d\mu\le\|f\|_1\|g\|_\infty$ 성립 조건과 증명 구조, 자름 함수·계단함수·연속함수를 이용한 $L^p$ 함수의 $L^\infty$ 및 단순·연속함수에 의한 $L^p$-노름 근사 가능성 정리 |
||
|
[9강] Lp 위의 선형범함수
|
1:
13:
22
|
|
|
Lp 위의 선형범함수와 Riesz 표현 정리
• Lp 위의 선형범함수와 유계작용소: 선형범함수·연산자 노름·유계 조건 정의 후, Hölder 부등식을 사용해 $F(f)=\int fg\,d\mu$ 꼴 범함수가 유계이고 $\|F\|\le\|g\|_q$임을 정식화 • 노름 등호 성립과 양의 선형범함수 분해: $p=1,1 • Riesz Representation Theorem: $1\le p<\infty$에서 임의의 유계 선형범함수 $F\in B(L^p,\mathbb{R})$가 어떤 $g\in L^q$와의 적분 $F(f)=\int fg\,d\mu$로 완전히 표현되고 $\|F\|=\|g\|_q$를 만족함을 통해 $(L^p)^*\simeq L^q$라는 쌍대공간 구조를 확립하는 정리 설명 |
||
| 7장. 바나흐 공간의 성질 | ||
|
[10강] 베르 범주정리
|
0:
36:
53
|
|
|
베르 범주 정리와 고른 유계 원리, 완비거리공간의 범주 구조
• 범주 개념(조밀 집합·nowhere dense 집합·제1류/제2류 집합): 거리공간에서 dense·nowhere dense 정의와 제1류(가산개의 nowhere dense 합)·제2류(그 여집합) 집합 구조 및 완비거리공간이 제2류 집합임을 서술 • Baire Category Theorem: 완비거리공간에서 조밀한 열린집합들의 가산 교집합이 공집합이 아님을 보이는 정리로, Cauchy 수열 구성과 완비성을 이용한 증명 구조 및 “완비거리공간은 nowhere dense 집합들의 가산합으로 덮이지 않는다”는 등가 해석 제시 • Uniform Boundedness Principle(고른 유계 원리): 완비공간 위 연속함수족이 각 점에서 점별 유계일 때 적어도 하나의 열린집합에서 하나의 공통 상수로 균일 유계가 됨을 보이는 정리로, 닫힌집합열 \(E_m\) 구성과 Baire Category Theorem을 통한 nowhere dense 아님·비어있지 않은 내부 확보 논리로 증명됨 |
||
|
[11강] 열린 사상 정리
|
0:
51:
29
|
|
|
바나흐 공간에서 열린 사상·닫힌 그래프·균등 유계 관련 정리 정리
• 열린 사상 정리와 위상동형사상: 바나흐공간 사이 전사 연속 선형사상은 열린 사상이 되며, 전단사일 경우 위상동형사상이 되어 두 바나흐공간의 위상 구조가 동형이 됨 • 동치 노름과 닫힌 그래프 정리: 바나흐공간 위 두 노름의 한쪽 부등식과 완비성을 이용해 동치 노름을 판정하고, 닫힌 작용소의 그래프 완비성으로부터 연속·유계성을 보이는 닫힌 그래프 정리 구성 • 균등 유계성 정리(연산자 버전): 바나흐공간에서 점별 유계한 연산자족에 대해 고른 유계 원리를 적용해 연산자 노름의 공통 상계를 보장하는 균등 유계성 원리 정식화 |
||
|
[12강] 한-바나 정리
|
0:
39:
08
|
|
|
한-바나흐 정리와 노름공간에서의 응용 정리 요약
• Hahn-Banach 정리와 범함수 확장: 부분선형함수 상계 하에서 부분공간 선형 범함수의 전체공간 선형 확장, 노름공간에서 유계 선형 범함수의 노름 보존 확장 및 벡터에 노름 1인 범함수 부여와 점-부분공간 거리의 범함수 표현 정리 • 노름공간과 공액공간 구조: Banach 공간의 공액공간을 유계 선형 범함수 집합으로 정의하고, Hahn-Banach 정리를 이용해 범함수 존재·확장·노름 계산을 수행하며, 점 평가 범함수·거리 실현 범함수 등 기하적 성질을 범함수 관점에서 표현 • Lp 공간의 공액공간과 예외 구조: $1 |
||
장태수 교수님
실해석학Ⅱ
