미분기하학

1. 개요

2. 교육

2.1. 학부

2.2. 대학원

3. 교재 목록

3.1. 학부

• O' Neill - Elementary Differential Geometry
  예전에 학부에서 꽤 쓰였던 교과서. 같이 열거된 두 책보단 추상적으로 접근하는 책인데 현재는 많은 오타 때문에 오해를 부르기 십상이라 사용빈도가 줄었다. 개정판을 냈으나 그마저도 온전치가 않아서 문제. 리만 기하학을 제대로 다루기 위해 나름대로 다양체의 내용을 써 놨지만 평균적으로 배울 때 짬에 비해 너무 추상적이라 접벡터를 제대로 다루는 방법이나 계산같은 걸 제대로 할 수가 없잖아..(...) 일단 제대로 공부하려면 미리 다변수해석학에 익숙해지거나 두 까르무나 미분기하를 잘하는 친구를 끼고 공부하던지 아니면 수업때 교수에게 적극적으로 질문 공세를 펼치는게 좋으며, 이렇게 말도 많고 탈도 많지만 어떻게든 넘기고 나면 후반부에서 빛을 발하는데, 제 1 기본형식을 이용해서 무식하게 증명할 걸 초기에 적절히 도입한 리만 기하학적인 개념들을 활용해서 주요 정리들을 깔끔하고 매끄럽게 해낸다. 특히 Gauss's theorema egregium, 가우스-보넷 정리, Poincare-hopf theorem의 증명은 아주 장관.

• Andrew Pressley - Elementary Differential Geometry
  이것도 꽤 많이 쓰이는 학부 미분기하학 교과서중 하나. 특히 수학교육과에서 오닐을 대체하여 많이 본다. 이 책도 3차원 구조만 이용해서 많은 결과들을 계산으로 끌어내지만, 꽤나 많은 양을 커버하는 책이다. 책 설명자체가 매우 쉽고 정확한 편. 두 까르무와 마찬가지로 필요한 선형대수&해석학&위상의 내용을 넣어놨으며, 전체 연습문제들의 수준이 높으나 다행히 솔루션이 나와있다. 단점은 가독성에 초점을 맞추다보니 4차원 이상으로 쉽게 일반화되지 않는 계산법이나 개념들을 종종 동원하며, 이 점에 대해서 대놓고 저자가 초반에 주의를 준다. 마지막 챕터에서는 height function과 critical point를 이용한 오일러 지표 계산을 보여주는데, 이 접근은 추후 대학원 미분기하학에서 접하는 모스 이론를 이해하는데 좋은 배경과 동기를 준다.
  위의 두책과는 달리 책 자체적으로 솔루션을 제공히고 있다.

3.2. 대학원

3.2.1. 미분다양체

• John M. Lee, Introduction to Smooth Manifolds.
  초장에는 미분다양체 이론의 기초를 매우 친절하게 잘 설명해 주는 책이고, 후반부로 갈수록 미분다양체 이론이 어떤 분야에서 응용이 되는가를 설명하는 매우 좋은 저서이나 단점은 두께(728 page...)와 너무 루즈한 전개라고 볼 수 있다. 같은 저자의 Introduction to Topological Manifolds, Introduction to Riemannian Manifolds도 다양체를 공부하는 대학원생들이 많이 찾아보는 편인데 이 책들도 한 두께 한다.

• 김강태, 미분다양체론
  한국어로 되어 있다는 사실 하나만으로 압도적인 위엄을 자랑한다. 국내에서 독학을 하고자 하는 사람이라면 찾게 될 책. 해당 저자는 포항공과대학교의 수학과 교수로 본 책 이외에 리만기하학, 복소기하학 등 기하학을 공부하려는 학생을 위한 기하학연구서 시리즈를 저술했다.[20]

3.2.2. 리만다양체

3.2.3. 그 외

• Spivak, A comprehensive introduction to differential geometry
  전작 calculus 시리즈로 유명한 마이클 스피박의 미분기하 장편 교재 시리즈. 미분다양체와 리만기하학등 대학원에서 다룰 수 있는 미분기하를 늘려 쓴 백과사전쯤 되는 책으로, 초반권들은 가끔씩 학부 수준에서 미분다양체를 설명할 때 쓰이기도 한다.

[1]
미분기하학의 창시자인 베른하르트 리만부터 이런 생노가다를 했을 정도. 이러한 이유 때문에 이 과목을 부르는 별명 중 하나가 미친기하일 정도다. [2] 특히 곡선의 길이나 가우스 사상의 계산이 깔끔하게 떨어지지 않는 경우에는 머리가 어지러워진다. 위상수학과 현대대수학이 극한의 추상화로 학생들의 추상적인 사고력이나 논리력의 극한을 시험한다면 미분기하학과 편미분방정식은 직관적인 대상을 막대한 계산을 시키며 학생들을 단련시키는 과목이라 생각하면 된다. [3] 다변수해석학을 해석학입문 2학기 후반부에서 다루는 경우도 있고, 한 학기 분량으로 별도의 강의를 편성하여 배우는 경우도 있고, 아예 미분기하학 강의 시수의 일부를 할애하여 배우는 경우도 있다. 여러 미분기하학 교과서도 독자가 다변수해석학을 얼마나 배웠을지를 달리 상정하고 저술하기도 한다. [4] 가장 유명한 좌표계의 예를 들자면, 2차원에는 극좌표계, 3차원에는 원통 좌표계, 구면 좌표계가 있다. [5] 단순히 좌표성분의 변화뿐만이 아닌, 기저 벡터의 변화까지 고려해야한다. 예를 들어 외환 시장에서 미국 달러가 강세를 보이면(즉 1달러를 얻기 위해 전보다 더 많은 원화를 소모해야 한다면) Apple의 주식이 폭락하더라도 한국의 애플 주주는 플러스 수익률을 유지할 수 있으나 애플은 한국 시장에서 아이폰을 아무리 많이 팔아봤자 미화 기준 영업이익은 신통치 않을 수 있다. [6] 각 시점에서 기저 벡터의 방향을 확인해야 한다. 비유클리드 좌표계에서는 같은 벡터라도, 벡터의 출발점이 달라지면 표현 방식이 달라진다. 예를 들어, 같은 고기 1인분이더라도, 고기집마다 1인분에 해당되는 무게가 다르다. 그러므로 서로 다른 가게에서 고기를 1인분씩 산다면, 각각의 가게에서 1인분이 몇 그램인지 고려해서 계산해야 고기의 총 무게를 알 수 있다. [7] 학부 미분기하에서 다루는 선형대수는 대부분이 2변수인 경우이다. 행렬의 고유값을 써서 행렬을 대각화할 수 있어야 한다. 그리고 1차, 2차 형식에서는 이중 선형성에 대한 이해를 요구하므로 선형대수의 고급과정 공부도 소홀히 해서는 안된다. [8] 예를 들어서 타원점이라는 개념이 있는데, 곡면의 한 점에서 접평면을 잡을 때 점의 적당한 주변에서 곡면이 접평면의 아래, 위, 왼쪽, 오른쪽 중 한 방향에만 있는 경우이다. 극소점, 극대점 같은 경우가 이에 해당하는데, 일반적으로 모든 점이 극소점이나 극대점이지 않고 안장점, 변곡점이 존재하듯 곡면 전체의 성질이라고 보기는 어렵다. [9] 곡선을 표현하기 위해 매개변수를 어떻게 설정하여 계산하든지 곡률, 꼬임률 등은 결과값이 똑같이 나온다는 것으로, 이후 내용에서도 굉장히 중요한 논리이다. 계속 문제를 풀고 복습을 해 주면서 체화해야 한다. [10] Minimal Surface라는 개념은 정의만 하고 자세히는 다루지 않는데, 현재에도 연구가 활발히 진행되는 토픽이라 학부 수준에서 다룰 수 있는 개념은 별로 없다. [11] Normal Curvature. 해당 점에서의 접벡터를 법벡터에 사영시켰을 때 나오는 벡터의 크기. [12] Principal Curvature. 법곡률의 최대치와 최소치이다. [13] Asymptotic line. 곡면에서 정의된 곡선으로, 접벡터의 법곡률이 항상 0인 곡선이다. 즉, 접벡터와 법벡터가 항상 수직인 곡선인데, 해당 곡선에서의 접벡터는 항상 접평면에 들어가 있다고 보면 된다. 접평면을 다룰 때 굉장히 중요한 개념. [14] Line of curvature. 법곡률이 항상 해당 점에서의 주곡률이 되는 곡선으로, 기하학이나 응용 분야에서 굉장히 유용한 개념이다. [15] 이전까지는 그냥 미적분만 할 줄 알면 되었지만, 여기부터는 선형대수학이나 미분방정식도 잘 배워 놓아야 그나마 덜 괴롭다. [16] Orientation. [17] Compact. [18] Geodesic. 곡면상에서의 두 점 사이의 최소 거리를 나타내는 곡선으로, 곡면상의 점 사이의 거리인 셈. [19] 원문에도 아래와 같은 문장이 쓰여 있다.
Warning: Many authors write [math(-\tau(s))] instead of our [math(\tau(s))].
여기서 '많은 저자들'은 북반구 교과서를 쓴 사람들을 의미하는 것으로 보인다. [20] 김강태 교수의 시리즈를 출간한 교우사에서는 김강태 교수의 3권에 이어 고려대학교 양성덕 교수의 미분기하강의 3부작으로 기하학연구서 시리즈를 이어가는데, 난감하게도 양성덕 교수의 3부작 중 1권에 해당하는 전체 시리즈의 4편만 출간이 기약없이 늦어지는 중이다. 양성덕 교수의 고대신문 2023년 신년 칼럼에 의하면 1권 후반부의 쌍곡기하학 파트를 저술하면서 어려움이 많은 모양.