내가 읽은 자료에서의 tangent space 정의는 manifold S, 함수 f:S->R, 방향 v에 대해서 f의 directional derivative가
사실 v와 partial variable differential operator의 linear combination에 f를 input으로 주는거로 볼 수 있고
여기서 v랑 operator가 span하는 vector space가 tangent space라고 함
해당 정의에 따르면 basis는 각각의 operator 이고 얘내를 도함수값으로 가지는 curve는
chart : S -> Rn 에서 치역이 Rn의 한축에 평행한 애들임 (v=(1,0,0,...) 이런애들이니까)
질문: chart의 역상을 이용해서 생각한 curve (on S)의 접선을 접평면의 기저처럼 생각할 수 있다는데
chart가 linear map이 아니라서 Rn에서의 standard basis가 그대로 basis로 보존될거란 보장이 없지 않음?
그냥 말 그대로 "상상"만 할 수 있다는거임?
걍 쉽게 설명하면 이 사진에서 e1, e2 이런애들이 오른쪽 점선의 역상 curve의 기울기라는데 e1, e2 이런애들이 linearly dependent 할수있지않음?
e1이랑 e2가 dependent면 chart가 diffeomorphism일 수 없음
다변수미적분학에 의해?
1-1 만으로는 basis 보존이 안되지않나 어케함
https://math.stackexchange.com/questions/3904315/why-has-a-diffeomorphism-full-rank
정의역 공역 차원이 같고 유한하니까 1-1이면 isomorphism까지 되지
phi가 linear가 아닐수도 있는거아님?
phi가 아니라 phi의 differential을 봐야 tangent vector를 tangent vector로 보내지
내가보는책은 differential을 아직 정의하지않았는데 다른방법은 없음?
당연히 안되지 phi는 곡면 위에서 정의된 함수고 tangent vector는 접평면 위에 사는 친구인데 phi가 tangent vector를 어케 옮김