Эта теорема дает возможность до решения СЛУ выяснить, имеет ли она решения вообще, или не имеет; а если имеет, то сколько (1 или ∞).

Рассмотрим систему m уравнений с n неизвестными.

А ∙ Х = В

где А – основная матрица системы;

   Х – матрица-столбец неизвестных;

   В – матрица-столбец из неизвестных членов.

(А В) – расширенная матрица системы.

Если ранг основной матрицы системы совпадает с расширенной матрицы системы, то говорят, что система уравнений имеет ранг, т.е. rang(А) = rang(А В) = r.

Теорема о существовании решений СЛУ:

Если ранг основной матрицы системы совпадает с рангом расширенной матрицы системы, то такая матрица совместна, причем:

1) Если r = n (количество неизвестных), то система имеет единственное решение, она совместно и определенна;

2) Если r < n то система совместна и неопределенна (∞ решений);

3) Случай r > n невозможен.

Если система уравнений не имеет ранга, то она несовместна.

Теорема:

Если система совместна и ее ранг равен r, тогда число уравнений, остающихся в системе после преобразований методом исключения переменных, также равно r, а числа свободных неизвестных – n - r.

Система линейных однородных уравнений

Система линейных неравенств

12.1 Понятие системы линейных неравенств. Выпуклые множества.
Крайние точки.

Неравенство называется линейным, если содержит переменные только в первой степени, причем отсутствуют и произведения переменных.

Множеством решений неравенства с n неизвестными является одно из двух полупространств, разделенных гиперплоскостью, уравнение которой:

а₁х₁ + а₂х₂ + … + а _n х _n = а

Пусть дано неравенство с двумя переменными:

а₁х₁ + а₂х₂ ≤ (≥) а; а₁, а₂ ≠ 0                                                                     (*)

Геометрическим решением такого неравенства будет одна из полуплоскостей, на которые прямая вида а₁х₁ + а₂х₂ = 0 разделяет плоскость ХОУ в R2.

Если неравенство нестрогое, то точки, лежащие на данной прямой, удовлетворяют неравенству (*). Точки плоскости, лежащие выше (ниже) этой прямой, могут удовлетворять данному неравенству (*). Для этого следует выбрать любую точку плоскости, не лежащую на этой прямой, и подставить координаты этой точки в неравенство (*).

Если неравенство получается верным, то решением такого неравенства будет та часть плоскости, из которой выбиралась точка.

Обычно в качестве контрольной точки удобно брать начало координат, если прямая не проходит через эту точку.

Множества, элементами которых являются точки, называются точечными. Точечные множества бывают выпуклые и невыпуклые. Если существует хотя бы одна пара точек множества, таких, что отрезок, соединяющий эти точки, не принадлежит целиком этому множеству, то оно называется невыпуклым.

Множество точек называется выпуклым, если вместе с его любыми двумя точками ему принадлежит и весь отрезок, соединяющий эти точки.

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

Пересечение двух выпуклых множеств является также выпуклым множеством.

Частными случаями точечных множеств на плоскости служат выпуклые многоугольники. Выпуклым многоугольником называется выпуклая фигура, ограниченная несколькими отрезками, называемыми сторонами многоугольника. Точки, в которых сходятся концы двух соседних сторон, называются крайними (угловыми) точками (вершинами) многоугольника.

Когда вся фигура лежит по одну сторону от прямой, и прямая имеет с фигурой одну общую точку или отрезок, то такая прямая называется опорой прямой.

Каждая сторона выпуклого многоугольника является опорной прямой.

В пространстве R3 понятие выпуклый многогранник – тело, образованное пересечением плоскостей, грани которого – выпуклые многоугольники.

Вершины этого многогранника – крайние (угловые) точки.

Примерами выпуклых многогранников служат шар, параллелепипед, призма и др.