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:
“[The Republican Party] consists of those who, believing in the doctrine that mankind are capable of governing themselves and hating hereditary power as an insult to the reason and an outrage to the rights of men, are naturally offended at every public measure that does not appeal to the understanding and to the general interest of the community.”
—James Madison (1751–1836)
“And what avails it that science has come to treat space and time as simply forms of thought, and the material world as hypothetical, and withal our pretension of property and even of self-hood are fading with the rest, if, at last, even our thoughts are not finalities, but the incessant flowing and ascension reach these also, and each thought which yesterday was a finality, to-day is yielding to a larger generalization?”
—Ralph Waldo Emerson (1803–1882)