Изометричные поверхности

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

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

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

Теорема 1. Пусть поверхности F и F определены регулярными векторными функциями и , для которых порядок регулярности к ≥ 1, с одной и той же областью определения Q. Если коэффициенты первых квадратичных форм поверхностей F и F в области Q равны, то есть для всех

Е = Е¢ , F = F¢ , G = G¢ , (1)

то поверхности F и F¢ изометричны.

Доказательство. Будем считать соответствующими точками поверхностей F и F точки М и , имеющие одни и те же координаты .

Пусть гладкая кривая g на F задаётся уравнениями:

t Î ().

Тогда соответствующая ей кривая g¢ на F задаётся теми же уравнениями. Поэтому, в силу равенств (1)

s (g) = =

= = s (g¢),

откуда и следует изометричность поверхностей F и F¢.

Теорема 2. Пусть поверхности F и F определены регулярными векторными функциями и , для которых порядок регулярности к ≥ 1 с одной и той же областью определения Q. Тогда если их точки, имеющие одинаковые внутренние координаты , соответствуют друг другу по изометрии, то коэффициенты первых квадратичных форм поверхностей F и F равны.

Доказательство. Нам надо доказать, что

Е = Е¢ , F = F¢ , G = G¢ .

Рассмотрим три пары соответственных кривых, заданных уравнениями:

g ÎF и g¢Î F¢: tÎ() Þ , .

g1 ÎF и g¢1 Î F¢: tÎ() Þ , .

g2 ÎF и g¢2 Î F¢: tÎ() Þ , .

Мы рассматриваем переменную t из промежутка ().

Согласно условию теоремы, соответствующие друг другу по изометрии кривые имеют равные длины, т.е. выполняется равенство

s(g) = s(g¢), s(g1) = s(g¢1), s(g2) = s(g¢2),

s(g) = = = s(g¢). (2)

Так как равенство (2) верно для любого Î (), то равны подинтегральные выражения = , а следовательно,

Е = Е¢ . (3)

Применяя такие же рассуждения к кривым g1 ÎF и g¢1 Î F¢, получим:

G = G¢ . (4)

Учитывая, что Е = Е¢ и G = G¢, рассмотрим третью пару кривых g2 ÎF и g¢2 Î F¢.

Получим равенство:

= .

Равенство верно для любого Î (). Поэтому равны подинтегральные выражения

Е +2F +G = E′ +2F′ +G′ .

Из этого равенства, учитывая равенства (3) и (4), получим, что

F = F¢ . (5)

Теорема доказана.


Понравилась статья? Добавь ее в закладку (CTRL+D) и не забудь поделиться с друзьями:  




Подборка статей по вашей теме: