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:

    Some people are under the impression that all that is required to make a good fisherman is the ability to tell lies easily and without blushing; but this is a mistake. Mere bald fabrication is useless; the veriest tyro can manage that. It is in the circumstantial detail, the embellishing touches of probability, the general air of scrupulous—almost of pedantic—veracity, that the experienced angler is seen.
    Jerome K. Jerome (1859–1927)

    The delicious faces of children, the beauty of school-girls, “the sweet seriousness of sixteen,” the lofty air of well-born, well-bred boys, the passionate histories in the looks and manners of youth and early manhood, and the varied power in all that well-known company that escort us through life,—we know how these forms thrill, paralyze, provoke, inspire, and enlarge us.
    Ralph Waldo Emerson (1803–1882)