미분다양체

미분다양체는 국소적으로 유클리드 공간처럼 보이는 공간으로, 매끄러운 좌표 변환에 의해 서로 연결되어 있어 곡선 공간에서 미적분학을 수행할 수 있는 환경을 제공합니다.

Definition

n차원 미분다양체(매끄러운 다양체)는 n차원 유클리드 공간의 열린 부분집합으로 가는 차트 아틀라스를 갖춘 제2 가산 하우스도르프 위상 공간으로, 그 전이 사상이 무한히 미분 가능합니다.

Scope

이 주제는 매끄러운 전이 사상을 가진 차트 아틀라스를 통해 다양체를 정의하고, 매끄러운 구조를 개발하며, 기본적인 구성 요소인 부분다양체, 다양체로서의 레벨 집합을 제공하는 계수 및 정칙값 정리, 단위 분할, 유클리드 공간으로의 매장(휘트니 매장 정리)을 다룹니다. 또한 위상 구조와 매끄러운 구조의 구별, 이색적인 매끄러운 구조의 놀라운 존재, 그리고 호환 가능한 군 연산을 가진 다양체로서의 리 군을 소개합니다.

Core questions

• 차트와 매끄러운 전이 사상이 어떻게 미적분학을 곡선 공간으로 모호함 없이 옮길 수 있게 하는가?
• 매끄러운 사상의 레벨 집합이 언제 자연스러운 다양체 구조를 가지는가?
• 모든 매끄러운 다양체가 왜 어떤 유클리드 공간에 매장될 수 있는가?
• 단일 위상 다양체가 어떻게 동등하지 않은 매끄러운 구조를 가질 수 있는가?

Key concepts

• 차트, 아틀라스, 매끄러운 전이 사상
• 매끄러운 구조와 부분다양체
• 정칙값 정리와 다양체로서의 레벨 집합
• 단위 분할과 휘트니 매장 정리
• 위상 구조 대 매끄러운 구조 및 이색 다양체

Clinical relevance

다양체는 현대 기하학과 물리학의 보편적인 무대입니다. 역학에서의 배치 공간과 위상 공간, 일반 상대성 이론에서의 시공간, 대칭성에서의 리 군은 모두 다양체이며, 밀너가 밝혀낸 매끄러운 구조의 미묘함은 20세기 위상수학을 재편했습니다.

History

리만(Riemann)의 1854년 다양체 개념은 20세기 초 아틀라스에 의한 정의를 통해 엄밀해졌습니다. 1930년대 휘트니(Whitney)의 매장 정리는 추상적인 이론의 토대를 마련했으며, 1956년 밀너(Milnor)의 이색적인 7-구면 발견은 매끄러운 구조가 위상수학을 넘어선 정보를 담고 있음을 보여주었습니다.

Key figures

• Bernhard Riemann
• Hassler Whitney
• John Milnor

Seminal works

• lee2012
• milnor1956

Frequently asked questions

다양체를 단순히 위상적이지 않고 미분 가능하게 만드는 것은 무엇인가요?

위상 다양체는 유클리드 공간으로의 차트만 필요하지만, 미분다양체는 겹치는 차트 사이의 전이 사상이 매끄러워야 하므로 다양체 위의 매끄러운 함수의 개념이 잘 정의됩니다.

이색 구면이란 무엇인가요?

이색 구면은 표준 구면과 위상동형이지만 미분동형이 아닌 다양체입니다. 밀너가 7-구면에서 이러한 구조를 발견함으로써 매끄러운 구조가 기저 위상에 의해 결정되지 않는다는 것을 보여주었습니다.