The question that I shall ask here has arisen in the context of Diophantine approximation. I find it rather interesting, and I have no idea how to answer it. Any help, advice, or suggestions for references would be much appreciated. 


Let $S$ be a countably infinite subset of $\mathbb{R}\_{>0}$ that satisfies the following conditions. Let $n$ be an arbitrary element of $\mathbb{Z}\_{\geq 2}.$ 


1) For any integer $k \geq 1,$ we have $k \cdot S \subseteq S.$ (In particular, $S$ is unbounded.) 


2) There exists a (necessarily unique) strictly increasing sequence $t\_\bullet = (t\_k)\_{k \geq 1}$ such that $\{t\_k : k \geq 1\} = S.$ Moreover, there exists a constant $C > 0$ such that for any $k \geq 1,$ we have $0 < t\_{k+1} - t\_k \leq C.$ (Notice that we clearly have $\lim\_{k \to +\infty} t\_k = +\infty$, in light of 1) above.) 


3) There exists a constant $D > 0$ such that $$\limsup\_{T \to +\infty} \frac{\mathrm{card}\{ k \in \mathbb{Z}\_{\geq 1} : t\_k \leq T\}}{T^n} \leq D.$$ 


Is it necessarily true that there exists a norm $\eta$ on $\mathbb{R}^n$ such that $\eta(\mathbb{Z}^n) - \{0\} = S$? (Clearly conditions 1), 2), and 3) are necessary in order for this to be true; I am wondering whether they are also, in fact, sufficient.) 



What does the image of the integer lattice under a norm look like?
I doubt that there is a simple characterization.
In any case conditions (1,2,3) are not sufficient.
For example, if $n=2$ then $S$ cannot be ${\bf Z}\_{\geq 100}$,
and there are similar counterexamples for every $n \geq 2$,
as a consequence of the following observation.


**Proposition.** *If $\eta$ is a norm on ${\bf R}^n$, and
$t\_1$ is the smallest element of $\eta({\bf Z}^n)$,
then for any $M>0$ there are at most $(2M+1)^n$ integer vectors $v$
with $\eta(v) \leq M t\_1$.*


*Proof*: Consider the $\eta$-balls of radius $t\_1/2$ centered on
all such $v$. They have disjoint interiors, and are all contained in the
$\eta$-ball of radius $(2M+1)t\_1/2$ about $0$. Therefore their total volume
is no larger than the volume of the ball of radius $(2M+1)t\_1/2$.
But the volume of a ball of radius $r$ is proportional to $r^n$.
Hence the total number of radius $t\_1/2$ balls is at most
$\left[ ((2M+1)t\_1/2) \left/ \, (t\_1/2) \right. \right]^n = (2M+1)^n$, Q.E.D.


Equality is attained when $\eta$ is the sup norm and $M$ is an integer. (Then we get a perfect packing of cubes.)


