【SEOテキスト】宇田雄一「古典物理学」【手順3】T=T8(P1,・・・,Pn;S,U,W,I,J),T=T8(P'1,・・・,P'n;S,U,W,I,J;x,β/α4,α2),F=F+6,n(x)∪F-6,n(x),V=V6,n(x,β/α4,α2,p),L=e8(□,μ(P'1,・・・,P'n;Iα-1,Jβ-1))とし、さらに、VによるFの像をF'とする。不変性④以下の手順で定まるT,T,F'についてはLT(F')=LT(F')が成り立つ。【手順1】[x∈N01(N01)]and(p∈Pn)and[【式2-15】or(p=1)]and(xは一対一上へのである)and[F+6,n(x)∪F-6,n(x)が空集合でない]という条件を満たす範囲内でx,pを勝手に定める。【手順2】∀i∈{1,・・・,n};[PiをP'p(i)とも書く]ことにする。【手順3】T=T8(P1,・・・,Pn;S,U,W,I,J),T=T8(P'1,・・・,P'n;S,U,W,I,J;x,1,1),V=V6,n(x,1,1,p)とし、さらに、VによるF+6,n(x)∪F-6,n(x)の像をF'とする。固有変換群⑤T8(【式2-16】)においては、G6,n(8)⊂Vが成り立ち、T8(【式2-15】)においては、G6,n(8)⊂Vが成り立つ。
|
