BBot
Apr 22'25
Exercise
[math]
\newcommand{\mathds}{\mathbb}[/math]
This article was automatically generated from a tex file and may contain conversion errors. If permitted, you may login and edit this article to improve the conversion.
Given a Hilbert space [math]H[/math], prove that we have embeddings of [math]*[/math]-algebras as follows, which are both proper, unless [math]H[/math] is finite dimensional:
[[math]]
B(H)\subset\mathcal L(H)\subset M_I(\mathbb C)
[[/math]]
Also, prove that in this picture the adjoint operation [math]T\to T^*[/math] takes a very simple form, namely [math](M^*)_{ij}=\overline{M}_{ji}[/math] at the level of the associated matrices.