# Thread: Show that Y is a finite set

1. ## Show that Y is a finite set

Let X and Y be sets satisfying Y$\displaystyle \subset$X$\displaystyle \subset$(-$\displaystyle \infty$,$\displaystyle \infty$). Suppose that X is compact and that for every x$\displaystyle \in$X, there is a neighborhood of x which contains only a finite number of points of Y. This number may vary with x. Show that Y is a finite set.

What I have so far is that since X is compact it is closed and bounded and since it is closed there is an accumulation point in each neighborhood of X. then the neighborhood contains the point (x-$\displaystyle \epsilon$,x+$\displaystyle \epsilon$. And the Ix's are open sets that contain X.

I'm not sure what to do next and/or how to actually do the proof of it, hope someone can help. thanks

2. Originally Posted by tn11631
Let X and Y be sets satisfying Y$\displaystyle \subset$X$\displaystyle \subset$(-$\displaystyle \infty$,$\displaystyle \infty$). Suppose that X is compact and that for every x$\displaystyle \in$X, there is a neighborhood of x which contains only a finite number of points of Y. This number may vary with x. Show that Y is a finite set.

What I have so far is that since X is compact it is closed and bounded and since it is closed there is an accumulation point in each neighborhood of X. then the neighborhood contains the point (x-$\displaystyle \epsilon$,x+$\displaystyle \epsilon$. And the Ix's are open sets that contain X.

I'm not sure what to do next and/or how to actually do the proof of it, hope someone can help. thanks
Let $\displaystyle N_x$ denote the neighborhood of $\displaystyle x$ whose intersection with $\displaystyle Y$ is finite. Clearly, $\displaystyle \left\{N_x\right\}_{x\in Y}$ is an open cover for $\displaystyle Y$ and so by assumption it has a finite subcover $\displaystyle N_{x_1},\cdots,N_{x_n}$. It follows that $\displaystyle \text{card }Y=\text{card }Y\cap\bigcup_{j=1}^{n}N_{x_j}=\text{card }\bigcup_{j=1}^{n}\left(N_{x_j}\cap Y\right)\leqslant\sum_{j=1}^{n}\text{card }\left(N_{x_j}\cap Y\right)<\infty$

3. what does "card" mean? thanks

4. Cardinality--the number of elements in a set.

5. Alternatively, Bolzano-Weierstrass property since we are discussing metric spaces.

6. I liked your first one much better. Not only more general but easier.

7. Originally Posted by Tinyboss
I liked your first one much better. Not only more general but easier.
Oh well. I made a typo in it also. Let the OP figure it out.

8. Originally Posted by Drexel28
Alternatively, Bolzano-Weierstrass property since we are discussing metric spaces.
for the Bolzano-Weierstrass would we be using the contrapositive of the theorem? Also, is there a different way to do this proof besides the way you showed? just curious. Thanks

9. B-W says that every bounded sequence in R^n has a convergent subsequence. So suppose Y is infinite. Then Y has a countably infinite subset. Enumerate it as $\displaystyle \{y_n\}_{n=1}^\infty$. Then there's a convergent subsequence $\displaystyle y_{n_k}$. But since X is closed and every element of the sequence is in X, the limit is in X. Let L be the limit. Then every neighborhood of L contains infinitely many elements of the sequence, which is a contradiction.

10. Originally Posted by Tinyboss
B-W says that every bounded sequence in R^n has a convergent subsequence. So suppose Y is infinite. Then Y has a countably infinite subset. Enumerate it as $\displaystyle \{y_n\}_{n=1}^\infty$. Then there's a convergent subsequence $\displaystyle y_{n_k}$. But since X is closed and every element of the sequence is in X, the limit is in X. Let L be the limit. Then every neighborhood of L contains infinitely many elements of the sequence, which is a contradiction.
That's not actually the B.W.P. I was thinking. The one I was thinking is that every infinite subset of a compact metric space has a limit point. (though the proof is the same)

11. Originally Posted by Tinyboss
B-W says that every bounded sequence in R^n has a convergent subsequence. So suppose Y is infinite. Then Y has a countably infinite subset. Enumerate it as $\displaystyle \{y_n\}_{n=1}^\infty$. Then there's a convergent subsequence $\displaystyle y_{n_k}$. But since X is closed and every element of the sequence is in X, the limit is in X. Let L be the limit. Then every neighborhood of L contains infinitely many elements of the sequence, which is a contradiction.
Thats what i meant, contradiction! lol So if i were to show this with B-W-T do I still need to state that since X is closed there is an accumulation point in each neighborhood of X and that the neighborhood $\displaystyle \subset$(x-epsilon, x+epsilon)? or can am I allowed to just go straight into the B-W?

12. Rather than say there's an accumulation point in some neighborhood, you want to first show that (at least) one accumulation point exists in X (L in my post above), then say that any neighborhood of this point must contain infinitely many elements of Y, contrary to the hypothesis. You don't need any epsilonics here. (Or maybe you do...if this is all analysis and no topology...in that case, yeah, say that $\displaystyle (L-\varepsilon,L+\varepsilon)\cap X$ contains a point of Y distinct from L, for any epsilon, so in fact it contains infinitely many for any epsilon.)

13. Originally Posted by Tinyboss
Rather than say there's an accumulation point in some neighborhood, you want to first show that (at least) one accumulation point exists in X (L in my post above), then say that any neighborhood of this point must contain infinitely many elements of Y, contrary to the hypothesis. You don't need any epsilonics here. (Or maybe you do...if this is all analysis and no topology...in that case, yeah, say that $\displaystyle (L-\varepsilon,L+\varepsilon)\cap X$ contains a point of Y distinct from L, for any epsilon, so in fact it contains infinitely many for any epsilon.)
Thanks, its all coming together now. I was thinking about B-W, I actually have it written down in the scribbles of my notes for this problem lol Thanks for clearing this problem up for me!