MathDB

Miklós Schweitzer 2002, Problem 6

Source: Miklós Schweitzer 2002

July 30, 2016

college contestsMiklos SchweitzerMeasure theoryreal analysis

Problem Statement

Let

K\subseteq \mathbb{R}

be compact. Prove that the following two statements are equivalent to each other. (a) For each point

x

K

we can assign an uncountable set

F_x\subseteq \mathbb{R}

such that

\mathrm{dist}(F_x, F_y)\ge |x-y|

holds for all

x,y\in K

; (b)

K

is of measure zero.