Let S be a compact subset of a hausdorff space X. Prove that the boundary of S is compact.
Let S be a subset of a hausdorff space X and let B be it's boundary. Let x be a limit point of B. Then every neighbourhood of x contains an element y in B different to x. So there exists disjoint open sets U,V such that x is in U, y is in V.
Now i'm stuck.
That is your whole problem in a nutshell.
Let this be a lesson to you. Always post what you know about the question. I had no way of knowing that you were working with what I consider a non-standard definition.
Notation: stands for the interior of .
By your definition .
But is open set. Therefore its complement is closed.
Thus is the intersection of two closed sets. SO?
Are you sure you've proved the boundary is compact, and not closed? Something's wrong because it is a necessary hypothesis
BTW: are you highlighting the capital or that it should be droff and not dorff?
Thanks for your help. In future please don't respond to my questions as other (better) helpers will see you're dealing with it and I will be stuck with your minimalist answers. I know your ethos is let the student do it themselves but sometimes it is more instructive for me to see the proof.