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
    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
    Gold Member
    2017 Award

    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
  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
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted