Abhijeet Mulgund's Personal Webpage

Search

Search IconIcon to open search

Disjoint Compact Sets are Separable from each other in a Hausdorff Space

Last updated Nov 1, 2022

# Statement

Let XX be a Hausdorff

Hausdorff

Definition Let (X,τ)(X, \tau) be a . Then XX is if for every x,yXx, y \in X there exist $U,...

11/7/2022

Topological Space

Topological Space

Definition Let XX be a and τP(X)\tau \subset \mathcal{P}(X). Then (X,τ)(X, \tau) is a if X,τX, \emptyset \in \tau. Suppose $F...

11/7/2022

. Then if K,LXK, L \subset X are Compact

Compact

Definition Let XX be a . We say KXK \subset X is if every of KK can be reduced...

11/7/2022

and KL=K \cap L = \emptyset, then there exists U,VXU, V \subset X Open

Open

Definition Suppose (X,τ)(X, \tau) is a . Then UXU \subset X is if UτU \in \tau....

11/7/2022

so that

  1. KUK \subset U
  2. LVL \subset V
  3. UV=U \cap V = \emptyset

# 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 XX be a . Then if KXK \subset X is and y∉Xy \not\in X, then there exists...

11/7/2022

to create an Open Cover

Open Cover

Definition Let XX be a , IP(X)I \preccurlyeq \mathcal{P}(X) be an , and SXS \subset X. An of SS is...

11/7/2022

for LL. We can basically run the exact same logic from that proof. \square