【SEOテキスト】宇田雄一「古典物理学」[36]h0(P1,・・・,Pn;S^)を自然の固定的な部分の歴史または環境条件と呼ぶことにする。[41]Mを次式で定義する。M∈H(F)and[∀f'∈F;M(f')=h6(P1,・・・,Pn;f';S^,U^,W^)][42]空欄。[43]空欄。[44]∀f'∈F;[L(f')によって次の文を表すことにする。∃f∈F6,n;f'=[V6,n(x,a,b,1)](f)and
e8(f,μ(P1,・・・,Pn;I,J))][45]空欄。座標変換と共変性①T6に対する変換,以下の手順で定まるT,T,V,F,F',Lについては、{MT(f)|f∈F'}⊂HT∩HT⊃{MT(f)|f∈F},F'⊂FT=FT⊃F,MT(F')○V=MT(F),LT(F')○V=LT(F),LT(F')=L(F')が成り立ち、かつTの自然の固定的な部分の歴史とTの自然の固定的な部分の歴史とはh0が絡む部分のみ異なる。VはFからF'の上への一対一写像となる。【手順1】[x∈N01(N01)]and(α∈R+)and(0≠β∈R)and(G∈F5)and(p∈Pn)and(xは一対一上へのだ)and[F+4,n(x)∪F-4,n(x)が空集合でない]という条件を満たす範囲内でx,α,β,pを勝手に定める。【手順2】∀i∈{1,・・・,n};[PiをP'p(i)とも書く]ことにする。G'=[V5(x,β4/α2)](G)とする。【手順3】T=T6(P1,・・・,Pn;G;S,U,W,I,J),T=T6(P'1,・・・,P'n;G';S,U,W,I,J;x,α4/β7,β4/α2),F=F+4,n(x)∪F-4,n(x),V=V4,n(x,α4/β7,p),L=e6(□,G',μ(P'1,・・・,P'n;Iα-1,Jβ-1))とし、さらに、VによるFの像をF'とする。
|
