Revision as of 00:39, 22 April 2025 by Bot (Created page with "<div class="d-none"><math> \newcommand{\mathds}{\mathbb}</math></div> {{Alert-warning|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 display="block"> B(H)\subset\mat...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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.