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

   (12)

Теорема 2.5. Производная вектора постоянной длины перпендикулярна этому вектору.

Доказательство.

Пусть

 

Ч.т.д.

Из теоремы 2.5. следует, что .

Домножим первое уравнение (12) скалярно на . Получим . Аналогично,

 . (13)

Домножим первое уравнение (12) скалярно на , второе на , затем сложим их. (,)+(,)=+. Выражение =0.

Отсюда, = .

Аналогично, =, =, =, =,=.

Выберем , . При этом имеет действительную длину. Тогда

             (14)

Исходя из (12) и (14), получим =. Следовательно, ==0.

.

Значит,  раскладывается по векторам ,,, задающим . Значит, =0, а следовательно =0.

. Пусть k1(s).

Деривационные формулы запишутся в виде:

(15)

2-я кривизна кривой

1-я кривизна кривой

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

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

Возьмем какую-нибудь кривую в пространстве; пусть r — ее текущий радиус-вектор, а u - параметр, к которому она отнесена, r = r(u). Эту кривую мы будем называть направляющей. В каждой точке этой кривой зададим единичный вектор, который будет являться, таким образом, также функцией параметра u вдоль кривой, l=l(u).

Рис. 3.1

Через каждую точку N направляющей линии с радиус-вектором r(u) проводим прямую параллельно вектору l(u),.отвечающему этой точке. В результате мы получаем в пространстве семейство прямых (Рис. 3.1) от одного параметра, именно от u. Эти прямые мы будем называть образующими. Выбор образующей определяется, таким образом, значением u; что же касается выбора какой-нибудь точки М на этой образующей, то его мы будем характеризовать расстоянием NM по образующей от направляющей линии до точки М. При этом расстояние NM мы берем со знаком, принимая на образующей направление l за положительное. Будем обозначать расстояние NM коротко через v, NM=v.

В таком случае радиус-вектор произвольной точки М на произвольной образующей, определяемой значением , можно записать в виде

 

r(u), ;

действительно, вектор NM коллинеарен единичному вектору  и потому отличается от него лишь скалярным множителем, равным длине NM с соответствующим знаком, т. е. множителем v.

Итак, окончательно  .

В результате радиус-вектор произвольной точки М на произвольной образующей выразился как функция двух независимых параметров u, v. Мы получили, таким образом, параметрическое представление линейчатой поверхности, именно той, которая образована прямыми (образующими) построенного нами однопараметрического семейства прямых.

Фиксируя в этом уравнении u и меняя v, мы движемся, очевидно, по образующей, отвечающей данному значению u. Следовательно, семейством координатных линий v у нас будут служить образующие. Если же фиксировать v и менять u, то мы идем по образующим «параллельно» направляющей линии в том смысле, что расстояние NM = v остается постоянным.

Таким образом, координатные линии u образуют семейство линий, «параллельных» направляющей линии, которая сама также входит в это семейство и отвечает случаю, когда v фиксировано на значении 0.

Заметим, что направляющая линия геометрически ничем на заданной линейчатой поверхности не выделяется. В качестве направляющей может быть взята любая кривая на линейчатой поверхности, последовательно пересекающаяся с ее образующими; произвол этот отразится только на выборе параметров u, v на поверхности.

Вычислим теперь частные производные радиус-вектора по параметрам. Очевидно,

(16)

Составим векторное произведение этих векторов, направленное, как мы знаем, по нормали к поверхности:

(17)

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

Здесь мы будем различать два случая, общий и специальный.

Общий случай: векторные произведения  и  не коллинеарны. В этом случае при движении вдоль образующей, т. е. при изменении v, первое слагаемое в правой части (17) постоянно, второе же, ему не параллельное, изменяется пропорционально v. В результате вся правая часть представляет собой вектор, направление которого меняется вместе с v.

Рис. 3.2

Следовательно, вдоль образующей направление нормали к поверхности меняется от точки к точке. Очевидно, что касательная плоскость в какой-нибудь точке на данной образующей проходит через эту образующую (так как образующая является своей собственной касательной). Поэтому при движении точки касания вдоль образующей касательная плоскость, все время проходя через образующую, вращается около нее. В этом случае линейчатая поверхность называется косой (Рис. 3.2).

Специальный случай: векторные произведения  и  коллинеарны.

Рис. 3.3

В этом случае оба слагаемых в правой части (17) параллельны друг другу (а следовательно, и своей сумме) при любом значении v. Таким образом, все нормали вдоль данной образующей параллельны между собой, так как они параллельны векторам  и . Когда точка касания движется вдоль образующей, то касательная плоскость проходит все время через образующую; и так как касательная плоскость должна, кроме того, оставаться перпендикулярной к неизменному направлению нормали, то она не может вращаться около образующей и остается неподвижной.

Итак, в рассматриваемом случае касательные плоскости к поверхности в точках, расположенных на одной и той же образующей, совпадают между собой. Такую линейчатую поверхность мы будем называть развертывающейся поверхностью (Рис. 3.3).

Обратно, если мы имеем развертывающуюся поверхность, т. е. касательная плоскость для всех точек образующей одна и та же, и нормали вдоль образующей параллельны, то направление вектора (17) не зависит от значения v, что возможно лишь в случае

  ||  (18)

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

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

Легко видеть, что это условие и достаточно. Итак, условие (18) может быть переписано в эквивалентном виде ,  компланарны, т.е.

(, = 0. (19).

Это условие наложено, как мы видим, на вектор-функции (радиус-вектор направляющей кривой) и , (единичный вектор на образующей). Плоскость векторов (19) будет параллельна векторам (16) при любом значении v, т. е. параллельна касательной плоскости, проходящей через соответствующую образующую.

§4. Торсы в пространстве 1R4

 

Рассмотрим кривую

(20) в пространстве 1R4.

Определение 4.1. Торсом в пространстве 1R4, определенном кривой g называется поверхность, образованная всеми касательными к этой кривой.

Сама кривая g называется ребром возврата этого торса. Каждая касательная к ребру возврата называется прямолинейной образующей торса.

Уравнение торса

Рис. 4.1

 

 (21)

(21) уравнение торса, определяемого ребром возврата .

На ребре возврата  выберем естественную параметризацию. Пусть t=t(s), тогда  и s=i.

Свойства естественной параметризации:

1.                  ;

 . Значит

2.                  ;

()==1 ()+ ()=0;

2()=0()=0

Исследуем торс (21) в пространстве 1R4, обозначив при этом t = u, t = v.

Тогда уравнение торса (21) запишется в виде: . (22)

По теореме о развертывающейся линейчатой поверхности векторы  должны лежать в одной плоскости. Очевидно, что данные вектора лежат в одной плоскости, т.к. два из них одинаковы. Следовательно, торс развертывающаяся линейчатая поверхность, а значит, касательная плоскость к торсу в любой его точке не зависит от параметра v, что легко доказать. Действительно из формул (22) получим:

Страницы: 1, 2, 3, 4