Ok, let me see if I can get a handle on this. One knows that compact subspaces of metric spaces are closed-true. Next, one knows that the arbitrary intersection of closed sets is closed-true. So your argument is that by these two theorems one would have that

is a closed subspace of

and thus can't be empty since

is both open and closed? Unfortunately this is not the case :|. It's often true that a subspace of a metric space is both open and closed (clopen) for it not to be in general the space would have to be

connected. It's often impossible (in full generality) to complete arguments such as this by looking at openess/closedness (although it works sometimes, like proving things like the fundamental lemma of path connectedness in alg. top.).

For the argument I'll try to give you two well placed hints:

Hint 1: If

then

.

Hint 2: If for every finite

one has that

then for every finite

one has

.

So, since the

are closed we know that the

are open and so the above shows we've found a __member__ with no __brain__.