$i_1,\cdots,i_n,j_1,\cdots,j_n \in \{0,1\}$ の時、$$ \begin{align*} \ket{i_1}\bra{j_1} \otimes \cdots \otimes \ket{i_n}\bra{j_n} = \ket{i_1\cdots i_n}\bra{j_1\cdots j_n} \end{align*} $$を示したい。 つまりケットブラで作れる “行列単位” は $\…