【SEOテキスト】宇田雄一「古典物理学」③∀n∈N;∀f∈F6,n;∀m∈R(2×{1,・・・,n});e6(f(N4,n),f(N5),m)⇔[∀ξ∈N01;∃x∈N01(N01);∃g∈F6,n;∃N⊂{1,・・・,n};∃N'⊂N;∃m'∈R(2×{1,・・・,n});【1】and【2】and【3】and【4】and【5】and【6】]【1】g=[V6,n(x,1,1,1)](f)and[g(N5)がx(ξ)でローレンツ型だ]and(xは一対一上へのだ)【2】∀k∈{1,・・・,n};k∈N⇔ξ(3)=f(ξ({4}),3,k)【3】∀k∈N;【3a】and【3b】【3a】k∈N'⇒[∂4x(ξ)](4)+3∑i=1
∂4f(ξ({4}),i,k)・[∂ix(ξ)](4)<0【3b】k∈N-N'⇒[∂4x(ξ)](4)+3∑i=1 ∂4f(ξ({4}),i,k)・[∂ix(ξ)](4)>0【4】m'(1,□)=m(1,□)and∀k∈{1,・・・,n};【4a】and【4b】【4a】k∈N'⇒m'(2,k)=-m(2,k)【4b】not
k∈N'⇒m'(2,k)=m(2,k)【5】∀k∈N;∀i∈3;e5([x(ξ)]({4}),i,k;g(N2,n),g(N3),m')=0【6】∀i∈3×2∪2×{3};e3(x(ξ),i;g(N3),g(N2,n),m'(2,□))=0また、以下の定理④も成り立つ。④∀n∈N;∀x∈N01(N01);∀f∈F6,n;∀g∈F6,n;∀m∈R({1,・・・,n});【1】⇒【2】【1】g=[V6,n(x,1,1,1)](f)and(xは一対一上へのだ)【2】e7(f(N5),f(N4,n),m)⇔e7(g(N5),g(N4,n),m)
|
