Results 1 to 2 of 2

Math Help - basic bilinear forms

  1. #1
    Newbie
    Joined
    Dec 2009
    Posts
    9

    basic bilinear forms

    Let f:V VF be a bilinear form on a vector space V, where F is the field of scalars. 3 conditions must be fulfilled:
    1. f(u1+u2,v)=f(u1,v)+f(u2,v)
    2. f(u,v1+v2)=f(u,v1)+f(u,v2)
    3.f(u,tv)= f(tu,v)=tf(u,v)

    If F=Q (as the set of rational numbers) then if f fulfills 1. and 2. then it must fulfill 3.
    I was wondering how to prove that?
    Another question is to find an example of a function/map that is not a bilinear form (and precise on which field it is) because it fulfills 1. and 2. but not 3.

    Thanks a lot for any help or suggestions!

    Follow Math Help Forum on Facebook and Google+

  2. #2
    Junior Member nimon's Avatar
    Joined
    Sep 2009
    From
    Edinburgh, UK
    Posts
    64
    Hey there,

    I had an exam question on this the other day! To show that 1.,2. imply 3. on \mathbb{Q} it's easiest to show it for \mathbb{N} first, then \mathbb{Z}, and then \mathbb{Q}. I'll give you some hints!

    (n) Try induction to show that f(nu,v) = nf(u,v). This is obvious for n=1, and so assume it is true for n\in\mathbb{N}. Then f((n+1)u,v) = f(nu + u,v) = \ldots From here you can use 1. and the inductive hypothesis. The symmetric case, i.e. for f(u,nv) follows from 2.

    (z) Then for \mathbb{Z}, it suffices to show that f(-u,v) = -f(u,v) (why?). Consider f(u-u,v) and use 1. Again use 2. for the symmetric case.

    (q) Now for \mathbb{Q}, it suffices to show f(\frac{1}{n}u,v) = \frac{1}{n}f(u,v) (why?). Now consider f(u,v) = f(n\frac{1}{n}u,v) = \ldots and use (n).

    Hope this is helpful, write back if you get stuck

    (I don't know why I just used a smiley I think they're stupid but I was endeared by the yellowness.)
    Last edited by nimon; May 4th 2010 at 02:48 AM. Reason: 'sufficues' is not a word
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Bilinear Forms and Linear Transformations
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: August 14th 2010, 10:38 AM
  2. bilinear forms
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: April 12th 2010, 06:58 AM
  3. Bilinear Forms
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: January 11th 2010, 11:15 PM
  4. Bilinear Forms
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: October 5th 2009, 01:22 AM
  5. Diagonalizing Symmetric Bilinear Forms
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: April 8th 2009, 11:10 AM

Search Tags


/mathhelpforum @mathhelpforum