Тогда λ
k
> 0, λ
k
→ 0 при k →∞; χ
k
∈ S.Всилукомпактно-
сти единичной сферы S из последовательности {χ
k
} можно выбрать
сходящуюся к некоторой точке ¯χ ∈ S подпоследовательность. Без
ограничения общности будем считать, что сама последовательность
χ
k
→ ¯χ, k →∞. Тогда, вводя дополнительные обозначения
π
k
≡ Φ(∆ψ
k
)=
c(ψ
0
+ λ
k
χ
k
) − c(ψ
0
)
λ
k
− (h
0
,χ
k
) ,
r
k
=
c(ψ
0
+ λ
k
¯χ) − c(ψ
0
)
λ
k
− (h
0
, ¯χ) ,
имеем r
k
→ 0 при k →∞, в силу (7), (8). Кроме того, имеет место
предельное соотношение
π
k
− r
k
=
c(ψ
0
+ λ
k
χ
k
) − c(ψ
0
+ λ
k
¯χ)
λ
k
− (h
0
,χ
k
− ¯χ) → 0,k→∞.
Действительно, опорная функция удовлетворяет условию Липшица по
переменной ψ
|c(ψ
) − c(ψ
)| L ψ
− ψ
∀ψ
,ψ
∈ E
n
с константой Липшица L, поэтому можно записать цепочку соотно-
шений
|π
k
− r
k
|
Lλ
k
χ
k
− ¯χ
λ
k
+ h
0
·χ
k
− ¯χ =
=(L + h
0
) ·χ
k
− ¯χ→0,k→∞.
Таким образом, установлено, что r
k
→ 0 и π
k
− r
k
→ 0 при k →∞,
откуда с учётом соотношений
π
k
=(π
k
− r
k
)+r
k
, |π
k
| |π
k
− r
k
| + |r
k
|,
имеем: π
k
→ 0 при k →∞, что противоречит условию (17), которое
может быть записано в виде: |π
k
| ε>0 для ∀k K.
Теорема 17.1 полностью доказана.
Следствие 17.1. Условие строгой выпуклости выпуклого компак-
та U внаправлениивектораψ
0
=0равносильно существованию в
точке ψ
0
градиента c
(ψ
0
) опорной функции c(ψ) компакта U.
Следствие 17.2. Выпуклый компакт U является строго выпук-
лым тогда и только тогда, когда существует градиент в любой точке
ψ ∈ E
n
, ψ =0.
173