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

Let $X$ be the set of all $n$-tuples of complex numbers and let $x,y \in X$ such that $x=(a_1,a_2,\dots,a_n)$ and $y=(b_1,b_2,\dots,b_n)$. The inner product of the two vectors is given by $\langle x,y\rangle=\sum_i a_i \bar b_i$. To show that this is an inner product space(IPS), it must satisfy three axioms. My question is this:

Assuming that the vector space is real, that is, each element of $X$ is an $n$-tuple of real numbers, how can I prove the first axiom of IPS: $\langle x,y\rangle=\overline{\langle y,x\rangle}$?

share|cite|improve this question
I think I have figured out what your question means. Can you please check it over to make sure it is what you intended? – dfeuer Oct 2 '13 at 0:45
Looking at the original post, I cannot but wonder: did you scan this somewhere and then read it with some OCR software?! – Vedran Šego Oct 2 '13 at 1:08
Yes, that's what I mean @dfeuer – sam prof Oct 2 '13 at 10:04

You don't need the assumption that $X$ is a real space.

$$\langle x, y \rangle = \sum_i a_i \overline{b_i} = \sum_i \overline{\overline{a_i} b_i} = \overline{\sum_i \overline{a_i} b_i} = \overline{\sum_i b_i \overline{a_i}} = \overline{\langle y, x \rangle}.$$

If everything is real, you can freely remove conjugation wherever you want, since $\xi = \overline{\xi}$ for all $\xi \in \mathbb{R}$ (and everything in the above expression is, in that case, real).

share|cite|improve this answer
Ok. Thanks @Vedan Sego – sam prof Oct 2 '13 at 13:33

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.