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

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

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

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

|| (18)

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

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

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

(, = 0. (19).

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

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

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

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

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

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

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

(21)

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

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

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

1. ;

. Значит

2. ;

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

2()=0()=0

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

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

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

Þ

Это означает, что базисы {} и {} выражаются друг через друга. Из этого следует, что

(23),

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

Рассмотрим торс пространства 1R4, порожденной кривой определяемый уравнением (23). Введем координатные линии на поверхности торса: u-линии (v=c) и v-линии (u=c). Найдем скалярное произведение векторов

 Скачать реферат