Is the Intersection of Compact Connected Sets Always Connected in Metric Spaces?

Click For Summary
SUMMARY

The intersection of a decreasing family of compact connected sets {K_n} in a metric space is always connected. This conclusion is supported by the example of F_n = R²\{(x,y): -n PREREQUISITES

  • Understanding of metric spaces
  • Knowledge of compactness in topology
  • Familiarity with connectedness and path-connectedness
  • Basic proof techniques in topology
NEXT STEPS
  • Study the properties of compact sets in metric spaces
  • Learn about connectedness and path-connectedness in topology
  • Explore examples of compact connected sets and their intersections
  • Investigate the implications of closed sets versus compact sets in topology
USEFUL FOR

Mathematicians, students of topology, and anyone interested in the properties of metric spaces and connectedness in mathematical analysis.

quasar987
Science Advisor
Homework Helper
Gold Member
Messages
4,796
Reaction score
32

Homework Statement


Show that if {K_n} is a decreasing family of compact connected sets in a metric space, then their intersection is connected as well. Illustrate with an example why 'compact' is necessary instead of just 'closed'.


The Attempt at a Solution



Well, I have a example for the second part of the question. Consider F_n = R²\{(x,y): -n<y<n, -1<x<1}. Then each F_n is closed and (path-)connected, but their intersection is the plane separated in half along the y-axis by this open band of width 2, which is not connected.

For the first part though, I can visualize why it's true for simple examples, but I don't know how to approach a general proof.
 
Physics news on Phys.org
Ok. Suppose the limit set K is disconnected. That means there are two open sets A and B that disconnect K, right? So A intersect B is empty but K is contained in AUB. Since K is compact we can define A and B so that A, B and K are all contained in the interior of a closed ball R. Consider the compact set R-(AUB). K_n is connected so it must intersect R-(AUB). So for each K_n there is a point in K_n, say x_n, contained in the compact set R-(AUB). I'll let you take over now...
 
Nice, thx.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 12 ·
Replies
12
Views
3K
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
619
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
Replies
2
Views
2K