Разложение Шмидта

Пусть ${\displaystyle H_{1}}$ и ${\displaystyle H_{2}}$ — гильбертовы пространства от размерностей ${\displaystyle m}$ и ${\displaystyle n}$ соответственно. Предположим ${\displaystyle m\geq n}$. Тогда для любого вектора ${\displaystyle w}$ в тензорном произведении ${\displaystyle H_{1}\otimes H_{2}}$ существуют ортонормированные наборы векторов ${\displaystyle \{u_{1},\ldots ,u_{n}\}\subset H_{1}}$ и ${\displaystyle \{v_{1},\ldots ,v_{n}\}\subset H_{2}}$ такие, что

${\displaystyle w=\sum _{i=1}^{n}\alpha _{i}u_{i}\otimes v_{i},}$

где ${\displaystyle \alpha _{i}}$ вещественные неотрицательные числа. Более того, мультимножество ${\displaystyle \{\alpha _{1},\dots ,\alpha _{n}\}}$, однозначно определяется ${\displaystyle w}$.