Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Orthogonality in h^n for a field h

  1. Aug 31, 2011 #1
    Let V be a vector space over a field h and let n be a positive integer. Let f:V -> h^n be a linear map given by
    f(v) = (f1(v), f2(v), ..., fn(v)). Call two vectors (g1, ..., gn) and (h1, ..., hn) in h^n "orthogonal" if

    g1 h1 + ... + gn hn = 0

    Suppose the only vector orthogonal to every vector f(v) is the 0 vector. Is f surjective?

    Maybe I'm just missing something, but the only way I can see to get the result is to consider the orthogonal complement of the image of f, but that requires the codomain to be an inner product space, which h^n isn't in general. (In fact, in this application, h can be either a field of prime order or the rationals.)

    This question was inspired by Andrea Ferretti's http://mathoverflow.net/questions/13322/slick-proof-a-vector-space-has-the-same-dimension-as-its-dual-if-and-only-if-it" [Broken] that the dimension of an infinite dimensional vector space is less than that of its dual. I'm not convinced the end of the proof works out. Considering orthogonality in basically the situation I've outlined is suggested at the end of the comments by KConrad.
    Last edited by a moderator: May 5, 2017
  2. jcsd
  3. Aug 31, 2011 #2
    Let f(V) be our image. It is proven in www.maths.bris.ac.uk/~maxmr/la2/notes_5.pdf[/URL] that it still holds for every subspace W of [itex]h^n[/itex] that


    In particular (since [itex]f(V)^\bot=\{0\}[/itex])


    so our map is surjective.

    EDIT: I should probably say why our "inner product" is non-degenerate, since I can imagine that this is not always the case. It's because [itex]f(V)^\bot=\{0\}[/itex], from which it follows that [itex](h^n)^\bot=\{0\}[/itex]. So the radical is {0}, which is equivalent to non-degeneracy.
    Last edited by a moderator: Apr 26, 2017
  4. Sep 1, 2011 #3
    Ah, wonderful, thanks for the link! I was hoping the result was still true outside of inner product spaces, and so it is. That completes the proof then.

    P.S. Non-degeneracy can also be deduced easily without recourse to the existence of [itex]f[/itex] from

    [tex](c_1, ..., c_i, ..., c_n) . (0, ..., 0, 1, 0, ..., 0) = c_i[/tex]
    so if c is orthogonal to [itex]h^n[/itex] then
    [tex]c . e_i = c_i = 0[/tex]
    so [itex]c = 0[/itex].
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook