4
$\begingroup$

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!

  • 0
    $\min(f_x(K))$ exists if $K$ is closed. You haven't really used compactness yet. How could you take advantage of that assumption?2012-05-04
  • 0
    @AndresCaicedo well $f_x(K)$ is compact for every $x$, however, that still does not say anything about the union since it is infinite right?2012-05-04
  • 0
    Right. How about a different approach: If the infimum is 0, there is a sequence $x_n$ of points of $K$ and a sequence $y_n$ of points of $\Omega^c$ with $\rho(x_n,y_n)\to0$.2012-05-04
  • 0
    @AndresCaicedo The only two theorems that I know about sequences in compact spaces are that they have a subsequence which converges and that compact spaces are complete. I don't see how that is going to help me here?2012-05-04
  • 0
    Ok. The sequence of $x_n$ has a subsequence that converges. The limit of this subsequence, call it $x$, must be in $K$ as well. To simplify, let's just say that the whole sequence of $x_n$ converges. Now, can you ensure that a subsequence of the $y_n$ converges, and that the limit $y$ is in $\Omega^c$? What would $\rho(x,y)$ be?2012-05-04
  • 0
    @AndresCaicedo Well $\rho(x,y)$ would equal 0, which would give us a contradiction. Let me think about how I can find such a sequence $y_n$.2012-05-04

1 Answers 1

1

Let $F=\Omega^c$. Then $F$ is closed. For each $x\in K$, $\inf\{d(x,y),y\in F\}$ is positive (since we assumed $K$ and $F$ disjoint, otherwise it's not true). Indeed, if $F$ is a closed set, $x\in F$ if and only if $\inf\{d(x,y),y\in F\}=0$.

The map $x\mapsto \inf\{d(x,y),y\in F\}$ is continuous. What about a positive map over a compact set?

  • 0
    How do you know that $\inf\{d(x,y),y\in F\}$ is not $0$?2012-05-04
  • 0
    I've added the argument.2012-05-04
  • 0
    Oh, is that because the infimum of that set is equal to the minimum?2012-05-04