Обсудим геометрический смысл опорной функции. Пусть F –ком-
пакт, c(F, ψ) – его опорная функция, а вектор ψ ∈ S,т.е.ψ =1,
c(F, ψ) = max
f∈F
(f,ψ)=(f
0
,ψ), f
0
∈ F (см. рисунок 5.3).
FF
F
000
ψ
ψ
ψ
f
f
f
f
0
f
0
f
0
Γ
ψ
Γ
ψ
Γ
ψ
(f
0
,ψ) < 0(f
0
,ψ)=0(f
0
,ψ) > 0
Рисунок 5.3
Опорная функция c(F,ψ)=(f
0
,ψ) равна наибольшей величине
проекций векторов f ∈ F на единичный вектор ψ.Знак(f
0
,ψ) харак-
теризует взаимное расположение множества F иточки0 относительно
опорной гиперплоскости Γ
ψ
:если(f
0
,ψ) > 0,токомпактF иначало
координат 0 расположеныпооднусторонуотопорнойгиперплоско-
сти Γ
ψ
, рисунок 5.3 а); если (f
0
,ψ)=0,то0 ∈ Γ
ψ
, рисунок 5.3 б);
если (f
0
,ψ) < 0,токомпактF иначалокоординат0 расположены по
разные стороны от опорной гиперплоскости Γ
ψ
, рисунок 5.3 в). При
ψ ∈ S опорная функция c(F, ψ) равна расстоянию от начала коорди-
нат до опорной гиперплоскости Γ
ψ
, причём расстоянию приписывается
определённый знак.
2.5.3 Cвойства опорных функций
Здесь будут рассмотрены 10 простейших свойств опорной функ-
ции.
Свойство1
◦
(опорная функция замыкания множества):
а) пусть F ∈ Ω(E
n
),тогда
c(F, ψ) = max
f∈F
(f,ψ);
б) пусть F – ограниченное множество, лежащее в пространстве E
n
,
а
F – замыкание множества F ,тогда
c(F, ψ)=c(
F,ψ).
54