Π
ψ
= {x ∈ E
n
:(x, ψ) c(F, ψ)} – замкнутое полупространство, огра-
ниченное гиперплоскостью Γ
ψ
= {x ∈ E
n
:(x, ψ)=c(F, ψ)} с
вектором нормали ψ ∈ S;
Π=
"
ψ∈S
Π
ψ
– пересечение полупространств Π
ψ
по всем векторам
ψ ∈ S,гдеS – единичная сфера;
H =convF – наименьшая выпуклая оболочка множества F .
Тогда утверждение (7) теоремы 5.1 можно кратко записать в форме
равенства
H =Π. (8)
Теорема утверждает, что наименьшая выпуклая оболочка H компак-
та F представляется в форме пересечения по векторам ψ ∈ S полу-
пространств Π
ψ
, определяемых опорной функцией компакта F,т.е.
conv F определяется опорной функцией c(F, ψ) компакта F .
Это значит, что по опорной функции c(F, ψ) компакта F может
быть однозначно восстановлен не сам компакт F , а только его наи-
меньшая выпуклая оболочка conv F .
2 Обратимся к доказательству теоремы. Нужно установить равен-
ство (8) – совпадение множеств H и Π.
1. Докажем сначала, что H ⊂ Π. Используя определение опорной
функции и свойство 10
◦
, получаем, что для любой точки x ∈ H
(x, ψ) max
h∈H
(h, ψ)=c(H, ψ)
10
◦
= c(F, ψ) ∀ψ,
следовательно, x ∈ Π
ψ
∀ψ ∈ S, поэтому x ∈ Π=
"
ψ∈S
Π
ψ
. Это дока-
зывает включение
H ⊂ Π. (9)
2. Докажем теперь включение
H ⊃ Π (10)
(методом от противного). Отметим, что множество Π = ∅,таккак
F = ∅ и F ⊂ Π (почему?). Допустим, что (10) неверно, тогда суще-
ствует точка x
0
∈ Π, x
0
/∈ H.ТаккакH выпуклый компакт и x
0
/∈ H,
то по лемме об отделимости ∃ψ
0
∈ S:(h − x
0
,ψ
0
) < 0 ∀h ∈ H,т.е.
(h, ψ
0
) < (x
0
,ψ
0
) ∀h ∈ H.
63