2014 dxdy logo

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

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




На страницу Пред.  1, 2, 3  След.
 
 Re: Set-builder нотация для множества иррациональных чисел
Сообщение29.06.2019, 06:01 
arseniiv в сообщении #1402113 писал(а):
Но чтобы прям например последовательности Коши были связаны с практическими потребностями?

Ровно так. При практическом вычислении (т.е. при нахождении приближённого решения) у нас нет ничего, кроме "последовательностей Коши". Ничто другое нам просто не доступно. И если нет уверенности в том, что эти последовательности хоть к чему-то сходятся -- всё рушится.

 
 
 
 Re: Set-builder нотация для множества иррациональных чисел
Сообщение29.06.2019, 06:05 
Аватара пользователя
arseniiv
Не надо любое. Приведите определение иррациональных чисел, не применяя частицы "не".
Полазил по словарям. Что только конструктивностью не называют.
Я имел ввиду его привычный смысл: описание существующих свойств феномена, а не отсутствующих.
Т.е. "человек это животное на двух ногах и без перьев" определение деструктивное.

 
 
 
 Re: Set-builder нотация для множества иррациональных чисел
Сообщение29.06.2019, 06:17 
podih в сообщении #1402121 писал(а):
Приведите определение иррациональных чисел, не применяя частицы "не".

Это невозможно. Найдите значение приставки "ир".

 
 
 
 Re: Set-builder нотация для множества иррациональных чисел
Сообщение29.06.2019, 06:46 
Аватара пользователя
ewert
Я его знаю. И о невозможности я и говорил сначала.

 
 
 
 Re: Set-builder нотация для множества иррациональных чисел
Сообщение29.06.2019, 07:01 
podih в сообщении #1402123 писал(а):
Я его знаю. И о невозможности я и говорил сначала.

Тогда зачем Вы добиваетесь невозможного, раз за разом требуя определение именно иррационального числа?

 
 
 
 Re: Set-builder нотация для множества иррациональных чисел
Сообщение29.06.2019, 07:17 
Аватара пользователя
ewert
Я возражал этому тезису:
arseniiv в сообщении #1402113 писал(а):
Любое множество можно записать в виде $\{x\mid\ldots\}$

(Оффтоп)

Хотя, чувствую, сейчас начнётся.

 
 
 
 Re: Set-builder нотация для множества иррациональных чисел
Сообщение29.06.2019, 07:46 
podih в сообщении #1402125 писал(а):
Я возражал этому тезису:
arseniiv в сообщении #1402113 писал(а):
Любое множество можно записать в виде $\{x\mid\ldots\}$

А это действительно правда -- то, что любое множество можно определить аксиоматически. В т.ч. и множество вещественных чисел, надо только добавить к аксиомам поля, порядка (и при необходимости Архимеда) ещё и аксиому полноты/непрерывности -- в каком-либо из эквивалентных вариантов.

Другое дело, что подобное всегда происходит апостериори. Аксиомы не сваливаются с потолка, а возникают из практических надобностей. В случае вещественных чисел кровь из носу было необходимо обеспечить выполнение критерия Коши (сходимость равносильна фундаментальности). Соответственно, выполнение этого критерия и является наиболее идейным вариантом той самой дополнительной аксиомы полноты.

Фактически сам Коши и ввёл свой критерий как аксиому -- доказать его он не мог, т.к. чёткого понимания того, что такое вещественные числа, в те времена ещё не было. Но аксиомой не называл; аксиоматика сложилась гораздо позже.

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

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

 
 
 
 Re: Set-builder нотация для множества иррациональных чисел
Сообщение29.06.2019, 07:57 
Аватара пользователя
ewert
Вот я и попросил arseniiv привести определение.
Вы можете привести аксиомы, определяющие класс иррациональны чисел?

 
 
 
 Re: Set-builder нотация для множества иррациональных чисел
Сообщение29.06.2019, 08:01 
podih в сообщении #1402128 писал(а):
Вы можете привести аксиомы, определяющие класс иррациональны чисел?

Нет, не могу; на бессмысленный вопрос ответить невозможно.

 
 
 
 Re: Set-builder нотация для множества иррациональных чисел
Сообщение29.06.2019, 08:05 
Аватара пользователя
ewert
На грубость и нелогичность ЗУ ответить можно, но только один раз.
Потому закругляюсь.

 
 
 
 Re: Set-builder нотация для множества иррациональных чисел
Сообщение29.06.2019, 15:13 
arseniiv в сообщении #1402113 писал(а):
Существует, и не одна (например та же теория множеств ZFC с некоторыми добавлениями для экзотических случаев), но для понимания математики они не нужны.


Благодарю за конструктивный ответ.

 
 
 
 Re: Set-builder нотация для множества иррациональных чисел
Сообщение29.06.2019, 15:28 
Аватара пользователя
podih в сообщении #1402121 писал(а):
определение иррациональных чисел, не применяя частицы "не"
Вещественные числа с мерой иррациональности, большей $1$.Сойдет?

 
 
 
 Re: Set-builder нотация для множества иррациональных чисел
Сообщение29.06.2019, 16:23 
mihaild в сообщении #1402191 писал(а):
Вещественные числа с мерой иррациональности, большей $1$.Сойдет?

Или так: $r$ $\in$ $\mathbb{R}$ и $I_{\mathbb{Q} }(r)$ $=$ $0$ ! :-) Если уж на то пошло, то вещественные числа можно определить как сечения в множестве рациональных; тогда иррациональные числа — это щели (определить щель, не используя отрицания, проще простого).

 
 
 
 Re: Set-builder нотация для множества иррациональных чисел
Сообщение29.06.2019, 18:06 
Аватара пользователя
mihaild
Connector
Надо почитать по теме.
Но в любом случае, спасибо за конструктив.
... Особенно поразило, что для почти всех трансцендентных чисел мера иррациональности равна 2. Непонятно, как это согласуется с лишь счётным множеством вычислимых чисел.

 
 
 
 Re: Set-builder нотация для множества иррациональных чисел
Сообщение29.06.2019, 18:51 
ewert в сообщении #1402120 писал(а):
Ровно так. При практическом вычислении (т.е. при нахождении приближённого решения) у нас нет ничего, кроме "последовательностей Коши". Ничто другое нам просто не доступно. И если нет уверенности в том, что эти последовательности хоть к чему-то сходятся -- всё рушится.
Да, наверно мне стоило спросить про сечения Дедекинда.

podih в сообщении #1402121 писал(а):
Я имел ввиду его привычный смысл: описание существующих свойств феномена, а не отсутствующих.
По-моему, это никакой не «привычный смысл» конструктивности.

podih в сообщении #1402125 писал(а):
Хотя, чувствую, сейчас начнётся.
Конечно начнётся. Любому множеству $s$ сопоставляется единственный предикат принадлежности ему ${}\in s$, и в обратную сторону предикатам $A$ сопоставляется не более одного множества $\{x\mid A(x)\}$ такого, что $a\in\{x\mid A(x)\}\Leftrightarrow A(a)$. Это просто определение обозначения $\{\ldots\mid\ldots\}$.

И кстати аксиомы тут ни при чём, они нужны только для того чтобы показать, что некоторым таким записям соответствует множество (и каким именно), и — аксиома экстенсиональности — чтобы показать, что каждой записи соответствует не более одного множества.

 
 
 [ Сообщений: 32 ]  На страницу Пред.  1, 2, 3  След.


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group