Quotient spaces

We know already that if is a subspace of a vector space , then there are, usually, many other subspaces in such that . There is no natural way of choosing one from among the wealth of complements of . There is, however, a natural construction that associates with and a new vector space that, for all practical purposes, plays the role of a complement of . The theoretical advantage that the construction has over the formation of an arbitrary complement is precisely its “natural” character, i.e., the fact that it does not depend on choosing a basis, or, for that matter, on choosing anything at all.

In order to understand the construction it is a good idea to keep a picture in mind. Suppose, for instance, that (the real coordinate plane) and that consists of all those vectors for which (the horizontal axis). Each complement of is a line (other than the horizontal axis) through the origin. Observe that each such complement has the property that it intersects every horizontal line in exactly one point. The idea of the construction we shall describe is to make a vector space out of the set of all horizontal lines.

We begin by using to single out certain subsets of . (We are back in the general case now.) If is an arbitrary vector in , we write for the set of all sums with in ; each set of the form is called a coset of . (In the case of the plane-line example above, the cosets are the horizontal lines.) Note that one and the same coset can arise from two different vectors, i.e., that even if , it is possible that . It makes good sense, just the same, to speak of a coset, say , of , without specifying which element (or elements) comes from; to say that is a coset (of ) means simply that there is at least one such that .

If and are cosets (of ), we write for the set of all sums with in and in ; we assert that is also a coset of . Indeed, if and , then every element of belongs to the coset (note that ), and, conversely, every element of is in . (If, for instance, is in , then .) In other words, , so that is a coset, as asserted. We leave to the reader the verification that coset addition is commutative and associative. The coset (i.e., ) is such that for every coset , and, moreover, it is the only coset with this property. (If , then contains , so that for some in ; this implies that is in , and hence that .) If is a coset, then the set consisting of all those vectors , with in , is itself a coset, which we shall denote by . The coset is such that , and, moreover, is the only coset with this property. To sum up: the addition of cosets satisfies the axioms (A) of Section: Vector spaces .

If is a coset and if is a scalar, we write for the set consisting of all the vectors with in in case ; the coset is defined to be . A simple verification shows that this concept of multiplication satisfies the axioms (B) and (C) of Section: Vector spaces .

The set of all cosets has thus been proved to be a vector space with respect to the linear operations defined above. This vector space is called the quotient space of modulo ; it is denoted by .