Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

I Why the space X=(0,1) is (not sequentially) compact?

  1. Apr 6, 2016 #1
    My problem is that the space [itex] X= (0,1)[/itex] is not sequentially compact and compact at the same time.

    It is not sequentially compact:
    If we define the sequence [itex](\frac{1}{n}) [/itex] we can show that it is not sequentially compact as the sequence converges to 0, but [itex] 0 \notin X[/itex].

    It is compact:
    On the other hand, for X to be compact we need
    1) bounded: The space X is bounded as any ball with center [itex] x \in X [/itex] and radius 2 will X.
    2) closed: Is closed as its complement is the empty set (which is open)

    Thus, the set [itex] X [/itex] is compact, which is a contradiction as X is not sequentially compact.

    Where is my mistake when I show that X is compact?
     
  2. jcsd
  3. Apr 6, 2016 #2

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Closed and bounded does not imply compact in general.
     
  4. Apr 6, 2016 #3
    You are using the Heine-Borel theorem which only holds for subsets of Euclidean space.
    In that case the interval isn't closed either.

    Edit; Ninja'd
    Edit 2; Subsets of Euclidean space as far as I know, there might be other special cases.
     
    Last edited: Apr 6, 2016
  5. Apr 6, 2016 #4
    I see, this works for subsets of [itex] R^n [/itex]
     
  6. Apr 6, 2016 #5

    lavinia

    User Avatar
    Science Advisor

    For a subset of a metric space, closed should mean that every Cauchy sequence converges to a point in the space. But a Cauchy sequence in the open unit interval that converges to 0 or 1 will not coverage to a point in the open interval. So the open unit interval is not closed in ##R^1##. If every Cauchy sequence in a metric space converges then the metric space is said to be complete.

    Here is a metric space that is closed and bounded but not compact. On a closed disk in the plane, let the distance between two points be the Euclidean distance if the two points lie on the same radial line through the center of the disk; and the sum if their distances to the center of the disk if they lie on different radial lines.
     
    Last edited: Apr 6, 2016
  7. Apr 7, 2016 #6

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

  8. Apr 8, 2016 #7
    A follow-up question that's related to my research, does a similar theorem exist for a Riemannian submanifold of a Pseudo-Riemannian manifold?
     
  9. Apr 8, 2016 #8

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted



Similar Discussions: Why the space X=(0,1) is (not sequentially) compact?
  1. Compact Spaces (Replies: 4)

Loading...