Учебное пособие Харьков, хнэу, 2009 2


и аксиоматического метода



Pdf көрінісі
бет182/253
Дата02.01.2022
өлшемі4,86 Mb.
#23880
түріУчебное пособие
1   ...   178   179   180   181   182   183   184   185   ...   253
и аксиоматического метода 
 
 
П 
  
Пример 11.2 
Геометрия Лобачевского  
Примером  формальной  аксиоматической  системы  является  гео-
метрия Н. И. Лобачевского. Данная геометрическая теория основывает-
ся на тех же аксиомах, что и геометрия Евклида, за исключением аксио-
мы  о  параллельных  прямых.  Евклидова  аксиома  о  параллельных  пря-
мых  (в  плоскости  через  точку,  не  лежащую  на  данной  прямой,  можно 
провести одну, и только одну, прямую, параллельную данной) заменена 


209 
 
 
209 
в  геометрии Лобачевского следующей формальной аксиомой: в плоско-
сти через точку, не лежащую на данной прямой, можно провести более 
одной  прямой,  не  пересекающей  данную.  Следствием  этого  изменения 
стало то, что в геометрии Лобачевского многие теоремы отличаются от 
соответствующих теорем евклидовой геометрии: например, сумма углов 
треугольника  меньше  180  градусов.  Однако  при  этом  геометрия  Лоба-
чевского  является  внутренне  непротиворечивой  системой  и  логически 
равноправна с евклидовой геометрией. 
 
 
 
 


Достарыңызбен бөлісу:
1   ...   178   179   180   181   182   183   184   185   ...   253




©emirsaba.org 2024
әкімшілігінің қараңыз

    Басты бет