1
$\begingroup$

I'm trying to show that every metric space $X$ has a $(1, 1)$-net but struggling - surely $(1, 1)$ is just arbitrary and I've run out of obvious subgroups of $X$ to play with. Any help plz!

Here a subset $N$ of a metric space $X$ is called an $(\epsilon, \delta)$-net is for every $x \in X$, there is some $n \in N$ such that $d(x, n) \leq \epsilon$ and for every $n_1, n_2 \in N$, $d(n_1, n_2) \geq \delta$.

$\endgroup$
  • 3
    $\begingroup$ Can you add in the definition of a (1,1)-net? $\endgroup$ – SomeEE Mar 1 '14 at 0:08
  • $\begingroup$ sorry, have done! $\endgroup$ – jemima Mar 1 '14 at 17:38
  • $\begingroup$ What is $N$ here? $\endgroup$ – Andrés E. Caicedo Mar 1 '14 at 17:40
  • $\begingroup$ I think what you mean is that a metric space has an $(\epsilon,\delta)$-net iff there is a set $N\subseteq X$ with the property that you describe. It is the set $N$ that one calls the net, not the set $X$ itself. $\endgroup$ – Andrés E. Caicedo Mar 1 '14 at 17:41
  • $\begingroup$ ugh yupp, sorry! $\endgroup$ – jemima Mar 1 '14 at 18:37
2
$\begingroup$

Pick a maximal subset $N$ of $X$ with the property that any two points in $N$ have distance at least $1$ from each other. Maximal means here that if $N\subsetneq N'\subseteq X$, then $N'$ contains points $n,n'$ with $n\ne n'$ and $d(n,n')<1$. That $N$ exists is an immediate consequence of Zorn's lemma.

The point is that $N$ is a $(1,1)$-net, because if $x\in X$ and $d(x,n)>1$ for all $n\in N$, then $x\notin N$ and $N\cup\{x\}$ contradicts the maximality of $N$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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