Hilbert, Inner Product
I have just realized that I accidently put it in wrong sub forum. This should be in 'calculus and beyond'.
1. The problem statement, all variables and given/known data Prove the function <x,y>=x_1y_1+x_2y_2+x_3y_3 defines an inner product space on the real vector space R^3 where x=(x1,x2,x3) and y=(y1,y2,y3) 3. The attempt at a solution Axiom 1 <x,y> >=0 since we have that x_n and y_n for n=1,2,3 are in R Axiom 2a <x,y> =x1y1+x2y2+x3y3, then <x,y>=0 iff x_n and y_n for n=1,2,3 both =0 Axiom 2b <ax,y>=a<x,y> <ax,y> = ax1y1+ax2y2+ax3y3 = a(x1y1+x2y2+x3y3) =a<x,y> Axiom 3 <y,x>= complex of <x,y> <y,x>=(y1x1+y2x2+y3x3) but y complex =y and x complex=x in R therefore = (y1x1 complex+y2x2 complex +x3y3 complex) =<y,x> complex =<x,y> complex Axiom 4 <x+y,z>=<x,z>+<y,z>, let z=(z1,z2,z3) in R^3 <x+y,z>=(x1+y1+x2+y2+x3+y3)(z1+z2+z3) =x1z1 +x2z2+x3z3+y1z1+y2zy3z3 =<x,z>+<y,z> ...? 
Re: Hilbert, Inner Product
Quote:
Quote:
Since the underlying vector space is R^{3}, all you need to show is that <x, y> = <y, x>. Quote:

Re: Hilbert, Inner Product
Quote:
Axiom 1 <x,x> >=0 since we have that x_n for n=1,2,3 are in R Quote:
Anyway, <y,x>=y1x1+y2x2+y3x3 =x1y1+x2y2+x3y3 =<x,y> Is axiom 4 ok? Thanks 
Re: Hilbert, Inner Product
Quote:
Your statement "Axiom 2a <x,y> =x1y1+x2y2+x3y3, then <x,y>=0 iff x_n and y_n for n=1,2,3 both =0" is FALSE: <x,y> = 0 means only that the vectors x and y are perpendicular to one another. Your statement "Axiom 3 <y,x>= complex of <x,y>" is meaningless; perhaps you mean "complex conjugate". Anyway, in real space, the components of x and y are all real and <x,y> is real; the property you state is trivially true, because x1*y1 + x2*y2 + x3*y3 = y1*x1 + y2*x2 + y3*x3. Your statement of Axiom 4 is correct, but your proof is absolutely incorrect! Go back and read what you did. RGV 
Re: Hilbert, Inner Product
Quote:
Quote:

Re: Hilbert, Inner Product
Quote:
Quote:
<x,x>=0 iff x1x1+x2x2+x3x3=0 ie iff x_nx_n=0 for n=1,2,3, iff x_n=0 for n=1,2,3, ie x=x_n=0 the 0 vector. 
Re: Hilbert, Inner Product
Quote:
Quote:

Re: Hilbert, Inner Product
Quote:
Quote:

Re: Hilbert, Inner Product
Quote:
Quote:

Re: Hilbert, Inner Product
Quote:
x1*x1+x2*x2+x3*x3>=0 and x1*x1+x2*x2+x3*x3=0 iff each x_n*x_n=0 for n=1,2,3 
Re: Hilbert, Inner Product
Why do you have the absolute values? Your inner product is defined this way:
<x, y> = x_{1}y_{1} + x_{2}y_{2} + x_{3}y_{3} So again, why is x_{1}^{2} + x_{2}^{2} + x_{3}^{2} ≥ 0? Take a closer look at what I said in post # 9. 
Re: Hilbert, Inner Product
Quote:

Re: Hilbert, Inner Product
Quote:
Start with <x, x> and expand it, using the definition in post #1. It is really very simple to show that <x, x> ≥ 0. 
Re: Hilbert, Inner Product
Quote:
=x1^2+x2^2+x3^3 but x1x1>=0, x2x2>=0 and x3x3>=0 since x1,x2,x3 are in R implies <x,x>>=0 
Re: Hilbert, Inner Product
Yes.

Re: Hilbert, Inner Product
Quote:

All times are GMT 5. The time now is 02:43 AM. 
Powered by vBulletin Copyright ©2000  2014, Jelsoft Enterprises Ltd.
© 2014 Physics Forums