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.