СЛАУ. Теорема Кронекера- Капелли. Ранг матрицы.

Система m линейных алгебраических уравнений с n неизвестными в линейной алгебре — это система уравненийвида

(1)

Система линейных уравнений от трёх переменных определяет наборплоскостей. Точка пересечения является решением.

Здесь — количество уравнений, а — количество неизвестных. x ₁, x ₂, …, x_n — неизвестные, которые надо определить. a ₁₁, a ₁₂, …, a_mn — коэффициенты системы — и b ₁, b ₂, … b_m — свободнье члены — предполагаются известными. Индексы коэффициентов (a_ij) системы обозначают номера уравнения (i) и неизвестного (j), при котором стоит этот коэффициент, соответственно.

Система (1) называется однородной, если все её свободные члены равны нулю (b ₁ = b ₂ = … = b_m = 0), иначе — неоднородной.

Система (1) называется квадратной, если число m уравнений равно числу n неизвестных.

Решение системы (1) — совокупность n чисел c ₁, c ₂, …, c_n, таких что подстановка каждого c_i вместо x_i в систему (1) обращает все её уравнения втождества.

Система (1) называется совместной, если она имеет хотя бы одно решение, и несовместной, если у неё нет ни одного решения.

Совместная система вида (1) может иметь одно или более решений.

Решения c ₁⁽¹⁾, c ₂⁽¹⁾, …, c_n ⁽¹⁾ и c ₁⁽²⁾, c ₂⁽²⁾, …, c_n ⁽²⁾ совместной системы вида (1) называются различными, если нарушается хотя бы одно из равенств:

Совместная система вида (1) называется определённой, если она имеет единственное решение; если же у неё есть хотя бы два различных решения, то она называется недоопределённой. Если уравнений больше, чем неизвестных, она называется переопределённой.

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

Рангом системы строк (столбцов) матрицы с строк и столбцов называется максимальное число линейно независимых строк (столбцов). Несколько строк (столбцов) называются линейно независимыми, если ни одна из них не выражается линейно через другие. Ранг системы строк всегда равен рангу системы столбцов, и это число называется рангом матрицы.

Ранг матрицы — наивысший из порядков миноров этой матрицы, определитель которых отличен от нуля.

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

Условия совместимости:

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

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

Следствие

Количество главных переменных системы равно рангу системы.

Совместная система будет определена (её решение единственно), если ранг системы равен числу всех её переменных.