
Ilin_Poznyak_-_Matanaliz
.pdf
442 |
ОСНОВЫ ТЕОРИИ КРИВЫХ И ПОВЕРХНОСТЕЙ |
ГЛ. 12 |
Пусть N - основание перпендикуляра, опущенного из М на касательную плоскость п в точке Р, h - величина, абсолютное значение которой равно расстоянию от М до п. При этом знак h
положителен, если направления векто
n |
ров N |
М и Пр совпадают, и отрицате |
|
|
|||
|
лен в противоположном случае. Оче |
||
|
видно, |
|
|
|
|
h = .6.т . Пр, |
(12.43) |
|
где .6.т = т(u + .6.u, v + .6.v) - |
т(u, v) = |
=РМ. Так как и и v - независимые
Рис. 12.9 |
переменные, то можно считать .6.u = |
= du, .6.v = dv, |
и поэтому, используя формулу Тейлора (см. |
формулу (12.4)), |
получим |
.6.т = (dr)p + ~(d2r)p + R 2. |
(12.44) |
2 |
|
В этом соотношении дифференциалы вычислены в точке Р, |
|
а R 2 - вектор, имеющий порядок о(р2), где р = |
J du 2 + dv 2. Из |
формул (12.43) и (12.44) получаем для h следующее выражение:
h = ~d2rp . Пр + R 2 . Пр. |
(12.45) |
2 |
|
Так как d2 rp· Пр представляет собой вторую квадратичную
форму Пр, вычисленную в точке Р, а R 2np = о(р2), то соотно
шение (12.45) может быть переписано следующим образом:
h = ~Пр + о(р2). |
(12.46) |
2 |
|
Обращаясь к формуле (12.46), можно сделать предположе
ние, что главное влияние на величину h оказывает первое сла-
1
гаемое "2 Пр, и поэтому пространственное строение поверхности
вблизи регулярной точки определяется второй квадратичной
формой в этой точке.
Следующие рассуждения подтверждают это предположение. 1о. Вторая квадратичная форма Пр является знаnооnреде
ленной (LN - м2 > О).
В этом случае 1)
IПрl ;;? Ар2, А> О.
Отсюда и из соотношения (12.46) вытекает, что величина h со
храняет определенный знак для всех достаточно малых значе-
1) Убедиться в справедливости неравенства IПр 1 ~ Ар2 можно, например, следующим образом. Имеем: IПр 1= IL du 2 + 2М du dv + N dv 2 1 = IL cos 2 00+
+ 2М cos а sin 00+ N sin2 oolp2, где cos а = du/ р, sin а = dv / р. Так как Пр -
знакоопределенная форма, то выражение ILcos 2 оо+2М cosoosinoo+N sin 2 001 имеет положительный минимум А, т. е. IПрl ~ Ар2.

§ 3 |
НЕКОТОРЫЕ СВЕДЕНИЯ ИЗ ТЕОРИИ ПОВЕРХНОСТЕЙ |
443 |
ний р, И поэтому в окрестности точки Р поверхность располага
ется по одну сторону от касательной плоскости Пр в этой точке
(рис. 12.10).
Точка Р поверхности называется в этом случае э л л и п т и
ч е с к о й.
Сфера, эллипсоид, эллиптический параболоид - примеры
поверхностей, каждая точка которых эллиптическая.
20. Вторая квадратичная форма Пр является з'Наnоnере.ме'Н
'Ной (LN - м2 < О). В этом случае в точке Р на поверхности
можно указать два таких различных на
правления du : dv и ди : дV, что для значений дифференциалов переменных
u и v, определяющих эти направления,
вторая форма обращается в нуль, все
же остальные направления разделяют |
|
ся двумя указанными на два класса. |
|
Для дифференциалов du и dv, отноше- |
Рис. 12.10 |
ние du : dv которых определяет направ-
ление принадлежащее одному из этих классов, вторая форма положительна, для отношений du : dv, определяющих направле ния другого класса, - отрицательна. Поэтому поверхность вбли зи точки Р располагается по разные стороны от касательной
плоскости Пр в этой точке (рис. 12.11).
Точка Р поверхности называется в этом случае г и пер б 0-
лическоЙ.
Каждая точка однополостного гиперболоида и гиперболиче ского параболоида является гиперболической.
30. Вторая квадратичная форма Пр является n6азuз'Наnо
оnределе'Н'Ной (LN - м2 = О). В этом случае в точке Р на по
верхности можно указать одно такое направление du : dv, что
Рис. 12.11 |
Рис. 12.12 |
для значений дифференциалов du и dv, определяющих это на правление, вторая форма обращается в нуль. Для всех осталь-
ных значений дифференциалов вторая форма сохраняет знак 1)
(рис. 12.12).
1) в этом случае вторая форма может быть представлена в виде квадрата
некоторой линейной формы дифференциалов du и dv.


§ 3 |
НЕКОТОРЫЕ СВЕДЕНИЯ ИЗ ТЕОРИИ ПОВЕРХНОСТЕЙ |
447 |
Итак, в 'Каждои то'Ч'Ке регуляр'Нои nоверх'Ности имеется по ме'Н'Ьшеи мере два разли'Ч'Ных глав'Ных 'Наnравле'Ния.
Укажем способ вычисления главных кривизн в данной точке.
Считая kn функцией от du и dv, получим из соотношения (12.51),
следующее тождество относительно du и dv
(L - knE) du 2 + 2(М - knF) du dv + (N - knG) dv 2 == о.
Дифференцируя это тождество по du и по dv и учитывая, что
производная нормальной кривизны для главного направления
равна нулю, получим для du и dv, определяющих любое главное
направление, соотношения
(L - kiE) du + (М - kiF) dv = о,
(12.53)
(М - kiF) du + (N - kiG) dv = о,
в которых k i - значение главной кривизны в направлении du : dv. Так как в каждой точке имеются главные направления, то си
стема (12.53) имеет относительно du и dv ненулевые решения.
Следовательно, должен быть равен нулю определитель этой си-
стемы:
(12.54)
Из уравнения (12.54) могут быть определены главные кривиз
ны k i , а затем из соотношений (12.53) - главные направления.
Уравнение (12.54) является квадратным уравнением относи
тельно ki , вещественными корнями которого являются главные кривизны. Поэтому могут представиться два случая:
10. |
Уравнение (12.54) имеет два различных корня k 1 и k 2 . |
20. |
Корни ki уравнения (12.54) одинаковы. Рассмотрим эти |
случаи отдельно.
1О. Урав'Не'Ние (12.54) имеет два разли'Ч'Ных 'КОр'НЯ: k 1 и k 2, k 1 i- k 2 · Этим корням отвечают два различных главных направ ления. Убедимся, что если 'Наnравле'Ния 'Коорди'Нат'Ных ли'Нии и
и v |
в да'Н'Нои то'Ч'Ке совпадают с глав'Ными, |
то в этои то'Ч'Ке |
F = |
О и М = о. Отметим, 'Что обраще'Ние F |
в 'НУЛ'Ь оз'На'Чает |
ортого'Нал'Ь'Ност'Ь глав'Ных 'Наnравле'Нии.
Итак, пусть направления координатных линий и и v в данной
точке совпадают с главными направлениями. Это означает, что
направления du : о, О : dv являются главными, и поэтому из
соотношений (12.53) вытекают равенства
L - k 1 = |
о, |
м - k 1 F = о, |
м - k 2 F = |
о, |
N - k 2 G = о. |
Так как k 1 i- k 2 , то, очевидно, |
М = о, F = о. Отметим, что при |
указанном выборе координатных линий главные кривизны k 1
448 |
ОСНОВЫ ТЕОРИИ КРИВЫХ И ПОВЕРХНОСТЕЙ |
ГЛ. 12 |
|
и k 2 могут быть найдены из соотношений |
|
||
|
L |
N |
|
|
k 1 = Е' |
k2 = G' |
|
20. Урав'Не'Ние (12.54) имеет два оди'наковыlx КОр'нЯ: k 1 = |
k 2 = |
||
= k. |
Убедимся, 'Что в этом слу'Чае любое 'Наnравле'Ние в да'Н'Нои |
то'Чке является глав'Ным. Если коорди'Нат'Ные ли'Нии в да'Н'Нои
то'Чке ортого'Налъ'Ны, то в этоi1 то'Чке F = О и М = О.
Мы уже отмечали, что в каждой точке имеются по крайней
мере два разли'Ч'Ных глав'ныlx 'Наnравле'Ния. В рассматриваемом
случае каждому из этих главных направлений отвечает одно и
тоже значение k главной кривизны. Но тогда должны обратить
ся в нуль коэффициенты системы (12.53), т. е.
L - kE = О, М - kF = О, N - kG = О.
Из этих равенств следует, что в данной точке коэффициенты второй формы пропорциональны коэффициентам первой фор
мы:
L=kE, M=kF, N=kG.
Подставляя эти значения L, М и N в формулу (12.51), мы убе
димся, что в данной точке кривизны нормальных сечений в лю
: dv одинаковы и равны k. Следовательно,
любое направление dи : dv в данной точке является главным. Если координатные линии в данной точке ортогональны, то
F = О, а тогда из соотношения М -kF = О следует, что и М = О.
Итак, мы можем сделать следующий вывод: в каждоi1 то'Ч
ке nоверх'Ности имеются ортого'Налъ'Ные глав'Ные 'Наnравле'Ния.
Если 'Наnравле'Ния коорди'Нат'Ных ли'Ниi1 совпадают с этими
глав'ныlии 'Наnравле'Ниями, то в этоi1 то'Чке F = О и М = |
О. |
|
Введем понятие л и н и и |
к р и в и з н ы. |
|
Л и 'н И е i1 к р и в и з 'н Ъ! |
'На nоверх'Ности 'Называется |
кри |
вая, 'Наnравле'Ние которои в каждоi1 то'Чке является глав'ныl•. На любой регулярной поверхности имеется, вообще говоря,
два различных семейства линий кривизны (выше мы указывали,
что в каждой точке имеются два различных главных направле
ния).
Отметим, что если в качестве координатных линий выбрать линии кривизны, то первая и вторая форма поверхности будут
иметь вид:
1 = Е dи2 + G dv 2 ,
|
II = |
Ldи2 + Ndv 2 , |
поскольку F = О и М = О. |
|
|
30. |
Г е о Д е з и ч е с к и е |
л и н и и. Г е о Д е з и ч е с к о й л и |
н и е й |
на поверхности называется кривая, главная нормаль в |
каждой точке которой совпадает с нормалью к поверхности.

450 |
ОСНОВЫ ТЕОРИИ КРИВЫХ И ПОВЕРХНОСТЕЙ |
ГЛ. 12 |
в теории поверхностей широко используются понятия сред
ней и гауссовой nривизны поверхности в данной точке.
Ср е д н е й при в и з н о й н поверхности называется nолу-
сумма ~(k 1 +k2 ) главныlx nривизн. Га у с с о в о й привизной К
поверхности называется произведение k 1 k 2 главныlx nривизн.
Обращаясь к уравнению (12.54) для главных кривизн и ис
пользуя свойства корней квадратного уравнения, получим сле
дующие формулы для Н и К:
н = ~LG-2MF+NE |
(12.57) |
||
2 |
EG - р2 |
||
' |
|||
К = |
LN-M2 |
(12.58) |
EG-F2
3 а м е ч а н и е 2. Из выражения (12.58) для гауссовой кри
визны следует, что ее знак совпадает со знаком дискриминанта
LN - м2 второй квадратичной формы (дискриминант ЕС - р2
первой формы всегда положителен, так как первая форма поло
жительно определенная). Поэтому гауссова кривизна в эллипти
ческих точках положительна, в гиперболических отрицательна и равна нулю в параболических точках и точках уплощения.
На первый взгляд создается впечатление, что гауссова кри визна К поверхности может быть найдена лишь в случае, ког
да известны первая и вторая квадратичные формы поверхности
(см. формулу (12.58)).
На самом же деле, гауссова кривизна может быть выраже на только через коэффициенты первой квадратичной формы и поэтому представляет собой объект внутренней геометрии по верхности. Этот замечательный результат был установлен Гаус
сом 1) и в математической литературе называется «знаменитой
теоремой Гаусса». Докажем эту теорему.
Теоре,м,а Гаусса. Гауссова nривизна К поверхности может
бытъ выражена 'Через nоэффи'Циенты первой nвадрати'Чной фор мы поверхности и их nроизводные.
Доказательство. Обращаясь к формуле (12.58) для гауссовой кривизны К и используя выражения (12.42) для коэф
фициентов второй квадратичной формы, легко убедиться, что для доказательства теоремы достаточно выразить через коэф фициенты первой квадратичной формы и их производные сле
дующее выражение:
А = (TuuTuTv)(TvvTuTv) - (T uv T u T v )2.
l)к. Ф. Гаусс-выдающийся немецкий математик (1777-1855).