6
votes
2answers
436 views

Structure theorem for finite dimensional $C^*$-algebras and their representations

I would like a source for some Artin-Wedderburn type facts about these algebras which seem to have easy proofs, and are probably written somewhere. Let $\mathcal{A} \subset M_n(\mathbb{C})$ be an ...
12
votes
0answers
318 views

Noncommutative arithmetic mean geometric mean inequality and symmetric polynomials

While analyzing convergence speed of stochastic-gradient methods for convex optimization problems, Recht et al (2011) posed a tantalizing conjecture. It seems quite tricky, so after having struggled a ...
4
votes
3answers
628 views

Set of invertible operators in B(H) is connected. Is it true? Is there a reference?

Suppose $H$ is a Hilbert space, $B(H)$ is the algebra of bounded linear operators on it, $K(H)$ is ideal of compact operators in $B(H)$, $Inv(B(H)/K(H))$ is the topological group of invertible ...
3
votes
2answers
754 views

Spectral decomposition for an arbitrary linear combination of position and momentum operators

Suppose we have the Hilbert space L2(Rn) and we have n operators Qi and n operators Pi defined in the usual way by: Qi ψ(q1,q2,...,qn) = qi ψ(q1,q2,...,qn) Pi ψ(q1,q2,...,qn) = -i ...
11
votes
1answer
633 views

Gelfand-Naimark from the category-theoretic point of view

I was thinking about the Gelfand-Naimark theorem asserting the isometric * isomorphism between a commutative C* algebra (with unit) A and the C* algebra of continuous complex-valued functions on its ...
2
votes
3answers
1k views

Various Cartan's Lemmata

I am a bit amazed by "Cartan's Lemma".. I have so far seen it in : Algebraic Geometry sources: Look at Proposition 2.9 of Freitag and Kiehl's √Čtale Cohomology where he used √©tale morphism to describe ...