2
$\begingroup$

I'm working through Martin Schechter's "Principles of Functional Analysis" (2nd ed.) and a problem concerning totally bounded subsets and $\varepsilon$-nets of normed linear vector spaces on page 96 is really bugging me.

I'll begin with the relevant definitions. Throughout, $X$ is a normed linear vector space.

Definition ($\varepsilon$-net) Let $\varepsilon > 0$ be given. A set of points $W \subseteq X$ is called an $\varepsilon$-net for a set $U \subseteq X$ if for every $x \in U$ : $\exists z \in W$ such that $\|x -z \| < \varepsilon$.

Definition (totally bounded) A subset $U \subseteq X$ is called totally bounded if for every $\varepsilon > 0$ there exists a finite set of points $W \subseteq X$ which is an $\varepsilon$-net for $U$.

The following statement in the text is left as an exercise for the reader and it's driving me crazy.

"If $U$ is totally bounded, then for each $\varepsilon >0$ it has a finite $\varepsilon$-net $W \subseteq U$. "

Any ideas?

$\endgroup$
  • $\begingroup$ Maybe it's too late for me. But isn'T your question trivial? Do you mean it perhaps the other way. Like: $U$ has for every $\varepsilon <0$ a finite $\varepsilon$-net implies $U$ is totally bounded? $\endgroup$ – Quickbeam2k1 Mar 4 '13 at 21:12
  • 1
    $\begingroup$ @Quickbeam2k1: No, it’s not quite trivial: the definition guarantees an $\epsilon$-net in $X$, not in $U$. $\endgroup$ – Brian M. Scott Mar 4 '13 at 21:17
2
$\begingroup$

Hint: Given $\epsilon > 0$, let $W \subseteq X$ be a finite $\frac{\epsilon}{2}$-net for $U$. For each $z \in W$ pick, if possible, some $x_z \in U$ with $\| x_z - z \| < \frac{\epsilon}{2}$. The triangle inequality should help at this point.

$\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.