All Questions

Consider the group $U(d_1) \otimes U(d_2)$ of "local unitary" operators acting on the complex space $\mathbb{C}^{d_1} \otimes \mathbb{C}^{d_2}$ (i.e., $U(d_1) \otimes U(d_2)$ is the group of unitary ...

Consider a separable irreducible unitary representation of $U(\mathcal{H})$ in the Hilbert space $V$. Assume that $\mathcal{H}$ is separable. My question is the following: Is it true that all ...