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.
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.
Copyright © 2021 JogjaFile Inc.
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.