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:

    They make a great ado nowadays about hard times; but I think that ... this general failure, both private and public, is rather occasion for rejoicing, as reminding us whom we have at the helm,—that justice is always done. If our merchants did not most of them fail, and the banks too, my faith in the old laws of the world would be staggered.
    Henry David Thoreau (1817–1862)

    The strongest and most effective [force] in guaranteeing the long-term maintenance of ... power is not violence in all the forms deployed by the dominant to control the dominated, but consent in all the forms in which the dominated acquiesce in their own domination.
    Maurice Godelier (b. 1934)