【SEOテキスト】宇田雄一「古典物理学」②T7に対する変換,以下の手順で定まるT,T,V,Lについては、HT=HT,FT=FT,MTV=MT,LTV=LT,LT=Lが成り立ち、かつTの自然の固定的な部分の歴史とTの自然の固定的な部分の歴史とは同じだ。VはFTからFTの上への一対一写像になっている。【手順1】[x∈N01(N01)]and[Z∈F+4,n(x)∪F-4,n(x)]and(α∈R+)and(xは一対一上へのだ)という条件を満たす範囲内でx,α,Zを勝手に定める。【手順2】∀i∈{1,・・・,n};[PiをP'p(i)とも書く]ことにする。Z'=[V4,n(x,1/α3,1)](Z)とする。【手順3】T=T7(Q1,・・・,Qn;Z;S,U,W,I),T=T7(Q1,・・・,Qn;Z';S,U,W,I;x,1/α3,α2),V=V5(x,α2),L=e7(□,Z',ρ(Q1,・・・,Qn;Iα-1))とする。③T8に対する変換,以下の手順で定まる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(β∈R)and(p∈Pn)and(α=|β|)and(xは一対一上へのだ)and[F+6,n(x)∪F-6,n(x)が空集合でない]という条件を満たす範囲内でx,α,β,pを勝手に定める。【手順2】∀i∈{1,・・・,n};[PiをP'p(i)とも書く]ことにする。
|
