Sets of evenly distributed points in the Euclidean plane

There is a set $P$. For the construction of this set first take the squares of area $1$ whose edges are integers and numerate them. For each square, say $S_n$, you can take a square lattice in it such that any convex inside the square that do not intersect the lattice has area less than $a_n$ for any $a_n>0$, just take a lattice with a very small distance.

Now choose lattices and the $a_n$'s so that $\sum_{n=1}^\infty a_n<1$.

This works because if you have a convex $C$ in $\mathbb R^2$ then $C\cap S_n$ is convex, and if it do not intersect the set $P$ then $$m(C)=\sum_{n=1}^\infty m(C\cap S_n)\leq\sum_{n=1}^\infty a_n<1,$$ where $m(A)$ denotes the area of $A$.

For the second question there is a proof here http://www.math.tau.ac.il/~barakw/papers/dynamical_gowers.pdf that there could not be any constant.


Your second problem is almost the same as the following old, open problem of Danzer and Rogers: "What is the area of the largest convex region not containing in its interior any one of $n$ given points in a unit square?" Here the big question is whether the answer is $\Theta(\frac 1n)$ or not.

If the answer to the DR-problem is $\omega(\frac 1n)$, then there can be no bound in your problem for the number of points a unit convex set might contain. To see this, suppose by contradiction that you have a $P$ with some $C_P$ bound. Take a $\sqrt n \times \sqrt n$ size square, this contains $\Theta(n)$ points of $P$, to simplify calculations I suppose it contains exactly $n$. By scaling, the DR-problem gives us an empty convex set of size $\omega(1)$, which becomes bigger than $1$ if $n$ is big enough.

In the other direction, I am not sure if the implication holds, so I think your question is an excellent research topic. Can we prove that the two problems are equivalent?