【SEOテキスト】宇田雄一「古典物理学」[29][h0(P1,・・・,Pn;S(A1)-1)and h3(E';S(A1)-1,U(A2)-1)]を自然の固定的な部分の歴史または環境条件と呼ぶことにする。[35]Mを次式で定義する。M∈H(F)and[∀f'∈F;M(f')=h2(P1,・・・,Pn;f';S(A1)-1)][36]空欄。[37]空欄。[38]∀f'∈F;[L(f')によって次の文を表すことにする。∃f∈F2,n;∃E∈F3;f'=[V2,n(A1,1)](f)and
E'=[V3(A1,A2)](E)and e2(f,E,μ(P1,・・・,Pn,I,J))][39]空欄。T3(Q1,・・・,Qn;Y;S,U,J)に以下の変更を施して出来上がった理論をT3(Q1,・・・,Qn;Y';S,U,J;A1,A2)と名付けることにする。変更点:[18]∀ξ'∈N01;∀P':時空点;[P'=[S(A1)-1](ξ')⇒[ξ'(4)をP'の時刻と呼び、ξ'(3)をP'の空間座標と呼ぶことにする]][27]{h3(f';S(A1)-1,U(A2)-1)|f'∈F3}の元を自然の可変的な部分の歴史と呼ぶことにする。[29][h0(Q1,・・・,Qn;S(A1)-1)and
h2(Q1,・・・,Qn;Y';S(A1)-1)]を自然の固定的な部分の歴史または環境条件と呼ぶことにする。[35]Mを次式で定義する。M∈H(F)and[∀f'∈F;M(f')=h3(f';S(A1)-1,U(A2)-1)][36]空欄。[37]空欄。[38]∀f'∈F;[L(f')によって次の文を表すことにする。∃f∈F3;∃Y∈F2,n;f'=[V3(A1,A2)](f)and
Y'=[V2,n(A1,1)](Y)and e3(f,Y,ν(Q1,・・・,Qn,J))][39]空欄。T4(P1,・・・,Pn;S,U,I,J)に以下の変更を施して出来上がった理論をT4(P1,・・・,Pn;S,U,I,J;A1,A2)と名付けることにする。変更点:[18]∀ξ'∈N01;∀P':時空点;[P'=[S(A1)-1](ξ')⇒[ξ'(4)をP'の時刻と呼び、ξ'(3)をP'の空間座標と呼ぶことにする]][27]{h4(P1,・・・,Pn;f';S(A1)-1,U(A2)-1)|f'∈F4,n}の元を自然の可変的な部分の歴史と呼ぶことにする。[29]h0(P1,・・・,Pn;S(A1)-1)を自然の固定的な部分の歴史または環境条件と呼ぶことにする。
|
