I have to show the following: $(V,\rho)$ be a metric space, $K\subset V$ compact and $\Omega \subset V$ is open, then $d(K,\Omega^c) = \inf\{\rho(x,x') \mid x \in K \textrm{ and } x' \in \Omega^c\} > 0$.
I had the following in mind.
For every $x \in V$ $f_x: K \rightarrow \mathbb{R}: a \mapsto \rho(a,x)$ is continuous. Since $K$ is compact, $\min(f_x(K))$ exists. So I thought that it might be possible that $\{\rho(x,x') \mid x \in K \textrm{ and } x' \in \Omega^c\}$ contains its infimum and therefore $d(K,\Omega^c)$ cannot be $0$ since $K$ and $\Omega^c$ are disjoint.
Also, $\{\rho(x,x') \mid x \in K \textrm{ and } x' \in \Omega^c\} = \displaystyle\bigcup_{x\in \Omega^c} f_x(K)$
But since the minimum of a infinite union does not necessarily exists I have no clue how to proceed. So I wonder if I am looking into the right direction. If so, could anyone give me a hint? If not, could anyone point me into the right direction.
Please, DO NOT POST FULL ANSWERS!