(X,d) metrik uzay ve E,F⊆X olmak üzere ((X,τd), kompakt)(E,F∈C(X,τd))(E∩F=∅)⇒d(E,F)>0 olduğunu veya buna denk olarak
((X,τd), kompakt)(E,F∈C(X,τd))(d(E,F)=0)⇒E∩F≠∅
olduğunu gösteriniz.
NOT :
1) τd:={A|A,d-açık}
2) C(X,τd):={A|A,d-kapalı}
3) d(A,B):=inf{d(x,y)|x∈A,y∈B}