Пусть [tex]H\subset\mathbb{R}[/tex] — ограниченное измеримое по Лебегу множество положительной меры [tex]m(H)\gt 0[/tex]. Докажите, что [tex]\liminf_{t\to 0}\frac{m\left((H+t)\setminus H\right)}{|t|}\gt 0[/tex], где [tex]H+t=\{x+t: x\in H\}[/tex], а [tex]m[/tex] — мера Лебега.
Решение:
Выберем [tex]R\gt 0[/tex] так, что [tex]H\subset[-R; R][/tex], и положим [tex]\varphi(t)=m\left((H+t)\setminus H\right)[/tex]. Все множества ниже получаются из [tex]H[/tex] сдвигами, разностями и объединениями, поэтому они измеримы, а мера Лебега инвариантна относительно сдвигов. Зафиксируем [tex]t\ne 0[/tex] и пусть [tex]k[/tex] — наименьшее натуральное число, для которого [tex]k|t|\gt 2R[/tex]. Тогда [tex](k-1)|t|\le 2R[/tex], т.е.
[tex]k\le\frac{2R}{|t|}+1[/tex]
Множество [tex]H+kt\subset[-R+kt; R+kt][/tex] не пересекается с [tex][-R; R][/tex] (если [tex]t\gt 0[/tex], то [tex]-R+kt\gt R[/tex]; если [tex]t\lt 0[/tex], то [tex]R+kt\lt -R[/tex]). Значит, [tex](H+kt)\setminus H=H+kt[/tex] и
[tex]m\left((H+kt)\setminus H\right)=m(H+kt)=m(H)[/tex]
С другой стороны,
[tex](H+kt)\setminus H\subset\bigcup_{i=1}^{k}\big((H+it)\setminus(H+(i-1)t)\big)[/tex]
Действительно, если [tex]x\in H+kt[/tex] и [tex]x\notin H[/tex], пусть [tex]i[/tex] — наименьший индекс из [tex]\{0; 1; \ldots; k\}[/tex], для которого [tex]x\in H+it[/tex]; тогда [tex]i\ge 1[/tex] и [tex]x\in(H+it)\setminus(H+(i-1)t)[/tex]. Каждое из этих множеств является сдвигом: [tex](H+it)\setminus(H+(i-1)t)=\big((H+t)\setminus H\big)+(i-1)t[/tex], поэтому его мера равна [tex]\varphi(t)[/tex]. По полуаддитивности меры
[tex]m(H)\le k\,\varphi(t)\le\left(\frac{2R}{|t|}+1\right)\varphi(t)\Rightarrow\frac{\varphi(t)}{|t|}\ge\frac{m(H)}{2R+|t|}[/tex]
для всех [tex]t\ne 0[/tex]. Переходя к пределу при [tex]t\to 0[/tex], получаем
[tex]\liminf_{t\to 0}\frac{m\left((H+t)\setminus H\right)}{|t|}\ge\frac{m(H)}{2R}\gt 0[/tex]