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:

    The happiest conversation is that of which nothing is distinctly remembered but a general effect of pleasing impression.
    Samuel Johnson (1709–1784)

    A strange effect of marriage, such as the nineteenth century has made it! The boredom of married life inevitably destroys love, when love has preceded marriage. And yet, as a philosopher has observed, it speedily brings about, among people who are rich enough not to have to work, an intense boredom with all quiet forms of enjoyment. And it is only dried up hearts, among women, that it does not predispose to love.
    Stendhal [Marie Henri Beyle] (1783–1842)