You are not logged in.
#1 2008-06-28 12:28:14
- JaneFairfax
- Legendary Member
Offline
Vector spaces
More generally, an uncountable vector space over a countable field is not finite dimensional.
#2 2008-06-29 20:37:10
- mathsyperson
- Moderator
Offline
Re: Vector spaces
Good proof! I think I'd have tried to show that there is an infinite set of real numbers which are linearly independent over the rationals. Square roots of primes or something.
Your way is nicer though.
Why did the vector cross the road?
It wanted to be normal.
#3 2008-06-29 21:06:12
- JaneFairfax
- Legendary Member
Offline
Re: Vector spaces
Indeed, there are many infinite sets of real numbers which are linearly independent over
. The set of all √p where p is prime is an example; another example isThere is a rather deep theorem which states that every vector space (finite- or infinite-dimensional) has a basis. The proof, however, makes use of the axiom of choice (or rather Zorn’s lemma, which is equivalent to the axiom of choice) so the result may not be acceptable to mathematicians who don’t accept the axiom of choice in set theory. Fortunately they are only a minority.
#4 2008-06-30 13:25:01
- Ricky
- Moderator
Offline
Re: Vector spaces
There is a rather deep theorem which states that every vector space (finite- or infinite-dimensional) has a basis. The proof, however, makes use of the axiom of choice (or rather Zorn’s lemma, which is equivalent to the axiom of choice) so the result may not be acceptable to mathematicians who don’t accept the axiom of choice in set theory. Fortunately they are only a minority.
"The Axiom of Choice is obviously true, the Well-Ordering Principle is obviously false, and who knows with Zorn's Lemma."
"In the real world, this would be a problem. But in mathematics, we can just define a place where this problem doesn't exist. So we'll go ahead and do that now..."