Results 1 to 2 of 2

Math Help - Bilinear of dot product

  1. #1
    Newbie
    Joined
    Aug 2011
    Posts
    19

    Bilinear of dot product

    How to prove that if for  ( \mathbb{R}^n , \ || \ * \ ||) is ||x+y||^2+||x-y||^2=2(||x||^2+||y||^2) then we can define a dot product as <x,y>=\frac{||x+y||^2-||x-y||^2}{4}? Intuitionly it is true but I have great problem with proof of bilinear of it. It doesn't seem so simple. Any clues?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Opalg's Avatar
    Joined
    Aug 2007
    From
    Leeds, UK
    Posts
    4,041
    Thanks
    7

    Re: Bilinear of dot product

    Quote Originally Posted by Camille91 View Post
    How to prove that if for  ( \mathbb{R}^n , \ || \ * \ ||) is ||x+y||^2+||x-y||^2=2(||x||^2+||y||^2) then we can define a dot product as <x,y>=\frac{||x+y||^2-||x-y||^2}{4}? Intuitionly it is true but I have great problem with proof of bilinear of it. It doesn't seem so simple. Any clues?
    This is the Jordan–von Neumann theorem, and it certainly isn't simple. Unless you are another von Neumann, you are likely to need more than a few clues to find a proof of it. You can find a proof here. (The proof is given for a complex space, but there is a footnote indicating that the proof for a real space is similar.)

    Edit. The J–vN theorem is actually for infinite-dimensional spaces. I suppose there might conceivably be a simpler proof for the finite-dimensional space \mathbb{R}^n, but I doubt it.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Bilinear Forms
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: January 12th 2010, 12:15 AM
  2. Bilinear Transformations
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: January 11th 2010, 12:19 AM
  3. Bilinear Forms
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: October 5th 2009, 02:22 AM
  4. Bilinear Maps
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: September 21st 2009, 07:32 PM
  5. bilinear form
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: August 24th 2007, 07:14 AM

Search Tags


/mathhelpforum @mathhelpforum