Часть полного текста документа:Нестандартный анализ Курсовая работа по курсу "Математика" Кировоградский государственный педагогический университет им. Винниченка Кировоград 2003 Вступление Нестандартный анализ возник в 1960 году, когда Абрахам Робинсон, специалист по теории моделей, понял, каким образом методы математической логики позволяют оправдать классиков математического анализа XVII и XVIII вв., поставив на строгую основу их рассуждения, использующие "бесконечно большие" и бесконечно малые величины. Таким образом, речь идет не о каких-то новых "нестандартных" методах, не имеющих ничего общего с традиционной математикой, а о развитии новых средств внутри стандартной (теоретико-множественной) математики. Нестандартный анализ остался бы любопытным курьезом, если бы единственным его приложением было обоснование рассуждений классиков математического анализа. Он оказался полезным и при развитии новых математических теорий. Нестандартный анализ можно сравнить с мостом, переброшенным через реку. Постройка моста не расширяет доступной нам территории, но сокращает путь с одного берега на другой. Подобным образом нестандартный анализ делает доказательства многих теорем короче. Однако, быть может, главное значение нестандартного анализа состоит в другом. Язык нестандартного анализа оказался удобным средством построения математических моделей физических явлений. Идеи и методы нестандартного анализа могут стать важной частью будущей физической картины мира. Во всяком случае уже сейчас многие специалисты по математической физике активно используют нестандартный анализ в своей работе. Нестандартный анализ позволяет с новой точки зрения посмотреть на многие рассуждения классиков математического анализа, кажущиеся нестрогими, но приводящие к успеху, и путем относительно небольших уточнений сделать их удовлетворяющими современным критериям строгости. 1. Лейбниц и "древняя история" нестандартного анализа Возраст нестандартного анализа колеблется (в зависимости от точки зрения) от двух с половиной десятков до трех сотен лет. Два с половиной десятка получится, если считать, что нестандартный анализ зародился осенью 1960 г., когда его основатель, Абрахам Робинсон, сделал доклад на одном нз семинаров Принстонского университета о возможности применения методов математической логики к обоснованию математического анализа. Триста лет получится, если считать началом нестандартного анлиза появление символов бесконечно малых dx, dy трактате Лейбница "Новый метод". Трудно сказать с уверенностью, насколько в действительности Лейбниц был близок к идеям нестандартного анализа. Как пишет сам Робинсон "история предмета обычно пишется в свете его позднейшего развития. Уже более чем полвека все обзоры истории дифференциального и интегрального исчислений основывались на уверенности в том, что понятие бесконечно малых и бесконечно больших, если даже и непротиворечиво, бесполезно для развития анализа. В результате в работах этого периода заметно различие между строгостью, с которой рассматриваются идеи Лейбница и его последователей, и снисходительностью, проявляемой к провозвестникам идеи предела". Характерно, например, следующее высказывание Анри Лебега от 3 декабря 1926 г. ............ |