Просмотр кода страницы Нестандартный анализ

{{значения|Анализ}}

'''Нестандартный анализ''' — альтернативный подход к обоснованию и построению [[математический анализ|математического анализа]], в котором [[бесконечно малые]] — не переменные величины, а особый вид чисел. В нестандартном анализе на современной основе реализуется восходящая к [[Лейбниц, Готфрид Вильгельм|Лейбницу]] и его последователям идея о существовании [[бесконечно малое|бесконечно малых]] величин, отличных от нуля, — идея, которая в историческом развитии математического анализа была заменена понятием предела переменной величины. Недоверие к актуальным бесконечным величинам в математике объяснялось трудностями их формального обоснования. Любопытно, что представления об актуальных бесконечно больших и бесконечно малых величинах сохранялись в учебниках физики и других естественных наук, где часто встречаются фразы вроде «пусть {{s|<math>dV</math> —}} (бесконечно малый) элемент объёма…»<ref>См., например: ''Детлаф А. А., Яворский Б. М.'' Курс физики. — {{М.}}: Высшая школа, 1999. — С. 128 и далее.</ref>.

Концепция Лейбница была реабилитирована, когда появилось первое современное изложение инфинитезимальных методов, которое дал [[Абрахам Робинсон]] в 1961 году. В отличие от традиционного анализа, опирающегося на [[Вещественное число|вещественные]] и [[комплексные числа]], нестандартный анализ имеет дело с более широким полем [[Гиперреальное число|гипервещественных чисел]], в котором не выполняется [[аксиома Архимеда]]<ref name=PANOV>{{книга|автор=Панов В. Ф. |заглавие=Математика древняя и юная |издание=Изд. 2-е, исправленное |место=М. |издательство=[[МГТУ им. Баумана]] |год=2006 |страниц=648 |страницы=548—553 |isbn=5-7038-2890-2 }}</ref>.

Нестандартный анализ возник как раздел [[математическая логика|математической логики]], посвящённый приложению [[теория моделей|теории нестандартных моделей]] к исследованиям в традиционных областях математики: [[математический анализ|математическом анализе]], [[Теория аналитических функций|теории функций]], [[теория дифференциальных уравнений|теории дифференциальных уравнений]], [[топология|топологии]] и др.

[[Курт Гёдель]] писал в 1973 году: «Есть веские основания считать, что нестандартный анализ, в той или иной форме, станет анализом будущего»<ref>{{статья |автор=Кутателадзе С. С. |заглавие=Нестандартному анализу 50 лет |ссылка=http://www.sbras.ru/HBC/hbc.phtml?8+627+1 |издание=Наука в Сибири |год=2012 |выпуск=11 (2846) |страницы=6 |archivedate=2016-03-10 |archiveurl=https://web.archive.org/web/20160310050429/http://www.sbras.ru/HBC/hbc.phtml?8+627+1 }}</ref>.

== Основные положения ==
{{нет источников в разделе|дата=2019-10-23}}

В общих чертах основной метод Робинсона можно описать следующим образом.
Рассматривается некоторая математическая структура <math>M</math> и строится логико-математический язык 1-го порядка, отражающий аспекты этой структуры, интересующие исследователя. Затем методами [[Теория моделей|теории моделей]] строится нестандартная модель теории структуры <math>M</math>, являющаяся собственным расширением <math>M</math>.
При надлежащем построении новые, ''нестандартные'', элементы модели могут быть истолкованы как предельные, «идеальные» элементы первоначальной структуры.
Например, если первоначально рассматривалось [[упорядоченное поле]] вещественных чисел, то нестандартные элементы модели естественно рассматривать как «инфинитезимальные», то есть бесконечно большие или бесконечно малые, но отличные от нуля вещественные числа.
При этом все обычные отношения между вещественными числами автоматически переносятся и на нестандартные элементы с сохранением всех их свойств, выраженных в логико-математическом языке.
Подобным образом в [[фильтр (математика)|теории фильтров]] на данном множестве нестандартный элемент определяет непустое пересечение всех элементов фильтра; в топологии возникает семейство нестандартных точек, расположенных «бесконечно близко» к данной точке.
Истолкование нестандартных элементов модели часто позволяет дать удобные критерии для обычных понятий в терминах нестандартных элементов.
Например, можно доказать, что стандартная действительная функция <math>f(x)</math> непрерывна в стандартной точке <math>x_0</math> тогда и только тогда, когда <math>f(x)</math> бесконечно близка к <math>f(x_0)</math> для всех (и нестандартных) точек бесконечно близких к <math>x_0</math>.
Полученные критерии могут быть с успехом применены к доказательству обычных математических результатов.

Результаты стандартной математики, полученные методами нестандартного анализа, могут быть естественно передоказаны и обычным образом, но рассмотрение нестандартной модели имеет то значительное преимущество, что позволяет актуально вводить в рассуждение «идеальные» элементы, что позволяет давать прозрачные формулировки для многих понятий, связанных с предельными переходами от конечного к бесконечному.
С помощью нестандартного анализа был обнаружен ряд новых фактов. Многие классические доказательства заметно выигрывают в наглядности при изложении их методами нестандартного анализа. Однако этим место и роль нестандартного анализа далеко не исчерпываются.

В понимании наших дней нестандартный анализ — общий математический метод, основанный на представлениях об актуально бесконечных величинах. Сейчас нестандартный анализ строится аксиоматически в рамках новых вариантов теории множеств, среди которых наиболее распространены теория внутренних множеств Нельсона и теория внешних множеств Каваи. Эти теории строятся на формализации идей, восходящих к древнейшим представлениям о различии актуальной и потенциальной бесконечностей.
Указанные теории являются консервативным расширением [[Теория Цермело — Френкеля|теории Цермело — Френкеля]] и, стало быть, имеют тот же статус строгости при рассмотрении их как обоснование современной математики. При этом новые теории обладают несравненно более широкими возможностями.

=== Стандартные и нестандартные элементы ===
{{переработать раздел|дата=14 июня 2018|комм=желательна переработка раздела, написать более понятно}}

Содержательным исходным пунктом аксиоматики нестандартного анализа является представление о том, что в каждом математическом объекте могут быть элементы только двух типов.
Элементы первого типа доступны нам или прямым или потенциально бесконечным способом в том смысле, что мы можем или указать такие элементы непосредственно или доказать их существование и единственность, используя уже имеющиеся в нашем распоряжении доступные объекты. Объекты этого типа называют стандартными, а прочие — нестандартными.

Нестандартный анализ постулирует, что в каждом бесконечном множестве объектов имеется хотя бы один нестандартный элемент — «принцип идеализации». При этом стандартных объектов достаточно для изучения классических математических свойств любых объектов — «принцип переноса».
Имеется также возможность задавать стандартные объекты, отбирая стандартные элементы с заданным свойством — «принцип стандартизации». Варианты этих принципов присутствуют во всех аксиоматиках нестандартного анализа.

Стандартный объект сам по себе часто бесконечен.
Скажем, стандартными являются не только конкретные натуральные числа 5, 7, 10 в степени 10 в степени 10, трансцендентные числа вроде {{math|π}} и {{math|е}}, но и полные совокупности всех натуральных чисел <math>\N</math> или всех вещественных чисел <math>\R</math>.
Поскольку <math>\N</math> — [[бесконечное множество]], то в <math>\N</math> имеется нестандартный элемент {{mvar|N}}. Очевидно, что {{mvar|N}} больше 1, ибо 1 — стандартное число.
Если число {{mvar|m}} стандартно, то стандартно и следующее за ним число {{math|''m'' + 1}}, ибо оно получается единственным образом из двух стандартных чисел.
Таким образом, каждое нестандартное натуральное число больше любого стандартного натурального числа. Поэтому нестандартные натуральные числа называются бесконечно большими. Число {{mvar|r}} бесконечно большое, если {{math|{{!}}''r''{{!}}}} больше какого-нибудь бесконечно большого натурального числа.
Ненулевые бесконечно малые числа — это обратные величины бесконечно больших чисел.
Основоположники инфинитезимального анализа говорили не о стандартных или нестандартных числах, а выделяли «могущие быть заданными числа». Например, [[Эйлер, Леонард|Эйлер]] считал положительное число бесконечно большим, если оно больше любого могущего быть заданным числа.

Число, которое не является бесконечно большим, называют конечным. Два числа называют бесконечно близкими, если разность между ними бесконечно мала. Можно доказать, что каждое конечное число бесконечно близко к единственному стандартному числу — к своей [[Стандартная часть числа|стандартной части]].
Числа, бесконечно близкие к данному конечному числу, составляют его ''монаду''. Монады не являются обычными множествами (их именуют внешними множествами по отношению к миру Цермело — Френкеля). Монады разных стандартных чисел попарно не пересекаются, но в объединении охватывают все конечные числа. Таким образом, формальная техника нестандартного анализа хорошо отражает натурфилософские представления о двойственной «дискретно-непрерывной» структуре «физической» числовой прямой.

=== Одно представление нестандартных чисел ===
Нестандартный анализ использует новое первичное понятие — свойство объекта быть или не быть стандартным. В «стандартной» математике обычно эти различия невыразимы: нельзя говорить об актуальных бесконечно больших и бесконечно малых постоянных величинах.

По сути же, формальная теория нестандартного анализа есть консервативное расширение классической, то есть любое суждение классической математики, доказанное с помощью нестандартного анализа, может быть доказано и без использования новых методов.
Тем не менее, есть одно технически полезное «классическое» представление нестандартных чисел, которое дают т. н. ''[[дуальные числа]]'', то есть числа вида <math>a + \varepsilon b</math>, где <math>\varepsilon^2 = 0</math> и <math>\varepsilon \not= 0</math>.

== Приложения ==
{{проверить факты|дата=2014-08-23}}

В то же время, нестандартный анализ способен изучать свойства актуально бесконечных объектов, предлагая новые методы моделирования, недоступные стандартной математике. Можно сказать, что нестандартный анализ изучает ровно те же математические объекты, что и стандартная математика. Однако в каждом таком объекте он видит дополнительную внутреннюю структуру, которая обычной математикой полностью игнорируется. Иногда метод нестандартного анализа сравнивают с цветным телевидением.
Чёрно-белый телевизор способен показывать те же объекты, что и цветной, но он не в состоянии передать богатство расцветок составляющих их элементов.
Эта аналогия наглядно иллюстрирует то принципиальное обстоятельство, что роль нестандартного анализа существенно шире, нежели предоставление дополнительных средств для упрощения аппарата обычной математики. Нестандартный анализ открывает нам богатую внутреннюю структуру классических математических объектов, наполненных как доступными, так и только воображаемыми элементами.

== Литература ==

'''Теория'''
* {{книга|автор=Гордон Е. И., Кусраев А. Г., [[Кутателадзе, Семен Самсонович|Кутателадзе С. С.]]
  |заглавие=Инфинитезимальный анализ |ссылка=http://www.math.nsc.ru/LBRT/g2/english/ssk/infa.pdf
  |место=Новосибирск |издательство=Институт математики |год=2006 |ref=Инфинитезимальный анализ}}
* ''Дэвис М.'' Прикладной нестандартный анализ. М.: Мир, 1980.
* ''[[Успенский, Владимир Андреевич|Успенский В. А.]]'' [http://djvu.504.com1.ru:8019/WWW/b4b4f50ea678e70012484021227768a5.djvu Что такое нестандартный анализ.]{{Недоступная ссылка|date=Октябрь 2018 |bot=InternetArchiveBot }} М.: Наука, 1987.
* {{статья|автор=[[Успенский, Владимир Андреевич|Успенский B.]]|заглавие=Нестандартный анализ
   |издание=[[Наука и жизнь]] |год=1984 |номер=1 |страницы=45—50}}
* ''Kanovei V., Reeken M.'' Nonstandard Analysis, Axiomatically. Berlin: Springer-Verlag, 2004.
* ''Robinson, Abraham.'' Non-standard analysis. Princeton University Press, 1996.

'''Приложения'''
* ''Альбеверио С., Фенстад Й., Хеэг-Крон Р., Линдстрем Т.'' Нестандартные методы в стохастическом анализе и математической физике, М.: Мир, 1990, 616 с., ISBN 5-03-001180-3.
* ''Звонкин А. К., Шубин М. А.'' Нестандартный анализ и сингулярные возмущения обыкновенных дифференциальных уравнений // [[Успехи математических наук]], 39 (1984), № 2, с. 77—127.

{{rq|style|source|refless|isbn}}

== Примечания ==
{{примечания}}

{{Разделы математики}}
{{Бесконечно малые и бесконечно большие}}

[[Категория:Математическая логика]]
[[Категория:Математический анализ]]
[[Категория:Бесконечность]]
[[Категория:Нестандартный анализ]]