Results 1 to 2 of 2

Math Help - Metric Space Proof TFAE

  1. #1
    Junior Member
    Joined
    Nov 2005
    Posts
    31

    Metric Space Proof TFAE

    There is no rush for this. I am reading my analysis book and this is left without a proof... so if anybody wants to offer help, that would be great.

    Prop: If A is a subset of a metric space X, then for a point x which is an element of X, TFAE:

    (i) x is an accumulation point of A
    (ii) For all ε>0, Uε(x)∩A is infinite.
    (iii) For all ε>0, (Uε(x)\{x}) ∩A is infinite
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Jun 2005
    Posts
    295
    Awards
    1
    We define x to be an accumulation point of a set A if every neighbourhood of x contains infinitely many points of A. Let B_r(x) denote the open ball of radius r around x: then a set N is a neighbourhood of x if and only if it contains some open ball of positive radius and in particular of course those open balls themselves are neighbourhoods of x.

    So if x is an accumulation point of A then every open ball, being a neighbourhood, contains infinitely many points of A: that is, (i) implies (ii).

    An infinite set with one point added or deleted is still infinite, so (ii) is equivalent to (iii).

    Now assume (ii). Suppose if possible that x is not an accumulation point of A, so that there is a neighbourhood N of x which contains only finitely many points of A. Since N is a neighbourhood, there is a positive r such that N \supseteq B_r(x) and so (A \cap N) \supseteq (A \cap B_r(x)) and so the latter is finite. This contradicts (ii), and this contradiction shows that (ii) implies (i).
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. metric space proof
    Posted in the Differential Geometry Forum
    Replies: 4
    Last Post: February 18th 2011, 12:02 AM
  2. Metric space proof
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: March 26th 2010, 10:27 PM
  3. Proof TFAE
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: July 5th 2006, 10:59 AM
  4. Proof in a Metric Space
    Posted in the Advanced Algebra Forum
    Replies: 6
    Last Post: January 19th 2006, 11:17 PM
  5. Proof: Metric Space
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: December 8th 2005, 06:59 AM

Search Tags


/mathhelpforum @mathhelpforum