Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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?

share|improve this question
    
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? –  Quickbeam2k1 Mar 4 '13 at 21:12
1  
@Quickbeam2k1: No, it’s not quite trivial: the definition guarantees an $\epsilon$-net in $X$, not in $U$. –  Brian M. Scott Mar 4 '13 at 21:17

1 Answer 1

up vote 2 down vote accepted

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.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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