선대에서 quadratic form이랑 bilinear form 동치 증명하는거랑 똑같이, 1/2(|x+y|^2 -|x|^2 - |y|^2) 이 내적이 돼서 보존함
집가서해보겠음
이거 해봤는데 F(x+y)=F(x)+F(y)가 증명되야할꺼 같은데 맞음?
아니다 알려준 방법은 아니지만 다른 방법으로 해결했음
G 는 translation( + p0 ) 와 rotation( F(p) ) 임을 보이란 애기 아님? 그거 미기책에 다 있을텐데.
연습문제잖아그게
inner product 는 임의의 점 p에 대해. v,w in TpM 에 대해 (v,w) = (dF(v), dF(w)) at F(p) 를 보이면 됨. F 가 rotation, reflection등 linear map 이므로 F = DF.
내가말한걸 증명해야 linear인게 밝혀지는 증명구조를 따르고있음 고로 linear 는 사용할수없다
선대에서 quadratic form이랑 bilinear form 동치 증명하는거랑 똑같이, 1/2(|x+y|^2 -|x|^2 - |y|^2) 이 내적이 돼서 보존함
집가서해보겠음
이거 해봤는데 F(x+y)=F(x)+F(y)가 증명되야할꺼 같은데 맞음?
아니다 알려준 방법은 아니지만 다른 방법으로 해결했음
G 는 translation( + p0 ) 와 rotation( F(p) ) 임을 보이란 애기 아님? 그거 미기책에 다 있을텐데.
연습문제잖아그게
inner product 는 임의의 점 p에 대해. v,w in TpM 에 대해 (v,w) = (dF(v), dF(w)) at F(p) 를 보이면 됨. F 가 rotation, reflection등 linear map 이므로 F = DF.
내가말한걸 증명해야 linear인게 밝혀지는 증명구조를 따르고있음 고로 linear 는 사용할수없다