Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I have a simple question. Is the inner product $\langle x | z\rangle$ always real or does this hold only for an inner product with itself $\langle x | x \rangle$?

share|improve this question
    
$(x,z) \mapsto \overline{x} z$ (possibly conjugate, depending on how you like your inner product) is an inner product on $\mathbb{C}$. Hence it is not necessarily real. –  copper.hat May 20 '13 at 14:49

2 Answers 2

In real vector spaces, both are real, and the latter is also positive.

In complex vector spaces, the first can be anything (e.g. $\left< x|(i | x\right>)$, but the latter is still real and positive.

share|improve this answer

Hint: Any inner product $\langle {-} | {-} \rangle$ on a complex vector space satisfies $\langle \lambda x | y \rangle = \lambda \langle x | y \rangle$ for all $\lambda \in \mathbb{C}$.

You're right in saying that $\langle x|x \rangle$ is always real: in general, $\langle x|y \rangle = \overline{\langle y|x \rangle}$, so $\langle x|x \rangle = \overline{\langle x|x \rangle}$, so $\langle x|x \rangle$ is real. (It's also always positive.)

share|improve this answer
    
I forgot to mention i need info for $\mathbb{C}$. –  71GA May 20 '13 at 14:43
    
What do you mean? –  Clive Newstead May 20 '13 at 16:35

Your Answer

 
discard

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.