The algebra of compact operators

[8/0%]
LaTeX

Prove that if VV is a separable Hilbert space, then C(V)\mathcal{C}(V), the Banach space of compact operators on VV, is separable.

?

If A∈B(H)A \in \mathcal{B}(\mathcal{H}) and AT=TAAT=TA for every compact operator TT, show that AA is a multiple of the identity operator.

?

If H\mathcal{H} is a Hilbert space, show that B0(H)\mathcal{B}_0(\mathcal{H}) has an approximate identity.

?

If H\mathcal{H} is a Hilbert space and PP is a projection, show that B0(H)P\mathcal{B}_0(\mathcal{H})P is a closed modular left ideal of B0(H)\mathcal{B}_0(\mathcal{H}). What is the associated right modular unit?

?

Find the minimal closed proper left ideals of B0(H)\mathcal{B}_0(\mathcal{H}), H\mathcal{H} a Hilbert space. How about for B0(X)\mathcal{B}_0(\mathcal{X}), X\mathcal{X} a Banach space?

?

What are the maximal modular left ideals of B0(H)\mathcal{B}_0(\mathcal{H}), H\mathcal{H} a Hilbert space?

?

If A=C+B0(H)\mathcal{A} = \mathbb {C} + \mathcal{B}_0(\mathcal{H}) and π:A→B(H)\pi : \mathcal{A} \to \mathcal{B}(\mathcal{H}) is the identity representation, show that π(α)\pi^{(\alpha )} is a cyclic representation.

?

Show that the set of operators in GL(E)\mathrm{GL}(E) comprising operators that are linear compact perturbations of the identity is a subgroup of GL⁡(E)\operatorname {GL}(E). It is denoted by GLc⁡(E)\operatorname {GLc}(E).

?

References

[Axl19] Axler S. Measure, Integration & Real Analysis. 3rd ed., Springer, 2019.
[Con07] Conway J.B. A Course in Functional Analysis. 2nd ed., Springer, 2007.
[RoFi23] Royden H.L., Fitzpatrick P.M. Real Analysis. 5th ed., Pearson, 2023.