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:
“That sort of half sigh, which, accompanied by two or three slight nods of the head, is pitys small change in general society.”
—Charles Dickens (18121870)
“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)