Answer to Question #2884 in Functional Analysis for fairy
Prove every inner product vector space is norm space?
Let V be a vector space and <,> be an inner product.
This is a function
lt;,>: V x V& --> R
satisfying the following conditions:
2) <a,b+c>=<a,b> + <a,c>
3) <ta,b> = t <a,b> for any real t and a,b from V
4) <a,a> is non-negative, moreover,& <a,a>=0 if and only if a=0
Then we can define a norm on X by the following formula:
||v|| = square_root(<v,v>)
Let us verify that ||v|| is a norm indeed.
By definition a norm is a function
||*||: V --> R
A) ||v|| is non-negative and ||v||=0 if and only if v=0
B) ||t v|| = |t|& ||v||, for every real t, and v from V.
C) ||v+w|| <= ||v|| + ||w||
Condition A) follows from 4)
B) ||t v|| = square_root(<tv,tv>) = square_root(t^2 <v,v>) = t square_root(<v,v>) =
Condition C) is a consequence of Cauchy-Bunyakovsky-Schwarz inequality
|<v,w>|^2& <=& <v,v> <w,w> = ||v||^2 ||w||^2
||v+w||^2& =& <v+w,v+w>& =& <v,v> + 2<v,w> + <w,w> lt;=
& lt;=& ||v||^2 + 2||v|| ||w|| + ||w||^2& = (||v|| + ||w||)^2.
||v+w|| <= ||v|| + ||w||
No comments. Be first!