In my functional analysis homework, I had to prove something like this :
Let $D_n \subset D_{n-1} \subset \dots \subset E$ where $(E, \mathfrak T)$ is a Hausdorff topological space and the sequence of sets $D_n$ is non-empty, compact and decreasing. Prove that there is a point in the intersection of all $D_n$.
The obvious guess to begin with was to consider $x_n \in D_n$ arbitrary. I know the result is true when $(E, \mathfrak T)$ is metrizable, because then you can find a convergent subsequence which gives you a point in the intersection. If the topological space is not metrizable, all you get is a limit point. Using the fact that this topological space came up as a Banach space, I could use analysis (i.e. Hahn-Banach theorem and more properties that I had for the sets $D_n$) to complete the proof, but I was sad because I didn't find a purely topological argument.
My question is : If I am asked the question as it is written above, is it true, or are there counter-examples?