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:
“Everyone confesses in the abstract that exertion which brings out all the powers of body and mind is the best thing for us all; but practically most people do all they can to get rid of it, and as a general rule nobody does much more than circumstances drive them to do.”
—Harriet Beecher Stowe (1811–1896)
“Culture’s essential service to a religion is to destroy intellectual idolatry, the recurrent tendency in religion to replace the object of its worship with its present understanding and forms of approach to that object.”
—Northrop Frye (b. 1912)