【SEOテキスト】宇田雄一「古典物理学」[32]NをN=N1で定義する。[33]FをF=R(N)で定義する。[34]F=F1[35]Mを次式で定義する。M∈H(F)and[∀f∈F;M(f)=h1(P;f;S)][36]N'をN'=N1で定義する。[37]∀(t,i)∈N';[Ψ(t,i)を次式で定義する。Ψ(t,i)∈R(F)and∀f∈F;Ψ(t,i)(f)=e1(t,i;f,Z,[μ(Q1,・・・,Qn;I,J)](1,□),[μ(P;I,J)](□,1))][38]∀f∈F;[L(f)によって次の文を表すことにする。∀i∈N';Ψi(f)=0][39]∀f∈F;L(f)⇔e1(f,Z,[μ(Q1,・・・,Qn;I,J)](1,□),[μ(P;I,J)](□,1))[40]∀f∈F;[M(f)が可能だ]⇔L(f)[41]環境条件は真だ。この理論の適用例としてヴォイジャーを挙げることが出来よう。太陽系の惑星の運動と太陽の運動を固定的と考えて、それらからヴォイジャーの運動がどのような影響を受けるかが、この理論から分かる。その影響は万有引力と呼ばれている。すなわち、T1(P;Q1,・・・,Qn;Z;S,U,I,J)は万有引力の説明を含んでいる。Q1,・・・,Qnが太陽とその惑星であり、Pがヴォイジャーだと考えればよい。ただし、これは厳密な適用例にはなっていない。その最大の理由は、太陽も惑星もボイジャーも厳密な意味での質点ではないことだ。
|
