2014 dxdy logo

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

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


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


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



Начать новую тему Ответить на тему На страницу 1, 2, 3, 4  След.
 
 Определение вещественного числа
Сообщение18.04.2017, 16:45 
Аватара пользователя


15/07/15
19
0.(9) = 1 по определению вещественного числа.
Какие есть определения вещественного числа, какие теории вещественных чисел?
Пытался понять по материалам википедии, но как то сложно.

 Профиль  
                  
 
 Re: Определение вещественного числа
Сообщение18.04.2017, 17:01 


11/04/17
15
Для того, чтобы установить сходимость данной геометрической прогрессии к единице, никакие вещественные числа вообще не нужны, все решается не выходя из рациональных чисел.

 Профиль  
                  
 
 Re: Определение вещественного числа
Сообщение18.04.2017, 17:10 
Аватара пользователя


15/07/15
19
Но ведь "сходимость к 1" не означает, что "строго равно 1".

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


16/07/14
8347
Цюрих
Есть три основных определения вещественных чисел - через фундаментальные последовательности, через бесконечные десятичные дроби и через сечения Дедекинда.
Последнее хорошо изложено, например, у Рудина в "Основах математического анализа" (первые два наверняка тоже много где есть, но навскидку не помню).

Возьмите любое из них (укажите, какое) и напишите, как в нем определяется равенство и само число $0.(9)$

 Профиль  
                  
 
 Re: Определение вещественного числа
Сообщение18.04.2017, 17:16 


11/04/17
15
"Сумма" бесконечного числа слагаемых не имеет никакого смысла, кроме как в смысле сходимости. Если нас такие "суммы" интересуют - приходится отождествлять сходимость и равенство.

И, опять, пока тут никакие вещественные числа не нужны, достаточно того, что нам повезло и фундаментальная последовательность счастливо сходится, не покидая рациональных чисел.

А если нам не повезет, например для дес. дроби 0,10100100010000...... - придется что-то придумывать и строить вещественные числа.

 Профиль  
                  
 
 Re: Определение вещественного числа
Сообщение18.04.2017, 17:22 
Аватара пользователя


15/07/15
19
А где можно подробно почитать определения вещественных чисел через бесконечные десятичные дроби, желательно подробно и со строгой формализацией?

 Профиль  
                  
 
 Re: Определение вещественного числа
Сообщение18.04.2017, 17:25 


11/04/17
15
Не надо вам через десятичные - слишком тоскливо и непрактично.
Ищите через Дедекиндовы сечения или через фундаментальные последовательности - намного приятнее.

При этом заход через десятичные - прямое следствие и, в некотором роде, частный случай, захода через фунд. последовательности.

Но если очень хочется именно через десятичные - посмотрите Никольского, там дыряво, но для первого раза сойдет. Или Вейерштрасса :)

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


09/02/14

1377
Eric1987
Зорич "Математический анализ" том 1, вторая глава.

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


30/01/06
72407
mihaild
А где показано, что они все три эквивалентны друг другу? Особенно для начинающего читателя.

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


01/03/06
13626
Москва
mihaild в сообщении #1210459 писал(а):
Есть три основных определения вещественных чисел - через фундаментальные последовательности, через бесконечные десятичные дроби и через сечения Дедекинда.
Все-таки, это лишь модели, а "единственно правильное" определение - аксиоматическое.
Munin в сообщении #1210499 писал(а):
mihaild
А где показано, что они все три эквивалентны друг другу? Особенно для начинающего читателя.

Нелепый вопрос. Доказано, что поле вещ. чисел своими аксиомами определено однозначно, с точностью до изоморфизма. В каждой из трех моделей проверяется выполнение всего набора аксиом, отсюда автоматически следует изоморфизм всех трех моделей. Разве это нужно отдельно доказывать? :shock:

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


16/07/14
8347
Цюрих
Munin, если начинающий читатель - ваш злейший враг, то можно ему выдать доказательство изоморфности всех полных архимедовых полей (есть в "Алгебре" ван дер Вардена, наверное есть и в чем-то более человеколюбивом).
Выписанного доказательства для этих случаях внезапно не нашел :shock: У Фихтенгольца и Зорича есть какие-то общие слова про десятичные дроби, но строгий результат даже не сформулирован.
Brukvalub в сообщении #1210525 писал(а):
Все-таки, это лишь модели, а "единственно правильное" определение - аксиоматическое.
Чем это "единственно правильное" (под ним же подразумевается "$\mathbb{R}$ - полное архимедово поле"?) определение лучше определения "$\mathbb{R}$ - множество сечений с понятно какими операциями"? Не считая того, что первое вообще задает предикат "быть вещественными числами", а не определяет множество.

(Оффтоп)

Ну и давайте тогда еще учтем, что упорядоченное поле не является ни полем, ни упорядоченным множеством, ни группой по сложению...

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


09/02/14

1377
mihaild в сообщении #1210532 писал(а):
У Фихтенгольца и Зорича есть какие-то общие слова про десятичные дроби, но строгий результат даже не сформулирован.

У Зорича это сформулировано в виде упражнений II.2.23 и II.2.24 и ещё немножко относящихся к ним II.2.13 II.2.14 II.2.21.

mihaild в сообщении #1210532 писал(а):
Чем это "единственно правильное" (под ним же подразумевается "$\mathbb{R}$ - полное архимедово поле"?) определение лучше определения "$\mathbb{R}$ - множество сечений с понятно какими операциями"? Не считая того, что первое вообще задает предикат "быть вещественными числами", а не определяет множество.

М-м-м, сейчас бы поспорить на тему synthetic vs point-set а то так-то на форуме прямо ни одной активной темы нету, в которой делалось бы то же самое.

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


30/01/06
72407
mihaild в сообщении #1210532 писал(а):
Munin, если начинающий читатель - ваш злейший враг

Изображение

mihaild в сообщении #1210532 писал(а):
Выписанного доказательства для этих случаях внезапно не нашел :shock:

Да, удивительно. Может, кто-нибудь ещё найдёт.

Лично мне кажется достаточно лёгким только шаг "фунд. последовательности $\Rightarrow$ беск. $n$-ичные дроби", поскольку каждая такая дробь является такой последовательностью.

kp9r4d в сообщении #1210534 писал(а):
М-м-м, сейчас бы поспорить на тему synthetic vs point-set а то так-то на форуме прямо ни одной активной темы нету, в которой делалось бы то же самое.

Может, всё-таки в отдельной теме?

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


01/03/06
13626
Москва
mihaild в сообщении #1210532 писал(а):
Чем это "единственно правильное" (под ним же подразумевается "$\mathbb{R}$ - полное архимедово поле"?)

На мой взгляд, оно тем лучше, что сразу концентрирует внимание учащегося именно на свойствах вещественных чисел, очищая это понятие от деталей, присущих конкретным моделям. Естественно, затем нужно доказать единственность и построить какую-либо из моделей.

 Профиль  
                  
 
 Re: Определение вещественного числа
Сообщение18.04.2017, 22:17 


11/04/17
15
Brukvalub в сообщении #1210551 писал(а):
mihaild в сообщении #1210532 писал(а):
Чем это "единственно правильное" (под ним же подразумевается "$\mathbb{R}$ - полное архимедово поле"?)

На мой взгляд, оно тем лучше, что сразу концентрирует внимание учащегося именно на свойствах вещественных чисел, очищая это понятие от деталей, присущих конкретным моделям. Естественно, затем нужно доказать единственность и построить какую-либо из моделей.


А классики начинали с моделей, аксиоматическое построение возникло намного позже. Наверное дураки были, а вот учащиеся им сейчас класс покажут :)

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 57 ]  На страницу 1, 2, 3, 4  След.

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



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

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


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

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