**Definition** Doubling dimension ($\dim\_D(M)=k$): A Metric space $M=(V,d)$ has doubling dimension at most $k$ if for any $x\in V$ & $r>0$, $B(x,r)\subseteq\bigcup^{2^k}\_{i=1}B(x\_i,r/2)$.


With this definition, a paper that i have read stated without proof $\dim\_D(N)\leq2\dim\_D(V)$ for any net $N\subseteq V$, where $N\_\epsilon = \epsilon$-net means it is $\epsilon$-covering ($\forall v\in V, \exists n\in N\_\epsilon$ s.t. $d(n,v)<\epsilon$) and $\epsilon$-separated (Take $n\_1\neq n\_2\in N\_\epsilon$, $d(n\_1,n\_2)>\epsilon$)


I would like to know the reasoning for $\dim\_D(N)\leq2\dim\_D(V)$, many thanks. I have no idea how to construct $\dim\_D(N)$ here.



Why is the doubling dimension of any net of a metric space at most half of that of the metric space?
This holds for *every* subset $N\subseteq V$, not only for nets.


Every ball $B(x,r)$ is covered by a union of $2^{2k}$ balls $B(x\_i,r/4)$. Now, if for some $i$ there exists $n\_i\in B(x\_i,r/4)\cap N$, then $B(x\_i,r/4)\subseteq B(n\_i,r/2)$. So such balls $B(n\_i,r/2)$ cover $B(x,r)\cap N$.


