The -boundary of a set is the set , where is the Euclidean distance. We prove that if are nonempty, connected sets, is bounded, and , then the -boundary of contains a simple closed curve (aka a Jordan curve) that separates and . This statement follows from the theorem which says that if and is a nonempty, bounded, connected set, then the boundary of each component of is a simple closed curve. Another corollary of this theorem is that the -boundary of a nonempty, bounded, connected set contains a simple closed curve bounding the domain that contains the open -neighbourhood of . In all these statements the connectivity condition can be significantly weakened. We also show that, for all , the -boundary of a nonempty, bounded set contains a simple closed curve.

生成讲解博客的中文版本

生成AI智能校验的中文版本