Линейное неравенство

Линейное неравенство — это неравенство, вовлекающее линейные функции. Линейное неравенство содержит одно из символов неравенства
 < — меньше
 > — больше
  — меньше либо равно
  — больше либо равно
  — не равно
а также (формально)
 = — равно
Линейное неравенство выглядит точно также, как линейное уравнение, но вместо знака равно ставится знак неравенства.

Линейные неравенства вещественных чисел

Двумерные линейные неравенства 

Двумерные линейные неравенства — это выражения вида:
  и 
где неравенства могут быть строгими или не строгими. Множество решений такого неравенства можно графически представить как полуплоскость (все точки с «одной стороны» от фиксированной прямой) евклидовой плоскости. Прямая, определяющая полуплоскость (ax + by = c) не включается в решение, если неравенство строгое. Простая процедура определения, какая из полуплоскостей является решением — вычисление значения функции ax + by в точке (x0, y0), не находящейся на прямой, и проверке, удовлетворяет ли эта точка неравенству.

Например, чтобы нарисовать решение x + 3y < 9, сначала проводим прямую с уравнением x + 3y = 9 (пунктирная линия), чтобы показать, что прямая не принадлежит области решений, поскольку неравенство строгое. Затем выбираем удобную точку не на прямой, такую как (0,0). Поскольку 0 + 3(0) = 0 < 9, эта точка принадлежит множеству решений неравенства и полуплоскость, содержащая эту точку, (полуплоскость «ниже» прямой) является множеством решений линейного неравенства.

Линейные неравенства в пространствах более высокой размерности 
В пространстве Rn линейные неравенства — это выражения, которые можно записать в виде
  или 
где f — линейная форма, , а b — постоянная вещественная величина.
 
Более конкретно, это можно записать как
 
или
 

Здесь  называются неизвестными, а  называются коэффициентами.

Альтернативно, то же самое можно записать как

  или 
где g — аффинная функция

То есть
 
или
 

Заметим, что любое неравенство, содержащее знаки «больше» или «больше либо равно» можно переписать на неравенство со знаками «меньше» или «меньше либо равно», так что нет необходимости определять линейные неравенства с этими знаками.

Системы линейных неравенств 
Система линейных неравенств — это набор неравенств с одними и теми же переменными:

 
Здесь  — переменные,  — коэффициенты системы, а  — константные члены.

Кратко это можно записать как матричное неравенство

 

где A — матрица m×n, x — n×1  переменных, а b — m×1 вектор-столбец констант.

В описанных выше системах могут использоваться как строгие, так и нестрогие неравенства.

 Не все системы линейных неравенств имеют решение.

Приложения

Многогранники 
Множество решений вещественного неравенства образует полупространство n-мерного вещественного пространства, одно из двух полупространств, определённых соответствующим линейным уравнением.

Множество решений системы линейных неравенств соответствует пересечению полупространств, определённых индивидуальными неравенствами. Оно является выпуклым множеством, поскольку полупространства являются выпуклыми множествами, а пересечение множества выпуклых множеств является также выпуклым множеством. В невырожденных случаях это выпуклое множество является выпуклым многогранником (возможно, неограниченным, к примеру, полупространство, пластина между двумя параллельными полупространствами или выпуклый конус). Оно может быть также пустым или выпуклым многогранником меньшей размерности, ограниченным аффинным подпространством n-мерного пространства Rn.

Линейное программирование 

Задача линейного программирования ищет оптимум (максимальное или минимальное значение) функции (называемой целевой функцией) при некотором наборе ограничений на переменные, которые, в общем случае, являются линейными неравенствами. Список этих ограничений составляет систему линейных неравенств.

Обобщение 
Выше данное определение требует вполне определённых операций сложения, умножения и сравнения. Поэтому понятие линейного неравенства может быть распространено на упорядоченные кольца и, в частности, на упорядоченные поля. Обобщения такого типа представляют лишь теоретический интерес пока приложения этих обобщений не станут очевидными.

Примечания

Литература 

 
 
 Khan Academy: Linear inequalities, free online micro lectures
 Вялый М. Н. Линейные неравенства и комбинаторика. М.: МЦНМО, 2003. 32 с.

Линейная алгебра
Линейное программирование
Многогранники