MathDB
equivalence on nowhere dense compact subset of the real plane

Source: Miklos Schweitzer 2020, Problem 5

December 1, 2020
real analysis

Problem Statement

Prove that for a nowhere dense, compact set KR2K\subset \mathbb{R}^2 the following are equivalent:
(i) K=i=1KnK=\bigcup_{i=1}^{\infty}K_n where KnK_n is a compact set with connected complement for all nn.
(ii) KK does not have a nonempty closed subset SKS\subseteq K such that any neighborhood of any point in SS contains a connected component of R2S\mathbb{R}^2 \setminus S.