
Переходячи до границі при i
→
∞
, отримаємо
(a , y –
x )
≤
0 ,
∀
y
∈
W,
оскільки з умови
xx
=
∞→
)(lim k
k
випливає умова
.k*
i
i
xx
=
∞→
)(lim
Отже, шуканою гiперплощиною є гiперплощина L (x )=(a ,x – x )=0 .
Теорема доведена.
Наслiдок
. Якщо W
⊂
E
n
— замкнена, опукла, обмежена множина, то через
довільну точку x
0
∈
E
n
(скiнченну), x
0
∉
W, можна провести опорну
гiперплощину, тобто існує вектор с
≠
0 такий, що
∀
y
∈
W буде (c ,y –x
0
)
≤
0 або
(c ,y )
≤
(c ,x
0
).
Доведення
. Розглянемо конус з вершиною в точці x
0
, породжений
замиканням
W , тобто множину точок K ={
α
y +(1
−α
)x
0
: y
∈
W ,
α
≥
0 }. Оскiльки W
опукла і замкнена, то конус K також опуклий i замкнений. Тоді на основі теореми
про опорну гiперплощину через довільну скiнченну точку його межі x
0
∈
Гр K
можна провести опорну гiперплощину. Кожна така опорна гiперплощина буде
проходити через вершину конуса K точку x
0
i через деяку точку межі множини W,
що i треба було довести.
Зауважимо, що обмеженість W є істотною, оскільки в іншому випадку точок
межі конуса K, через які можна було б провести опорну гіперплощину, що
проходила б також і через точку x
0
, може взагалі не існувати.
L_hj_fZ 6.4 (ijh ]ii_jiehsbgm , ydZ jha^ey} ^\ him de fgh‘bgb , sh g_
i_j_l bgZxl vky ). Якщо множина X
0
внутрішніх точок опуклої множини X не
порожня i не перетинається з опуклою множиною Y (X
0
∩
Y =
∅
), то для множин
X та Y існує роздiляюча їх гiперплощина, тобто існує вектор с
≠
0 такий, що
(c ,x )
≤
(c ,y ),
∀
x
∈
X,
∀
y
∈
Y.
Доведення
. Розглянемо множину Z = X
0
– Y :
Z = {z : z = x – y , x
∈
X
0
, y
∈
Y }.
Вона є опуклою (перевіряється безпосередньо) i, оскільки X
0
∩
Y=
∅
, то 0 не є її
внутрішньою точкою.
Якщо 0
∉
Z , то в силу наслідку теореми про опорну гiперплощину, або, якщо
z = 0 є точкою межі Z, то в силу теореми про опорну гiперплощину, існує
ненульовий вектор с
≠
0 такий, що
(c ,z –0 )
≤
0,
∀
z
∈
Z.
Тобто
∀
x
∈
X
0
, і
∀
y
∈
Y будемо мати
(с ,x –y )
≤
0 або (c ,x )
≤
(c ,y ).
136