2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему
 
 Помогите доказать
Сообщение21.04.2017, 10:11 


21/04/17
8
Здравствуйте! Помогите доказать, что $\left\lbrace n\alpha\right\rbrace$, где $n\in\mathbb{N}$ и $\alpha$ - иррациональное положительное, всюду плотно во множестве $(0,1)$.

 Профиль  
                  
 
 Re: Помогите доказать
Сообщение21.04.2017, 11:06 


11/08/16
193
Для начала покажем, что числом вида $\[na\]$ (где $\[n \in \mathbb{N}\]$ и $\[a\]$
- иррациональное положительное) можно сколь угодно близко приблизиться к натуральному числу (\$[\forall \varepsilon  > 0\exists n,a,m \in \mathbb{Z}:0 < na - m < \varepsilon \]$):
Рассмотрим $\[n\]$ чисел $\[a,2a,3a,...,na\]$ их дробная часть попадает в один из $\[(n - 1)\]$ промежутков $\[\left( {0;\frac{1}{{n - 1}}} \right),\left( {\frac{1}{{n - 1}};\frac{2}{{n - 1}}} \right),...,\left( {\frac{{n - 2}}{{n - 1}};1} \right)\]$ Тогда (по принципу Дирихле) найдется два числа, попавших в один и тот же промежуток и тогда их разность (тоже число вида $\[{n_0}a\]$) будит иметь дробную часть в промежутке $\[\left( {0;\frac{1}{{n - 1}}} \right)\]$ и (с увеличением $\[n\]$) этот промежуток можно сколь угодно сузить, а значит мы можем сколь угодно точно приблизиться к натуральному числу числами вида $\[an\]$. Несложно доказать, что из возможности сколь угодно точно приблизиться к натуральному следует возможность сколь угодно точно приблизиться к рациональному числу, но т.к. множество рациональных всюду плотно, то и множество всех чисел $\[an\]$ тоже всюду плотно.

 Профиль  
                  
 
 Re: Помогите доказать
Сообщение21.04.2017, 11:09 
Заслуженный участник


12/09/10
1547
sa233091, ваше представление о помощи идет вразрез с правилами форума.

 Профиль  
                  
 
 Re: Помогите доказать
Сообщение21.04.2017, 11:39 
Супермодератор
Аватара пользователя


20/11/12
5728
 !  sa233091, предупреждение за полное решение простой учебной задачи.

 Профиль  
                  
 
 Re: Помогите доказать
Сообщение21.04.2017, 11:53 
Заслуженный участник
Аватара пользователя


23/07/05
17973
Москва
Предложенное решение содержит ошибки.

 Профиль  
                  
 
 Re: Помогите доказать
Сообщение21.04.2017, 11:57 


11/08/16
193
Someone в сообщении #1211243 писал(а):
Предложенное решение содержит ошибки.

А какие? Я просто сам не очень разбираюсь в этой теме, подскажите пожалуйста.

 Профиль  
                  
 
 Re: Помогите доказать
Сообщение21.04.2017, 12:10 
Заслуженный участник


11/05/08
32166
sa233091 в сообщении #1211245 писал(а):
А какие?

Во-первых, скобки слишком круглы. Во-вторых: а где использована иррациональность альфы?...

Reyg в сообщении #1211223 писал(а):
$\left\lbrace n\alpha\right\rbrace$, где $n\in\mathbb{N}$ и $\alpha$ - иррациональное положительное, всюду плотно во множестве $(0,1)$.

Неправильная запись: поскольку первое слово "множество" отсутствует, фигурные скобки именно его и заменяют.

 Профиль  
                  
 
 Re: Помогите доказать
Сообщение21.04.2017, 12:15 
Заслуженный участник
Аватара пользователя


23/07/05
17973
Москва
Reyg, ваше первое сообщение первый же модератор, его увидевший, сразу же снёс бы в Карантин, поскольку начисто отсутствуют какие-либо попытки самостоятельного решения. Модератор, очевидно, не успел это сделать. Но ещё не вечер, и если вместо попыток решения мы увидим слёзные мольбы написать готовое решение, то тема точно поедет в Карантин.

 Профиль  
                  
 
 Re: Помогите доказать
Сообщение21.04.2017, 12:44 


11/08/16
193
ewert в сообщении #1211248 писал(а):
Во-первых, скобки слишком круглы

Скобки круглые потому, что $\[a\]$ - иррационально

-- 21.04.2017, 13:10 --

ewert в сообщении #1211248 писал(а):
Во-вторых: а где использована иррациональность альфы?...

Я бы хотел пояснить тот переход, что скрыл за словами
sa233091 в сообщении #1211234 писал(а):
Несложно доказать, что из возможности сколь угодно точно приблизиться к натуральному следует возможность сколь угодно точно приблизиться к рациональному числу

Покажем, что для любого $\[\varepsilon  > 0\]$ и любого рационального $\[x \in \left( {0;1} \right)\]$ найдется число вида $\[an\]$ такое , что $\[0 < an - x < \varepsilon \]$.
Мы знаем, что
sa233091 в сообщении #1211234 писал(а):
$[\forall \varepsilon  > 0\exists n,a,m \in \mathbb{Z}:0 < na - m < \varepsilon \]$

Домножим неравенство на $ \[\frac{x}{m}\]$:
$\[n\left( {a \cdot \frac{x}{m}} \right) - x < \varepsilon \left( {\frac{x}{m}} \right) < \varepsilon \]$
Заметим, что $\[a \cdot \frac{x}{m}\]$ число иррациональное, а значит $\[n\left( {a \cdot \frac{x}{m}} \right)\]$ - число вида $\[an\]$

-- 21.04.2017, 13:23 --

Reyg в сообщении #1211223 писал(а):
Помогите доказать, что $\left\lbrace n\alpha\right\rbrace$, где $n\in\mathbb{N}$ и $\alpha$ - иррациональное положительное, всюду плотно во множестве $(0,1)$.

А вообще зачем здесь $\[n\]$? Разве в условии говорится не об обычной плотности множества иррациональных чисел?

 Профиль  
                  
 
 Re: Помогите доказать
Сообщение21.04.2017, 16:04 
Аватара пользователя


20/03/12
139
sa233091 в сообщении #1211259 писал(а):
А вообще зачем здесь $\[n\]$? Разве в условии говорится не об обычной плотности множества иррациональных чисел?

Исходная формулировка задачи действительно весьма туманна и ее нужно уточнять, но я скорее склонен считать, что $\alpha$ фиксировано и задано (например, $\sqrt2$), а фигурными скобками здесь обозначено не множество, а дробная часть числа $n\alpha$. То есть, задача состоит в том, чтобы доказать, что последовательность дробных частей чисел вида $n\alpha$ всюду плотна на $(0;1)$. В таком виде это уже более-менее содержательная задача.

В общем, нужно ждать, пока ТС сам не поправит условие так, чтобы оно стало корректным и читалось однозначно.

 Профиль  
                  
 
 Re: Помогите доказать
Сообщение21.04.2017, 18:42 


11/08/16
193
Human в сообщении #1211310 писал(а):
Исходная формулировка задачи действительно весьма туманна и ее нужно уточнять, но я скорее склонен считать, что $\alpha$ фиксировано и задано (например, $\sqrt2$), а фигурными скобками здесь обозначено не множество, а дробная часть числа $n\alpha$. То есть, задача состоит в том, чтобы доказать, что последовательность дробных частей чисел вида $n\alpha$ всюду плотна на $(0;1)$. В таком виде это уже более-менее содержательная задача.

Да, я с вами согласен

-- 21.04.2017, 18:51 --

Впрочем тогда задачу можно решить все тем-же принципом Дирихле (который, надо заметить, часто фигурирует в подобного рода задачах). Но я думаю не следует приводить решение (учусь на собственных ошибках) и я лишь намекну ТС, что здесь также уместна идея возможности сколь угодно точно приблизить 0

 Профиль  
                  
 
 Re: Помогите доказать
Сообщение21.04.2017, 21:09 
Заслуженный участник


11/05/08
32166
Human в сообщении #1211310 писал(а):
а фигурными скобками здесь обозначено не множество, а дробная часть числа $n\alpha$.

Здесь фигурными скобками обозначено одновременно и то, и другое. Что неприлично. Но не более прилично было бы и ставить двойные фигурные скобки. В общем, весьма неудачная запись.

Что, впрочем, никак не влияет на недвусмысленность самой постановки вопроса. Это ведь стандартная даже и не задача, а теорема. И тут на форуме она уже многократно обсасывалась.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 12 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: mihaild


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group