Results 1 to 2 of 2

Math Help - Totally bounded set

  1. #1
    Member
    Joined
    Nov 2008
    Posts
    76

    Totally bounded set

    I try to prove that every subset of a totally bounded set is totally bounded, but I am not really sure with my argument here. Could someone help me check it?

    Suppose A is a subset of a totally bounded set X. Since X is totally bounded, there exists an \frac{\epsilon}{2}-net F=\{x_1,x_2,..,x_n\} that covers X, i.e X\subset \bigcup \{B(x_i,\epsilon/2):x_i\in F\}. Since A is a subset of X, A is also a subset of the union above. So, A\cap B(x_i,\epsilon/2) for some x_i \in F. Let y\in A\cap B(x_i,\epsilon/2). Then B(y,\epsilon) covers A since this ball contains every ball with radius \epsilon/2 above. Something does not sound right here since I am not sure if the new ball with radius \epsilon contains all the balls with radius \epsilon/2
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor FernandoRevilla's Avatar
    Joined
    Nov 2010
    From
    Madrid, Spain
    Posts
    2,162
    Thanks
    45
    Removing all balls which do not contain points of A and rearranging the subindices if necessary: A\subset\bigcup_{i=1}^{m}B(x_i,\epsilon/2)\;(m\leq n) .

    For all i=1,\ldots ,m there exists one point z_i\in A\cap B(x_i,\epsilon/2). Then, B(x_i,\epsilon/2)\subset B(z_i,\epsilon) .

    In fact, if y\in B(x_i,\epsilon/2) we have:

    d(y,z_i)\leq d(y,x_i)+d(x_i,z_i)<\epsilon/2+\epsilon/2=\epsilon

    So, A\subset \bigcup_{i=1}^{m}B(x_i,\epsilon/2)\subset \bigcup_{i=1}^{m}B(z_i,\epsilon) hence, A is totally bounded.
    Last edited by FernandoRevilla; March 9th 2011 at 11:53 PM.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Closure of a totaly bounded set is totally bounded
    Posted in the Differential Geometry Forum
    Replies: 7
    Last Post: April 8th 2011, 07:42 PM
  2. Totally bounded subset
    Posted in the Differential Geometry Forum
    Replies: 6
    Last Post: November 4th 2010, 12:11 PM
  3. Replies: 3
    Last Post: March 17th 2010, 06:12 PM
  4. Replies: 4
    Last Post: October 12th 2009, 08:43 PM
  5. Replies: 0
    Last Post: July 1st 2008, 02:47 AM

Search Tags


/mathhelpforum @mathhelpforum