# Dimension

September 26, 2011 8 Comments

So we know what a basis is now. How big can a basis be? If you look at some examples, you’ll notice that for a given vector space, every basis you come up with has the same size. This is no coincidence, and is one of the things that make vector spaces so nice to work with.

##### Theorem: Let be a vector space. Then every basis for must have the same size.

This is true, even for vector spaces with infinite bases, but we won’t prove it here. Let and be arbitrary bases for for . We want to show that . Instead, I’m going to prove that . Since I chose the bases arbitrarily, I just as well could have chosen them in the other order. But if both directions are true, then equality must hold. If you take nothing else away from this post, take away the fact that this trick is really cool.

Take and remove a vector . It its definitely still linearly independent, but it no longer spans all of . Then there have to be some vectors from which I can add to . Why? Well, if each was linearly dependent on just the , for , then anything we could write as a linear combination with the we could write with . This means that

,

which is a contradiction.

We add in linearly independent vectors from until they span all of . This must happen, since all of spans . We now have a new basis for . If there are any vectors left taken from , we should remove one, and add in vectors of until it forms a basis again.

Eventually we will have removed all of and will be left with . But in each step we removed one vector, and added at least one vector, possibly more. So we have proved that . By the symmetry argument described above, .

What does this mean? It means that the size of a basis is a property of the vector space itself, not the specific basis chosen. Define the **dimension** of a vector space to be the size of any basis If is a vector space over a field , of dimension , we write

.

Here are some examples. You should be able to come up with a basis for each each vector space. Remember, you only need one, since they are all the same size.

- for any field

Pingback: More about Dimension « Andy Soffer

Pingback: Linear Transformations « Andy Soffer

Pingback: Linear transformations as matrices « Andy Soffer

Pingback: Kernels and Images « Andy Soffer

Pingback: The field of constructible lengths, part 3 « Andy Soffer

Pingback: Rationals and the Square Root of 17 « Andy Soffer

Pingback: The Tower Rule « Andy Soffer

Pingback: The classical Greek questions « Andy Soffer