Let $M$ be a metric space that is locally compact. Let $O_i \subset M$. Let $C$ be an open cover of $O_i$, and let $C'\subset C$. Define $U \subset O_i$ to be an open neighborhood of some $x\in O_i$ such that there exists $\epsilon$ with the property that if $y$ with $d(x,y)<\epsilon$, then $y \in U$. Define $B_r(x)$ and $B_r(y)$ for some $r>0$ to be the open balls about $x$ and $y$ respectively, and let $B_r(x),B_r(y)\subset U$. Now, $C' = \bigcup B_r$ is countable, and covers $O_i$. Can we then have $C=\bigcup U$ to cover $O_i$, and hence have $O_i$ be compact?
for all x in M the open ball B(x,1) is an open neighborhood
B(x,1) contains B(x,r) for all r<1
and the union of B(x,1) cover M
(Original answer no longer relevant after OP's edit.)
I'm no longer sure what you're asking, now. Let me go through and point out some issues that need to be dealt with, step by step.
- You've fixed some subset $O_i$ of $M$. I'm not sure why you bothered to index it, since you've chosen only one subset of $M$. Is this part of some larger problem? If so, then providing the full context would probably clear up a lot of confusion.
- You've then chosen an open cover $C$ of $O_i$ (apparently so that you can show that $O_i$ is compact), followed by fixing an arbitrary subcollection $C'$ of $C$. We'll address this again, later.
- Now, you've taken a subset $U$ of $O_i$ that is an open neighborhood of some $x\in O_i$. Is $U$ open in $M$, or just open in $O_i$?
- You've further required that there is some $\epsilon>0$ such that $B_\epsilon(x)$ is contained in $U$. This requirement is redundant if $U$ is open in $M$, so are you specifying it because $U$ is only open in $O_i$ and not in $M$?
- Next, you've apparently taken some arbitrary $y\in U$ (I can't tell why), and found $r>0$ such that both $B_r(x),B_r(y)$ are contained in $U$.
- At this point, you seem to be saying that $C'$ is a union of some unspecified collection of open balls of radius $r$, which would mean that $C'$ is some open subset of $M$. But you already declared earlier that $C'$ is a collection of open subsets of $M$. Which is it? Why do you then assert that it is countable? I can't see any reason for it, regardless of whether it is an arbitrary subcollection of $C$ or whether it is an open subset of $M$.
- Now, if $C'$ is a subset of $M$, then we say it contains $O_i$ if and only if $O_i\subset C'$. If $C'$ is a collection of subsets of $M$, then we say it covers $O_i$ if and only if $O_i\subset\bigcup C'$. If it is an arbitrary subcollection of $C$, then there's no reason to suspect that it should cover $O_i$--after all, $C'$ could be empty. If $C'$ is meant to be a subset of $M$, then it might well contain $O_i$, but it isn't really made clear by your arguments so far that it does.
If you will edit your question to fix these issues (especially the lack of context issue), I would be glad to take another crack at answering your question.