미분동형사상: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
3번째 줄:
== 정의 ==
[[미분다양체]] <math>M,N</math> 사이의 '''미분동형사상''' <math>\phi\colon M\to N</math>은 다음을 만족하는 <math>M\to N</math> 위상동형사상이다.
{{인용문|각 <math>x\in M</math>에 대하여, <math>x\in M</math> 주위에 국소적 좌표를 잡고, <math>\phi(x)\in N</math> 주위에 국소적 좌표를 잡자. 그렇다면 <math>\phi</math>는 국소적으로 <math>\tilde\phi\colon U\subset\mathbb R^n\to V\subset\mathbb R^n</math>의 꼴로 나타내어진다. 이 때, <math>\tilde\phi</math>는 (유클리드 공간에서의 정의로) 미분가능하여야 하고, 또 그 역 <math>\tilde\phi^{-1}\colon\tilde\phi(U)\to U</math>가 존재하고, 또 <math>\tilde\phi^{-1}</math>도 미분 가능해야 한다.}}
 
위에서, 미분 가능성 대신, 더 엄격한 <math>C^n</math> 매끈함을 요구할 수도 있다. 이는 ''' ''C<sup>n</sup>'' 미분동형사상'''이라고 부른다.