次のページ
前のページ
目次
CAN-5-1-30
補足説明をここに書く予定です
【SEOテキスト】宇田雄一06.7.26,×|xε(π(1)),s;xε(π(2)),sε(π(2));・・・・・・;xε(π(n)),sε(π(n))>=(sgnε)h/2(n-1)!ΣπΣssgn(επ)[σj]3/2-s,3/2-s(επ(1))×|xεπ(1),s;xεπ(2),sεπ(2);・・・;xεπ(n),sεπ(n)>=(sgnε)S+j|x1,s1;・・・;xn,sn>,<x1,s1;・・・;xn,sn|S+j†=h/2(n-1)!ΣπΣs(sgnπ)[σj]3/2-s,3/2-s(π(1))×<xπ(1),s;xπ(2),sπ(2);・・・;xπ(n),sπ(n)|これとσj=(σj)tおよびCAN-5-1-30(iv)より、<x1,s1;・・・;xn,sn|S+j†|x'1,s'1;・・・;x'n,s'n>=h/2(n-1)!ΣεΣπΣs(sgnε)(sgnπ)[σj]3/2-s(π(1)),3/2-s×<xπ(1),s|x'ε(1),s'ε(1)>×<xπ(2),sπ(2)|x'ε(2),s'ε(2)>×・・・・・・×<xπ(n),sπ(n)|x'ε(n),s'ε(2)>=h/2(n-1)!ΣεΣπ(sgnε)(sgnπ)[σj]3/2-s(π(1)),3/2-s'(ε(1))×<xπ(1),s'ε(1)|x'ε(1),s'ε(1)>×<xπ(2),sπ(2)|x'ε(2),s'ε(2)>×・・・・・・×<xπ(n),sπ(n)|x'ε(n),s'ε(n)>=h/2(n-1)!ΣεΣπΣs(sgnε)(sgnπ)[σj]3/2-s,3/2-s'(ε(1))×<xπ(1),sπ(1)|x'ε(1),s>×<xπ(2),sπ(2)|x'ε(2),s'ε(2)>×・・・・・・×<xπ(n),sπ(n)|x'ε(n),s'ε(n)>=<x1,s1;・・・;xn,sn|S+j|x'1,s'1;・・・;x'n,s'n>∵<xπ(1),s'ε(1)|x'ε(1),s'ε(1)>=<xπ(1),sπ(1)|x'ε(1),sπ(1)>