Let $\Omega \subseteq \Bbb{C}$ is open and $K\subset \Omega$ be compact.

Question

I'm trying to prove the following statement: "Let $\Omega \subseteq \Bbb{C}$ is open and $K\subset \Omega$ be compact. Prove that there exists $\epsilon >0$ independent of $z\in K$ where $D_\epsilon(z)\subset \Omega$ for all $z\in K$"

I wanted to use a general definition of open cover compactness and do a similar proof to showing that compact subspace of a metric space is bounded. However, I haven't had much success.

I was told that sequential compactness may be easier to use in this proof however, I don't know where to start with that. I understand the definition is similar to the Bolzano-Weierstrass Theorem: $K\subseteq\mathbb{C}$ is sequentially compact if every $\{z_{n}\}\subseteq K$ has a convergent subsequence where the limit is in $K$.

Answer 1

Suppose that there is no such $\varepsilon>0$. Then, for each $n\in\mathbb N$, there is a $z_n\in K$ such that $D_{\frac1n}(z_n)\not\subset\Omega$. Since $K$ is compact, you can assume without loss of generality that $(z_n)_{n\in\mathbb N}$ converges to some $z_0\in K$. Since $z_0\in\Omega$ and $\Omega$ is an open set, there is a $r>0$ such that $D_r(z_0)\subset\Omega$. Take $n$ so large that $\frac1n<\frac r2$ and that $d(z_n,z_0)<\frac r2$. Then$$D_{\frac1n}(z_n)\subset D_r(z_0)\subset\Omega,$$which is impossible, since $D_{\frac1n}(z_n)\not\subset\Omega$.

Answer 2

Hint:

Assume the contrary: For every $\varepsilon>0$ you can find $z,w$, such that $|z-w|<\varepsilon$, $z\in K$, $w\not\in \Omega$.

Then you can extract a sequence in $K$, so that you can apply Bolzano-Weierstrass.

Answer 3

For each $z \in K$ find $\varepsilon_z$ such that $D_{\varepsilon_z}(z) \subseteq \Omega$ by $K \subseteq \Omega$ and $\Omega$ being open.

Now let $\delta > 0$ be the Lebesgue number for the open cover $\{B_{\varepsilon_z}(z): z \in K\}$ of $K$ and show it is as required.

Answer 4

For the non-trivial case $K\ne \emptyset \ne \Omega^c=\Bbb C \backslash \Omega.$

For $x\in K$ let $f(z)=\inf \{|z-x|: x\in \Omega^c\}.$ Then $f$ is continuous on $K$ and $K$ is compact so $M=\min \{f(z):z\in K\}$ exists.

And $M>0.$ Because $f(z)=0\implies z\in \overline {\Omega^c}=\Omega^c$ (which is absurd because $z\in \Omega).$

Now $\forall z\in K\;(\;D_{M/2}(z)\subset \Omega\;).$

More strongly the closure of $\bigcup_{z\in K}D_{M/2}(z)$ is a subset of $\Omega.$