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:
“You have lived longer than I have and perhaps may have formed a different judgment on better grounds; but my observations do not enable me to say I think integrity the characteristic of wealth. In general I believe the decisions of the people, in a body, will be more honest and more disinterested than those of wealthy men.”
—Thomas Jefferson (1743–1826)
“The necessary has never been man’s top priority. The passionate pursuit of the nonessential and the extravagant is one of the chief traits of human uniqueness. Unlike other forms of life, man’s greatest exertions are made in the pursuit not of necessities but of superfluities.”
—Eric Hoffer (1902–1983)