Compactness and FIP related problem

  • Thread starter Thread starter librastar
  • Start date Start date
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
2 replies · 2K views
librastar
Messages
15
Reaction score
0

Homework Statement



This question is related to Topology.

Let X be a compact space and let {Ca|a[tex]\in[/tex]A} be a collection of closed sets, closed with respect to finite intersections. Let C = [tex]\cap[/tex]Ca and suppose that C[tex]\subset[/tex]U with U open. Show that Ca[tex]\subset[/tex]U 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, [tex]\cup[/tex](X-Ca) is the open cover of X and [tex]\cup[/tex](X-Ci) for i = 1,2,...,n is a finite subcover of X such that X = [tex]\cup[/tex](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 [tex]X=[-2,2][/tex], [tex]C_1 = [-2,1][/tex] and [tex]C_2=[-1,2][/tex]. Then [tex]C=[-1,1]\subset (-\frac{3}{2}, \frac{3}{2} )=U[/tex] but neither [tex]C_1[/tex] or [tex]C_2[/tex] are contained in [tex]U[/tex]
 
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?