Skip to main content
not overfull —> not be overfull
Source Link
Daniel Asimov
  • 2.9k
  • 24
  • 26

Now $\ell_n$ has infinitely many empty points. Some of them are special, i.e., belong to other special lines. Firstly, fill the special points so that the special lines will not be overfull. Then fill the remaining points on $\ell_n$ (there are infinitely many of them) so that the sum on $\ell_n$ becomes $1$. It is easy to see that this is possible, as every subinterval $*\alpha,\beta)$ in $(0,2^{-2n-3})$ contains infinitely many of unused numbers.

Now $\ell_n$ has infinitely many empty points. Some of them are special, i.e., belong to other special lines. Firstly, fill the special points so that the special lines will not overfull. Then fill the remaining points on $\ell_n$ (there are infinitely many of them) so that the sum on $\ell_n$ becomes $1$. It is easy to see that this is possible, as every subinterval $*\alpha,\beta)$ in $(0,2^{-2n-3})$ contains infinitely many of unused numbers.

Now $\ell_n$ has infinitely many empty points. Some of them are special, i.e., belong to other special lines. Firstly, fill the special points so that the special lines will not be overfull. Then fill the remaining points on $\ell_n$ (there are infinitely many of them) so that the sum on $\ell_n$ becomes $1$. It is easy to see that this is possible, as every subinterval $*\alpha,\beta)$ in $(0,2^{-2n-3})$ contains infinitely many of unused numbers.

fixed typo
Source Link
Daniel Asimov
  • 2.9k
  • 24
  • 26

On the $n$th step, line $\ell_{n+1}$ crosses the already existing special lines (different from $\ell$) by finitely many points. We claim that all other points will be uncuvereduncovered forever.

On the $n$th step, line $\ell_{n+1}$ crosses the already existing special lines (different from $\ell$) by finitely many points. We claim that all other points will be uncuvered forever.

On the $n$th step, line $\ell_{n+1}$ crosses the already existing special lines (different from $\ell$) by finitely many points. We claim that all other points will be uncovered forever.

Added a construction for $(0,1/2]$.
Source Link
Ilya Bogdanov
  • 23.7k
  • 54
  • 92

The construction for $(0,1/2]$ is in part 3.

1. The initial request can be done via the usual inductive trick.

To perform the step, firstly fill the parabola $p_n$ in order to satisfy (1.5), and then fill $\ell_n$.

3. Here is a refinement which seemingly works for $(0,1/2]\cap \mathbb Q$.

Part 1. We intend to choose an infinite set of points $S$ and call the lines joining two points in $S$ special. The condition to be satisfied is that every (possibly special) line $\ell$ contains only finitely many points covered by special lines different from $\ell$.

Enumerate the lines as $\ell_1,\ell_2,\dots$. Collect $S$ inductively. On $n$th step, we will fix the infinite sets on $\ell_1,\dots,\ell_n$ which will not be covered by special lines (different from $\ell_1,\dots,\ell_n$), and $S$ will contain $n$ points. The first step is obvious: we put any point to $S$ and fix all points different from it on $\ell_1$.

On the $n$th step, line $\ell_{n+1}$ crosses the already existing special lines (different from $\ell$) by finitely many points. We claim that all other points will be uncuvered forever.

Now, if $S=\{s_1,\dots,s_n\}$ at this moment, we are to choose $s_{n+1}$. Choose an irrational direction $\vec v$ and draw the rays from $s_1,s_2,\dots,s_n$ in that direction; each crosses $\ell_1,\dots,\ell_{n+1}$ at a non-lattice point. If now we choose $s_{n+1}$ sufficiently far in that direction, the rays $s_is_{n+1}$ will be close enough to those rays, so they will cross $\ell_1,\dots,\ell_{n+1}$ also at non-lattice points. The step is complete.

Part 2. Denote by $T$ the set of points on the special lines, and set $P=\mathbb Z^2\setminus T$. There are infinitely many non-special lines, and each contains infinitely many points not in $U$. Now we can choose a sequence $P_1,P_2,\dots$ of pairwise disjoint infinite subsets of $U$ such that no three points in $P_i$ are collinear. Each $P_i$ is easily chosen by a similar (yet easier) induction.

Part 3. Now we put the numbers. On Step 0, we put all rational numbers from $[1/8,1/2]$ into the points of $S$. The following steps are performed to maintain the following after the $n$th step:

(A) the numbers are put into $S\cup\bigcup_{i=1}^n (P_i\cup \ell_i)$; moreover, all numbers from $[2^{-2n-3},1/2]$ are already used;

(B) the sum of all numbers on $\ell_i$ ($i\leq n$) is $1$;

(c) for every $i>n$, the sum of numbers on $\ell_i$ is smaller than $1$; moreover, if $\ell_i$ is not special, then this sum is at most $1-2^{-n}$.

After Step $0$, all three conditions are satisfied.

Now we are to perform Step $n$. We first put all the numbers from $[2^{-2n-3},2^{-2n-1})$ to the points of $P_n$. Each special line gets none of them, while each non-special line gets an increment of at most $2^{-2n}$, so the sum on it is at most $1-2^{1-n}+2^{-2n}$ now.

Now $\ell_n$ has infinitely many empty points. Some of them are special, i.e., belong to other special lines. Firstly, fill the special points so that the special lines will not overfull. Then fill the remaining points on $\ell_n$ (there are infinitely many of them) so that the sum on $\ell_n$ becomes $1$. It is easy to see that this is possible, as every subinterval $*\alpha,\beta)$ in $(0,2^{-2n-3})$ contains infinitely many of unused numbers.

Now, each special line still satisfies (c). Each other line now has a sum of at most $1-2^{1-n}+2^{-2n}+2^{-2n-1}<1-2^{-n}$, as desired. So the step is complete.

1. The initial request can be done via the usual inductive trick.

To perform the step, firstly fill the parabola $p_n$ in order to satisfy (1.5), and then fill $\ell_n$.

The construction for $(0,1/2]$ is in part 3.

1. The initial request can be done via the usual inductive trick.

To perform the step, firstly fill the parabola $p_n$ in order to satisfy (1.5), and then fill $\ell_n$.

3. Here is a refinement which seemingly works for $(0,1/2]\cap \mathbb Q$.

Part 1. We intend to choose an infinite set of points $S$ and call the lines joining two points in $S$ special. The condition to be satisfied is that every (possibly special) line $\ell$ contains only finitely many points covered by special lines different from $\ell$.

Enumerate the lines as $\ell_1,\ell_2,\dots$. Collect $S$ inductively. On $n$th step, we will fix the infinite sets on $\ell_1,\dots,\ell_n$ which will not be covered by special lines (different from $\ell_1,\dots,\ell_n$), and $S$ will contain $n$ points. The first step is obvious: we put any point to $S$ and fix all points different from it on $\ell_1$.

On the $n$th step, line $\ell_{n+1}$ crosses the already existing special lines (different from $\ell$) by finitely many points. We claim that all other points will be uncuvered forever.

Now, if $S=\{s_1,\dots,s_n\}$ at this moment, we are to choose $s_{n+1}$. Choose an irrational direction $\vec v$ and draw the rays from $s_1,s_2,\dots,s_n$ in that direction; each crosses $\ell_1,\dots,\ell_{n+1}$ at a non-lattice point. If now we choose $s_{n+1}$ sufficiently far in that direction, the rays $s_is_{n+1}$ will be close enough to those rays, so they will cross $\ell_1,\dots,\ell_{n+1}$ also at non-lattice points. The step is complete.

Part 2. Denote by $T$ the set of points on the special lines, and set $P=\mathbb Z^2\setminus T$. There are infinitely many non-special lines, and each contains infinitely many points not in $U$. Now we can choose a sequence $P_1,P_2,\dots$ of pairwise disjoint infinite subsets of $U$ such that no three points in $P_i$ are collinear. Each $P_i$ is easily chosen by a similar (yet easier) induction.

Part 3. Now we put the numbers. On Step 0, we put all rational numbers from $[1/8,1/2]$ into the points of $S$. The following steps are performed to maintain the following after the $n$th step:

(A) the numbers are put into $S\cup\bigcup_{i=1}^n (P_i\cup \ell_i)$; moreover, all numbers from $[2^{-2n-3},1/2]$ are already used;

(B) the sum of all numbers on $\ell_i$ ($i\leq n$) is $1$;

(c) for every $i>n$, the sum of numbers on $\ell_i$ is smaller than $1$; moreover, if $\ell_i$ is not special, then this sum is at most $1-2^{-n}$.

After Step $0$, all three conditions are satisfied.

Now we are to perform Step $n$. We first put all the numbers from $[2^{-2n-3},2^{-2n-1})$ to the points of $P_n$. Each special line gets none of them, while each non-special line gets an increment of at most $2^{-2n}$, so the sum on it is at most $1-2^{1-n}+2^{-2n}$ now.

Now $\ell_n$ has infinitely many empty points. Some of them are special, i.e., belong to other special lines. Firstly, fill the special points so that the special lines will not overfull. Then fill the remaining points on $\ell_n$ (there are infinitely many of them) so that the sum on $\ell_n$ becomes $1$. It is easy to see that this is possible, as every subinterval $*\alpha,\beta)$ in $(0,2^{-2n-3})$ contains infinitely many of unused numbers.

Now, each special line still satisfies (c). Each other line now has a sum of at most $1-2^{1-n}+2^{-2n}+2^{-2n-1}<1-2^{-n}$, as desired. So the step is complete.

Source Link
Ilya Bogdanov
  • 23.7k
  • 54
  • 92
Loading