プリズム

数理的アプローチ


Tau(12jNdj;d)=12d

投稿日時:

最終更新日時:

タグ:

(証明)

N={1,,n},d=(d1,,dn),E=12jNdjとおく。また、d1=max{d1,,dn}となるようにdj(jN)を並べ替えておく。

n=1の時、Tau(E;d)=12dは明らかに成立する。

n2の時を考察する。dj>0(jN)2E=jNdj より、dj<E(j{2,,n})である。従って、d=(d1,,dn),dj=min{E,dj}(jN)とおけば、d=(min{E,d1},d2,,dn)となる。E=12jNdjとおけば、Prop(E,d)=EE12dとなる。ここで、EEであるので、Propj(E,d)12dj(j{2,,n})である。

ゆえに、Tau(E;d)=(E12j{2,,n}dj,12d2,,12dn)=12dとなる。(証明終わり)