A set on a plane that interests every line by exactly two points

130 Views Asked by At

How to prove that there exists a subset of $\mathbb{R}^2 $ such that every line on this plane contains exactly 2 points at this set?

It must be a corollary of Zorn`s lemma.

1

There are 1 best solutions below

0
On

This is called a two-point set. I believe it's still a (classic) open problem whether such a set can be Borel, as all such subsets are usuall non-constructive (AC-based, most often transfinite recursion), see this paper for more on $3$-point sets and related problems.