MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Can every solution of a homogeneous linear system be approximated by a solution in rational numbers?

In mathematical terms: Let $$Ax=0$$ be a homogeneous linear system in $n$ determinates for an $m\times n$-matrix $A$ (possibly $m>n$) with integer entries (say all entries $1,0,-1$ for simplicity). Given a solution $x\in {\Bbb R}^n$ and $\epsilon>0$, do there exist solutions in ${\Bbb Q}^n$ within distance $< \epsilon$ from $x$?

I am sure this kind of question has been considered somewhere. However, as a topologist, I have no idea where to look this up. Apart from answers also hints to literature about this genre of questions would be appreciated.

share|cite|improve this question
What is your definition of distance, and in what space does A live? – Per Alexandersson Sep 9 '10 at 8:22
A slightly more general and interesting question is given a variety, whether the set of rational solutions is dense in the reals and the p-adics. This is related to weak and strong approximation. – Daniel Loughran Sep 9 '10 at 10:34
up vote 4 down vote accepted

Since A has integer entries, putting it in reduced row-echelon form shows that the solution-space is spanned by vectors with rational coordinates. Rational multiples of the spanning vectors are then dense in the solution-space, so vectors with rational coordinates are also dense in the solution-space. Therefore every solution of a homogeneous linear system can be approximated by a solution in the rational numbers. QED

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.