«Антье и мантисса. Сборник задач с решениями»

В блоге публикуются рецензии на книгу, обсуждения критических замечаний, ответы на часто задаваемые вопросы, комментарии к задачам из сборника, а также материалы, не вошедшие в книгу, формулировки и решения новых задач.
http://keldysh.ru/e-biblio/entier — электронная версия книги в формате PDF (редакция от 20.11.2017).

7 ноября 2016 г.

\( \bigl| \mant {n \alpha} - a \bigr| < \varepsilon \)

(*) Обобщением предыдущего утверждения является следующий факт.
154. Пусть \( \alpha \) — некоторое иррациональное число. Докажите, что для любых \( 0 < a < 1 \) и сколь угодно малого \( \varepsilon > 0 \) найдется натуральное число \( n \) такое, что  \(
\bigl| \mant {n \alpha} - a \bigr| < \varepsilon \).
Доказательство. Согласно результатам задачи 153 найдется \(
m_0 \in \mathbb N \) такое, что для любого \(
\varepsilon > 0\) выполняется оценка \(
\mant {m_0 \alpha} < \varepsilon \).

Пусть \( \mant {m_0 \alpha} = \delta \), отметим, что \(
0 < \delta < \varepsilon \).

Чтобы выполнялось неравенство \(
a - \varepsilon < n_0 \delta < a + \varepsilon ,
\) достаточно взять \( n_0 = \ant { \dfrac {a + \varepsilon} {\delta} } \). Понятно, что \( n_0 \geqslant 1 \).

Поскольку \( \varepsilon \) — малая величина (в этом весь смысл), то можно считать \( a + \varepsilon < 1 \). Тогда \(
n_0 \mant {m_0 \alpha} < 1\), следовательно, \(
n_0 \mant {m_0 \alpha} = \mant {n_0 m_0 \alpha} \).

Таким образом, искомое \( n = n_0 m_0 \).
\( \color{gray}{\blacksquare} \)

Примечание 1. Согласно задачам 153 и 154 любая точка из отрезка \(
\bigl[ 0, \, 1 \bigr] \) является предельной для числовой последовательности \( \mant {n \alpha} \), где \( \alpha \) — иррациональное число.

Примечание 2. Множество \( \mant {n \alpha} \), где \( \alpha \) — иррациональное число, является подмножеством отрезка \(
\bigl[ 0, \, 1 \bigr] \) и является всюду плотным в этом промежутке.


Автор: И.Л. на 01:17
Отправить по электронной почте Написать об этом в блоге Опубликовать в Twitter Опубликовать в Facebook Поделиться в Pinterest

Комментариев нет :

Отправить комментарий

Следующее Предыдущее Главная страница
Подписаться на: Комментарии к сообщению ( Atom )

Автор

Автор
СЕМЕНОВ
Игорь Ленидович,
науч.сотр-к (1983-2018)
ИПМ им. М. В. Келдыша РАН

Разделы

  • Обозначения
  • Определения
  • Свойства
  • Cообщения

Просмотров за неделю

Архив

  • янв 2017 ( 1 )
  • ноя 2016 ( 9 )
  • окт 2016 ( 11 )
  • сен 2016 ( 7 )
  • авг 2016 ( 8 )
  • июл 2016 ( 5 )
  • июн 2016 ( 5 )
  • мая 2016 ( 10 )
  • апр 2016 ( 12 )
  • мар 2016 ( 5 )
  • янв 2016 ( 1 )
  • дек 2015 ( 11 )
  • ноя 2015 ( 11 )
  • окт 2015 ( 17 )
  • сен 2015 ( 13 )
  • авг 2015 ( 12 )
  • июл 2015 ( 14 )
  • июн 2015 ( 2 )
Технологии Blogger.