Can a region of the $xy$ plane be infinite in area and topologically closed?

224 Views Asked by At

Is it possible to create a region in the $xy$ plane that has infinite area but contains all of its boundary points? In other words, if I am introducing a theorem that begins: "Let R be a closed region in the $xy$ plane", do I need to also specify that R is finite?

3

There are 3 best solutions below

4
On BEST ANSWER

To address your concern in the comments, it's a theorem that a topological space contains nontrivial clopen sets (sets other than $\emptyset$ and the space itself) $\iff$ the space is disconnected. Because $\mathbb{R}^2$ is connected, any nonempty, proper, closed subset of $\mathbb{R}^2$ is not also open.

Since closed sets are defined to be the complements of open sets, your question will have an affirmative answer if we can establish the existence of open sets of finite area. Such open sets exist; in particular, the metric topology has a basis consisting of the collection of open balls of finite radius.

1
On

What about the region $$ D = \left\{(x,y)\mid x \geq 1, 0 \leq y \leq 1/x\right\} $$ A few more examples came to mind, but then I wasn't sure on the definition of region.

0
On

If you want a proper subset: $\{(x,y)\mid 0\leq x \}$