Linear combination is not an integer Let $n$ be a positive integer and $s>0$ a real number. Must there exist positive real numbers $x_1,x_2,\dots,x_n<s$ such that no nontrivial linear combination of $x_1,x_2,\dots,x_n$ (with rational coefficients) is an integer?
This should be possible by taking the $x_i$'s to be "independent" irrational numbers. But I'm not sure how to prove it formally or what theorem to use.
 A: Assuming the linear combinations you allow have rationals (or integers) multiplying the $x$s there are independent sets.  Start with $x_1$ being some irrational.  There are only countably many linear combinations of $x_1$, so pick $x_2$ to be some irrational that is not equal to any of them.  Now there are only countably many linear combinations of $x_1,x_2$, so pick $x_3$ to be some irrational not equal to any of them.  As there are uncountably many irrationals less than $s$ you can find one.  Keep going.  You can allow the list of $x$s to be countably infinite and the argument still holds.
A: You are totally right. Formally, we can go like this:


*

*$\mathbb R$ is a vector space over $\mathbb Q$. 

*Using cardinality argument, $\dim_{\mathbb Q} \mathbb R = \infty$. That is, any finite subspace of $\mathbb R$ is a proper subspace.

*Starting with the subspace $V_0 = \mathbb Q = \langle 1\rangle$
a. there's an $x_1\in \mathbb R \backslash V_0$, let $V_1 = \langle 1, x_1\rangle$.
b. there's an $x_2\in \mathbb R \backslash V_1$, let $V_2 = \langle 1, x_1, x_2\rangle$.
c. ...
Finally, you would get the desired $x_1,\dots, x_n$, and if any of them is $\ge s$, just divide it by some positive integer so that it becomes less than $s$.
I left it to you to prove that $1, x_1, \dots, x_n$ are linearly independent. But I'm pretty sure that it should be mentioned in most linear algebra course.
A: The fact that $ \mathbb R $ is uncountable guarantees that it is infinite-dimensional as a  $\mathbb Q $-vector space. So there exist irrational $y_1,\ldots,y_n $ such that $y_1,\ldots,y_n,1 $ are linearly independent. Now take $x_j=|y_j|$, $j=1,\ldots,n$. As $-1\in\mathbb Q $, these are still linearly independent (together with $1$) and so no rational combination is an integer. 
Finally, if $s>0$ is fixed, take $m\in\mathbb N $ with $m>\max \{x_1/s,\ldots,x_n/s\} $. Then  $$\frac {x_1}{m},\ldots,\frac {x_n}{m} $$ are all smaller than $s $ and still no rational linear combination of them can be an integer.
