Системы линейных неравенств. Зоркальцев В.И - 69 стр.

UptoLike

69
ограничения, которые были неактивными хотя бы для одного из решений
1
x
или
2
x
.
Отметим, что для системы вида (2.1) множества номеров активных
ограничений ()
M
x для данного решения
x
обозначалось
0
()
I
x , множество
номеров неактивных ограничений ()Nx ( )
I
x .
Следовательно, в X существуют решения, активные ограничения для
которых остаются активными при всех других решениях. Подмножество
таких решений обозначим Y . Для любого yY
множество активных
ограничений одно и тоже. Обозначим его
()
M
My
.
Соответственно одним и тем же будет множество неактивных
ограничений для любого yY . Обозначим его
()NNy
.
Для любого решения
x
X
()
M
Mx ,
()NNx
.
Эти свойства позволяют назвать
Y
множеством решений с
минимальным набором активных ограничений
или, что одно и то же, с
максимальным набором неактивных ограничений.
Относительная внутренность выпуклого множества. Пусть задано
число 0
ε
> . Обозначим
{
}
() :
n
Rq y R y q
ε
ε
=
∈−
ε
-окрестность вектора .
n
qR
Для произвольного множества
n
QR подмножество внутренних
точек, обозначаемое int Q , составляют такие векторы qQ
, для которых
при некотором 0
>
() .
R
qQ
ε
Если int 0Q ≠/, то множество Q называется телесным или имеющим
внутренность.
Выпуклое множество может быть нетелесным. Например, внутренних
точек не имеет отрезок прямой в пространстве
n
R
при 2.n Если же этот
отрезок рассматривать только относительно прямой, на которой он
расположен, то все его точки, за исключением граничных, можно считать
внутренними.
Совокупность точек выпуклой области
n
QR , являющихся
внутренними для области Q относительно минимального линейного
многообразия, содержащего эту область, называется множеством
ограничения, которые были неактивными хотя бы для одного из решений
x1 или x 2 .
Отметим, что для системы вида (2.1) множества номеров активных
ограничений M ( x) для данного решения x обозначалось I 0 ( x) , множество
номеров неактивных ограничений N ( x) – I ( x) .
    Следовательно, в X существуют решения, активные ограничения для
которых остаются активными при всех других решениях. Подмножество
таких решений обозначим Y . Для любого y ∈ Y множество активных
ограничений одно и тоже. Обозначим его
                              M = M ( y) .
    Соответственно одним и тем же будет множество неактивных
ограничений для любого y ∈ Y . Обозначим его
                              N = N ( y) .
    Для любого решения x ∈ X
                              M ⊆ M ( x) ,
                              N ⊇ N ( x) .
    Эти свойства позволяют назвать Y множеством решений с
минимальным набором активных ограничений или, что одно и то же, с
максимальным набором неактивных ограничений.
    Относительная внутренность выпуклого множества. Пусть задано
число ε > 0 . Обозначим
                         Rε (q) = { y ∈ R n : y − q ≤ ε }
ε -окрестность вектора q ∈ R n .
    Для произвольного множества Q ⊆ R n подмножество внутренних
точек, обозначаемое int Q , составляют такие векторы q ∈ Q , для которых
при некотором ε > 0
                             Rε (q ) ⊆ Q.
Если int Q ≠ 0/ , то множество Q называется телесным или имеющим
внутренность.
    Выпуклое множество может быть нетелесным. Например, внутренних
точек не имеет отрезок прямой в пространстве R n при n ≥ 2. Если же этот
отрезок рассматривать только относительно прямой, на которой он
расположен, то все его точки, за исключением граничных, можно считать
внутренними.
    Совокупность точек выпуклой области Q ⊆ R n , являющихся
внутренними для области Q относительно минимального линейного
многообразия, содержащего эту область, называется множеством

                                       69