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 am stuck with an exercise that I found in a textbook by Conway. First, I would like to clarify what is meant by a semi-inner product.

Definition. Suppose that $\mathscr X$ is a vector space over the complex field $\mathbb C$. A semi-inner product on $\mathscr X$ is a function $u:\mathscr X\times\mathscr X\to\mathbb C$ such that for all $\alpha,\beta$ in $\mathbb C$, and $x,y,z$ in $\mathscr X$, the following are satisfied:

  • $u(\alpha x+\beta y,z)=\alpha u(x,z)+\beta u(y,z)$,
  • $u(x,x)\ge 0$,
  • $u(x,y)=\overline{u(y,x)}$,

where $\bar\alpha$ is the complex conjugate of $\alpha$.

The difference between an inner product and a semi-inner product is that an inner product also satisfies the following:

  • if $u(x,x)=0$, then $x=0$.

Now I formulate the exercise from the textbook.

Let $u(\cdot,\cdot)$ be a semi-inner product on $\mathscr X$. Then $$\left|u(x,y)\right|^2=u(x,x)u(y,y)$$ if and only if there are $\alpha$ and $\beta$ in $\mathbb C$, not both $0$, such that $u(\beta x+\alpha y,\beta x+\alpha y)=0$.

How can I show that if there are $\alpha$ and $\beta$ in $\mathbb C$, not both $0$, such that $u(\beta x+\alpha y,\beta x+\alpha y)=0$, then $\left|u(x,y)\right|^2=u(x,x)u(y,y)$?

share|improve this question
    
I rather strongly suspect that the requirement should say “not both $0$”, not “both not $0$”. –  Harald Hanche-Olsen Oct 19 '12 at 11:17
    
Have you tried expanding out $u(\beta x+\alpha y,\beta x+\alpha y)$ and look at the result? Note that the result must always be nonnegative for all choices of $\alpha$, $\beta$, and zero for the given pair. This should be useful. –  Harald Hanche-Olsen Oct 19 '12 at 11:20
    
The second condition in the definition should be $u(x,x) \geq 0$ not $u(x,y) \geq 0$. (If $u(x,y) \geq 0$ for all $x$ and $y$ then $u$ is identically equal to $0$). –  Yury Oct 19 '12 at 12:00
    
Thank you, Yury, for correcting my typo. –  V. C. Oct 19 '12 at 12:03
    
Reply to Harald's remark: the requirement in the textbook says "both not $0$". I guess that otherwise the proposition is false. If $\alpha=0$ and $\beta\ne0$, then $u(x,x)=0$. Assume that $x\ne0$ (the equality is valid if $x=0$), but $u(x,x)=0$. Unless we show that $x(x,y)=0$ for all $y\in\mathscr X$ if $u(x,x)=0$, we get a contradiction. Is it possible to construct an example of a semi-inner product that for some $x\ne 0$ $u(x,x)=0$, but there exists $y\in\mathscr X$ such that $u(x,y)\ne0$? –  V. C. Oct 19 '12 at 12:27
show 6 more comments

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.