有界性

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

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