Search
Disjoint Compact Sets are Separable from each other in a Hausdorff Space
Last updated
Nov 1, 2022
# Statement
Let X be a Hausdorff
Hausdorff
Definition
Let (X,τ) be a . Then X is if for every x,y∈X there exist $U,...
11/7/2022
Topological Space
Topological Space
Definition
Let X be a and τ⊂P(X). Then (X,τ) is a if
X,∅∈τ.
Suppose $F...
11/7/2022
. Then if K,L⊂X are Compact
Compact
Definition
Let X be a . We say K⊂X is if every of K can be reduced...
11/7/2022
and K∩L=∅, then there exists U,V⊂X Open
Open
Definition
Suppose (X,τ) is a . Then U⊂X is if U∈τ....
11/7/2022
so that
- K⊂U
- L⊂V
- U∩V=∅
# Proof
TODO
Sketch: This uses Compact Sets are Separable from Points in a Hausdorff Space
Compact Sets are Separable from Points in a Hausdorff Space
Statement
Let X be a . Then if K⊂X is and y∈X, then there exists...
11/7/2022
to create an Open Cover
Open Cover
Definition
Let X be a , I≼P(X) be an , and S⊂X. An of S is...
11/7/2022
for L. We can basically run the exact same logic from that proof. □