All neighborhoods of a compact subset of an open space are subsets of that open space Let $K$ be a subset of $U$, with $K$ compact and $U$ open. Prove that there is an $\epsilon > 0$ such that for all $p$ in $K$, a neighborhood of radius $\epsilon$ of $p$ is a subset of $U$. Note: This means that the same $\epsilon$ must work for every $P$.
This was a midterm question that I couldn't get and hope to understand before my final, thanks for the help!

Here is an argument using open covers.
For each $x \in K$ we can find some open ball $B_x$ of positive radius, centered at $x$ and contained in $U$. Let $C_x$ be the open ball centered at $x$ with half the radius of $B_x$. Then $\{C_x : x \in K\}$ is an open cover of $K$, so there is a finite subcover, call it $\mathcal{C}$.
Let $r$ be the smallest radius among the balls in $\mathcal{C}$. I claim that $\epsilon = r$ satisfies the requirements of the problem statement.
To prove this, choose any $p \in K$. Then $p \in C_x$ for some $C_x \in \mathcal{C}$. For any $q$ with $d(p,q) < r$, we have 
$$d(x,q) \leq d(x,p) + d(p,q) < \text{radius}(C_x) + r \leq 2\text{radius}(C_x) = \text{radius}(B_x)$$
so $q \in B_x$, hence $q \in U$.
