【SEOテキスト】宇田雄一「古典物理学」⑤∀n∈N;∀f,f'∈F4,n;∀q∈R({1,・・・,n});∀Λ∈L↑+;f'=[V4,n(lor(Λ),col(Λ),1)](f)⇒[e3(f(N3),f(N2,n),q)⇔e3(f'(N3),f'(N2,n),q)]定理④の意味するところは、x∈R(R)に例えられるF2,nの元が∀(t,i,k)∈N2,n;e5(t,i,k;□,f(N3),m)=0の解になっているかどうかを確かめるためには、xのグラフ上のすべての点に対して、まず定理②の説明で述べたようなローレンツ変換x→x'を考え、その後定理①の説明で述べたようなe1(□,Z,0,m)の解に例えられるR(R)の元とx'との比較を行えばよい、と言うことだ。ただし、Z(N3)=f'(N3)≠f(N3)さて、定理④⑤が成り立つおかげで、T5(P1,・・・,Pn;S,U,I,J)に以下の文章⑥を自明文として付け加えることが出来る。⑥∀h∈H;【1】⇔【2】【1】hが可能だ。【2】∀f∈F4,n;∀Λ∈L↑+;【2a】⇒[【2b】and【2c】]【2a】h=h4(P1,・・・,Pn;f,S○lor(Λ),U○col(Λ))【2b】e3(f(N3),f(N2,n),[μ(P1,・・・,Pn;I,J)](2,□))【2c】∀t∈R({4});∀k∈{1,・・・,n};【2c1】⇒【2c2】【2c1】∂4f(t,□,k)=0【2c2】∀r∈N;∀Z∈F4,r;Z(N3)=f(N3)⇒∀i∈3;e1(t,i;f(N1,k),Z,0,[μ(P1,・・・,Pn;I,J)](□,k))=0この文の意味を説明するために、またしてもたとえ話をすることにする。鉛直上方に投げ上げられたボールの運動を考えてみよう。このボールは減速を続け、やがて静止し、その後加速しながら落下する。このボールの運動について、私たちが良く知っている法則は「ボールの加速度の大きさは一定値9.8m/s2をとる」というものだ。ある瞬間のボールの加速度の大きさとは、
|
