【SEOテキスト】宇田雄一「古典物理学」の意味だ。x(t),0,t,t,ローレンツ変換,定理②,x'(t),0,t',t,定理①②と方程式∀(t,i,k)∈N2,n;e5(t,i,k;□,□,m)=0のローレンツ変換に対する共変性、および以下の定理③を参考にして、定理④が導かれる。③∀n∈N;∀f∈F4,n;∀m∈R(2×{1,・・・,n});[∀(t,i,k)∈N2,n;e5(t,i,k;f(N2,n),f(N3),m)=0]⇒∀t∈R({4});|∂4f(t,□,k)|<1④∀n∈N;∀f∈F4,n;∀m∈R(2×{1,・・・,n});【1】⇔【2】【1】∀(t,i,k)∈N2,n;e5(t,i,k;f(N2,n),f(N3),m)=0【2】∀k∈{1,・・・,n};∀t∈R({4});∃Λ∈L↑+;∃t'∈R({4});∃f'∈F4,n;【2a】and【2b】and【2c】【2a】∃ξ∈N01;ξ(3)=f(t,□,k)and
ξ(4)=t(4)and[[lor(Λ)](ξ)](4)=t'(4)【2b】f'=[V4,n(lor(Λ),col(Λ),1)](f)and
∂4f'(t',□,k)=0【2c】∀r∈N;∀Z∈F4,r;Z(N3)=f'(N3)⇒∀i∈3;e1(t,i;f'(N1,k),Z,0,m(□,k))=0また、§2-3-2の共変性のところで述べたことの繰り返しになるが、以下の定理⑤も成り立つ事を、ここで思い出しておくのが良い。
|
