>>15
そうやって考えたことないから分からんが、そうやるなら
1 1
1 1

じゃなくて

|e0>直積|e0>　|e0>直積|e1>
|e1>直積|e0>　|e1>直積|e1>

じゃないか？
つまり、右辺は各要素が(ベクトルとベクトルの直積で作られた)行列になっている行列のはず