Vector spaces
I know I usually go light on Sundays, but I want to finish off what I started yesterday. Remember that we’re considering free modules over a ring with unit. A free module has a basis, but there may be different bases to choose from. I’ll start with an example of how widely bases can vary.
Let be a free -module with one basis element for each natural number: . Then consider the ring . I claim that for any natural number there is a basis of as a free module with elements. That is, as a left module for any finite number of summands. In fact, here it is: , where and sends all other basis elements of to . I’ll leave it to you to check that these elements span and are linearly independent.
This example shows that in general we can’t even say how many elements are in a basis. However, in many cases of interest we can. In particular, if our ring is commutative or a division ring (or both: a field) then any two bases of a free module are in bijection. Actually, when we’re working over a division ring the situation is even better: every module is free!
Let’s start by considering a module over a division ring . I claim that a linearly independent set spans — and thus is a basis — exactly when it is maximal. That is, if we add any other vector we’ll get a nontrivial linear combination adding up to . Indeed if is maximal then when we add any new element we get a relation
Here has to be nonzero, because otherwise we would already have a linear relation on . But since is a division ring we can multiply on the left by to get
so the maximal linearly independent set spans , and thus is a basis.
Now, take any linearly independent subset of and consider the collection of all linearly independent subsets of containing . We can partially-order these subsets by inclusion: if a subset is contained in another then in the order.
Take some list of these subsets so that the inclusion order restricted to this list is a total order. That is, each either contains or is contained in each other . We can verify that the union of all the subsets in the list is actually still linearly independent, and it clearly contains every other element in the list. Thus it is an upper bound on the list which is still in the collection of linearly independent subsets of . Every such list does contain an upper bound in the collection.
And here we need a seemingly-bizarre statement that I’ll cover more thoroughly in a later post: Zorn’s Lemma. This says that any nonempty partially-ordered set in which every chain (totally ordered subset of ) has an upper bound in contains a maximal element. That is, an element so that implies . There’s nothing “above” .
So here we have just such a partially-ordered set. Zorn’s Lemma tells us that there is some linearly independent subset of containing that is contained in no larger linearly independent subset. Thus starting with any linearly independent set we can add some elements to it and get a basis. In particular, we could choose to be the empty set — no elements means no relations at all means linearly independent — and pull a basis for out of Zorn’s hat. Weird. Eerie. And another similar argument shows that if we started with a set that spans we can throw out some elements to get a basis.
From here there are a couple of really rather technical theorems to get to the fact that any two bases of have the same cardinality. One handles the infinite case (and applies to all rings with unit) and the other the finite case (and just applies to division rings). The latter is actually not that hard, just dry. Take one basis and replace its elements one-by-one with elements of the other basis, showing at each step that you still have a basis if you choose the replacement right. I might go through these if people really want to see them, but I’ve never seen what good the proofs are.
The upshot is that modules over division rings are exceedingly nice. Every single one of them has a basis, and any two bases of a given module have the same cardinality. We have a few special terms here. We call modules over division rings “vector spaces”, and the cardinality of any basis of a vector space we call its “dimension”. Vector spaces, particularly over fields (commutative division rings), will be extremely useful to us as we move ahead.
One very common use is to use a vector space over a field as the substrate for an algebraic structure rather than an abelian group (-module). For example, we might want to put an action of some other ring onto a vector space , commuting with the field action. Our work on modules then tells us that in many ways working over is just like working over . For instance, we can take tensor products over and apply and get back vector spaces over since is commutative and acts on both sides of any vector space. The resulting theory will often be simpler, though, because general vector spaces are so much simpler than general abelian groups, and so they’re less likely to “get in the way” of other structures than abelian groups are.
[…] all these collections to find the collection at its top. This is almost exactly the same thing as we did back when we showed that every vector space is a free module! And just like then, we need Zorn’s lemma to tell us that we can manage the trick in general, […]
Pingback by Tychonoff’s Theorem « The Unapologetic Mathematician | March 29, 2008 |
[…] maps — homomorphisms — between abelian groups, and particularly between modules or vector spaces, which are just modules over a field. In particular we’ll focus on vector spaces over some […]
Pingback by Linear Algebra « The Unapologetic Mathematician | May 19, 2008 |
[…] about the high-level views of linear algebra. That is, we’re discussing the category of vector spaces over a field and -linear transformations between […]
Pingback by Matrices I « The Unapologetic Mathematician | May 20, 2008 |
[…] This says that given any finite-dimensional vector space we have some so that . But we know that every vector space has a basis, and for it must be finite; that’s what “finite-dimensional” means! Let’s […]
Pingback by The Category of Matrices IV « The Unapologetic Mathematician | June 24, 2008 |
[…] see this, we’ll need to refine an earlier result. Remember how we showed that every vector space has a basis. We looked for maximal linearly independent sets and used Zorn’s lemma to assert that they […]
Pingback by Exact sequences split « The Unapologetic Mathematician | June 26, 2008 |
[…] set may be narrowed to a basis. And the proof is again the same technique we used to show that every vector space has a basis. It’s just that this time we flip the whole thing over. Now we consider the set of subsets of […]
Pingback by Spanning sets « The Unapologetic Mathematician | June 30, 2008 |
[…] the rank — and so must be independent of which vectors we throw out. Looking back at the maximality property of a basis, we can state a new characterization of the rank: it is the cardinality of the […]
Pingback by Column Rank « The Unapologetic Mathematician | July 1, 2008 |
[…] series and such, I’m coming back to linear algebra. What we want to talk about now is how two vector spaces can be isomorphic. Of course, this means that they are connected by an invertible linear […]
Pingback by Isomorphisms of Vector Spaces « The Unapologetic Mathematician | October 17, 2008 |
[…] we know that every finite-dimensional vector space has a basis, and is thus isomorphic to , where is the cardinality of the basis. So given a vector space with […]
Pingback by General Linear Groups — Generally « The Unapologetic Mathematician | October 22, 2008 |
[…] we were primarily concerned with the topological space . As a topological space, is just like the vector space we’ve been discussing, but now we care a lot less about the algebraic structure than we do […]
Pingback by The Topology of Higher-Dimensional Real Spaces « The Unapologetic Mathematician | September 15, 2009 |
[…] multivariable calculus. In a very real sense, the sources and targets of our functions are not the vector spaces […]
Pingback by Euclidean Spaces « The Unapologetic Mathematician | September 28, 2009 |
[…] which is equivalent to the axiom of choice — was essential when we needed to show that every vector space has a basis, or Tychonoff’s theorem, or that exact sequences of vector spaces split. So it’s sort […]
Pingback by Non-Lebesgue Measurable Sets « The Unapologetic Mathematician | April 24, 2010 |
[…] want to define some structures that blend algebraic and topological notions. These are all based on vector spaces. And, particularly, we care about infinite-dimensional vector spaces. Finite-dimensional vector […]
Pingback by Topological Vector Spaces, Normed Vector Spaces, and Banach Spaces « The Unapologetic Mathematician | May 12, 2010 |
[…] concerned with complex representations of these groups. That is, we want to pick some complex vector space , and for each permutation we want to come up with some linear transformation for which the […]
Pingback by Some Review « The Unapologetic Mathematician | September 8, 2010 |