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

Homework Help Overview

The discussion revolves around the properties of compact sets in the context of topology, specifically focusing on the validity of certain propositions related to intersections of compact sets and the compactness of countable sets.

Discussion Character

  • Conceptual clarification, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • Participants explore the implications of the Heine-Borel theorem regarding compactness and boundedness. There is a discussion about the nature of intersections of compact sets and whether countable sets can be compact. Questions arise regarding the context of the statements, particularly whether they apply to subsets of the real line or more general topological spaces.

Discussion Status

The discussion is active, with participants questioning assumptions and clarifying the context of the propositions. Some guidance has been provided regarding the proof requirements for intersections of closed sets, but there is no explicit consensus on the validity of the propositions being discussed.

Contextual Notes

Participants note the importance of defining the type of space being considered (e.g., subsets of ℝ versus arbitrary topological spaces) and the implications this has on the statements being evaluated. There is also mention of the need to prove that intersections of closed sets are closed, which is a point of contention among participants.

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
12K
  • · 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