Corollary 2
Tag 0BYI, permanent. Cite it as [Bourbaki, Tag 0BYI].
General Topology, chapter VII, § 1. Subgroups and quotient groups of $\mathbf{R}^n$
Let be real numbers. In order that, given any real numbers and a real number , there should exist an integer and integers such that
it is necessary and sufficient that there exist no relation of the form , where the are integers not all zero, and is an integer [which implies, in particular, that the and the ratios () must be irrational].
We may interpret this result as follows: for each integer , let denote the point with coordinates (); then Corollary 2 gives a necessary and sufficient condition for the set of points to be dense in the cube which is the product of intervals in the factors of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.