【SEOテキスト】宇田雄一「古典物理学」2-3-2対称性の具体例,準備,∀E'∈F3;∀Y'∈F2,n;∀Z'∈F4,n;∀A1∈N01(N01);∀A2∈F3(F3);∀A3∈R+(R+);∀A4∈R(R);A1,A2,A3,A4がいずれも一対一写像ならば、T1(P;Q1,・・・,Qn;Z;S,U,I,J)に以下の変更を施して出来上がった理論をT1(P;Q1,・・・,Qn;Z';S,U,I,J;A1,A2)と名付けることにする。変更点:[18]∀ξ'∈N01;∀P':時空点;[P'=[S(A1)-1](ξ')⇒[ξ'(4)をP'の時刻と呼び、ξ'(3)をP'の空間座標と呼ぶことにする]][27]{h1(P;f';S(A1)-1)|f'∈F1}の元を自然の可変的な部分の歴史と呼ぶことにする。[29][h0(P,Q1,・・・,Qn;S(A1)-1)and
h4(Q1,・・・,Qn;Z';S(A1)-1,U(A2)-1)]を自然の固定的な部分の歴史または環境条件と呼ぶことにする。[35]Mを次式で定義する。M∈H(F)and[∀f'∈F;M(f')=h1(P;f';S(A1)-1)][36]空欄。[37]空欄。[38]∀f'∈F;[L(f')によって次の文を表すことにする。∃f∈F1;∃Z∈F4,n;f'=[V1(A1)](f)and
Z'=[V4,n(A1,A2,1)](Z)and e1(f,Z,[μ(Q1,・・・,Qn,I,J)](1,□),[μ(P,I,J)](□,1))][39]空欄。T2(P1,・・・,Pn;E;S,U,I,J)に以下の変更を施して出来上がった理論をT2(P1,・・・,Pn;E';S,U,I,J;A1,A2)と名付けることにする。変更点:[18]∀ξ'∈N01;∀P':時空点;[P'=[S(A1)-1](ξ')⇒[ξ'(4)をP'の時刻と呼び、ξ'(3)をP'の空間座標と呼ぶことにする]][27]{h2(P1,・・・,Pn;f';S(A1)-1)|f'∈F2,n}の元を自然の可変的な部分の歴史と呼ぶことにする。
|
