Are All Countable Sets Compact? Proof or Counterexample Required.

  • Thread starter Thread starter cragar
  • Start date Start date
  • Tags Tags
    Compact Sets
Click For Summary
SUMMARY

The discussion centers on the validity of two propositions regarding compact sets: (a) an arbitrary intersection of compact sets is compact, and (b) a countable set is always compact. The consensus is that proposition (a) is true when considering subsets of the real line, as intersections of closed sets are closed and bounded, aligning with the Heine-Borel theorem. Proposition (b) is false, exemplified by the set of natural numbers, which is countable but not bounded, thus not compact.

PREREQUISITES
  • Understanding of the Heine-Borel theorem
  • Familiarity with closed sets in topology
  • Knowledge of compactness in metric spaces
  • Basic concepts of sequences and convergence
NEXT STEPS
  • Study the properties of closed sets in topology
  • Learn about compactness in arbitrary metric spaces
  • Explore examples of bounded and unbounded sets
  • Investigate the implications of the Heine-Borel theorem in different contexts
USEFUL FOR

Mathematicians, students of topology, and anyone studying properties of compact sets and their intersections in real analysis.

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.
 
OK, in that case, you just need to prove that every intersection of compact sets is closed and bounded. This is very easy. (Use what you know about intersections of closed sets).
 
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.
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
7K
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 4 ·
Replies
4
Views
11K
  • · Replies 16 ·
Replies
16
Views
3K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
Replies
4
Views
3K
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K