3
$\begingroup$

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?

  • 0
    @Sigur : Oh. Let me give it a thought for a second.2012-12-16

1 Answers 1

1

That's true in any topological space: it pretty much follows straight from applying DeMorgan to the basic topological definition of compactness (any open cover has a finite subcover). Lean back, and I'm sure you can write the few lines necessary in a few minutes after keeping that in mind.

  • 0
    I actually thought of using the intersection property but it confused me real badly so I looked for another way (and good for me, I had found one), but it wasn't very satisfactory. Thanks for pointing in the right direction =)2012-12-16