При этом число
элементов в множестве
удовлетворяет неравенству
Доказательство. Заметим вначале, что
для любого вектора
Разобьем интервал
на
непересекающихся частей:
Каждому вектору
сопоставим вектор
по следующему правилу:
В силу неравенства (5.5.11) такое сопоставление возможно. Каждая компонента вектора
может принимать любое из
значений. Поэтому количество различных векторов, которые можно образовать из этих значений, равно
Пусть
множество всех таких векторов.
Существует, вообще говоря, не один вектор, которому сопоставляется данный вектор
Обозначим через
подмножество таких векторов» принадлежащих
-мерной сфере
которым сопоставляется один и тот же вектор
Заметим, что некоторые из этих подмножеств будут пустыми. Например, вектору
соответствует пустое подмножество. Из каждого непустого подмножества
произвольным образом выберем один вектор. Обозначим его через
Пусть
полученное таким образом множество векторов. Покажем, что для этого множества утверждение леммы выполняется.
Действительно, пусть
Пусть, кроме того,
вектор, выбранный из подмножества В и включенный в множество
Тогда
Используя неравенство треугольника, получим
Из (5.5.15) следует, что
откуда вытекает неравенство
Очевидно, что
Лемма доказана.