Are All Countable Sets Compact? Proof or Counterexample Required.

  • Thread starter Thread starter cragar
  • Start date Start date
  • Tags Tags
    Compact Sets
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
5 replies · 2K views
cragar
Messages
2,546
Reaction score
3

Homework Statement


Decide whether the following propositions are true or false. If the claim is valid supply a short proof, and if the claim is false provide a counterexample.
a) An arbitrary intersection of compact sets is compact.
b)A countable set is always compact.

The Attempt at a Solution


a) If I took an infinite amount of intersections of closed intervals of the real line, I could get a set that is not bounded, And by the Heine-Borel theorem a set is compact if and only if it is closed and bounded.
b) The set of naturals is countable but not bounded so again by the Heine-Borel theorem this is not true.
 
Physics news on Phys.org
You may have confused intersection with union in 3a. An intersection of intervals is smaller than (in the sense of being a subset of) any of the intervals. 3b is OK, if you're only supposed to prove it for subsets of ℝ.

Are those statements about subsets of ℝ, subsets of an arbitrary metric space, subsets of an arbitrary Hausdorff space, or subsets of an arbitrary topological space?
 
ok so for 3a) if we had the intersection of [0,1] and [1,2] the intersection would just be the point 1. I guess this could be the constant sequence 1, so maybe the statement is true. Since the sequences are bounded they would have convergent sub sequences.
We are proving these things for subsets of the real line. And we are studying the topology of the real line.
 
So I need to prove that intersections of closed sets are closed.
So i basically need to prove that any subset of a closed set is closed.
We know that these sets are bounded. So we know because they are bounded that they contain a convergent sub sequence. So I guess I need to prove that the limit point is part of the set.
 
cragar said:
So I need to prove that intersections of closed sets are closed.
Yes.

cragar said:
So i basically need to prove that any subset of a closed set is closed.
No. This isn't true. ℝ is closed, but the set of positive real numbers is not. It's not hard to come up with lots of other examples.

On the other hand, if you prove that every subset of a bounded set is bounded, that would be useful.

cragar said:
We know that these sets are bounded. So we know because they are bounded that they contain a convergent sub sequence. So I guess I need to prove that the limit point is part of the set.
No need to talk about subsequences if your goal is to prove that intersections of closed sets are closed.