미분다양체 M 을,

국소적으로 R^n 과 동형이고, C^infty 어쩌고저쩌고 조건을 붙이잖아.


문득 궁금한게 저 real feal 가 임의의 체 F 고,

특수한 성질을 만족시키는 체의 부분집합 U_1, U_2 가 존재하고

특정한 거리함수와 노름 등 이 정의될 때로.


R^n 조건이 U_1 times U_2 ... times U_n 조건으로 된

C^k , 또는 미분다양체를 정의할 수 있음?


상대성이론 공부하다가 든 생각인데

가령 저 노름은 유클리드 노름이 아니라, -dt^n + dx^n 으로 정의되는 노름일 수 있고

C times R 공간, 즉 가령 로런츠 변환의 편의성을 위해 시간축을 복소수로 정의한 경우가 있잔아