学年

教科

質問の種類

数学 大学生・専門学校生・社会人

2つの平面曲線A,Bの曲率が同じであれば、BはAを適当に回転&並進することで得られる、という命題の証明なんですけど、式2-37がどのような理屈で出てきたのかが分かりません。 分かっている事は以下の通りです。 ・曲線が全てのパラメータで一致するには、そのパラメータにおける曲... 続きを読む

$2. 平面曲線 9 さて,逆に2つの曲線 p(s) と 戸(s) の曲率 r(s) と r(s) が等しいなら ば,戸はpから回転と平行移動によって得られることを証明しよう。その ために,まず,適当な回転と平行移動で,1つのパラメーター値 so におい て, (2.33) p(so) = p(so), e₁(So) = ē1(So) (したがって, ez(so)=e2(so)) となるようにする. 曲線pと戸を点の運動 と考えたとき,出発時 so において, p と 戸の位置および速度ベクトルが一 致するようにしておくわけである. このような状態のとき p(s)=(s) が すべてのsに対して成り立つことを示せばよいわけである。 まずベクトル el, ez, el, ez の成分をそれぞれ e₁ = (§11, §12), e2 = (§21, 22), (2.34) ē₁ = (§11, 12), ē2 = (§21, 22) と表して、2つの行列 11 12 §11 12 (2.35) X = X = €21 21 22 を考える.eとeは直交している単位ベクトルであるから, Xは直交行 列,同様にXも直交行列である. p (so) = (so) であるから p(s) = n(s) を証明するためには, p(s) - 戸(s) がsによらない定ベクトルであること, すなわち (2.36) d - (p(s) — p(s)) = 0 ds を示せばよいわけである。 (2.36) の左辺は er(s) er(s) であるから ku(s) = n(s) 512(s)=E12(s) を証明すればよいのであるが,そのため に (2.37) (§11 — §11)² + (§21 - 21)² = 0, (§12 — §12)² + (§22 — § 22)² = 0 となることを証明する。ここで (Sun)+ (512-12)2 を考えないで (2,37) を考えるところが証明の要点といえる。

未解決 回答数: 1
数学 大学生・専門学校生・社会人

多様体の接空間に関する基底定理の証明です。g(q)=∫〜と定義した関数を微積分学の基本定理を用いながら変形してg(q)=g(0)+∑gᵢuⁱと導出するのですが、これがうまくいきません。 自分は、g(q)の式をまず両辺tで微分して、次に両辺uⁱで積分して、最後に両辺tで積分... 続きを読む

12. Theorem.If{ = (x', , x") is a coordinate system in M at p, then its coordinate vectors d, lp, …… 0,l, forma basis for the tangent space T,(M); and D= E(x) 。 i=1 for all ve T(M). Proof. By the preceding remarks we can work solely on the coordinate neighborhood of G. Since u(c) = Othere is no loss of generality in assuming ど(p) = 0eR". Shrinking W if necessary gives E(W) = {qe R":|q| < } for some 8. Ifg is a smooth function on E(W) then for each 1 <isndefine og (tq) dt du g(9) = for all qe {(W). It follows using the fundamental theorem of calculus that g= g(0) + E&,u' on (W). Thus if fe &(M), setting g = f。' yields f= f(P) + Ex on U. Applying d/ax' gives f(p) = (f /0x)(P). Thus applying the tangent vector e to the formula gives (f) = 0+ E(x'(p) + E Ap)u(x) = E(Px). ず ax Since this holds for all f e &(M), the tangent vectors v and Z Ux') d,l, are equal. It remains to show that the coordinate vectors are linearly independent. But if ) a, o.l, = 0, then application to x' yields dxi 0=24 (P) = 2q d」= 4. In particular the (vector space) dimension of T,(M) is the same as the dimension of M.

未解決 回答数: 1
1/5