next up previous
: 《最高ウエイトベクトル》の存在 : 環 の -表現 : の正値性の確認

有界性

$\displaystyle \sum e_{ii}=R , e_{ij}e_{ij}^* =e_{ii}(1+e_{jj})
$

という関係式から、 $ e_{ii},e_{ij}$ という作用素が全て有界であることがわかる。



平成16年8月24日