Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I read the definition of $C^*$ algebra in Wikipedia where it says $\|x^* x \| = \|x\|\|x^*\|$ is equivalent to $\|xx^*\| = \|x\|^2$ but I do not know why. Can you show me how to derive $\|xx^*\| = \|x\|^2$ from $\|x^* x \| = \|x\|\|x^*\|$?

share|cite|improve this question
up vote 1 down vote accepted

You can take a look at this book by Doran and Belfi. The proof you are looking for takes most of chapter 3, some 15+ pages. Unfortunately, not all of it is shown in Google Books.

On a brief historical note, the question you are asking was asked by Gelfand and Naimark in 1943. Glimm and Kadison proved it for unital algebras in 1960, using deep results. The non-unital case is from the 1970s.

share|cite|improve this answer

For one direction, if we start by assuming $\|xx^*\| = \|x\|^2$ then as $C^*$-algebras are Banach algebras we get $ \|x\|^2 = \|xx^*\| \le \|x\|\|x^*\|$ so that $\|x\| \le \|x^*\|$. Then $\|x\| \le \|x^*\| \le \| (x^*)^*\| = \|x\|$ so that $\|x\| = \|x^*\|$. It then follows that $\|xx^*\| = \|x\|^2 = \|x\|\|x^*\|$.

The other direction is a fair bit tricker and I'm trying to remember how it goes.

share|cite|improve this answer
Thanks! "The other direction is nontrivial" as wikipedia says. I will appreciate your full answer! – Eden Harder Mar 25 '14 at 9:13

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.