Дифференциальная геометрия торсов в пространстве 1r4 с псевдоевклидовой касательной плоскостью

Учреждение  образования

«Брестский  государственный университет имени  А.С. Пушкина»

Математический  факультет

Кафедра алгебры и геометрии 
 

ДИФФЕРЕНЦИАЛЬНАЯ  ГЕОМЕТРИЯ ТОРСОВ В ПРОСТРАНСТВЕ ¹R₄  
С ПСЕВДОЕВКЛИДОВОЙ КАСАТЕЛЬНОЙ ПЛОСКОСТЬЮ 

Дипломная работа

Студентка 5 курса

Отделения М 
 

«Допустить к  защите» Руководитель

Зав.кафедрой Юдов Александр Андреевич О.В. Матысик доцент кафедры алгебры и

_________________2009 г. геометрии, к.ф-м.н., доцент 

                                    Рецензент

  Пролиско  Евгений Евгеньевич -

доцент  кафедры математического моделирования, к.т.н., доцент 

Брест 2009 

СОДЕРЖАНИЕ

ВВЕДЕНИЕ 3

§1. Пространство Минковского 5

§2. Кривые в пространстве ¹R₄ 13

§3. Понятие о линейчатых и развертывающихся поверхностях 19

§4. Торсы в пространстве ¹R₄ 23

§5. Линии на торсах пространства Минковского 29

§6. Асимптотические  линии на торсе  пространства Минковского 35

ЗАКЛЮЧЕНИЕ 37

СПИСОК  ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ 38

 

ВВЕДЕНИЕ 

     В работе исследуется геометрия поверхностей четырехмерного псевдоевклидова пространства индекса один, т.е. пространства Минковского.

     Изучение  дифференциальной геометрии в пространстве Минковского является актуальной задачей, поскольку пространство Минковского  является пространством специальной  теории относительности, и все результаты по дифференциальной геометрии этого  пространства получают физическое истолкование. Каждое событие характеризуется тремя пространственными координатами и моментом времени t. Если уравнения физической теории (релятивистской механики, релятивистской гидродинамики, электродинамики и др.) записаны в виде соотношений, связывающих векторы и тензоры, заданные в пространстве Минковского, то их вид будет одинаковым во всех инерциальных системах отсчета. Тем самым основной принцип специальной теории относительности будет выполняться автоматически.

     Интервал  (расстояние между точками) в пространстве Минковского играет роль, аналогичную роли расстояния в геометрии евклидовых пространств. Он инвариантен при замен е одной инерциальной системы отсчета на другую, так же, как расстояние инвариантно при поворотах, отражениях и сдвигах начала координат в евклидовом пространстве.

     Данная  работа состоит из шести параграфов.

     В первом параграфе происходит знакомство с пространством Минковского, дается определение этого пространства, его основные особенности, перечисляются  типы прямых и плоскостей.

     Во  втором параграфе исследуются кривые пространства ¹R₄, вводится понятие соприкасающегося флага. Для кривых с заданным соприкасающимся флагом строится канонический репер и выводятся деривационные формулы.

     Третий  параграф посвящен изучению развертывающихся и линейчатых поверхностей. Изучение основных понятий этого параграфа поможет перейти к рассмотрению торсов.

     В четвертом параграфе рассматриваются торсы с псевдоевклидовой касательной плоскостью и соприкасающимся флагом вида {M, R₁, ¹R₂, ¹R₃}. Для таких торсов строится канонический репер кривой пространства ¹R₄ и выводятся деривационные формулы.

     В последующих двух параграфах исследуются  линии на торсах указанного типа с  помощью построенного канонического  репера. Дается понятие геодезических  линий, решается вопрос о существовании (1,2)-,(2,2)-,(1,3)-,(2,3)- геодезических линий  на торсе с псевдоевклидовой касательной  плоскостью. Вводится понятие нормальной кривизны кривой, вектора кривизны, определяются асимптотические линии. 
 

 

   

§1. Пространство Минковского 

     Пространством Минковского называется четырехмерное  псевдоевклидово пространство индекса 1.

     Герман Минковский предложил данное пространство в 1908 году в качестве геометрической интерпретации пространства-времени специальной теории относительности.

     Интервал  в пространстве Минковского играет роль, аналогичную роли расстояния в геометрии евклидовых пространств. Он инвариантен при замене одной инерциальной системы отсчета на другую, так же, как расстояние инвариантно при поворотах, отражениях и сдвигах начала координат в евклидовом пространстве.

     После евклидовых пространств индекса k=0, т.е. собственно евклидовых, наибольший интерес представляют евклидовы  пространства индекса k=1 (они, конечно, принадлежат к псевдоевклидовым пространствам). Евклидово пространство индекса 1 представляет интерес с точки зрения теории дифференциальных уравнений (волновое уравнение с п аргументами) и особенно с точки зрения теории относительности. В последнем случае играет роль именно четырехмерное евклидово пространство индекса 1.

     Данное  пространство может быть получено на базе четырехмерного аффинного пространства А, с помощью введения скалярного умножения векторов.

      Пусть некоторый репер аффинного пространства А₄,

где , .

Введем  скалярное умножение по формуле:

.  (1)

     Пространство  A₄, для векторов которого введено скалярное умножение по формуле (1) называется четырехмерным псевдоевклидовым пространством индекса 1 или пространством Минковского. Обозначается ¹R₄.

     Скалярный квадрат вектора определяется по формуле:

. (2)

     При этом вектора репера будут иметь  следующие скалярные квадраты:

            (3)

     Определение 1.1. Длиной вектора в пространстве Минковского будем называть число:

     Определение 1.2. Векторы пространства Минковского называются ортогональными, если их скалярное произведение равно нулю.

     Таким образом, в пространстве ¹R₄ будут существовать векторы трех типов.

1. Векторы действительной длины при .

Например, (2,1,1,2).

2. Векторы мнимой длины при .

Например, (3,1,1,1).

3. Ненулевые векторы нулевой длины при .

Например, (6,2,4,4).

Такие векторы называются изотропными. Они лежат на изотропном конусе.

   

     Расстояние  ρ(М,N) между точками М(x₁,x₂,x₃,x₄) и N(у₁,у₂,у₃,у₄) в пространстве ¹R₄ определяется как длина вектора (у₁- x₁, у₂- x₂, у₃- x₃, у₄- x₄)

и равна

ρ(М,N)= 
   (5)

     В пространстве ¹R₄ существует три типа прямых.

     1. Прямые действительной длины  (R₁), направляющий вектор которых является вектором действительной длины. Например, е = [].

     2. Прямые мнимой длины (¹R₁), направляющий вектор которых является вектором мнимой длины. Например, е = [].

     3. Изотропные прямые ( ), направляющий вектор которых является изотропным вектором. Например, e = [0, +].

     В пространстве ¹R₄ существует три типа двумерных плоскостей.

1. Евклидова плоскость R₂, на которой существует базис, в котором скалярное произведение любых двух векторов этой плоскости записывается в виде , где .

Например, евклидова плоскость - плоскость  . Для векторов этой плоскости , .

     Тогда,

2. Псевдоевклидова плоскость¹R₂, на которой существует базис, в котором скалярное произведение любых двух векторов этой плоскости записывается в виде , где .

Например, евклидовой плоскостью является плоскость  . Для векторов этой плоскости, . Получим,  

3. Полуевклидова плоскость , на которой существует базис, в котором скалярное произведение любых двух векторов этой плоскости принимает вид , где .

Например, полуоевклидова плоскость - плоскость . Для векторов этой плоскости , . Тогда получим, т.к.

     Псевдоевклидова плоскость по своим аффинным свойствам  не отличается от евклидовой, однако метрические  свойства этих плоскостей существенно  различаются. Это видно, хотя бы на примере окружности, которую на псевдоевклидовой плоскости определим как совокупность всех точек, удаленных на одно и то же псевдоевклидово расстояние r от данной точки – центра.

     Если  центр совпадает с началом  координат О(0,0), то по определению  уравнение окружности имеет вид  _.

     Радиус  окружности может быть вещественным (r=a), тогда  
.

Если  радиус окружности мнимый, т.е. r=ia, то . В случае, когда радиус r=0, имеем .

     Таким образом на существует три вида окружностей. На аффинной плоскости они представляют собой пару пересекающихся прямых – окружность нулевого радиуса – и две сопряженные гиперболы, для которых указанные прямые являются асимптотами. (Рис. 1.2)

 
 

 

     В пространстве ¹R₄ существует три типа 3-плоскостей.

1. Евклидова 3-плоскость R₃, на которой существует базис, в котором скалярное произведение принимает вид:

.

Например, евклидовой 3-плоскостью является плоскость  Для векторов этой 3-плоскости , Тогда получим, ,)=

      2. Плоскость ¹R₃, на которой существует базис, в котором скалярное произведение принимает вид:

.

Например, плоскостью ¹R₃ является плоскость Для векторов этой 3-плоскости , Получаем,