Развитие понятия "Пространство" и неевклидова геометрия (стр. 10 из 15)
Из (2.1) следует, что уравнение окружности (рис.9) с центром в точке А(х1,у1,z1) и радиусом r< 
R/2 приводится к виду:
. (2.4)Наличие двойного знака объясняется тем, что правая часть положительна, а выражение в скобках может иметь значение разных знаков.
Заметим, что множество точек, равноудаленных от двух точек A,В, состоит из двух взаимно перпендикулярных прямых, проходящих через полюс прямой, определенной данными точками. Одна из этих прямых делит пополам один отрезок АВ, а другая - дополнительный. Отсюда вытекает существование одной и только одной окружности, описанной около заданного треугольника АВС. В частности, три точки, не принадлежащие прямой, определяют на эллиптической плоскости четыре треугольника. Таким образом, через три точки А, В, С, не лежащие на одной прямой, можно провести четыре окружности, которые на сферической модели определяются следующими тройками точек: АВС, АВС', АВ'С, А'ВС, где А', В', С' обозначают точки, диаметрально противоположные соответственно к точкам А, В, С.
Рассмотрим вкратце свойства пар окружностей в эллиптической плоскости. В сферической геометрии две окружности, как и в евклидовой плоскости, могут не пересекаться друг с другом, касаться или пересекаться в двух точках. В эллиптической геометрии свойства пар окружностей более многообразны. Чтобы убедиться в этом, предположим, что эллиптическая плоскость интерпретирована в виде сферы, у которой диаметрально противоположные точки отождествлены. В этом случае, окружность эллиптической плоскости представляется на такой сфере в виде двух окружностей, лежащих в параллельных и равноудаленных от центра сферы плоскостях. Обратно, две окружности, полученные от пересечения сферы симметрическими относительно ее центра плоскостями, изображают в эллиптической геометрии одну окружность. Сделанные замечания позволяют составить представление о новых случаях взаимных положений двух окружностей по сравнению с сферической или евклидовой планиметрией.
2.3 Геометрия Лобачевского в системе Вейля
О псевдоевклидовой планиметрии
а) В евклидовой плоскости, как известно, формула квадрата расстояния между двумя точками М(х1, х2) и N(у1, у2) в декартовой, прямоугольной системе координат представляется в виде
d(M,N)2=(y1 - x1)2+(y2 - x2)2. (3.1)
Угол
между векторами ОМ и ОN вычисляется из соотношения 
. (3.2)Первая формула по существу выражает теорему Пифагора для прямоугольного треугольника с катетами, равными абсолютным величинам
и гипотенузой МN. Вторая же формула представляет собою формулу косинуса разности углов, образованных соответственно ОМ иONc координатным вектором 
.Теперь изменим формулы (3.1) и (3.2) и будем определять расстояние между указанными двумя точками и величины данных углов по формулам соответственно
d(M,N)=(y1 - x1)2 - (y2 - x2)2(3.3)
(3.4)Прежние пары точек теперь будут иметь другие расстояния» а прежние углы – другие величины. Это по существу новая своеобразная двухмерная геометрия.
Чтобы подчеркнуть наличие другой метрики и не путать новые расстояния и величины углов со старыми, условимся называть координатную плоскость (x1, x2)формулами (3.3), (3.4) псевдоевклидовой плоскостью.
б) Для большей аналогии с евклидовой геометрией целесообразно ввести новое скалярное произведение векторов как произведение их длин на косинус угла между ними. Ясно, что это произведение векторов отличается от обычного скалярного произведения тех же векторов, так как длины векторов (расстояние между начальной его и конечной точками) и косинус угла понимается в смысле псевдоевклидовой геометрии.
Не будем далее перечислять следствий из формул (3.3), (3.4) и дадим аксиоматическое определение псевдоевклидовой геометрии. Делается это следующим образом.
Вместо аксиомы IV, 3 вейлевской аксиоматики, в которой говорится о том, что скалярный квадрат вектора неотрицательный, вводится другая аксиома IV, 3' о существовании ненулевых векторов первого, второго, и третьего типов, скалярные квадраты которых соответственно положительны, отрицательны и равны нулю.
Все другие аксиомы Вейля сохраняются без изменения в псевдоевклидовой геометрии. Конечно, предполагаем, что аксиомы размерности III соответствующим образом согласованы. Если речь идет о плоскости, то в аксиоме III, 1 утверждается существование двух линейно независимых векторов, а в аксиоме III, 2 утверждается, что всякие три вектора линейно зависимы.
Совокупность точек называется псевдоевклидовой плоскостью, если эти точки и их упорядоченные пары (свободные векторы) удовлетворяют аксиомам групп /--///, IV, 1, 2, 3', V. Очевидно, векторы псевдоевклидовой плоскости удовлетворяютаксиомам /--///- IV - 1, 2, 3' и образуют двухмерное псевдоевклидово векторное пространство.
В псевдоевклидовой геометрии аффинная часть полностью
совпадает с аффинной частью евклидовой геометрии. Но в метрических вопросах геометрии эти значительно отличаются друг
от друга, метрика пространства по существу определяется аксиомами скалярного произведения векторов и среди них важную роль играет именно аксиома IV, 3'.
в) Скалярное произведение двух векторов 
,
в смысле псевдоевклидовой геометрии будем обозначать символом П . Векторы , называются перпендикулярными, если их скалярное произведение равно нулю.По-прежнему число П называется скалярным квадратомвектора ; корень квадратный из П которого называется длиной вектора и обозначается через | |.Таким образом,
,Ясно, что длина вектора будет положительной, чисто мнимой или нулевой, если соответственно скалярный квадрат П >0, П <0 или П =0. Векторы положительной и чисто мнимой длины называют также соответственно пространственными и временными.
Ненулевые векторы, длины которых равны нулю, называются изотропными.
Введем понятие прямоугольной декартовой системы координат. Прямоугольной декартовой системой координат или просто прямоугольной системой координат псевдоевклидовой плоскости называется такая аффинная система координат, векторы
которой единичны или мнимоединичны и взаимно перпендикулярны.Следовательно, один из координатных векторов псевдоевклидовой плоскости, например,
будет единичным, а другой - мнимоединичным. Таким образом, скалярное произведение координатных векторов прямоугольной системы координат определяются равенствами 
. (3.5)Очевидно, скалярное произведение двух векторов
и квадрат длины вектора 
в прямоугольной системе координат вычисляются по формулам вида
(3.6)