Compactness and FIP related problem

  • Thread starter Thread starter librastar
  • Start date Start date
Click For Summary
SUMMARY

The discussion centers on a topology problem involving compact spaces and the finite intersection property (FIP). The user is tasked with proving that if C, the intersection of a collection of closed sets {Ca|a∈A}, is contained in an open set U, then at least one of the closed sets Ca must also be contained in U. The user correctly identifies the importance of compactness and finite intersections but struggles to finalize the proof. The example provided illustrates that while C may be contained in U, individual closed sets may not be, highlighting the nuances of the problem.

PREREQUISITES
  • Understanding of compact spaces in topology
  • Familiarity with the finite intersection property (FIP)
  • Knowledge of open and closed sets
  • Basic proof techniques in mathematical topology
NEXT STEPS
  • Study the properties of compact spaces in topology
  • Learn about the finite intersection property and its implications
  • Explore examples of open and closed sets in metric spaces
  • Review proof strategies for topology problems involving intersections
USEFUL FOR

This discussion is beneficial for students and educators in mathematics, particularly those focusing on topology, as well as researchers looking to deepen their understanding of compactness and its applications in set theory.

librastar
Messages
15
Reaction score
0

Homework Statement



This question is related to Topology.

Let X be a compact space and let {Ca|a\inA} be a collection of closed sets, closed with respect to finite intersections. Let C = \capCa and suppose that C\subsetU with U open. Show that Ca\subsetU for some a.


The Attempt at a Solution



Here is how my solution goes:

Consider the complement of Ca, X - Ca, is open.
Since X is compact, \cup(X-Ca) is the open cover of X and \cup(X-Ci) for i = 1,2,...,n is a finite subcover of X such that X = \cup(X-Ci).
Now since X is compact and by the finite intersection property, C is nonempty.

But here is where I got stuck...I don't know how to continue to finish the problem.
I think this may be caused by mistakes in my reasoning, but I can't spot it.
Please help me on this question, any help is welcomed.

Thanks in advance.
 
Physics news on Phys.org
The closed under finite intersections is important for more than just the fact that C is non-empty. For example, let X=[-2,2], C_1 = [-2,1] and C_2=[-1,2]. Then C=[-1,1]\subset (-\frac{3}{2}, \frac{3}{2} )=U but neither C_1 or C_2 are contained in U
 
Sorry but I still don't quite get it...

So the compactness of X comes into play because now I can generate a open set U that is "big" enough to contain some or all of Ca?
 

Similar threads

  • · Replies 12 ·
Replies
12
Views
2K
Replies
12
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 14 ·
Replies
14
Views
2K
Replies
7
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K