Orthogonal Complement - General Bilinear Forms

General Bilinear Forms

Let V be a vector space over a field F equipped with a bilinear form B. We define u to be left-orthogonal to v, and v to be right-orthogonal to u, when B(u,v) = 0. For a subset W of V we define the left orthogonal complement W⊥ to be

There is a corresponding definition of right orthogonal complement. For a reflexive bilinear form, where B(u,v) = 0 implies B(v,u) = 0 for all u and v in V, the left and right complements coincide. This will be the case if B is a symmetric or skew-symmetric bilinear form.

The definition extends to a bilinear form on a free module over a commutative ring, and to a sesquilinear form extended to include any free module over a commutative ring with conjugation.

Read more about this topic:  Orthogonal Complement

Famous quotes containing the words general and/or forms:

    We raised a simple prayer
    Before we left the spot,
    That in the general mowing
    That place might be forgot;
    Or if not all so favored,
    Obtain such grace of hours
    That none should mow the grass there
    While so confused with flowers.
    Robert Frost (1874–1963)

    Your letter is come; it came indeed twelve lines ago, but I
    could not stop to acknowledge it before, & I am glad it did not
    arrive till I had completed my first sentence, because the
    sentence had been made since yesterday, & I think forms a very
    good beginning.
    Jane Austen (1775–1817)