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

1. Критерий совместности

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

a₁₁x₁ + a₁₂x₂ + ... + a_1nx_n = b₁

a₂₁x₁ + a₂₂x₂ + ... + a_2nx_n = b₂ (5.1)

... ... ... ... ... ... ... ... ... ... ...

a_m1x₂ + a_m2x₂ +... + a_mnx_n = b_m

Здесь а_ij и b_i (i =

; j = ) - заданные, а x_j - неизвестные действительные числа. Используя понятие произведения матриц, можно переписать систему (5.1) в виде:

AX = B, (5.2)

где A = (а_ij) - матрица, состоящая из коэффициентов при неизвестных системы (5.1), которая называется матрицей системы, X = (x₁, x₂,..., x_n)^T,

B = (b₁, b₂,..., b_m)^T - векторы-столбцы, составленные соответственно из неизвестных x_j и из свободных членов b_i.

Упорядоченная совокупность n вещественных чисел (c₁, c₂,..., c_n) называется решением системы (5.1), если в результате подстановки этих чисел вместо соответствующих переменных x₁, x₂,..., x_n каждое уравнение системы обратится в арифметическое тождество; другими словами, если существует вектор C= (c₁, c₂,..., c_n)^T такой, что AC ≡ B.

Система (5.1) называется совместной, или разрешимой, если она имеет по крайней мере одно решение. Система называется несовместной, или неразрешимой, если она не имеет решений.

Матрица

à =

,

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

Вопрос о совместности системы (5.1) решается следующей теоремой.

Теорема Кронекера- Капелли. Система линейных уравнений совместна тогда и только тогда, когда ранги матриц A и Ã совпадают, т.е.

r(A) = r(Ã) = r.

Для множества М решений системы (5.1) имеются три возможности:

1) M = Ø (в этом случае система несовместна);

2) M состоит из одного элемента, т.е. система имеет единственное решение (в этом случае система называется определенной);

3) M состоит более чем из одного элемента (тогда система называется неопределенной). В третьем случае система (5.1) имеет бесчисленное множество решений.

Система имеет единственное решение только в том случае, когда

r(A) = n. При этом число уравнений - не меньше числа неизвестных (m ≥ n); если m > n, то m-n уравнений являются следствиями остальных. Если 0 < r < n, то система является неопределенной.

Для решения произвольной системы линейных уравнений нужно уметь решать системы, в которых число уравнений равно числу неизвестных, - так называемые системы крамеровского типа:

a₁₁x₁ + a₁₂x₂ + ... + a_1nx_n = b₁

a₂₁x₁ + a₂₂x₂ + ... + a_2nx_n = b₂ (5.3)

... ... ... ... ... ... ... ... ... ...

a_n1x₂ + a_n2x₂ + ... + a_nnx_n = b_n

Системы (5.3) решаются одним из следующих способов: 1) методом Гаусса, или методом исключения неизвестных; 2) по формулам Крамера;3) матричным методом.

2. Метод Гаусса

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

3. Формулы Крамера

Метод Крамера состоит в том, что мы последовательно находим главный определитель системы (5.3), т.е. определитель матрицы А

Δ = det (a_ij)

и n вспомогательных определителей Δ_i (i =

), которые получаются из определителя Δ заменой i-го столбца столбцом свободных членов.

Формулы Крамера имеют вид:

Δ · x_i = Δ_i (i =

). (5.4)

Из (5.4) следует правило Крамера, которое дает исчерпывающий ответ на вопрос о совместности системы (5.3): если главный определитель системы отличен от нуля, то система имеет единственное решение, определяемое по формулам:

x_i = Δ_i / Δ.

Если главный определитель системы Δ и все вспомогательные определители Δ_i = 0 (i =

), то система имеет бесчисленное множество решений. Если главный определитель системы Δ = 0, а хотя бы один вспомогательный определитель отличен от нуля, то система несовместна.

4. Матричный метод

Если матрица А системы линейных уравнений невырожденная, т.е.

det A ≠ 0, то матрица А имеет обратную, и решение системы (5.3) совпадает с вектором C = A^-1B. Иначе говоря, данная система имеет единственное решение. Отыскание решения системы по формуле X = C, C = A^-1B называют матричным способом решения системы, или решением по методу обратной матрицы.