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:

    The general fact is that the most effective way of utilizing human energy is through an organized rivalry, which by specialization and social control is, at the same time, organized co-operation.
    Charles Horton Cooley (1864–1929)

    No rent-roll nor army-list can dignify skulking and dissimulation: and the first point of courtesy must always be truth, as really all the forms of good-breeding point that way.
    Ralph Waldo Emerson (1803–1882)