홈 > 강의소개
미분기하학
정진교 교수
부산대학교 대학원 수학과 석사과정
부산대학교 대학원 수학과 박사졸업
부산대학교 대학원 수학과 석사과정
부산대학교 대학원 수학과 박사졸업
부산대학교
신라대학교
현) 유니와이즈 전임교수
AI가 이끄는 스마트한 학습 경험, AI 튜터와 함께 더 빠르고, 더 깊게 학습하세요.
긴 강의 내용을 AI가 핵심만 요약하여 복습 시간을 단축시킵니다.
강의에서 가장 중요한 키워드와 개념을 자동으로 추출해 제공합니다.
학습한 내용을 바탕으로 AI가 생성한 퀴즈를 풀며 이해도를 점검합니다.
모르는 부분을 24시간 언제든 AI 튜터에게 질문하고 답변을 받습니다.
총 9개 챕터, 45강으로 구성되어 있습니다.
| 제목 | 강의시간 | 상세내용 |
|---|---|---|
| 1장. 벡터 | ||
|
[1강] 오리엔테이션, 벡터의 연산
|
0:
38:
45
|
|
|
미분기하학 벡터 연산과 기저·일차독립 핵심 정리 요약
• 유클리드 공간과 벡터공간 구조: R³의 벡터·노름·단위벡터·평행 정의와 벡터의 합·스칼라곱 공리를 통한 벡터공간 성립 조건 정리 • 일차독립과 기저 개념: 선형조합과 일차독립·종속 판정, 모든 벡터의 유일 표현을 보장하는 기저·성분·표준기저의 정의와 성질 정리 • 기저변환과 행렬식 조건: 기저 사이 선형변환 계수행렬의 행렬식(det≠0) 조건을 통한 새로운 기저 판정 및 일차독립·종속 판별 구조 정리 |
||
|
[2강] 내적, 벡터의 외적
|
0:
53:
50
|
|
|
미분기하학 내적과 외적 핵심 개념 정리
• 내적과 직교 구조: $E^3$ 내적 정의·성질, 각도·정사영 공식, 직교·정규직교기저와 Kronecker 기호, 코시-슈바르츠 부등식을 통한 길이·각·일차종속 판정 • 외적과 면적·법선벡터: 우수계 기반 외적 정의·행렬식 계산, 크기 $\|\mathbf{a}\times\mathbf{b}\|=\|\mathbf{a}\|\|\mathbf{b}\|\sin\theta$와 평행사변형 넓이, 오른손 법칙에 따른 법선벡터·평행·수직 판정 성질 • 삼중곱과 혼합 공식: 스칼라 삼중적과 행렬식 표현 및 평행육면체 부피·일차종속 판정, 벡터 삼중곱과 외적의 내적 공식, 내적·외적 혼합 항등식을 이용한 기하량 계산 및 부등식 구조 분석 |
||
| 2장. 실변수의 벡터함수 | ||
|
[3강] 벡터함수
|
1:
10:
43
|
|
|
벡터함수의 정의와 미분가능성, 야코비안 및 역함수정리 요약
• 벡터함수와 미분가능성: 벡터값함수·성분함수·선형근사 관점의 미분(dF) 정의 및 방향도함수·편도함수·C^m-class를 통한 연속적 미분가능성 구조 정리 • 야코비행렬과 야코비안: 편도함수로 구성된 야코비행렬(J(F))과 det J(F)인 야코비안의 정의, 변환행렬 해석, 미분의 행렬표현 및 연쇄법칙과의 연관성 • 역함수정리와 기하적 성질: 야코비안 ≠ 0 조건에서의 국소 역함수 존재·미분의 역행렬 관계, 벡터함수 미분공식(합·스칼라배·내적·외적) 및 단위벡터함수 도함수의 수직성 정리 |
||
| 3장. 곡선의 개념 | ||
|
[4강] 정칙곡선 (1)
|
1:
06:
25
|
|
|
정칙곡선과 매개변수표현, 매개변수변환 핵심 정리
• 곡선 벡터표현과 정칙매개변수표현: 평면·공간곡선을 실변수 벡터함수로 매개변수화하고, $C^1$이며 속도벡터가 0이 되지 않는 정칙매개변수표현과 그 국소 단사성·이중점 가능성 정리 • 정칙성 판정과 특이·이중점 분석: 도함수 연속성·영벡터 여부로 정칙성 판정, 평균값정리로 국소 단사 증명, 원 곡선·특이 매개곡선에서 이중점·비정칙 사례 구조적으로 분석 • 매개변수변환(재매개화) 이론: $C^1$이고 도함수가 0이 아닌 일대일 실함수에 의한 매개변수변환 정의, 상 보존·정칙성 보존, 도함수 부호에 따른 곡선 방향 보존/역전 및 역함수와의 재매개화 관계 정리 |
||
|
[5강] 정칙곡선 (2)
|
0:
45:
03
|
|
|
정칙곡선, 매개변수 변환, 나선과 정사영 개념 정리
• 정칙곡선과 매개변수변환: 정칙매개변수표현 사이의 $C^1$-전단사 매개변수변환 동치관계로 곡선을 점집합과 표현 동치류 $(C,P)$로 정의하고, 도함수 부호로 곡선의 방향(정·역방향) 결정 • 원기둥 나선과 피치, 접선벡터·정칙호·유향곡선: 원기둥 나선 $x(t)=(a\cos t,a\sin t,bt)$의 수평투영·피치 $|2\pi b|$·진행방향을 분석하고, 접선벡터 정의와 단순곡선·정칙호·정칙유향곡선 개념으로 곡선의 형태와 방향 구조화 • 공간곡선의 정사영과 기둥면: 공간곡선 $x(t)=(x(t),y(t),z(t))$의 $xy$·$xz$·$yz$-평면 정사영을 $(x(t),y(t),0)$ 등으로 정의하고, $x(t)=(t,t^2,t^3)$를 두 기둥면 $y=x^2$, $z=x^3$의 공통부분 및 각 좌표평면 정사영 곡선으로 해석 |
||
|
[6강] 호장의 정의
|
0:
38:
41
|
|
|
호장의 정의와 자연표현, 단위속력곡선 정리 정리
• 호장과 선소: 정칙곡선의 호장 함수 s(t)=∫‖x′(τ)‖dτ 정의, ds/dt=‖x′(t)‖ 및 ds²=dx₁²+dx₂²+dx₃² 형태의 선소(line element)와 내적 기반 길이 표현 정리 • 자연표현과 단위속력곡선: 매개변수 s에 대해 ‖dx/ds‖=1을 만족하는 자연표현(arc length parametrization)과 단위속력곡선(unit speed curve) 개념, 자연표현들 간 관계 s=±s*+상수 및 일반 매개변수 표현과의 방향 관계 ds/dt=±‖dx/dt‖ 구조 정리 • 계산 및 표기 규칙: 원기둥 나선과 x(t)=e^t( cos t, sin t, 1 ) 등의 예제를 통한 s(t) 계산·역함수 t(s)·자연표현 x(s) 도출 절차와 자연매개변수 미분(dot)·일반 매개변수 미분(prime) 표기 규칙 정리 |
||
| 4장. 곡률과 열률 | ||
|
[7강] 곡률 (1)
|
1:
11:
39
|
|
|
미분기하학 곡률 개념과 계산 공식 정리
• 단위접선벡터와 자연표현: 호장 매개곡선에서 단위접선벡터 정의, 일반 매개표현과의 관계, 곡선 방향(orientation)에 따른 벡터 정의 구조 정리 • 곡률·곡률벡터·곡률반경: 곡률벡터와 곡률·곡률반경의 정의, 접선방향 변화율·가우스 구면사상을 통한 기하적 의미, 곡률 0과 직선·변곡점의 동치 관계 정리 • 일반 곡률 공식과 예제: 일반 매개곡선 곡률 공식 |κ| = |x'×x''|/|x'|³ 유도·적용, 원과 나선의 곡률 및 곡률반경 계산을 통한 정칙곡선 곡률 계산 절차 정리 |
||
|
[8강] 곡률 (2)
|
0:
53:
39
|
|
|
곡률과 단위주법선·종법선, 프레네 좌표계와 선·평면
• 단위주법선벡터·변곡점: 곡률벡터를 정규화한 단위주법선벡터 정의, 곡률 0·변곡점에서의 미정의성과 단위주법선벡터장의 연속성 조건 정리 • 프레네 좌표계와 곡률: 단위접선·단위주법선·단위종법선으로 이루어진 프레네 정규직교좌표계와 곡률의 여러 표현식(도함수·외적 공식 등) 구조 정리 • 접선·주법선·종법선과 평면: 프레네 벡터를 이용한 접선·주법선·종법선 및 법평면·접촉평면·전직평면의 일반 방정식 형식과 매개곡선 예제(다항곡선·원기둥 나선) 계산 절차 요약 |
||
|
[9강] 열률 (1)
|
0:
34:
09
|
|
|
공간곡선의 열률 정의와 기하적 의미 요약
• 프레네 벡터계와 단위 종법선벡터: 단위속력곡선에서 $T,N,B=T\times N$으로 우수정규직교 프레네 벡터계를 정의하고, 곡률 관계 $T'=\kappa N$을 통해 $B$의 미분식을 준비함 • 열률과 열률반경: $B'(s)=-\tau(s)N(s)$로 열률(제2곡률) $\tau$를 정의하고 $\tau=-B'(s)\cdot N(s)$로 표현하며, 열률반경을 $\sigma=1/|\tau|$로 두어 종법선 방향 변화율의 크기를 정량화함 • 열률의 기하적 의미와 부호 불변성: $|\tau|=\lim_{\Delta s\to 0}\left|\dfrac{\Delta\phi}{\Delta s}\right|$로 단위 종법선벡터 방향의 변화율(비틀림율)을 나타내며, 열률의 부호는 법선벡터 방향 선택과 곡선의 진행 방향 변화에 대해 불변인 곡선의 본질적 기하량임 |
||
|
[10강] 열률 (2)
|
0:
46:
38
|
|
|
미분기하학 열률과 평면곡선, 스칼라 삼중적 표현 정리
• 열률과 나선 곡선: 원기둥 나선의 곡률·열률 계산, 열률 부호에 따른 오른손/왼손 나선 분류, 열률의 부호를 비틀림 방향 불변량으로 해석 • 평면곡선 판정 정리: 정칙 C³ 곡선에서 열률 τ≡0 ↔ 곡선이 하나의 평면 위에 놓이는 평면곡선이라는 필요충분조건과 프레네-세레 공식을 이용한 증명 구조 정리 • 열률의 스칼라 삼중적 공식: 곡률 κ와 위치벡터 도함수로 표현된 열률 공식 τ = [x′,x″,x‴]/‖x′×x″‖² 및 정칙성(C³, κ≠0)·매개불변성 조건을 포함한 계산 절차 정리 |
||
|
[11강] 구면곡선 (1)
|
0:
31:
33
|
|
|
구면곡선과 프레네 벡터의 구체적 계산 정리
• 구면곡선과 프레네 벡터: 정칙 곡선의 단위접선·법선·종법선이 그리는 구면곡선을 정의하고, 원곡선의 곡률·연률과 구면곡선의 속력·곡률 관계를 프레네 공식으로 연결해 정리 • 원기둥 나선의 구면곡선: 원기둥 나선에서 T, N, B-구면곡선을 명시적으로 계산하고, 각각의 곡률반경을 a, b에 대한 식 a/√(a²+b²), 1, b/√(a²+b²)로 구조화해 제시 • 다항식 공간곡선 미분 기하: 다항식으로 주어진 공간곡선에 대해 x′, x′′, x′′′, 단위접선 T, 법선 N, 종법선 B, 곡률 κ, 연률 τ를 외적·행렬식 공식을 사용해 계산하고 κ(t)=τ(t) 관계를 확인하는 절차 정리 |
||
|
[12강] 구면곡선 (2)
|
0:
49:
15
|
|
|
구면곡선과 주면나선, 곡률·연률의 매개변수 표현 정리
• 구면 위 단위속력곡선 곡률 하한: 반지름 a 구면 위 단위속력곡선에서 Cauchy–Schwarz를 통해 κ≥1/a 성립, κ=1/a 인 경우에만 곡선이 구면의 대원(great circle)이 됨 • 주면나선(cylindrical helix) 특성: 단위접선벡터 T가 고정 단위벡터 u와 항상 일정한 각을 이루는 곡선으로 정의되며, 이와 동치로 정칙곡선에서 비틀림·곡률 비 τ/κ 가 상수일 때 주면나선이 되고 축벡터 u, 경사도 θ는 u=cosθ·T+sinθ·B, τ/κ=cotθ 로 결정됨 • 일반 매개변수 곡선의 Frenet 계와 곡률·연률: 호장 재매개화 없이 x(t)에 대해 T=x′/‖x′‖, B=(x′×x″)/‖x′×x″‖, N=B×T, 곡률 κ=‖x′×x″‖/‖x′‖³, 연률 τ=det(x′,x″,x‴)/‖x′×x″‖² 공식을 사용해 T,N,B,κ,τ를 직접 계산하고, 예제를 통해 주면나선의 축·경사도와 접선·고정벡터 각도 조건을 확인함 |
||
| 5장. 곡선론 | ||
|
[13강] 세레-프레네 방정식
|
0:
30:
08
|
|
|
세레-프레네 방정식과 자연방정식, 곡률·연률에 의한 곡선 결정
• 세레-프레네 방정식: 단위속력 공간곡선의 접선·법선·종법선 프레임(T, N, B)과 곡률 κ, 연률 τ 사이의 1차 미분 관계를 행렬·반대칭행렬 구조로 표현하는 곡선론 기본 구조방정식 • 자연방정식과 존재·유일성: 곡률 κ(s), 연률 τ(s)를 호장 s의 함수로 주었을 때 이에 대응하는 C³-급 단위속력곡선이 강체운동(회전·병진)을 제외하고 하나만 존재함을 보이는 곡선의 내재적 결정 원리 • 자연방정식과 예제 곡선: κ(s), τ(s)를 좌표와 무관한 내재적 방정식으로 보고 직선(κ≡0, τ≡0), 원(κ=상수≠0, τ=0), 나선(κ, τ 모두 상수≠0) 등에서 곡률·연률 값으로 곡선의 종류와 기하 구조를 판별하는 방법 정리 |
||
|
[14강] 공간곡선에 대한 기본 존재정리와 유일성정리
|
0:
49:
30
|
|
|
공간곡선 존재정리와 유일성정리, 평면곡선 자연방정식 예제 정리
• Frenet 프레임과 공간곡선 존재·유일성 정리: 연속 곡률 κ(s), 연률 τ(s)를 갖는 Frenet 방정식 초기값 문제를 통해 정규직교·우수계 (T,N,B)와 자연매개변수 곡선 x(s)의 존재·유일성을 강체이동까지 보장함 • 자연방정식과 평면곡선 조건: 자연방정식 (κ(s),τ(s))이 곡선을 평행이동·회전까지 유일하게 결정하며, τ(s)≡0일 필요충분조건에서 평면곡선이 되고 κ(s)=φ′(s)를 통해 방향각 적분으로 곡선을 재구성함 • 자연방정식 예제 κ(s)=1/s, τ(s)=0: φ(s)=∫κ(s)ds=ln s+C에서 변수변환·적분을 거쳐 평면에서 극방정식 r=ce^θ를 만족하는 로그 나선형 곡선이 유도됨 |
||
|
[15강] 곡선의 표준적 표현
|
0:
25:
21
|
|
|
곡선의 표준적 표현과 부케(Bouquet) 공식 개념 정리
• 부케(Bouquet) 공식: 자연매개변수와 Frenet frame 정렬 후 맥클로린 전개로 얻는 곡선의 표준적 성분 표현, $x\_1(s)\approx s$, $x\_2(s)\approx \frac{1}{2}\kappa\_0s^2$, $x\_3(s)\approx \frac{1}{6}\kappa\_0\tau\_0s^3$ 형태로 국소 모양 기술 • Frenet frame과 평면 구조: 접선·주법선·종법선 방향 성분을 통해 접촉평면·법평면·전직평면에서의 투영 구조와 차수(1차·2차·3차) 차이를 이용해 곡선의 위치 관계 설명 • 곡률·비틀림의 기하학: $\kappa\_0\neq0$일 때 전직평면 한쪽 위치, $\tau\_0\neq0$일 때 접촉평면 양쪽 분포 및 우수계·좌수계에 따른 오른손/왼손 나선성, $x\_3^2\propto\frac{\tau\_0^2}{\kappa\_0}x\_2^3$ 등 성분 간 거듭제곱 관계로 국소 형태 분석 |
||
|
[16강] 신개선, 축폐선
|
0:
50:
42
|
|
|
신개선과 축폐선 개념 및 곡률·연률 관계 정리
• 신개선(involute) 개념·표현식: 단위 속력곡선의 접선에 수직으로 놓이는 곡선으로, 일반식 $x^\*(s)=x(s)+(c-s)T(s)$, 정칙 조건 $(c-s)\kappa\neq 0$, 곡률 관계 $(\kappa^\*)^2=\dfrac{\kappa^2+\tau^2}{(c-s)^2\kappa^2}$ 및 상수 선택에 따른 신개선들 사이 거리 불변 성질 정리 • 신개선 예시 구조: 원기둥 나선에서 자연변수 변환 $s=Dt$ 후 신개선 $x^\*(s)$를 계산하여 세 번째 성분이 상수인 평면곡선이 됨을 보이고, 접선·프레네 프레임을 이용한 구체적 신개선 구성 절차 제시 • 축폐선(evolution) 개념·표현식: 한 곡선의 신개선을 되감는 역개념 곡선으로, $x^\*(s)-x(s)=\alpha N+\beta B$와 프레네 방정식에서 $\alpha=\dfrac{1}{\kappa}$, $\beta=\dfrac{1}{\kappa}\cot\bigl(\int\tau ds+c\bigr)$를 얻어 $x^\*(s)=x(s)+\dfrac{1}{\kappa}N+\dfrac{1}{\kappa}\cot\bigl(\int\tau ds+c\bigr)B$로 표현하고, 곡률·연률로 축폐선을 복원 가능함을 정리 |
||
|
[17강] 접촉곡선과 접촉곡면 (1)
|
0:
32:
21
|
|
|
접촉곡선과 접촉곡면, 곡률원과 곡률중심 핵심 정리
• n점 접촉 개념: 곡선 매개화와 곡면 방정식을 합성한 함수의 미분이 n−1계까지 0이 되는 조건으로 곡선–곡면 접촉도를 정의하고, 롤 정리를 반복 적용해 n점 접촉 조건을 미분 소멸 조건으로 정식화 • 3점 접촉 조건과 중심 제약: 단위속력곡선과 구면의 접촉을 F(s)=‖x(s)−y₀‖²−‖x₀−y₀‖²로 표현하고 F=F′=F″=0 조건에서 접촉점이 구면 위에 있고 중심이 버풍면 상에 있으며 법선 방향 정사영 길이가 곡률반경 1/κ인 제약을 도출 • 곡률원·곡률중심 공식: 단위속력곡선에서 3점 접촉을 갖는 원을 곡률원으로, 그 중심을 곡률중심으로 정의하고 곡률반경 ρ=1/κ, 곡률중심 위치 y₀=x₀+ρN₀, 곡률원이 T–N으로 이루어진 곡률평면(접촉원 평면) 위에 놓임을 구조적으로 정리 |
||
|
[18강] 접촉곡선과 접촉곡면 (2)
|
0:
45:
03
|
|
|
접촉평면·접촉곡면·접촉구면과 구면곡선 조건 정리
• 접촉평면·접촉곡면·접촉곡선·접촉구면: 정칙곡선에 대해 접촉차수가 최대가 되는 평면·곡면·곡선·구면을 정의하고, 평면족(2매개변수)·구면족(3매개변수)에서 곡률·비틀림 조건에 따른 유일성과 접촉차수(3점·4점 접촉)를 규정함 • 구면곡률중심·접촉구면 반지름: Frenet 벡터(T,N,B)와 곡률반경 ρ, 연률반경 σ를 이용해 구면곡률중심 y=x+ρN−ρ'σB와 접촉구면 반지름 r^2=ρ^2+(ρ'σ)^2을 정의하고, 접촉구면의 중심·반지름을 곡선의 곡률·비틀림 구조로 표현함 • 구면곡선 조건·곡선 분류: 접촉구면의 중심과 반지름이 상수일 때 구면곡선이 되며, 이를 위한 필요충분조건 ρ/σ + d/ds(ρ'σ)=0을 제시하고, 곡률 κ와 비틀림 τ 값 조합으로 직선·원·평면곡선·공간곡선·나선·원주나선을 분류함 |
||
| 6장. 곡면론 | ||
|
[19강] 정칙매개변수표현
|
0:
43:
16
|
|
|
정칙 매개변수표현과 곡면, 예제: 타원적 포물면과 단위구면
• 정칙 매개변수표현: 곡면을 C^m-급 벡터함수 x(u,v)로 나타내고 야코비 행렬 랭크 2 ⇔ x_u×x_v≠0 조건을 통해 법선벡터와 접평면 존재를 보장하는 표현 • 매개변수곡선과 곡선좌표: 한 변수를 고정해 얻는 u-곡선·v-곡선(또는 θ-곡선·φ-곡선)으로 곡면을 분할하고, (u,v)·(θ,φ)를 곡면상의 곡선좌표로 사용하는 좌표망 개념 • 정칙 매개변수표현 예제: 타원적 포물면 x(u,v)와 단위구면 x(θ,φ)의 표준 매개변수표현에서 성분함수의 매끄러움과 외적의 비소멸로 정칙성을 검증하고, 극점 등 정칙이 깨지는 지점을 매개변수 범위 선택으로 배제하는 방법 정리 |
||
|
[20강] 좌표조각사상
|
0:
59:
27
|
|
|
좌표조각사상과 몽주 패치 개념 정리 강의 요약
• 좌표조각사상: 곡면의 한 부분을 정의역 $U\subset\mathbb{R}^2$에서 $C^m$-급 정칙 매개변수표현($x_u\times x_v\neq0$)으로 1-1·연속·역함수도 연속인 위상동형 사상으로 나타내는 국소 매개화 개념 • 좌표조각사상 예제와 구조: 타원적 포물면·단위구 상반구면·극좌표에서 생성된 기둥면·그래프형 곡면 등을 통해 정칙성, 1-1성, 상호연속성, 정의역 분할 필요성(중첩 방지)을 점검하는 국소 패치 구성 방법 • 몽주 패치와 존재 정리: 그래프형 매개화 $(u,v,f(u,v))$류를 몽주 좌표조각사상으로 정의하고, 임의 정칙 곡면의 각 점 근방에서 역함수 정리를 이용해 항상 이런 그래프형 몽주 패치로 표현 가능함을 보이는 국소 표현 이론 |
||
|
[21강] 단순곡면과 이차곡면
|
1:
16:
07
|
|
|
단순곡면·접평면·법선·이차곡면 핵심 정리 요약
• 단순곡면과 매개변수변환: $C^m$급 좌표조각사상 기저로 덮이는 자기 교차 없는 곡면, 허용가능한 매개변수변환(야코비안 ≠ 0)에 대해 불변인 성질을 곡면의 고유 성질로 정의 • 접평면·법선·유향곡면: 좌표조각사상 $x(u,v)$에서 접평면은 $x_u,x_v$가 생성하는 평면, 단위법선벡터는 $N=\dfrac{x_u\times x_v}{\|x_u\times x_v\|}$, 법선선은 접평면에 수직인 직선이며, 전역적으로 연속인 법선벡터장 선택 가능 여부로 유향곡면/비유향곡면(Möbius 띠 등)을 구분 • 이차곡면 표준형: $(x^TA)x+b\cdot x+c=0$ 꼴로 정의되는 곡면으로, 타원면·일엽/이엽쌍곡면·타원/쌍곡포물면·추면·타원/쌍곡/포물기둥·평면 등의 표준 방정식과 단면 형태 및 기하적 특성을 통해 분류·해석 |
||
| 7장. 1, 2 기본형식 | ||
|
[22강] 제 1 기본형식
|
0:
45:
02
|
|
|
제1 기본형식과 곡면의 제1 기본계수 E, F, G 정리
• 제1 기본형식과 제1 기본계수: 곡면 좌표사상 $x(u,v)$에서 $dx=x_u du+x_v dv$의 길이를 2차형식 $ds^2=E\,du^2+2F\,du\,dv+G\,dv^2$로 정의하고, $E=\langle x_u,x_u\rangle,\ F=\langle x_u,x_v\rangle,\ G=\langle x_v,x_v\rangle$인 제1 기본계수로 곡선 길이·각·넓이를 주는 내적 구조를 결정함 • 매개변수 불변성과 계수 변환: 제1 기본형식 $ds^2=\|dx\|^2$는 같은 곡면이면 어떤 매개변수 $(u,v),(\theta,\phi)$를 써도 불변이며, 매개변수 변화 시 $E,F,G$는 연쇄법칙에 따라 $E^\*,F^\*,G^\*$와 선형·2차 결합 관계식으로 변환되지만 형식 자체는 동일하게 유지됨 • 양의정부호 성질과 예제 곡면: $EG-F^2=\|x_u\times x_v\|^2>0$을 통해 제1 기본형식이 양의정부호 2차형식이며 접평면과 면적요소를 규정함을 보이고, 구면·특정 다항식 곡면 $x=(u+v,u-v,uv)$·회전면 $x(u,v)=(f(u)\cos v,f(u)\sin v,g(u))$의 $E,F,G$ 계산으로 구조와 성질을 구체적으로 확인함 |
||
|
[23강] 호장과 곡면의 넓이
|
0:
54:
00
|
|
|
호장과 곡면의 넓이, 제1기본형식을 이용한 계산 정리
• 제1기본형식과 곡선의 호의 길이: 곡면 매개화에서 계수 E,F,G를 정의하고 정칙곡선의 호의 길이를 ∫√(E u'^2+2F u'v'+G v'^2)dt 형태로 계산하는 절차와 이차초면·단위구 예제 정리 • 접벡터 사이각·직교 조건과 면적소: 접벡터 사이각 공식을 통해 직교 조건(F=0, EG-F^2 구조)과 좌표곡선 직교성 기준을 제시하고, |x_u×x_v|=√(EG−F²)을 이용해 면적소 dS=√(EG−F²)du dv 및 곡면 넓이 적분 A(S)=∬√(EG−F²)du dv를 정의 • 매개변수 독립 곡면 넓이와 토러스 예제: 서로 다른 좌표조각사상 사이의 야코비안 관계로 EG−F²와 E*G*−F*²의 변환 공식을 제시하여 곡면 넓이의 매개변수 독립성을 증명하고, 토러스 매개화에서 E,F,G·면적소·겉넓이 A=4π²ab 계산 절차를 정리 |
||
|
[24강] 제 2 기본형식 (1)
|
0:
46:
48
|
|
|
제2기본형식의 정의와 성질, 평면성과의 관계 정리
• 제2기본형식 II와 제2기본계수 L,M,N: 곡면의 단위법선벡터 변화량으로 정의되는 2차 형식 II = -dx·dU = Ldu² + 2M dudu dv + Ndv²이며, L = x_{uu}·U, M = x_{uv}·U, N = x_{vv}·U로 곡면의 굽음(법선 방향 2차 미분) 정보를 표현함 • 제2기본형식의 좌표변환 불변성과 간단한 표현: 법선 방향을 보존하는 매개변수변환에서 형식 II는 불변이고 계수 L,M,N만 변환되며, d²x = x_{uu}du² + 2x_{uv}dudv + x_{vv}dv²를 이용해 II = d²x·U로 간단히 나타나 곡면 위 임의 방향에 대한 법선 방향 굽음을 정량화함 • 평면성과 제2기본형식의 관계: 제2기본형식이 항등적으로 0, 즉 제2기본계수 L = M = N = 0일 때이자 그럴 때에만 곡면이 평면이 되며, 이는 단위법선벡터장이 상수벡터가 되는 조건과 동치로 곡면의 평면성을 나타내는 곡률 조건으로 사용됨 |
||
|
[25강] 제 2 기본형식 (2)
|
1:
01:
43
|
|
|
제2기본형식의 기하적 의미와 곡면 위 점의 분류
• 제2기본형식과 접촉포물면: 제2기본형식 $II=Ldu^2+2M\,du\,dv+N\,dv^2$를 단위 법선방향 거리의 2차 근사로 해석하고, $\delta=\tfrac12II$로 정의되는 접촉포물면을 통해 곡면이 접평면에서 벗어나는 방향·크기를 정량 표현 • 점의 유형 분류와 내재성: 판별식 $LN-M^2$와 계수 소거 여부로 타원점($>0$)·쌍곡점($<0$)·포물점($=0$, $L^2+M^2+N^2\neq0$)·평탄점($L=M=N=0$)을 정의하고, 이 분류가 좌표 표현·매개변수화에 무관한 곡면의 내재적 성질임을 정식화 • 평탄점 고계 구조와 예제 분석: 평탄점에서 3차 테일러 전개로 얻는 3차형식과 원숭이 안장 구조를 통해 국소 모양을 분류하고, 구체 곡면·원환면에서 $L,M,N$과 $LN-M^2$를 계산해 평탄점 및 타원·쌍곡·포물점 영역을 판정하는 절차 훈련 |
||
|
[26강] 법곡률
|
1:
01:
14
|
|
|
법곡률과 법단면, 방향수 및 Meusnier 정리 정리
• 법곡률과 법단면: 곡률벡터의 법선 성분으로서의 법곡률 정의, 법단면 곡률과의 관계, 제1·제2기본형식에 의한 법곡률 계산 및 방향수(du:dv)에 따른 표현 정리 • Meusnier 정리와 방향 의존성: 같은 접선직선을 공유하는 곡선들의 동일 법곡률(Meusnier 정리), 곡률중심과 법단면의 관계, 법곡률의 방향 의존성과 제1·제2기본계수 비례 조건에 따른 방향 독립성(상수 법곡률 곡면) 정리 • 곡면별 법곡률 사례: 쌍곡면 x(u,v)=(u,v,u²−v²)에서의 법곡률·법곡률벡터 및 쌍곡점 성질, 원점에서 방향에 따른 법곡률 변화, 구면 x(θ,φ)에서 전 점·전 방향에 대해 일정한 법곡률 1/a와 계수 비례 관계 사례 정리 |
||
|
[27강] 주곡률과 주방향
|
0:
57:
49
|
|
|
주곡률과 주방향, 듀팡 지시곡선 핵심 정리 요약
• 몽주 좌표와 법곡률 표현: 곡면상 한 점에서 제1·제2기본형식 계수(E,F,G,L,M,N)를 사용해 법곡률을 방향에 대한 2차식으로 표현하고, 방향 매개화(θ)를 통해 법곡률 함수 κ_n(θ)를 구조화 • 듀팡의 지시곡선과 점의 분류: 방정식 Lx₁²+2Mx₁x₂+Nx₂²=±1로 정의되는 듀팡 지시곡선(conic)의 형태와 LN−M² 부호에 따라 점을 타원점·쌍곡점·포물점·평탄점 및 제점(타원적/포물적 제점 포함)으로 분류 • 주곡률·주방향과 특성방정식: 법곡률의 극대·극소 방향을 주방향, 그 값을 주곡률 κ₁,κ₂라 하고, 선형계 (L−κE,M−κF; M−κF,N−κG)(du,dv)=0의 비자명해 조건과 2차 특성방정식 (EG−F²)κ²−(EN+GL−2FM)κ+(LN−M²)=0 및 판별식으로 주곡률 실근 존재와 제점 여부 판정 |
||
|
[28강] 가우스곡률과 평균곡률
|
0:
37:
37
|
|
|
가우스 곡률과 평균곡률 방정식 및 예제 정리
• 가우스곡률·평균곡률 정의: 제1·제2기본형식 계수 E,F,G,L,M,N으로 평균곡률 H와 가우스곡률 K를 2차방정식의 계수로 정의하고, 두 주곡률의 평균(H)·곱(K)으로 해석 • 곡률에 따른 점·곡면 분류: EG−F²>0에서 K 부호로 타원점(K>0)·쌍곡점(K<0)·포물점/평탄점(K=0) 및 평탄곡면(K≡0)·극소곡면(H≡0) 분류 • 대표 곡면 곡률 계산 및 법벡터장 정리: 구면·평면·원환면·나선면·안장곡면의 E,F,G,L,M,N과 H,K를 계산하고, 단위법벡터장에 대해 U_u×U_v = K(X_u×X_v) 관계로 가우스곡률과 법벡터장 변화의 연결 구조 제시 |
||
|
[29강] 곡률선
|
1:
01:
55
|
|
|
곡률선, 주방향, 주곡률 정리 요약 (미분기하학 7.7절)
• 곡률선·주방향·제점: 주방향을 따라 정의되는 곡률선 개념과 제1·제2기본형식 계수로 표현되는 주방향 조건식, 비제점·제점에서의 주방향·곡률선 구조 정리 • 곡률선 방정식·좌표계 조건: 계수식 $(EN-LF)du^2+(EN-LG)du\,dv+(FN-MG)dv^2=0$에 의한 주방향·곡률선 미분방정식, 비제점 근방의 직교 곡률선 존재, $F=M=0$과 곡률선 좌표계(주방향 좌표계)의 동치 및 성질 정리 • 주곡률 공식·포물면 예제: 곡률선 좌표계에서 주곡률 공식 $k_1=L/E,\ k_2=N/G$ 유도와 제점에서의 일치 관계, 포물면 $x=(u,v,u^2+v^2)$·극좌표 변환을 통한 곡률선 방정식, 제점 판정, 주곡률 계산 절차 정리 |
||
|
[30강] 로드리게스의 공식
|
0:
29:
22
|
|
|
로드리게스의 공식과 주방향·주곡률 결정 요약
• 로드리게스의 공식: 곡면 위 단위법선벡터장과 위치벡터가 만족하는 관계식 $d\mathbf{U} = -\kappa\,d\mathbf{x}$로, 특정 방향수에 대해 주곡률–주방향 쌍을 특성짓는 벡터 방정식 • 정리 1(필요충분조건): 방향수 $du:dv$가 주방향일 필요충분조건은 어떤 실수 $\kappa$에 대해 $d\mathbf{U} = -\kappa\,d\mathbf{x}$를 만족하는 것으로, 제1·제2기본형 계수 $(E,F,G,l,m,n)$에서 유도되는 선형계와 동치 • 주방향·주곡률 계산 절차: 구체적 곡면에서 $E,F,G,l,m,n$을 구해 주방향 방정식으로 $du:dv$를 결정한 뒤, 해당 방향에서 $d\mathbf{U},d\mathbf{x}$를 계산하여 로드리게스 공식으로부터 주곡률 $\kappa$를 추출하고 필요충분조건을 예제로 검증 |
||
|
[31강] 점근선과 공액곡선족
|
1:
05:
42
|
|
|
점근선과 공액곡선족의 정의, 성질, 예제 정리
• 점근방향·점근선·제3기본형식: 제2기본형식이 0이 되는 점근방향·점근선 정의, 점의 유형(타원·쌍곡·포물·평탄)에 따른 점근선 존재, 직선의 점근선 성질, 제3기본형식과 관계식 \(III-2HII+KI=0\), Beltrami–Enneper 정리 \(\tau^2=-K\) 구조 제시 • 점근선·공액방향 판별 조건: 좌표곡선이 점근선이 될 조건 \(L=N=0\), 점근방향 자기공액 성질, 공액방향 정의 \(dx\cdot dU=0\)와 이를 통한 \(L,M,N\) 기반 선형조건, 타원점·쌍곡점에서 공액방향의 유일 존재 조건 \(LN-M^2\neq 0\) 정리 • 공액곡선족·곡률선 구조와 예제: 공액곡선족 정의(두 곡선족 접선방향의 공액성), 좌표곡선이 공액곡선족이 될 필요충분조건 \(M=0\), 수직·공액일 때 곡률선이 되는 조건 \(F=M=0\), 예제 곡면 \(x=(r\cos\theta,r\sin\theta,\ln r)\)의 점근선 방정식과 \(x=(u,v,u^2+v^2)\)에서 원족 \(u^2+v^2=C_1^2\)·직선족 \(u=C_2v\) 공액곡선족 계산 정리 |
||
| 8장. 곡면의 기본정리 | ||
|
[32강] 가우스-바인가르텡의 공식
|
0:
33:
15
|
|
|
가우스-바인가르텐 공식과 제2종 크리스토펠 기호 요약
• 가우스-바인가르텐 공식: 곡면에서 $x_{uu},x_{uv},x_{vv},U_u,U_v$를 기저 $x_u,x_v,U$의 1차결합으로 분해하고, 접공간 성분은 크리스토펠 기호, 법선 성분은 제2기본형식 계수로 표현하는 구조 • 제1·제2기본형식과 Weingarten 공식: 제1기본형식 계수 $E,F,G$와 제2기본형식 계수 $L,M,N$을 내적으로 정의하고, $x_{ij}$의 법선 성분이 $L,M,N$과 일치하며, 법선벡터 도함수 $U_u,U_v$는 접공간에만 존재하고 계수 $\beta_{ij}$는 $E,F,G,L,M,N$으로 표현됨 • 제2종 크리스토펠 기호: 제1기본형식 계수와 그 편도 $E_u,E_v,F_u,F_v,G_u,G_v$로부터 선형연립방정식을 풀어 $\Gamma_{ij}^k$를 정의하며, 분모 $EG-F^2$와 대칭성 $\Gamma_{ij}^k=\Gamma_{ji}^k$를 가지며 곡면의 내재적 기하 기술에 사용됨 |
||
|
[33강] 양립방정식과 가우스 정리
|
0:
28:
02
|
|
|
Summary Content:
가우스 정리와 양립방정식, 제1·제2기본형식의 관계 핵심 정리 요약 • 양립방정식(compatibility equations): 제1·제2 기본계수 E,F,G,L,M,N으로부터 실제 곡면 존재를 보장하는 필요충분조건으로, 혼합편도함수 교환 성질에서 유도되는 Mainardi–Codazzi 방정식과 두 번째 양립방정식의 결합체 • Mainardi–Codazzi 방정식: 가우스–바인가르탱 공식과 Christoffel 기호 Γ^k_ij를 사용해 x_{i,j,k}의 미분 순서 일치 조건을 제1·제2 기본형식 계수와 그 도함수 사이의 관계식 L_v-M_u, M_v-N_u로 표현하는 양립방정식의 첫 부분 • 가우스 정리(Theorema Egregium): 두 번째 양립방정식을 통해 LN−M^2가 E,F,G와 그 도함수만의 함수임을 보이고, 가우스 곡률 K=(LN−M^2)/(EG−F^2)가 제1 기본형식(및 그 도함수)만에 내재적으로 의존함을 밝히는 곡률의 내재성 정리 |
||
|
[34강] 곡면의 기본정리 (1)
|
0:
46:
02
|
|
|
곡면의 기본정리와 제1·제2기본형의 존재와 유일성
• 곡면의 기본정리 조건: 제1기본형 계수 E,F,G와 제2기본형 계수 L,M,N이 EG−F²>0, E>0, G>0 및 가우스–코다치 양립 방정식을 만족할 때 이를 기본계수로 하는 C³-급 곡면 좌표조각사상 존재 • 존재성 구성 절차: Gauss–Weingarten 공식에서 유도한 선형 1차 PDE 계를 해석하여 접벡터장 w,v와 단위 법선벡터장 u를 얻고, x_u=w, x_v=v를 적분해 정칙 매장을 구성한 뒤 제1·제2기본계수와 내적 관계 일치를 확인 • 유일성 원리: 같은 E,F,G,L,M,N을 갖는 두 곡면에 대해 한 점에서 위치와 접공간을 강체변환으로 일치시킨 후, 곡선을 따라 정의한 ODE 계의 해의 유일성을 이용해 전 영역에서 두 매장이 강체변환을 제외하고 동일함을 증명 |
||
|
[35강] 곡면의 기본정리 (2)
|
0:
33:
51
|
|
|
Summary Content:
• 곡면 기본형 계수와 연결 방정식: 주어진 첫째·둘째 기본형 계수(E=1,F=0,G=sin²u,L=1,M=0,N=sin²u)에서 베타 계수와 크리스토펠 기호를 계산해 가우스–바인가르탱 방정식(x_{uu},x_{uv},x_{vv},u_u,u_v) 시스템을 구성 • 곡면 방정식 결정 절차: 가우스–바인가르탱 방정식을 상미분방정식으로 변환해 x(u,v)=a(v)sin u + b cos u + c 꼴을 얻고, 두 번째·세 번째 가우스 방정식으로 b,c를 상수벡터, a(v)=d cos v + e sin v 꼴로 제약하여 x(u,v)=(d cos v sin u + e sin v sin u + b cos u)+c 형태 도출 • 구면 구조 판정: E,F,G를 x_u,x_v 내적으로 재계산해 d,e,b가 서로 직교하는 단위벡터(정규직교 기저)임을 증명하고, 평행이동 y=x-c에 대해 |y(u,v)|=1을 보여 중심 c, 반지름 1인 단위 구면과 동형임을 판정 |
||
| 9장. 본질적 기하학 | ||
|
[36강] 곡면의 사상
|
0:
57:
58
|
|
|
정칙미분가능사상과 곡면상의 사상 개념 정리 (미분기하학 9.1절)
• 정칙미분가능사상: 곡면 S→S* 사상 f가 모든 좌표조각사상 x에 대해 합성 x* = f∘x가 C^r 정칙매개변수표현(매끄러움, 접벡터 외적 비소멸)을 주는 사상으로, 국소적으로 1-1·양연속인 위상동형 구조를 가짐 • 정칙매개변수표현과 예시: 정칙매개변수표현은 C^r·외적 비소멸 조건을 만족하는 곡면 매개화이며, 구면→접평면 입체사영·평면→원기둥 사상은 합성표현, 편도함수, 외적 계산으로 이 조건을 만족하는 전형적 정칙사상 예시임 • 정칙사상의 보존 성질: 정칙미분가능사상은 정칙곡선의 정칙성·연속성을 보존하고, 합성에 대해 닫혀 있으며, 전단사일 때 역함수도 정칙미분가능사상이 되어 국소적 위상동형과 매끄러운 역을 갖는 구조를 형성함 |
||
|
[37강] 등장사상과 본질적 기하학
|
1:
00:
33
|
|
|
등장사상과 본질적 기하학 핵심 정리 요약
• 등장사상과 제1기본형식: 곡면 사이 정칙·전단사 길이보존 사상 정의 및 등장사상 판정을 위한 제1기본형식 계수 일치 조건(E=E', F=F', G=G') 구조 정리 • 가우스 곡률·가전면·국소등장사상: 등장사상 하 가우스 곡률 불변성, 평면과의 전개가능성에 따른 가전면(가우스 곡률 0) 정의, 평면–원주면 사례를 통한 국소등장사상과 본질적 기하학(제1기본계수 의존 성질) 개념 정리 • 본질적 거리와 최소길이의 호: 곡면 위 두 점 사이 본질적 거리의 정의(길이 하한), 거리공간 성질(대칭성·삼각부등식·비음성) 및 최소길이의 호의 존재·비존재·비유일성 사례(구면·원점 제거 평면) 정리 |
||
|
[38강] 측지곡률
|
1:
04:
44
|
|
|
측지곡률과 측지곡률벡터, 제1기본형식 의존성 정리 요약
• 측지곡률·측지곡률벡터: 곡면 위 곡선의 곡률벡터를 접평면에 정사영한 벡터와 그 스칼라 성분 정의, 법곡률과의 분해 관계(κ = κ_g + κ_n) 및 스칼라 삼중적 [X′, X″, U] 표현 정리 • 제1기본형식 의존성: 곡선의 좌표표현과 가우스 공식·Christoffel 기호를 사용해 κ_g 가 E, F, G 및 그 편도함수에만 의존함을 보이는 일반 공식, 매개변수곡선(u-곡선, v-곡선)과 직교좌표계(F=0)에서의 단순화 공식 유도 • 응용 예제 구조: 회전포물면 X(r, θ)의 E, F, G 계산 후 직교 매개곡선 공식과 직접 곡률벡터 계산을 비교하여 κ_g = 1/(r₀√(1+4r₀²)) 일치 검증 및 측지곡률 공식의 실제 계산 절차 제시 |
||
|
[39강] 측지선
|
1:
03:
00
|
|
|
미분기하학 9.4절 측지선 핵심 정리 및 방정식 정리
• 측지선 개념과 곡률 구조: 측지선 정의(측지곡률 0), 전체곡률 분해(κ = κ_g + κ_n), 접촉평면·법곡률·점근선과의 관계 및 평면·구면에서의 측지선 성질(직선·대원) 정리 • 측지선 방정식과 자연매개변수: Christoffel 기호로 표현된 2차 비선형 미분방정식계, 초기값에 따른 존재·유일성 정리, 제1기본형식 조건을 통한 자연매개변수(호장) 성립 조건과 단위속도 곡선 구조 • Clairaut 매개변수표현과 특수 측지선: E=E(u), F=0, G=G(u)인 Clairaut 표현에서 u-곡선·v-곡선의 측지선 판정 조건, 일반 곡선의 측지선 적분식 v(u) 구조 및 상수 C와 기울기(비탈) 사이의 관계 정리 |
||
|
[40강] 측지좌표 (1)
|
0:
33:
41
|
|
|
측지좌표와 가우스 곡률 간단화, 포물면 예제 정리
• 측지좌표집합 정의·구성 정리: 매개변수곡선 직교(F=0)·u-곡선 측지선·u 자연매개변수 조건을 만족하는 좌표조각사상의 존재와 C²·C³-급 곡면·곡선을 통한 국소 측지좌표 구성 원리 정리 • 제1기본형식·측지거리·곡률 단순화: 측지좌표에서 ds²=du²+G(u,v)dv² 형태, u-측지선 길이·측지거리 정의, 직교좌표에서의 일반 가우스 곡률 공식과 E≡1인 경우 K=-(1/√G)∂²(√G)/∂u²로 단순화되는 곡률 계산 구조 정리 • 포물면 측지좌표 예제: 포물면 z=x²+y² 위 매개변수 x(r,θ)에서 E,F,G와 직교성·측지곡률 κ_g=0을 통한 측지선 판별, 자연매개변수 변환(dr/dr* = √E) 후 측지좌표집합 완성 및 단순화된 공식을 이용한 가우스 곡률 K 계산 절차 정리 |
||
|
[41강] 측지좌표 (2)
|
0:
41:
07
|
|
|
측지적 극좌표와 가우스곡률, 최소길이 호의 성질 정리
• 측지적 극좌표계와 제1기본형식: 한 점 P에서 출발하는 자연매개변수 측지선을 반지름, 측지적 원을 원으로 하는 (r, θ) 좌표를 도입하고, 제1기본형식을 ds² = dr² + G(r, θ)dθ² 꼴로 정리하여 평면 극좌표와의 구조적 유사성을 확립함 • 가우스곡률과 원주·넓이 표현: 측지적 극좌표계에서 √G(r, θ)의 테일러 전개를 이용해 구면 등 곡면의 가우스곡률 K(P)를 측지원의 원주 C(r), 넓이 A(r)의 평면 대비 오차에 대한 극한식으로 표현하고, 곡률이 거리 구조의 1차 보정항 계수임을 규명함 • 측지선과 최소길이 호의 동치: 측지적 극좌표계에서 임의 곡선 길이 부등식을 통해 두 점 사이 최소길이 호가 θ=상수인 측지선일 때에만 성립함을 보이고, 반대로 최소길이 호이면 항상 측지선이 됨을 증명하여 곡면 위 거리 최소 경로와 측지선 개념을 동일시함 |
||
|
[42강] 정곡률곡면 (1)
|
0:
49:
58
|
|
|
정곡률곡면과 가우스곡률의 전개 가능성 정리
• 가우스 곡률과 등장사상: 가우스 곡률 K의 등장사상 불변성, K 동일성이 등장사상을 보장하지 않음을 보이는 예제(S와 S★) 및 제1·제2기본형식을 통한 곡률 계산 구조 정리 • Minding 공식과 정곡률곡면: 상수 가우스 곡률을 갖는 C³급 곡면의 점 근방 사이 국소 등장사상 존재를 보장하는 Minding 공식과, 정곡률곡면(곡률 상수 K가 모든 점에서 일정한 곡면)의 정의 및 분류 틀 • 정곡률곡면의 세 경우와 전개 가능성: 측지적 극좌표계에서의 제1기본형식 $ds^2=dr^2+g(r,\theta)d\theta^2$와 $K=-\frac{1}{\sqrt{g}}\partial_r^2\sqrt{g}$를 이용한 상수곡률 미분방정식 해석을 통해 K=0(평면과 국소 등장), K>0(반지름 a인 구면과 국소 등장), K<0(하이퍼볼릭 평면형 곡면과 국소 등장)으로 전개 가능성 구조 정리 |
||
|
[43강] 정곡률곡면 (2)
|
0:
36:
38
|
|
|
가우스 곡률 음수 곡면과 의구면(호곡선·쌍곡기하학) 정리
• 호곡선(tractrix)과 의구면 정의: 일정 거리 조건을 만족하는 평면곡선 호곡선을 점근선 둘레로 회전해 얻는 의구면(pseudo-sphere) 구성, 호곡선 매개방정식과 의반경 개념 정리 • 의구면의 제1기본형식과 곡률 계산: 회전체 매개화로 제1기본형식 계수 E,F,G 산출, 측지적 좌표 변환을 통해 계량 ds²=du²+a²e^{2u/a}dθ²로 단순화하고 가우스 곡률 K=-1/a²(상수 음수) 도출 • 곡률 부호와 기하학 분류: K=0(평면·유클리드 기하), K>0(구면·타원 기하), K<0(의구면 등 쌍곡 기하)로 분류하며, 각 경우 평행선 공리 성립 방식 차이와 상수 곡률 곡면의 등장적(등거리) 성질 연결 정리 |
||
|
[44강] 가우스-보네의 정리 (1)
|
1:
19:
47
|
|
|
가우스-보네 정리와 조르당 곡선, 전측지곡률 핵심 정리 요약
• 조르당 호·곡선다각형·단순연결영역: 단일 폐 조르당 호로 정의되는 곡선다각형과 그 경계·내부·외부·양의 방향을 규정하고, 조르당 곡선정리와 그린 정리를 통해 경계 선적분과 내부 중적분의 관계를 설정함 • 전측지곡률·2차원 단편·외각·리우빌 공식: 전측지곡률을 측지곡률 적분으로 정의하고, 2차원 단편의 경계·정점·외각·내각 구조를 세운 뒤, 직교좌표계에서 리우빌 공식으로 측지곡률을 매개변수 곡선의 측지곡률과 접선방향 각도의 변화율로 분해함 • 가우스–보네 정리와 측지삼각형: 곡선다각형 경계의 전측지곡률 적분과 내부 가우스 곡률 면적분이 꼭짓점 외각합과 연결되는 가우스–보네 공식으로 곡면의 국소·전역 기하를 결합하고, 측지삼각형에서 내각합-π가 영역의 곡률 적분이 됨을 이용해 구면·평면·의구면에서 내각합과 면적의 관계를 비교함 |
||
|
[45강] 가우스-보네의 정리 (2)
|
0:
48:
29
|
|
|
가우스-보네 정리와 오일러-푸앵카레 지표, 손잡이와 전곡률
• 직사각형분할·다각형분해와 오일러-푸앵카레 지표: 컴팩트 가보호적 곡면을 면·변·꼭지점으로 분해하고 오일러지표를 $\chi(S)=V-E+F$인 위상불변량으로 정의하여 곡면 구조를 분류함 • 가우스-보네 정리와 전곡률: 곡면의 가우스 곡률 적분(전곡률) $\displaystyle\iint_S K\,dS$이 $2\pi\chi(S)$와 같음을 증명하고, 구면·토러스 등 예제에서 곡률 적분과 오일러지표의 일치를 통해 기하와 위상의 연결을 제시함 • 손잡이 수와 오일러지표 일반 공식·야코비 정리: 손잡이 수 $p$인 곡면의 오일러지표를 $\chi(S)=2(1-p)$, 전곡률을 $4\pi(1-p)$로 표현하여 곡면을 분류하고, 양의 곡률 닫힌 공간곡선의 법구면 궤적이 구면을 같은 넓이 두 영역으로 나누는 야코비 정리 개념을 소개함 |
||
정진교 교수님
미분기하학
