It would seem that one way of proving this would be to show the existence of non-algebraic numbers. Is there a simpler way to show this?
Is there a quick proof as to why the vector space of $\mathbb{R}$ over $\mathbb{Q}$ is infinite-dimensional?
-
0@Arturo: I thought he was referring to $\mathbb{R}$ when he said "a finite-dimensional vector space." I now realize he was demonstrating the impossibility of the alternative. Thanks for your proof below. – 2010-10-07
8 Answers
Another simple proof:
Take $P=X^n-p$ for a prime $p$.
By Eisenstein's criterion, it is $\mathbb Q[X]$-irreductible. Therefore, the set of algebraic numbers is of infinite dimension over $\mathbb Q$.
Since $\mathbb R$ is bigger, it works for $\mathbb R$ too.
The cardinality argument mentioned by Arturo is probably the simplest. Here is an alternative: an explicit example of an infinite $\, \mathbb Q$-independent set of reals. Consider the set consisting of the logs of all primes $\, p_i.\,$ If $ \, c_1 \log p_1 +\,\cdots\, + c_n\log p_n =\, 0,\ c_i\in\mathbb Q,\,$ multiplying by a common denominator we can assume that all $\ c_i \in \mathbb Z\,$ so, exponentiating, we obtain $\, p_1^{\large c_1}\cdots p_n^{\large c_n}\! = 1\,\Rightarrow\ c_i = 0\,$ for all $\,i,\,$ by the uniqueness of prime factorizations.
As Steve D. noted, a finite dimensional vector space over a countable field is necessarily countable: if $v_1,\ldots,v_n$ is a basis, then every vector in $V$ can be written uniquely as $\alpha_1 v_1+\cdots+\alpha_n v_n$ for some scalars $\alpha_1,\ldots,\alpha_n\in F$, so the cardinality of the set of all vectors is exactly $|F|^n$. If $F$ is countable, then this is countable. Since $\mathbb{R}$ is uncountable and $\mathbb{Q}$ is countable, $\mathbb{R}$ cannot be finite dimensional over $\mathbb{Q}$. (Whether it has a basis or not depends on your set theory).
Your further question in the comments, whether a vector space over $\mathbb{Q}$ is finite dimensional if and only if the set of vectors is countable, has a negative answer. If the vector space is finite dimensional, then it is a countable set; but there are infinite-dimensional vector spaces over $\mathbb{Q}$ that are countable as sets. The simplest example is $\mathbb{Q}[x]$, the vector space of all polynomials with coefficients in $\mathbb{Q}$, which is a countable set, and has dimension $\aleph_0$, with basis $\{1,x,x^2,\ldots,x^n,\ldots\}$.
Added: Of course, if $V$ is a vector space over $\mathbb{Q}$, then it has countable dimension (finite or denumerable infinite) if and only if $V$ is countable as a set. So the counting argument in fact shows that not only is $\mathbb{R}$ infinite dimensional over $\mathbb{Q}$, but that (if you are working in an appropriate set theory) it is uncountably-dimensional over $\mathbb{Q}$.
-
0$g$ood link @Jonas, thanks – 2019-02-06
No transcendental numbers are needed for this question. Any set of algebraic numbers of unbounded degree spans a vector space of infinite dimension. Explicit examples of linearly independent sets of algebraic numbers are also relatively easy to write down.
The set $\sqrt{2}, \sqrt{\sqrt{2}}, \dots, = \bigcup_{n>0} 2^{2^{-n}} $ is linearly independent over $\mathbb Q$. (Proof: Any expression of the $n$th iterated square root $a_n$ as a linear combination of earlier terms $a_i, i < n$ of the sequence could also be read as a rational polynomial of degree dividing $2^{n-1}$ with $a_n$ as a root and this contradicts the irreducibility of $X^m - 2$, here with $m=2^n$).
The square roots of the prime numbers are linearly independent over $\mathbb Q$. (Proof: this is immediate given the ability to extend the function "number of powers of $p$ dividing $x$" from the rational numbers to algebraic numbers. $\sqrt{p}$ is "divisible by $p^{1/2}$" while any finite linear combination of square roots of other primes is divisible by an integer power of $p$, i.e., is contained in an extension of $\mathbb Q$ unramified at $p$).
Generally any infinite set of algebraic numbers that you can easily write down and is not dependent for trivial reasons usually is independent. This because the only algebraic numbers for which we have a simple notation are fractional powers, and valuation (order of divisibility) arguments work well in this case. Any set of algebraic numbers where, of the ones ramified at any prime $p$, the amount of ramification is different for different elements of the set, will be linearly independent. (Proof: take the most ramified element in a given linear combination, express it in terms of the others, and compare valuations.)
-
0@ALannister I realize you questioned quite a long time ago, but s/he is assuming that there is such $n$ and showing that such assumption leads to contradiction. So in fact, s/he is proving exactly that $n$-th root of $2$ cannot be expressed by a linear combination of previous roots – 2018-05-09
For the sake of completeness, I'm adding a worked-out solution due to F.G. Dorais from his post.
We'll need two propositions from Grillet's Abstract Algebra, page 335 and 640:
Proposition: $[\mathbb{R}:\mathbb{Q}]=\mathrm{dim}_\mathbb{Q}{}\mathbb{R}=|\mathbb{R}|$
Proof: Let $(q_n)_{n\in\mathbb{N_0}}$ be an enumeration of $\mathbb{Q}$. For $r\in\mathbb{R}$, take $A_r:=\sum_{q_n
To prove $|A|=|\mathbb{R}|$, assume $A_r=A_{s}$ and $r\neq s$. Without loss of generality $r, hence $A_s=\sum_{q_n, so $\sum_{r\leq q_n, which is a contradiction, because each interval $(r,s)$ contains a rational number.
To prove $A$ is $\mathbb{Q}$-independent, assume $\alpha_1A_{r_1}+\cdots+\alpha_kA_{r_k}=0\;(1)$ with $\alpha_i\in\mathbb{Q}$. We can assume $r_1>\cdots>r_k$ (otherwise rearrange the summands) and $\alpha_i\in\mathbb{Z}$ (otherwise multiply by the common denominator). Choose $n$ large enough that $r_1>q_n>r_2\;(2)$; we'll increase $n$ two more times. The equality $n!\cdot(1)$ reads $n!(\alpha_1\sum_{q_m
$-\alpha_1\sum_{\substack{m
The left hand side (LHS) of $(3)$ is an integer for any $n$. If $n$ is large enough that $(|\alpha_1|+\cdots+|\alpha_k|)\sum_{m=n+1}^\infty\frac{n!}{m!}<1$ holds (such $n$ can be found since $\sum_{m=n+1}^\infty\frac{n!}{m!}=\frac{1}{n+1}\sum_{m=n+1}^\infty\frac{1}{(n+2)\cdot\ldots\cdot m}\leq\frac{1}{n+1}\sum_{m=n+1}^\infty\frac{1}{(m-n-1)!}\leq\frac{1}{n+1}\exp(1)\rightarrow 0$ when $n\rightarrow\infty$), then the absolute value of RHS of $(3)$ is $<1$, and yet an integer, hence $\text{RHS}(3)=0$. Thus $(3)$ reads $\alpha_1=-\sum_{i=1}^{k}\sum_{m
Since $A$ is a $\mathbb{Q}$-independent subset, by proposition 5.3 there exists a basis $B$ of $\mathbb{R}$ that contains $A$. Then $A\subseteq B\subseteq\mathbb{R}$ and $|A|=|\mathbb{R}|$ and Cantor-Bernstein theorem imply $|B|=|\mathbb{R}|$, therefore $[\mathbb{R}:\mathbb{Q}]=\mathrm{dim}_\mathbb{Q}{}\mathbb{R}=|\mathbb{R}|$. $\quad\blacksquare$
Here is a simple proof that a basis $B$ of $[ \mathbb{R}:\mathbb{Q}]$ has cardinality $|\mathbb{R}|$.
Clearly since $B$ is contained in $R$, $|B| \le| \mathbb{R}|$.
But also $\mathbb{R}=\operatorname{span}(B)$ and thus $|\mathbb{R}| =|\operatorname{span}(B)| \le |\mathbb{Q}^B|=|B|$. The last equality follows because $B$ is not finite (if it was, then $|\mathbb{R}|=|\operatorname{span}(B)| \le |\mathbb{Q}^B|=|\mathbb{N}|$, a contradiction).
Hence $ |\mathbb{R}| \le |B| \le| \mathbb{R}|$, so $|\mathbb{R}|=|B|$
-
0@Next: hmm so is it salvageable what I wrote? I guess I wasn't paying too much attention. – 2017-08-18