【SEOテキスト】宇田雄一「古典物理学」【2】∀ξ∈N01;not[∃k∈{1,・・・,m};ξ(3)=f(ξ({4}),□,k)]⇒[S(ξ)には、いかなる質点も実在しない][23]∀f∈F3;∀S':時空座標系;∀U':電磁座標系;[h3(f;S',U')によって次の文を表すことにする。∀ξ∈N01;U'(f(ξ,□,□))=[S'(ξ)での電磁場の値]][24]∀f∈F3;∀S':時空座標系;∀U':電磁座標系;∀I':質量座標系;∀J':電荷座標系;[h12(0;S',I',J')and
h3(f;S',U')をh14(f;S',U',I',J')と書くことにする]さらに、∀m∈N;∀f∈F14,m;∀S':時空座標系;∀U':電磁座標系;∀I':質量座標系;∀J':電荷座標系;[h12(f(N12,m);S',I',J')and
h3(f(N3);S',U')をh14(f;S',U',I',J')と書くことにする][25]空欄。[26]{h3(f;S',U')|f∈F3and(S'は時空座標系だ)and(U'は電磁座標系だ)}の元を、電磁場の歴史または単に電磁場と呼ぶことにする。[27]{h14(f;S,U,I,J)|f∈F14}の元を、自然の可変的な部分の歴史と呼ぶことにする。[28]空欄。[29]空欄。[30]空欄。[31]自然の可変的な部分の歴史全体の集合をHと書くことにする。[32]空欄。[33]FをF=F14で定義する。[34]空欄。[35]Mを次式で定義する。M∈H(F)and[∀f∈F;M(f)=h14(f;S,U,I,J)][36]空欄。[37]空欄。[38]∀f∈F;[e14(f)をL(f)とも書くことにする][39]空欄。[40]∀f∈F;[M(f)が可能だ]⇔L(f)[41]空欄。この文章は、[15][24][27][29][30][33][35][38][41]の部分においてのみT12(E;S,U,I,J)と異なる。
|
