Example: intersection of compact sets which is NOT compact

Click For Summary
SUMMARY

The discussion focuses on identifying subsets M_1 and M_2 within the topology defined by S = {(a,b) : 0 < a < b < 1} ∪ {R} that are compact, yet their intersection is not compact. Participants clarify the definition of compactness, emphasizing that a subset is compact if every cover of it by open sets has a finite subcover. The conversation highlights the importance of understanding terms such as 'open set', 'cover', and 'finite subcover' in the context of topology.

PREREQUISITES
  • Understanding of basic topology concepts, specifically 'open sets' and 'covers'
  • Familiarity with the definition of compactness in topological spaces
  • Knowledge of the properties of compact sets in metric spaces
  • Experience with the real line and its topology
NEXT STEPS
  • Study the definition and properties of compactness in topological spaces
  • Explore examples of compact and non-compact sets in various topologies
  • Learn about the concept of open covers and finite subcovers
  • Investigate the relationship between compactness and closed and bounded sets in R^n
USEFUL FOR

Mathematics students, particularly those studying topology, as well as educators and researchers interested in the properties of compact sets and their applications in mathematical analysis.

SD123
Messages
3
Reaction score
0

Homework Statement


Let S = {(a,b) : 0 < a < b < 1 } Union {R} be a base for a topology. Find subsets M_1 and M_2 which are compact in this topology but whose intersection is not compact.

Homework Equations


The Attempt at a Solution


I'm not even sure what it means for an element of S to be compact, so I haven't been able to make any attempt at a solution.
 
Physics news on Phys.org
I assume you're working on the real line, right?

Do you know the meaning of the terms 'open set', 'cover' and ' finite subcover'?
I don't mean to be condescending; just to know.
 
I assume it is the real line, and so the topological space will be (R,S).

Yes I do know what open set/cover/finite sub cover mean
 
The most general definition is that a subset S is compact iff (def.) every cover of S by open sets has a finite subcover. There are more specialized results, e.g., for R^n, compactness is equivalent to being closed and bounded,and, for metric spaces you have, e.g., every sequence has a convergent subsequence, but the first one covers all cases.
 

Similar threads

Replies
12
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
Replies
10
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K