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:

    You have lived longer than I have and perhaps may have formed a different judgment on better grounds; but my observations do not enable me to say I think integrity the characteristic of wealth. In general I believe the decisions of the people, in a body, will be more honest and more disinterested than those of wealthy men.
    Thomas Jefferson (1743–1826)

    The soul of Man must quicken to creation.
    Out of the formless stone, when the artist united himself with stone,
    Spring always new forms of life....
    —T.S. (Thomas Stearns)