Дипломная работа: Развитие понятия "Пространство" и неевклидова геометрия

Закончилось развитие традиционной геометрии Евклидом. В III веке до нашей эры греческий ученый привел в систему известные ему геометрические сведения в большом сочинении «Начала».

Его книга «Начала» только до 1880 года выдержала 460 изданий, уступив только Библии. Способ построения «Начал» стал единственно верным для всех научных работ: Перечисление основных, естественных понятий ® Перечисление основных аксиом ® Перечисление основных определений ® Формулирование теорем (утверждений) и их доказательство.

Метод доказательства от противного – тоже его заслуга. Он же сформулировал пять постулатов геометрии:

1. Через два точки можно провести одну и только одну прямую.

2. Прямая продолжается бесконечно.

3. Из любого центра можно провести окружность любым радиусом.

4. Все прямые углы равны между собой.

Пятый постулат является своеобразным философским камнем геометрии.

Неевклидова геометрия появилась вследствие долгих попыток доказать V постулат Евклида, аксиому параллельности. Эта геометрия во многом удивительна, необычна и во многом не соответствует нашим привычным представлениям о реальном мире. Но в логическом отношении данная геометрия не уступает геометрии Евклида.

1.2 Постулаты Евклида

Евклид – автор первого дошедшего до нас строгого логического построения геометрии. В нем изложение настолько безупречно для своего времени, что в течение двух тысяч лет с момента появления его труда «Начал» оно было единственным руководством для изучающих геометрию.

«Начала» состоят из 13 книг, посвященных геометрии и арифметике в геометрическом изложении.

Каждая книга «Начал» начинается определением понятий, которые встречаются впервые. Так, например, первой книге предпосланы 23 определения. В частности,

Определение 1. Точка есть то, что не имеет частей.

Определение 2. Линия есть длины без ширины

Определение 3. Границы линии суть точки.

Вслед за определениями Евклид приводит постулаты и аксиомы, то есть утверждения, принимаемые без доказательства.

Постулаты

I. Требуется, чтобы от каждой точки ко всякой другой точке можно было провести прямую линию.

II . И чтобы каждую прямую можно было неопределенно продолжить.

III. И чтобы из любого центра можно было описать окружность любым радиусом.

IV. И чтобы все прямые углы были равны.

V. И чтобы всякий раз, когда прямая при пересечении с двумя другими прямыми образует с ними односторонние внутренние углы, сумма которых меньше двух прямых, эти прямые пересекались с той стороны, с которой эта сумма меньше двух прямых.

Аксиомы

I. Равные порознь третьему равны между собой.

II. И если к ним прибавим равные, то получим равные.

III. И если от равных отнимем равные, то получим равные.

IV. И если к неравным прибавим равные, то получим неравные.

V. И если удвоим равные, то получим равные.

VI. И половины равных равны между собой.