# Compactness of $\mathbb{R^2}$ and its relation between open balls

Show that $$\mathbb{R^2}$$ is not compact.

My Attempt:

First of all, I have tried two ways. First one is very short:

i-) $$\mathbb{R^2} \cong ((0,1),\;(0,1)) \cong ((0,\infty),\;(0,\infty))$$. Therefore, $$\mathbb{R^2}$$ is not compact.

As above, it is very easy to see. And below I proved using definitions.

ii-) By definition if a subset is not compact then there exist an open covering of a subset such that for all finite subcover does not cover the subset. Meaning is that:

$$\text{Let A} \subseteq X.\; \text{If} \;\exists \,\lbrace{U_{i}\rbrace}_{i \in I} \; \text{such that} \; A \subseteq \bigcup_{i\in I} U_{i} \;\text{and}\;A\nsubseteq U_{i_{1}} \cup U_{i_{2}}\cup... \cup U_{i_{n}}$$

Proof:

Let $$\lbrace{U_{i}\rbrace}_{i\in I}$$ be open covering of $$\mathbb{R}^2$$ in the form of open ball radius $$r$$ and centered at $$(0,0)$$. Obviously,

$$\mathbb{R^2} \subseteq \bigcup \mathcal{B}_{r}((0,0))$$ $$=\bigcup\lbrace{(x,y)\in \mathbb{R^2}: \sqrt{x^2+y^2}

Now suppose, we have a finite subcover. such that

$$\mathbb{R^2} \subseteq \mathcal{B}_{r_{1}}(0,0) \cup \mathcal{B}_{r_{2}}(0,0)\cup...\cup\mathcal{B}_{r_{n}}(0,0)$$

A contradiction since the while RHS is finite, LHS is infinite. Therefore, we can say $$\mathbb{R}^2$$ is not compact.

• RHS is not finite, each open ball is infinite. You mean RHS is bounded. May 21, 2022 at 11:46

Your route (ii) seems sensible if you want to prove the statement from the definition. But be more precise with your wording (I assume this is for an analysis class, so this is good practice). "The RHS is finite"-- what exactly do you want to say here? Suppose that the $$r_i$$ are ordered so that $$r_i \leq r_n$$ for each $$i=1,\cdots,n-1$$. Then how would you find a point in $$\mathbb{R}^2$$ that does not lie within the finite subcollection?
• But the RHS is not finite element-wise. An open ball contains infinitely many points/elements. There's another concept you want to use. Think in terms of the radii of the open balls in your finite subcollection. Can you argue that there is a maximal radius? (Give it a name, like R). If so, can you write down a specific point (𝑥,𝑦) in $\mathbb{R}^2$ that is not within your finite subcollection? May 22, 2022 at 0:24