Геометрия Лобачевского и ее модели
жүктеу/скачать 0.51 Mb.
|
- Бұл бет үшін навигация:
- 3) Отображение геометрии Лобачевского на псевдосфере (интерпретация Бельтрами)
2) Модель Клейна.За плоскость принимается какой-либо круг (рис. 21.1), за точки - точки принадлежащие этому кругу, за прямые - хорды - конечно, с исключением концов, поскольку рассматривается только внутренность круга. За перемещения принимаются преобразования круга, переводящие его в себя и хорды - в хорды. Соответственно, "конгруэнтными" называются фигуры, переводимые друг в друга такими преобразованиями. Рисунок 21 Очевидно, что в пределах определенной части плоскости (круга), как бы эта часть не была велика, можно провести через данную точку С множество прямых, не пересекающих данной прямой. Внутри круга любого конечного радиуса существует множество прямых (т.е. хорд), проходящих через т. С и не встречающих прямой АВ (рис.21.2). Всякая теорема планиметрии Лобачевского является в этой модели теоремой геометрии Евклида и, обратно, всякая теорема геометрии Евклида, говорящая о фигурах внутри данного круга, является теоремой геометрии Лобачевского. Это общее утверждение доказывается проверкой справедливости в модели аксиом геометрии Лобачевского. Поэтому, если в геометрии Лобачевского имеется противоречие, то это же противоречие имеется и в геометрии Евклида. Далее, всякая теорема геометрии Лобачевского описывает в модели Клейна некоторые факты, имеющие место внутри круга. Именно факты, если мы берем не абстрактный круг, а реальный круг и реальные хорды и интерпритируем теоремы как утверждения об этих реальных вещах, взятые, конечно, с той точностью, которая доступна для наших построений. Таким образом, геометрия Лобачевского в модели Клейна имеет вполне реальный смысл с той точностью, с какой вообще имеет смысл геометрия в применении к реальным телам. 3) Отображение геометрии Лобачевского на псевдосфере (интерпретация Бельтрами)Эудженио Бельтрами (1835-1900) нашел модель для неевклидовой геометрии, показав в своей работе «Опыт интерпретации неевклидовой геометрии» (1868г.), что наряду с плоскостями, на которых осуществляется евклидова геометрия, и сферическими поверхностями, на которые действуют формулы сферической геометрии, существуют и такие реальные поверхности, названные им псевдосферами (рис.23), на которых частично осуществляется планиметрия Лобачевского. Известно, что сферу можно получить вращением полуокружности вокруг своего диаметра. Подобно тому, псевдосфера образуется вращением линии FCE, называемой трактрисой, вокруг ее оси АВ (рис.22). Итак, псевдосфера – это поверхность в обыкновенном реальном пространстве, на котором выполняются многие аксиомы и теоремы Рис. 23
Впоследствии, с развитием и введением в математику аксиоматического метода, под интерпретацией (или моделью) некоторой системы аксиом стали понимать любое множество объектов, в которых данная система аксиом находит свое реальное воплощение, то есть, любая совокупность объектов, отношение между которыми полностью совпадают с теми, которые описываются в данной системе аксиом. При этом полагают, что если для некоторой системы аксиом существует или можно построить интерпретацию (модель), то эта система аксиом непротиворечива, то есть, не только сами аксиомы, но и любые теоремы, на них логически основывающиеся никогда не могут противоречить одна другой. жүктеу/скачать 0.51 Mb. Достарыңызбен бөлісу:
|