Reals as a vector space over rationals: why infinite dimensional? The reals can be thought of as a vector space over the rationals. The properties of a vector space are that addition and "scaling" by some scalar are well defined and this certainly holds for the reals. There are many posts explaining this, examples here and here. I completely understand that the reals satisfy all the properties of vector spaces with the scalars defined as rational numbers. However, how do we know that this vector space is infinite dimensional? Isn't it just 1 dimensional? And if it is infinite dimensional, what is the first dimension? Can there not be some infinite dimensional basis for this vector space then? In the second post, @AsrafKaragila says its impossible to write such a basis by hand and we can only prove its existence. Why is it impossible?
 A: I think your question is best answered by considering (un)countability. Recall that we call a set $M$ countable when there is some surjective function $f : \mathbb{N} \rightarrow M$, where $\mathbb{N}$ denotes the naturals. Intuitively, we can say that $f$ enumerates all of the elements of $M$ (this includes finite sets, since $f$ need not be injective). It is a well known result (see Cantor's Diagonal Argument) that $\mathbb{R}$ is not countable.
Thus, assume we have a countable set of vectors $B$ of $\mathbb{R}$. Consider the space spanned by $B$. This consists of finite linear combinations of vectors selected from a countable set, and is thus again countable (I'm not going to prove this here, but this essentially amounts to proving that the set of all finite strings over a countable set is countable, although there are many other ways to show this).
So a countable set $B$ cannot span all of $\mathbb{R}$. Thus $B$ is uncountable, and especially not finite. This should also answer your question to why we can't "write a basis down" for this; besides the fact that we can't write down infinitely many things, we can't even have a way to enumerate all the (first $n$) elements of a basis $B$ of $\mathbb{R}$, since this would amount to a surjective function $\mathbb{N} \rightarrow B$, implying that $B$ is countable.
A: Since you've asked several questions, I will only address the one that says "Why can't we explicitly write out the basis?" In other words, assuming the family $\{e_\alpha\}_{\alpha \in I}$ to be such a basis, why can't we write a formula for $e_\alpha$?
The only reason we know that $e_\alpha$ exists to begin with is the Axiom Of Choice. The existence proof would not work without it. So, we are stuck with whatever the AOC gives us. But the AOC never gives a constructive answer. That's just how it is.
A: Suppose the vector space $V=(\mathbb{R},+,\cdot)$ over $\mathbb{Q}$ is finite dimensional. Let $\dim V=n$. Then, since $V$ is a $n$ dimensional vector space over $\mathbb{Q}$, $V$ is isomorphic to the vector space $\mathbb{Q}^n$ over $\mathbb{Q}$.
Hence there is a bijection $\phi:\mathbb{R}\to\mathbb{Q}^n$, but it's a contradiction since $\mathbb{Q}^n$ is countable and $\mathbb{R}$ is uncountable.
A: Question: "However, how do we know that this vector space is infinite dimensional? Isn't it just 1 dimensional?"
Answer: An "elementary" proof that $dim_{\mathbb{Q}}(\mathbb{R}) \neq n$ for some integer $n\geq 1$: We "know" there are real numbers $x=\pi$ that are non-algebraic ($\pi$ is "known" to be non-algebraic). If $\mathbb{Q} \subseteq \mathbb{R}$ was a finite extension of fields it would follow that any real number is algebraic:
Given any $x\in \mathbb{R}$ it would follow the set
$$x,x^2,x^3,..,x^n,..$$
is a linearly dependent set of vectors over $\mathbb{Q}$. And $\pi$ does not satisfy any polynomial equation $p(\pi)=0$ with $p(t) \in \mathbb{Q}[t]$.
Question: Is there an "elementary" proof that $\pi$ is not algebraic over $\mathbb{Q}$?
A: Hint : Using Zorn's Lemma one can prove that , 
Every vector space has a basis .
So , $\mathbb{R}$ over $\mathbb{Q}$ has some dimension . 
Now, question is what could possibly a basis ? 
The elements $\sqrt{2},\sqrt{3},\sqrt{5},\sqrt{6},.......... ,$ can be shown to be the linearly independent , but they certainly do not span $\mathbb{R}$ as we also need elements like $\pi , {\pi}^2,{\pi}^3,.......$, etc .
which also form a linearly independent set.
In fact, one can show that , the subspace of $\mathbb{R}$ generated by any countable subset of $\mathbb{R}$ must be countable .
Because $\mathbb{R}$ itself is uncountable , so no countable set can be a basis for $\mathbb{R}$ over $\mathbb{Q}$.
Hence , the dimension of $\mathbb{R}$ over $\mathbb{Q}$ is uncountable i,e, infinite and there is no particular way to find such type of basis in general as they contain uncountable number of element .
such type of basis are called Hamel basis.
