기본 페이지 포트폴리오 대한민국의 전통건축 중국과 일본의 전통건축 서유럽과 미국의 건축 국역 청오경 현대 우주론 대한민국의 산풍경 백두대간 종주산행 네팔 히말라야 트레킹 몽블랑 지역 트레킹 요세미티 캐년 등 티베트 실크로드 야생 생물 파노라마사진 갤러리 클래식 레코드 갤러리 AT 포럼 트레킹 정보 링크


 로그인  회원가입

미분기하학 1: 곡선; Gauss 곡률; 곡면   ✅
    김관석  (Homepage) 2019-06-16 16:50:51, 조회수 : 629
- Download #1 : dff_1_1.jpg (47.4 KB), Download : 0



  중력(gravity)은 시공간의 curvature * 휘어짐의 발현이라는 아인슈타인의 상대성이론의 이해를 위해서 공간과 시간을
  기하학적 이론으로서 파악하는 것이 이 책의 궁극적인 목표입니다. 그 중에서는 바로 curvature가 주축이 되는 개념입니다.
   curvature의 개념은 4차원 이상에서는 더욱 복잡해지므로, Euclid 3차원 공간 E3에서의 curvature를 먼저 논의합니다.

1. Curves 曲線 <- Figure I-1 참조

     ∘  𝛂(t) = (x(t),y(t),z(t))  <- 𝛂: vector-valued fuction curve in 𝐄3, a ≤ t ≤ b, t: real variable parameter 媒介變數  
     ∘  𝛂'(t) = (x'(t),y'(t),z'(t)) = lim𝛥→0 [𝛂(t + 𝛥t) - 𝛂(t))]/𝛥t  <- 𝛂': derivative vector of curve 𝛂  
     ∘  s(t) = ∫at∥𝛂'(u)∥du  <- s: arc length of curve 𝛂, t: time, ∥𝛂'(u)∥: instaneous speed 速力,  𝛂': velocity vector
     ∘  𝐋 = ∫ab∥𝛂'(u)∥du  <- 𝐋: total length of the entire curve 𝛂(t), a ≤ t ≤ b, 𝐈: interval
     ∘  𝛂"(t) = (x"(t),y"(t),z"(t))  <- 𝛂": derivative of velocity vector 𝛂',  𝛂": acceleration vector 
     ∘  𝐓(s) = 𝛂'(s)  <-  t = s →  ds/dt = 1,  𝛂'(s) or 𝐓(s): unit tangent vector,  𝛂(s): unit speed curve
     ∘  𝐓(s) ∙ 𝐓(s) = 1, ∴ 𝐓(s) ∙ 𝐓'(s) = 0  (<- by product rule) ∴ 𝐓(s)⊥𝐓'(s),  𝛂"(s) or 𝐓'(s): curvature vector

     ∘  Definition I-1
        k(s) = ∥𝐓'(s)∥= ∥𝛂"(s)∥
        k(s)로 지칭되는 곡선 𝛂의 𝛂(s)에서의 curvature 曲率은 𝐓'(s)의 길이이다.

     ∘  𝐍(s) = 𝐓'(s)/∥𝐓'(s)∥= 𝐓'(s)/k(s). ∴ 𝐓'(s) = k(s)𝐍(s)   <- 𝐍(s): principal normal vector
     ∘  c(s) = 𝛂(s) + [1/k(s)]/𝐍(s)  <- 𝛂(s): 곡선 𝛂에의 tangent point, c(s): center of curvature
        osculating circle 接觸圓: 반지름 1/k(s), 중심 c(s)의 원,  osculating plane: 𝐓(s)와 𝐍(s)의 평면
     ∘  𝐁 = 𝐓 X 𝐍   <- binormal vector of the unit length: osculating plane에 수직인 vector
        𝐁' = (𝐓 X 𝐍)' = 𝐓' X 𝐍 + 𝐓 X 𝐍' = 0 + 𝐓 X 𝐍'= 𝐓 X 𝐍' (∵ 𝐓'= k𝐍)
        𝐍 = 𝐁 X 𝐓, 𝐓 = 𝐍 X 𝐁,  𝐍⊥𝐁, 𝐍⊥𝐍',  𝐁'⊥𝐁, 𝐁'⊥𝐍'  ∴ 𝐁' ∝𝐍
     ∘  𝐁'  = - 𝜏𝐍  <- 𝜏 = 𝜏(s): torsion 비틀림(꼬임) 함수로서 osculating plane의 turning rate(回轉 比率)를 측정함.
     ∘  𝐓' = k𝐍,  𝐍' = - k𝐓 + 𝜏𝐁,  𝐁'  = - 𝜏𝐍  <- the Formulas of Frenet

         아주 간략하게 요약한 이상의 관계식을 제대로 이해한다면 우리는 3차원에서의 임의의 곡선을 해석/재현할 수 있습니다.

2. Gauss Curvature I <- Figure I-10 참조   

     ∘  매끄러운(smooth) 곡면(surface) 𝐌 ⊂ 𝐄3에 임의의 점 𝐏에 unit normal vector를 𝐔라고 합니다. 이때 𝐯가 점 𝐏에서
         𝐌에 접하는 unit vector라면, 그 𝐯에 의존하는 𝛂𝐯 곡선이 있는 𝐌과 𝐏에서 교차하는 평면은 𝐯와 𝐔에 의해 결정됩니다.
         그래서 우리는 𝛂𝐯를 곡면 𝐌의 점 𝐏에서의 normal section in the 𝐯 direction 이라고 부릅니다.
     ∘  𝐤n(𝐯) = ∓1/ 𝐑(𝐯)  <- 𝐑(𝐯): osculating circle 반경,  𝐤n(𝐯): 𝐌의 𝐏에서 normal curvature in the 𝐯 direction         
         𝛂𝐯의 principal normal vector와 surface normal vector인 𝐔의 방향이 동일하면 +, 반대이면 -, curvature가 0이면 0.
     ∘  Gauss curvature 𝐊 (𝐌의 𝐏에서)란?
         𝐊(𝐏) = 𝐤1 𝐤2  <-  𝐯1: tangent vector in a principal direction  𝐤1: maxinmum value of 𝐤n(𝐯),
                                 𝐯2: tangent vector in a principal direction  𝐤2: minimum value of 𝐤n(𝐯), 𝐯1 and  𝐯1: 항상 직교함.
         ex1)  𝐊  in a cylinder: (반경 R인 경우) 𝐤1= 1/R, 𝐤2= 0  ∴ 𝐊 = 0
         ex2)  𝐊  in a sphere: (반경 R인 경우) 𝐤n(𝐯) = ∓1/R2
         ex3)  𝐊  in a sddle-shaped surface: z = 1/2(y2 - x2),  𝐊 < 0  
         ex4)  𝐊  in a torus:  𝐊 > 0 on outside surface,  𝐊 > 0 on inside surface, 𝐊 = 0 on two circle of top and bottom
  
         Curvature의 intrinsic 內在的 표기 덕분에 일반상대성원리의 4차원 시공간 curvature를 정의할 수 있습니다. 
         Gauss의 Therema Egregium (빼어난 定理)로 절정을 이루는 곡면 이론 덕분에 intrinsic 표기가 가능해졌습니다.
         intrinsic한 curvature의 재공식화는 고차원의 manifold 多樣體와 'curved space'를 일반화할 수 있게 합니다.

3. Surfaces 曲面 in E3 <- Figure I-20 참조  

     ∘  곡면 𝐌은 𝓡2의 open subset 𝐃에 정의된 두개 변수의 vector 함수 𝐗:𝐃 → E3의 image로 locally(局所的으로) 표기 가능                  
           𝐗 = 𝐗(u,v) = (x(u,v), y(u,v), z(u,v))   [3-2]
     ∘  편의상 우리는 이 함수를 𝐃에서 최소 삼차까지 미분할 수 있으며, 𝐗가 regular 正則的일 때는 다음의 경우
           𝐗1(u, v) = ∂𝐗/∂u = (∂x/∂u, ∂y/∂u, ∂z/∂u)
           𝐗2(u, v) = ∂𝐗/∂v = (∂x/∂v, ∂y/∂v, ∂z/∂v)
         상기 두 vector는 𝐃의 각 (u,v)에 대해 linearlly independnt(線形 獨立)하여서, 𝐗1 X 𝐗2 ≠ 0 in 𝐃.  
     ∘  일반적으로 regularity(正則性)은 𝐃의 각 점들이 neighborhood(近傍) 𝛺를 갖으며, 이에 대해 함수 𝐗가
         연속적인 inverse function(逆函數) 𝐗(𝛺) → 𝛺 를 갖는 one-to-one(一對一)의 관계를 보장합니다. 그래서
         이러한 대응을 system of curvillinear coordinate(曲線 座標系) u, v on 𝐗(𝛺) ⊂ 𝐌으로 생각할 수 있습니다.
     ∘  𝛂(t) = 𝐗 (u(t), v(t))  <- 𝐃에서 u(t), v(t)가 smooth 곡선이면,  𝐗에 의한 image도 𝐌에서 𝛂도 smooth 곡선
            𝛂'(t) = (∂𝐗/∂u)(du/dt) +  (∂𝐗/∂v)(dv/dt)  <- by chain rule
            𝛂'(t) = u'𝐗1 + v'𝐗2  <- in abbriviated notation   [3-3]

     ∘  Definition I-2
         𝐌에서 𝐏를 통과하는 곡선의 velociy vector 𝐯가 𝐏에 있으면, vector 𝐯를 𝐏에서 𝐌으로의 tangent vector 라 부른다.
         𝐏에서 𝐌으로의 모든 tangent vector의 집합은 𝐏에서 𝐌의 tangent plane 라고 부르고, 𝐓p𝐌으로 표기한다.

     ∘  𝐏에서의 어떤 tangent vector 𝐗(u0, v0)는  𝐗1(u0, v0)과 𝐗1(u0, vo)의 한 linear combination입니다.
         거꾸로 실수 a, b와의 linear combination 𝐯 = (a𝐗1 + b𝐗2)(u0, v0)는 𝐌에 있는 한 곡선의 velocity vector입니다.
         예를 들면 𝛂(t) = 𝐗(u0+ at, v0+ bt)는   𝛂'(0) = 𝐯 를 갖습니다. 그래서 regurality(正則性) of 𝐗란 𝐓p𝐌가
         𝐗1과  𝐗2basis(기저)로 하는 각 점 𝐏에서의 2-dimensional vector space를 의미하는 것입니다.
         이때 𝐗1(u0, v0)과 𝐗2(u0, v0)는 그들 자신이 그 곡선의 velocity vectors
            u→ 𝐗 (u, v0)     (v = v0, fixed)   <- u-parameter curve
            v→ 𝐗 (u0, v)     (u = u0, fixed)   <- v-parameter curve

p.s. 'Differential Geometry and Relativity Theory'(Richard L. Faber 1983, Marcel Deckker) Chapter I.입니다.
       미분기하학과 상대성 원리에 관심을 둔 영어권 대학교 수학과/물리학과 고학년생들을 대상으로 집필되었다 합니다.
       여러 GR책들을 살펴 보다가 수학적 rigor와 바탕이 필요한 제게 아주 적합한 책으로 생각되어 선정하였읍니다.
       * curvature는 문맥에 따라 휘어짐 자체를 의미하거나 곡률을 지칭하므로 편의상 보통 영어로 표기함.


Name
Spamfree

     여기를 클릭해 주세요.

Password
Comment

  답글쓰기   목록보기
번호 제               목 이름 연관 날짜 조회
공지  현대 우주론에 관한 탐구의 장    김관석 1 2017-08-15
11:36:55
615
101  우주론의 명저 '최초의 3분'   🆕    김관석 1 2020-06-22
06:21:19
22
100  Mathematical Cosmology I   🆕    김관석 6 2020-06-07
16:23:00
186
99    Mathematical Cosmology II ... studying ...  ✍🏻  [1]  김관석 6 2020-06-07
16:23:00
186
98      Math Cosmology III  [to be continued]    김관석 6 2020-06-07
16:23:00
186
97        Math Cosmology IV  [to be continued]    김관석 6 2020-06-07
16:23:00
186
96          Math Cosmology V  [to be continued]    김관석 6 2020-06-07
16:23:00
186
95            Math Cosmology VI  [to be continued]    김관석 6 2020-06-07
16:23:00
186
94  Hobson 외 GR 11-a: 정지 블랙홀, 세계선    김관석 3 2020-05-13
13:44:21
438
93    Hobson 외 GR 11-b: 중력의 붕괴, 블랙홀 형성    김관석 3 2020-05-13
13:44:21
438
92      Hobson 외 GR 11-c: 웜홀, Hawking 효과    김관석 3 2020-05-13
13:44:21
438
91  Hobson 외 GR 19-a: Hamilton's 원리    김관석 3 2020-05-03
10:51:52
670
90    Hobson 외 GR 19-b: Einstein-Hilbert 작용    김관석 3 2020-05-03
10:51:52
670
89      Hobson 외 GR 19-c: Palatini 접근    김관석 3 2020-05-03
10:51:52
670
88  Dirac's GR [완료] 35: 우주항 [u. 3/22]   🔵  [2]  김관석 1 2020-01-22
08:59:01
3179
87  1/20 홍천 군업리의 Orion 성운^^    김관석 1 2020-01-20
23:28:21
154
86  벡터와 텐서 1: 기본 정의; 벡터 연산    김관석 5 2020-03-26
09:43:51
639
85    벡터와 텐서 2: 공변벡터와 반변벡터    김관석 5 2020-03-26
09:43:51
639
84      벡터와 텐서 3: 공변미분; One-form    김관석 5 2020-03-26
09:43:51
639
83        벡터와 텐서 4: 전자기장 텐서    김관석 5 2020-03-26
09:43:51
639
82          벡터와 텐서 5: Riemann 곡률텐서    김관석 5 2020-03-26
09:43:51
639
81  2019년 노벨상 - Peebles의 물리적 우주론    김관석 1 2019-10-14
19:30:49
766
80  일반상대성(GR) 1: 등가원리; 중력과 곡률   ✅    김관석 5 2019-09-06
09:38:00
1613
79    일반상대성(GR) 2: Newton 중력론의 검토    김관석 5 2019-09-06
09:38:00
1613
78      일반상대성(GR) 3: 특수상대성; 측지선    김관석 5 2019-09-06
09:38:00
1613
77        일반상대성(GR) 4: Einstein 장방정식    김관석 5 2019-09-06
09:38:00
1613
76          일반상대성(GR) 5: Schwarzschild 해    김관석 5 2019-09-06
09:38:00
1613
 미분기하학 1: 곡선; Gauss 곡률; 곡면   ✅    김관석 4 2019-06-16
16:55:58
2287
74    미분기하학 2: 제일기본형식; 제이기본형식    김관석 4 2019-06-16
16:55:58
2287
73      미분기하학 3: Gauss 곡률 II; 측지선 [u. 12/19]  [1]  김관석 4 2019-06-16
16:55:58
2287
72        미분기하학 4: Riemann 곡률텐서; 다양체    김관석 4 2019-06-16
16:55:58
2287
71  5/28 홍천 군업리의 은하수^^  [1]  김관석 1 2019-05-30
01:20:31
294
70  텐서 해석 I-1: Dyad와 텐서의 연산   🔵    김관석 5 2019-07-02
16:01:21
3793
69    텐서 해석 I-2: 텐서 미적분; 좌표변환 I    김관석 5 2019-07-02
16:01:21
3793
68      텐서 해석 II-1: 일반 좌표계 텐서의 연산    김관석 5 2019-07-02
16:01:21
3793
67        텐서 해석 II-2: 좌표변환 II; 일반 좌표계 미분    김관석 5 2019-07-02
16:01:21
3793
66          텐서 해석 II-3: 동일 적분; 미분기하학    김관석 5 2019-07-02
16:01:21
3793
65  Verlinde의 중력과 우주의 암흑에 관한 새 견해    김관석 1 2019-02-03
21:27:44
276
64  상대성 이론(SR/GR)의 학습 과정  [1]  김관석 1 2018-07-15
15:31:25
309
63  특수상대성(SR) I-1: 간격; 시간 지연   ✅    김관석 4 2018-07-05
06:34:56
1309
62    특수상대성(SR) I-2: Lorentz 변환    김관석 4 2018-07-05
06:34:56
1309
61      특수상대성(SR) 역학 II-1: 4-벡터; 동력학    김관석 4 2018-07-05
06:34:56
1309
60        특수상대성(SR) 역학 II-2: 측지선; 광선 등  [2]  김관석 4 2018-07-05
06:34:56
1309
59  Maxwell 방정식과 전자기파의 속도   ✅    김관석 1 2018-06-22
00:35:54
1527

    목록보기   다음페이지     글쓰기 1 [2][3]
    

Copyright 1999-2020 Zeroboard / skin by zero & Artech