Talk:Radon's theorem

Latest comment: 3 years ago by David Eppstein in topic Proof is formally incosistent

Proof is formally incosistent

edit

  and   are defined as sets of points of   . However, in   it says   and  , indicating that   contain a set of natural numbers. Shouldn't   and   be defined as a subset of   and accordingly the desired partition as   and  . TheViking98868768763 (talk) 10:13, 3 May 2021 (UTC)Reply

Easier fix is to replace   etc by  . —David Eppstein (talk) 16:26, 3 May 2021 (UTC)Reply
Now   is not defined.   doesn't make sense. TheViking98868768763 (talk) 19:52, 3 May 2021 (UTC)Reply
It's defined at the start of the section, in the sentence " there exists a set of multipliers". One can reasonably expect readers to match the subscripts from the xi's to the ai's. —David Eppstein (talk) 21:32, 3 May 2021 (UTC)Reply