Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

How to find a basis for the vector space of real numbers over the field Q?

  1. Oct 11, 2012 #1
    So the title says everything. Let's assume R is a set equipped with vector addition the same way we add real numbers and has a scalar multiplication that the scalars come from the field Q. I believe the dimension of this vector space is infinite, and the reason is we have transcendental numbers that are not algebraic. On the other hand we know from the axiom of choice that any vector space has a basis, so is there a way to find a basis for this interesting one?

    I hope my question isn't wrong.
     
  2. jcsd
  3. Oct 11, 2012 #2

    Erland

    User Avatar
    Science Advisor

    Probably, it is not possible to find such a basis without using at least some weaker form of the Axiom of Choice.
     
  4. Oct 11, 2012 #3
    I might be way off here, but this is just a first thought. Have you heard of "the" (quotes because there is more than one) Vitali Set? The one I am thinking about is built like this: consider the interval [0,1]. Now, make an equivilence relation x~y iff x-y is rational. Now, pick one element from each equvilence class (you have to use the axiom of choice here.) This seems like it *might* form a basis for R over Q. But, like I said, this is one of the first things that popped in my mind so it might be wayyy off.
     
  5. Oct 11, 2012 #4
    I think it might work. For example, if [itex][r]_{\alpha}[/itex] is the collection of equivilence classes, and if [itex]z \in [0,1][/itex] and [itex]z \in [r][/itex] for some [itex]r[/itex] then [itex]r-z = q \in \mathbb{Q}[/itex]. So that [itex]z = 1r + q1[/itex]. So if we require that 1 be one of the numbers from the equivilency classes, then this set certainly spans [itex][0,1][/itex]. And by taking [itex]q[/itex] to be an integer + q it seems like this set will span the whole real line. Now, are they linearly independent?
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: How to find a basis for the vector space of real numbers over the field Q?
Loading...