# How to prove compactness of matrix convex sets?

I am reading a paper - "the Krein Milman theorem in Operator Convexity"; and the third section there deals with compact matrix convex sets. The first example there states that the matrix interval $[a\mathbb{I},b\mathbb{I}]$ is a compact matrix convex set in $\mathbb{C}$, the complex space. But proving this specifically is troubling me. For example how do I prove that $[aI_2, bI_2]$ is compact in $\mathbb{M}_2(\mathbb{C})$? It will suffice only to provide a hint or a reference to a theorem.

The link to the paper is http://www.jstor.org/stable/10.2307/117899

-
Welcome to Math.SE! Excellent reference link. Unfortunately I cannot help you here. – magma Mar 4 '12 at 10:32

For compactness: topologically, you can see $M_2(\mathbb{C})$ as $\mathbb{C}^4$. This means that convergence in the operator norm in $M_2(\mathbb{C})$ is simply convergence in coordinates, and it implies that Heine-Borel holds; so all you need to show is closedness. If you have a Cauchy sequence in $[a\mathbb{I},b\mathbb{I}]$, a limit matrix will exist because in each entry you will have a Cauchy sequence of complex numbers. Moreover, since the characteristic polynomial's entries depend continuously on the entries of the matrix, the characteristic polynomial of the limit will be limit of the characteristic polynomials of the sequence, which shows that the limit will again be in $[a\mathbb{I},b\mathbb{I}]$. So the interval is compact.
Convexity: the interval $[a\mathbb{I},b\mathbb{I}]$ can be characterized as those hermitian matrices $A$ such that $$a\,x^Tx\leq x^TAx\leq b\,x^Tx,\ \ x\in\mathbb{C}^2.$$ So, if $A,B\in[a\mathbb{I},b\mathbb{I}]$, $\gamma\in[0,1]$, $$a\,x^Tx=\gamma\,a\,x^Tx+(1-\gamma)a\,x^Tx\leq\gamma\,x^TAx+(1-\gamma)x^TBx=x^T(\gamma A+(1-\gamma)B)x ;$$ similarly, we obtain $$x^T(\gamma A+(1-\gamma)B)x \leq b\,x^Tx.$$
Thank you. Basically the idea we have to use is that on finite dimensional spaces, any two norms are equivalent. On a similar question, the matrix range $W_n(T)=\{\phi(T):\phi:\mathfrak{B}(H)\rightarrow \mathbb{M}_n \; completely \; positive \; and \; \phi(I)=I_n\}$ is also compact in $\mathbb{M}_n$. So in this case I need to worry about sequence of completely positive maps. Right? – Nirakar Neo Mar 4 '12 at 12:25