 |
Геометрия Евклида как первая естественнонаучная теория
|
|
|
|
На тему: «Основные этапы становления и структура современной математики»
Выполнила: студентка 1 курса
Заочного отделения
Группы ПБ-1Во
Проверил:
Г. Москва 2006 г.
План:
Введение
Геометрия Евклида, как первая естественнонаучная теория
Основные этапы становления современной математики. Структура современной математики
Основные черты математического мышления
Аксиоматический метод
Принципы аксиоматического построения научных теорий
Математические доказательства
Использованная литература
геометрия математика аксиометрический
Введение
Математика – это наука о количественных отношениях и пространственных формах действительного мира. В неразрывной связи с запросами науки и техники запас количественных отношений и пространственных форм, изучаемых математикой, непрерывно расширяется, так что приведенное определение необходимо понимать в самом общем смысле.
Целью изучения математики является повышение общего кругозора, культуры мышления, формирование научного мировоззрения.
Понимание самостоятельного положения математики как особой науки стало возможным после накопления достаточно большого фактического материала и возникло впервые в Древней Греции в VI-V веках до нашей эры. Это было началом периода элементарной математики.
В течение этого периода математические исследования имеют дело лишь с достаточно ограниченным запасом основных понятий, возникших с самыми простыми запросами хозяйственной жизни. Вместе с тем, уже происходит качественное совершенствование математики как науки.
Современную математику часто сравнивают с большим городом. Это - прекрасное сравнение, поскольку в математике, как и в большом городе, происходит непрерывный процесс роста и совершенствования. В математике возникают новые области, строятся изящные и глубокие новые теории подобно строительству новых кварталов и зданий. Но прогресс математики не сводится только к изменению лица города из-за строительства нового. Приходится изменять и старое. Старые теории включаются в новые, более общие; возникает необходимость укрепления фундаментов старых построек. Приходится прокладывать новые улицы, чтобы устанавливать связи между далекими кварталами математического города. Но этого мало - архитектурное оформление требует значительных усилий, поскольку разностильность различных областей математики не только портит общее впечатление от науки, но и мешает пониманию науки в целом, установлению связей между различными ее частями.
|
|
|
Нередко используется и другое сравнение: математику уподобляют большому ветвистому дереву, которое, систематически дает новые побеги. Каждая ветвь дерева - это та или иная область математики. Число ветвей не остается неизменным, поскольку вырастают новые ветви, срастаются воедино сначала росшие раздельно, некоторые из ветвей засыхают, лишенные питательных соков. Оба сравнения удачны и очень хорошо передают действительное положение дела.
Несомненно, что в построении математических теорий большую роль играет требование красоты. Само собой разумеется, что ощущение красоты весьма субъективно и нередко встречаются достаточно уродливые представления на этот счет. И все же приходится удивляться тому единодушию, которое вкладывается математиками в понятие «красота»: результат считается красивым, если из малого числа условий удается получить общее заключение, относящееся к широкому кругу объектов. Математический вывод считается красивым, если в нем простыми и короткими рассуждениями удается доказать значительный математический факт. Зрелость математика, его талант угадываются по тому, насколько развито у него чувство красоты. Эстетически завершенные и математически совершенные результаты легче понять, запомнить и использовать; легче выявлять и их взаимоотношения с другими областями знания.
|
|
|
Математика в наше время превратилась в научную дисциплину со множеством направлений исследований, огромным количеством результатов и методов. Математика теперь настолько велика, что нет возможности одному человеку охватить ее во всех ее частях, нет возможности быть в ней специалистом-универсалом. Потеря связей между ее отдельными направлениями - безусловно отрицательное следствие бурного развития этой науки. Однако в основе развития всех отраслей математики есть общее - истоки развития, корни древа математики.
Геометрия Евклида как первая естественнонаучная теория
В III веке до нашей эры в Александрии появилась книга Евклида с тем же названием, в русском переводе "Начала". От латинского названия "Начал" произошёл термин "элементарная геометрия". Несмотря на то, что сочинения предшественников Евклида до нас не дошли, мы можем составить некоторое мнение об этих сочинениях по "Началам" Евклида. В "Началах" имеются разделы, логически весьма мало связанные с другими разделами. Появление их объясняется только тем, что они внесены по традиции и копируют "Начала" предшественников Евклида.
"Начала" Евклида состоят из 13 книг. 1 - 6 книги посвящены планиметрии, 7 - 10 книги - об арифметике и несоизмеримых величинах, которые можно построить с помощью циркуля и линейки. Книги с 11 по 13 были посвящены стереометрии.
"Начала" начинаются с изложения 23 определений и 10 аксиом. Первые пять аксиом - "общие понятия", остальные называются "постулатами". Первые два постулата определяют действия с помощью идеальной линейки, третий - с помощью идеального циркуля. Четвёртый, "все прямые углы равны между собой", является излишним, так как его можно вывести из остальных аксиом. Последний, пятый постулат гласил: "Если прямая падает на две прямые и образует внутренние односторонние углы в сумме меньше двух прямых, то, при неограниченном продолжении этих двух прямых, они пересекутся с той стороны, где углы меньше двух прямых".
|
|
|
Пять "общих понятий" Евклида являются принципами измерения длин, углов, площадей, объёмов: "равные одному и тому же равны между собой", "если к равным прибавить равные, суммы равны между собой", "если от равных отнять равные, остатки равны между собой", "совмещающиеся друг с другом равны между собой", "целое больше части".
Далее началась критика геометрии Евклида. Критиковали Евклида по трём причинам: за то, что он рассматривал только такие геометрические величины, которые можно построить с помощью циркуля и линейки; за то, что он разрывал геометрию и арифметику и доказывал для целых чисел то, что уже доказал для геометрических величин, и, наконец, за аксиомы Евклида. Наиболее сильно критиковали пятый постулат, самый сложный постулат Евклида. Многие считали его лишним, и что его можно и нужно вывести из других аксиом. Другие считали, что его следует заменить более простым и наглядным, равносильным ему: "Через точку вне прямой можно провести в их плоскости не более одной прямой, не пересекающей данную прямую".
Критика разрыва между геометрией и арифметикой привела к расширению понятия числа до действительного числа. Споры о пятом постулате привели к тому, что в начале XIX века Н.И.Лобачевский, Я.Бойяи и К.Ф.Гаусс построили новую геометрию, в которой выполнялись все аксиомы геометрии Евклида, за исключением пятого постулата. Он был заменён противоположным утверждением: "В плоскости через точку вне прямой можно провести более одной прямой, не пересекающей данную". Эта геометрия была столь же непротиворечивой, как и геометрия Евклида.
Модель планиметрии Лобачевского на евклидовой плоскости была построена французским математиком Анри Пуанкаре в 1882 году.
На евклидовой плоскости проведём горизонтальную прямую. Эта прямая называется абсолютом (x). Точки евклидовой плоскости, лежащие выше абсолюта, являются точками плоскости Лобачевского. Плоскостью Лобачевского называется открытая полуплоскость, лежащая выше абсолюта. Неевклидовы отрезки в модели Пуанкаре - это дуги окружностей с центром на абсолюте или отрезки прямых, перпендикулярных абсолюту (AB, CD). Фигура на плоскости Лобачевского - фигура открытой полуплоскости, лежащей выше абсолюта (F). Неевклидово движение является композицией конечного числа инверсий с центром на абсолюте и осевых симметрий, оси которых перпендикулярны абсолюту. Два неевклидовых отрезка равны, если один из них неевклидовым движением можно перевести в другой. Таковы основные понятия аксиоматики планиметрии Лобачевского.
|
|
|
Все аксиомы планиметрии Лобачевского непротиворечивы. "Неевклидова прямая - это полуокружность с концами на абсолюте или луч с началом на абсолюте и перпендикулярный абсолюту". Таким образом, утверждение аксиомы параллельности Лобачевского выполняется не только для некоторой прямой a и точки A, не лежащей на этой прямой, но и для любой прямой a и любой не лежащей на ней точки A.
За геометрией Лобачевского возникли и другие непротиворечивые геометрии: от евклидовой отделилась проективная геометрия, сложилась многомерная евклидова геометрия, возникла риманова геометрия (общая теория пространств с произвольным законом измерения длин) и др. Из науки о фигурах в одном трёхмерном евклидовом пространстве геометрия за 40 - 50 лет превратилась в совокупность разнообразных теорий, лишь в чём-то сходных со своей прародительницей - геометрией Евклида.
|
|
|
