【SEOテキスト】宇田雄一「古典物理学」T14(S,U,I,J)に以下の変更を施して出来上がった理論をT14(S,U,I,J;A1,A2,A3,A4)と名付けることにする。変更点:[18]∀ξ'∈N01;∀P':時空点;[P'=[S(A1)-1](ξ')⇒[ξ'(4)をP'の時刻と呼び、ξ'(3)をP'の空間座標と呼ぶことにする]][27]{h14(f';S(A1)-1,U(A2)-1,I(A3)-1,J(A4)-1)|f'∈F14}の元を自然の可変的な部分の歴史と呼ぶことにする。[35]Mを次式で定義する。M∈H(F)and[∀f'∈F;M(f')=h14(f';S(A1)-1,U(A2)-1,I(A3)-1,J(A4)-1)][38]∀f'∈F;[L(f')によって次の文を表すことにする。∃f∈F14;f'=[V14(A1,A2,A3,A4,1)](f)and
e14(f)]T15(S,U,I,J)に以下の変更を施して出来上がった理論をT15(S,U,I,J;A1,A2,A3,A4)と名付けることにする。変更点:[18]∀ξ'∈N01;∀P':時空点;[P'=[S(A1)-1](ξ')⇒[ξ'(4)をP'の時刻と呼び、ξ'(3)をP'の空間座標と呼ぶことにする]][27]{h14(f';S(A1)-1,U(A2)-1,I(A3)-1,J(A4)-1)|f'∈F14}の元を自然の可変的な部分の歴史と呼ぶことにする。[35]Mを次式で定義する。M∈H(F)and[∀f'∈F;M(f')=h14(f';S(A1)-1,U(A2)-1,I(A3)-1,J(A4)-1)][38]∀f'∈F;[L(f')によって次の文を表すことにする。∃f∈F14;f'=[V14(A1,A2,A3,A4,1)](f)and
e15(f)]T02(P1,・・・,Pn;E;S,U,I,J)に以下の変更を施して出来上がった理論をT02(P1,・・・,Pn;E';S,U,I,J;A1,A2)と名付けることにする。変更点:[18]∀ξ'∈N01;∀P':時空点;[P'=[S(A1)-1](ξ')⇒[ξ'(4)をP'の時刻と呼び、ξ'(3)をP'の空間座標と呼ぶことにする]][27]{h02(P1,・・・,Pn;f';S(A1)-1)|f'∈F02,n}の元を自然の可変的な部分の歴史と呼ぶことにする。[29][h0(P1,・・・,Pn)and
h3(E';S(A1)-1,U(A2)-1)]を自然の固定的な部分の歴史または環境条件と呼ぶことにする。[35]Mを次式で定義する。M∈H(F)and[∀f'∈F;M(f')=h02(P1,・・・,Pn;f';S(A1)-1)]
|
