
От Пантелеева / Книги студентам / лИТЕРАТУРА / Тартышников
.pdf
Е. Е. Тыртышников |
139 |
|
|
21.4Линейчатая поверхность
Интересно отметить, что однополостный гиперболоид является примером линейчатой поверхности. Так называются поверхности, состоящие из всех точек некоторого бесконечного множества прямых.
Утверждение. Через каждую точку однополостного гиперболоида S проходят в точ- ности две различные прямые, все точки которых принадлежат S.
Доказательство. Изменив масштаб, перейдем к аффинной системе координат, в которой уравнение поверхности S будет иметь вид x2 + y2 − z2 = 1. Пусть прямая l
описывается параметрическими уравнениями
x = x0 + p1t, y = y0 + p2t, z = z0 + p3t,
а направляющий вектор (p1, p2, p3) выбирается так, чтобы все ее точки принадлежали поверхности S:
(x0 +p1t)2 +(y0 +p2t)2 (z0 +p3t)2 = 1 |
|
t R |
|
p1x0 |
+ p2y0 |
− p3z0 |
= 0, |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
p12 |
+ p22 |
|
|
p32 |
= 0, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x0 |
+ y0 |
− z0 |
= 1. |
|||
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
2 |
2 |
− |
|
2 |
|
|
|
|
|
p3 = 0. Поэтому направляющий |
|
|
|
|
|
|
|||||||||||
Легко видеть, что |
2 |
62 |
|
|
|
|
|
|
|
|
вектор можно нормировать, взяв |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||
p |
|
= 1. Тогда p |
|
+ p |
|
= 1, |
p |
x |
|
+ p y |
= z |
. Предположим, что y |
|
= 0 |
|
|||||
|
3 |
= (z0 − p1x0)/y0 |
1 |
|
2 |
2 |
1 |
|
0 |
2 |
2 |
20 |
0 |
|
|
|
|
0 |
6 |
|
p2 |
|
|
p1 + (z0 |
− p1x0) /y0 = 1. Таким образом, |
|
|
|
|
||||||||||||
|
|
|
|
(x02 + y02)p12 − 2(x0z0)p1 + (z02 − y02) = 0. |
|
|
|
|
||||||||||||
Вычисляем дискриминант: D = x02z02 −(x02 +y02)(z02 −y02) = y02(x02 +y02 −z02) = y02 |
. Поскольку |
|||||||||||||||||||
y0 |
6= 0, äëÿ p1 получаем в точности два различных значения. Поскольку p3 = 1, соответ- |
ствующие направляющие векторы, очевидно, неколлинеарны. Они дают две различные прямые, целиком принадлежащие S и проходящие через точку (x0, y0, z0). Случай x0 6= 0
разбирается аналогично. 2
Замечание. Для поиска тех же самых прямых на поверхности S можно записать ее уравнение в виде
xa − zc xa + zc = 1 − yb 1 + yb
èрассмотреть два семейства пар плоскостей
|
x |
|
z |
|
y |
|
|
|
x |
|
|
z |
|
|
|
y |
|||||||||||
α |
|
|
|
|
− |
|
|
|
|
= β 1 − |
|
, |
β |
|
|
|
+ |
|
|
|
= α 1 + |
|
|
, |
|||
a |
c |
b |
a |
c |
b |
||||||||||||||||||||||
|
x |
|
z |
|
y |
|
|
x |
z |
|
|
y |
|||||||||||||||
γ |
|
|
− |
|
|
= δ 1 + |
|
, |
δ |
|
|
+ |
|
|
= γ |
1 − |
|
, |
|||||||||
a |
c |
b |
a |
c |
b |
||||||||||||||||||||||
определяемых парами не равных одновременно нулю параметров |
α, β è γ, δ. Можно доказать, что |
для каждой пары плоскостей в пересечении получается прямая, целиком принадлежащая S.
21.5Двуполостный гиперболоид
Пусть в приведенном уравнении типа (1) знак одного из коэффициентов при квадратах
противоположен знаку свободного члена и знаку двух других коэффициентов. Тогда оно приводится к виду
x2 |
|
y2 |
z2 |
|||
|
+ |
|
|
− |
|
= −1, a, b, c > 0. |
a2 |
b2 |
c2 |

140 Лекция 21
Множество точек (x, y, z), удовлетворяющих данному уравнению, называется двупо-
лостным гиперболоидом.
Легко видеть,что двуполостный гиперболоид не имеет точек в полосе |z| < c. Ìíî-
xa22 + yb22 − zc22 < −1, разбивается на два связных множества. Отсюда и название двуполостный .
21.6Эллиптический конус
Если в приведенном уравнении типа (1) знак одного из коэффициентов при квадратах
противоположен знаку двух других коэффициентов, а свободный член равен нулю, то уравнение можно записать в виде
x2 |
|
y2 |
z2 |
||
|
+ |
|
− |
|
= 0. |
a2 |
b2 |
c2 |
Множество удовлетворяющих ему точек (x, y, z) называется эллиптическим конусом.
Задача. Дана плоскость Ax+By+Cz+D = 0 при условии D 6= 0 и круговой конус x2 +y2 −z2 = 0.
Докажите, что в сечении конуса данной плоскостью получается эллипс, гипербола, парабола в том и только том случае, когда, соответственно, A2 + B2 < C2, A2 + B2 > C2, A2 + B2 = C2.
21.7Эллиптический параболоид
Теперь рассмотрим приведенное уравнение типа (2). Предположим, что λ1 è λ2 имеют
одинаковые знаки. Тогда в некоторой декартовой системе данная поверхность описывается уравнением
x2 y2
a2 + b2 = z, a, b > 0.
Множество удовлетворяющих ему точек называется эллиптическим параболоидом. Название навеяно рассмотрением сечений в плоскостях z + D = 0 (эллипсы) и в
плоскостях x + D = 0 èëè y + D = 0 (параболы).
21.8Гиперболический параболоид
Если в приведенном уравнении типа (2) коэффициенты при квадратах имеют разные знаки, то получается уравнение
x2 y2
a2 − b2 = z, a, b > 0,
которое определяет гиперболический параболоид.
Название объясняется видом кривых, получаемых в сечениях плоскостями z+D = 0 (гиперболы) и плоскостями x + D = 0 èëè y + D = 0 (параболы).
Это еще один пример линейчатой поверхности: каждая точка гиперболического па-
раболоида принадлежит двум различным прямым, целиком принадлежащим данной
поверхности. Доказательство проводится по аналогии со случаем однополостного гиперболоида.
Е. Е. Тыртышников |
141 |
|
|
21.9Цилиндрические поверхности
Приведенные уравнения типов (3)−(5) не зависят от z. Поэтому кривые второго порядка
в сечениях любой плоскостью вида z +D = 0 одинаковы Соответствующие поверхности
называются цилиндрическими.
142 |
Лекция 21 |
|
|

144 |
Лекция 22 |
|
|
è 0 < t < 1. Тогда для z = tx + (1 − t)y имеем x < z < y. По теореме Лагранжа из математического анализа, существуют точки ξ è η такие, что
f(z) − f(x) |
= f0(ξ), x < ξ < z, |
f(y) − f(z) |
= f0(η), z < η < y. |
|
z − x |
y − z |
|||
|
|
По той же теореме, для некоторой точки ζ получаем
|
f(y) − f(z) |
− |
f(z) − f(x) |
= f00(ζ) (η |
− |
ξ) |
≥ |
0, ξ < ζ < η. |
|
|||||||||||||
|
y |
− |
z |
|
z |
− |
x |
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Остается учесть, что t = (y − z)/(y − x) и заметить, что левая часть имеет вид |
||||||||||||||||||||||
f(x)(y − z) + f(y)(z − x) − f(z)(y − x) |
= |
tf(x) + (1 − t)f(y) − f(z) |
(y x). 2 |
|||||||||||||||||||
|
(y |
− |
z)(z |
− |
x) |
|
|
|
|
|
(y |
− |
z)(z |
− |
x) |
|
− |
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
Следствие. Функция ln x является вогнутой. |
|
|
|
|
|
|
|
|
||||||||||||||
Доказательство. (ln x)00 |
= −1/x2 < 0. |
2 |
|
|
|
|
|
|
|
|
|
Отсюда, например, можно сразу же вывести неравенство между средним арифметическим и средним геометрическим чисел x1, . . . , xn > 0:
|
|
|
x1 + . . . + xn |
|
|
√x1 . . . xn ≤ |
. |
||||
n |
|||||
n |
|
|
В самом деле, используя вогнутость логарифма, находим
ln |
n |
|
≥ |
n |
≥ ln √x1 xn. 2. . . |
||
|
x1 + . . . + xn |
|
|
ln x1 + + ln xn. . . |
n |
22.3Неравенства Гельдера и Минковского
Лемма. Пусть положительные числа p, q таковы, что |
|
1 |
+ |
1 |
= 1. Тогда |
|||||||||||||
|
|
|
|
|||||||||||||||
p |
q |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
ab ≤ |
ap |
bq |
|
a, b ≥ 0. |
|
|
|
|
|
|
||||||||
|
+ |
|
|
|
|
|
|
|
|
|||||||||
p |
q |
|
|
|
|
|
|
|
||||||||||
Доказательство. В силу вогнутости логарифма, |
|
|
|
|
|
|
||||||||||||
|
ln a |
p |
|
|
ln b |
q |
≤ ln |
ap |
|
q |
. 2 |
|||||||
ln (ab) = |
|
|
+ |
|
|
+ |
b |
|||||||||||
p |
|
|
q |
|
p |
q |
Неравенство Гельдера. В условиях леммы для любых комплексных чисел x1, . . . , xn è y1, . . . , yn справедливо неравенство
n |
|
|
n |
!1/p |
n !1/q |
|
|
≤ |
X|xi|p |
|
X|yi|q . |
Xxiyi |
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i=1 |
|
i=1 |
i=1 |
|
|
|
Доказательство. Пусть
a = |
=1 |xi|p! |
1/p |
i=1 |yi|q! |
1/q |
, b = |
. |
|||
|
n |
|
n |
|
|
Xi |
|
X |
|

146 |
Лекция 22 |
|
|
Величины ||x||p называются p-нормами èëè нормами Гельдера. |
|
Неравенства Гельдера и Минковского сохраняют силу при p = ∞ (в этом случае
q = 1). Для доказательства достаточно перейти к пределу при p → ∞.
Теорема. При любом p ≥ 1, включая p = ∞, величина ||x||p является нормой на Cn.
Доказательство. Свойства (1) и (2) нормы очевидны. Неравенство треугольника есть не что иное, как неравенство Минковского. 2
Задача. Многие нормы на Rn как функции координат вектора
âîì f(x1, . . . , xn) = f(|x1|, . . . , |xn|). Приведите пример нормы, которая этим свойством не обладает.
22.5Зачем нужны нормы?
Прежде всего, это удобный инструмент для изучения пределов в линейном пространстве.
Последовательность векторов xk V называется сходящейся к вектору x V , если числовая последовательность ||xk−x|| сходится к нулю при k → ∞. Вектор x называется
пределом последовательности xk. Обозначения: x = lim xk èëè xk → x ïðè x → ∞.
k→∞
Последовательность, сходящаяся к какому-нибудь вектору, называется просто сходящейся. Это оправдано, поскольку двух различных пределов быть те может. Если
xk → x è xk → y, òî
||x − y|| = ||(x − xk) − (y − xk|| ≤ ||x − xk|| + ||y − xk|| → 0 x = y. 2
В конечномерном пространстве V при изучении сходимости можно, в принципе,
обойтись и без норм. Фиксировав какой-нибудь базис e1, . . . , en V , мы могли бы рассмотреть разложения
n
X
xk = xki ei i=1
и называть последовательность векторов xk сходящейся, если сходятся координатные последовательности xki ïðè âñåõ i. Такое понятие сходимости не будет зависеть от вы-
бора базиса (докажите!). Легко видеть также, что из покоординатной сходимости в
конечномерном пространстве вытекает сходимость по любой норме. Действительно,
пусть xik → xi. Тогда, взяв x = Pi |
xi ei, получаем |
|
n |
|
Xi |
||xk − x|| ≤ |xik − xi| ||ei||. 2 |
|
|
=1 |
Более того, имеет место и менее очевидный факт: в конечномерном пространстве из сходимости по любой норме вытекает покоординатная сходимость. Мы скоро это докажем.
Тем не менее, даже в конечномерном пространстве исследовать сходимость с помощью норм очень удобно: все сводится к изучению лишь одной числовой последова-
тельности ||xk − x||. Это тем более важно, когда пространство бесконечномерно!