MathDB
Dense system of chords in the unit ball

Source: Miklos Schweitzer 2015, problem 1

March 25, 2016
real analysistopologycollege contests

Problem Statement

Let KK be a closed subset of the closed unit ball in R3\mathbb{R}^3. Suppose there exists a family of chords Ω\Omega of the unit sphere S2S^2, with the following property: for every X,YS2X,Y\in S^2, there exist X,YS2X',Y'\in S^2, as close to XX and YY correspondingly, as we want, such that XYΩX'Y'\in \Omega and XYX'Y' is disjoint from KK. Verify that there exists a set HS2H\subset S^2, such that HH is dense in the unit sphere S2S^2, and the chords connecting any two points of HH are disjoint from KK.
EDIT: The statement fixed. See post #4