【SEOテキスト】宇田雄一「古典物理学」e02の定義:∀n∈N;∀f∈F02,n;∀E∈F3;∀m∈R(2×{1,・・・,n});e02(f,E,m)⇔[∃f'∈F22;【1】and【2】]【1】e22(f',E)【2】∀(ξ,i,3)∈N22;f'(ξ,i,3)=n婆=1
m(i,k)f(ξ,k,3),e04の定義:∀n∈N;∀f∈F04,n;∀m∈R(2×{1,・・・,n});e04(f,m)⇔[∃f'∈F24;【1】and【2】and【3】]【1】e24(f')【2】f'(N3)=f(N3)【3】∀(ξ,i,3)∈N22;f'(ξ,i,3)=n婆=1
m(i,k)f(ξ,k,3),e05の定義:∀n∈N;∀f∈F04,n;∀m∈R(2×{1,・・・,n});e05(f,m)⇔[∃f'∈F24;【1】and【2】and【3】]【1】e25(f')【2】f'(N3)=f(N3)【3】∀(ξ,i,3)∈N22;f'(ξ,i,3)=n婆=1
m(i,k)f(ξ,k,3)ただし、V12,V14は§2-3-Aで定義される。
|