I just realized a few hours ago that the algebra prelim is six weeks from today, and went into “that’s way closer than I realized”-freakout mode. Given that, I’d like to start posting on algebra. In particular, for the next little bit I want to post on linear algebra since that’s what I’ve been studying the most recently. A nice place to start might be showing that every vector space has a basis, since this is a fact that I remember being used throughout my linear algebra classes but don’t seem to remember ever being shown (presumably to avoid talking about the axiom of choice and Zorn’s lemma). This proof is adopted from the one that appears in an appendix to Larry Grove’s *Algebra*.

Recall that Zorn’s lemma says that in a partially ordered set in which every chain has an upper bound, there exists a maximal element. We will use this to show that there must be a maximal linearly independent subset in a vector space, and argue that this set is a basis.

Let be any vector space and define the set as the collection of all linearly independent subsets of .

Note that as is a collection of sets, it is partially ordered by . Now let be any chain in . Each element of this chain, being a linearly independent set of vectors in , forms the basis for some subspace of . Furthermore, if and are in the chain with , the subspace of generated by is contained in the subspace generated by .

Define a set as follows:

Defining in this way, we have a collection of vectors in in which every subset is linearly independent, and so . This means that has an upper bound. Since our choice of the chain was arbitrary, this means every chain in has an upper bound. By Zorn’s lemma this means has a maximal set. Let be such a maximal set (recall Zorn’s lemma says that will have at least one maximal set, and not that the maximal set is unique).

Since , is a linearly independent set of vectors in . This means that the span of is some subspace of . Suppose this subspace is proper. Then there exists some vector, call it , which can not be represented as a linear combination of the elements in . This implies that is a linearly independent set. However, as this contradicts the maximality of . We must conclude that equals the span of , and so forms a basis for .

### Like this:

Like Loading...

*Related*

[…] some quirks that those of us more accustomed to vector spaces will find odd. For instance, though every vector space has a basis, there are modules which do not; and even if a module has a basis, two different bases may have […]

Pingback by Modules « Mathematics Prelims — November 28, 2009 @ 9:59 pm |