In mathematics, a Hilbert–Schmidt operator, named after David Hilbert and Erhard Schmidt, is a bounded operator A : H → H {\displaystyle A\colon H\to H} that acts on a Hilbert space H {\displaystyle H} and has finite Hilbert–Schmidt norm
‖ A ‖ HS 2 = def ∑ i ∈ I ‖ A e i ‖ H 2 , {\displaystyle \|A\|_{\operatorname {HS} }^{2}\ {\stackrel {\text{def}}{=}}\ \sum _{i\in I}\|Ae_{i}\|_{H}^{2},}
where { e i : i ∈ I } {\displaystyle \{e_{i}:i\in I\}} is an orthonormal basis. The index set I {\displaystyle I} need not be countable. However, the sum on the right must contain at most countably many non-zero terms, to have meaning. This definition is independent of the choice of the orthonormal basis. In finite-dimensional Euclidean space, the Hilbert–Schmidt norm ‖ ⋅ ‖ HS {\displaystyle \|\cdot \|_{\text{HS}}} is identical to the Frobenius norm.
‖·‖HS is well defined The Hilbert–Schmidt norm does not depend on the choice of orthonormal basis. Indeed, if { e i } i ∈ I {\displaystyle \{e_{i}\}_{i\in I}} and { f j } j ∈ I {\displaystyle \{f_{j}\}_{j\in I}} are such bases, then
∑ i ‖ A e i ‖ 2 = ∑ i , j | ⟨ A e i , f j ⟩ | 2 = ∑ i , j | ⟨ e i , A ∗ f j ⟩ | 2 = ∑ j ‖ A ∗ f j ‖ 2 . {\displaystyle \sum _{i}\|Ae_{i}\|^{2}=\sum _{i,j}\left|\langle Ae_{i},f_{j}\rangle \right|^{2}=\sum _{i,j}\left|\langle e_{i},A^{*}f_{j}\rangle \right|^{2}=\sum _{j}\|A^{*}f_{j}\|^{2}.}
If e i = f i , {\displaystyle e_{i}=f_{i},} then ∑ i ‖ A e i ‖ 2 = ∑ i ‖ A ∗ e i ‖ 2 . {\textstyle \sum _{i}\|Ae_{i}\|^{2}=\sum _{i}\|A^{*}e_{i}\|^{2}.} As for any bounded operator, A = A ∗ ∗ . {\displaystyle A=A^{**}.} Replacing A {\displaystyle A} with A ∗ {\displaystyle A^{*}} in the first formula, obtain ∑ i ‖ A ∗ e i ‖ 2 = ∑ j ‖ A f j ‖ 2 . {\textstyle \sum _{i}\|A^{*}e_{i}\|^{2}=\sum _{j}\|Af_{j}\|^{2}.} The independence follows.
… excerpt ends here. Continue reading the full article.
