Ранг матрицы способом окаймляющих миноров

Ранг матрицы. Метод окаймляющих миноров. Линейная независимость строк (столбцов) матрицы

Пусть в матрице А размеров (m; n) выбраны произвольно k строк и k столбцов (k ≤ min(m; n)). Элементы матрицы, стоящие на пересечении выбранных строк и столбцов, образуют квадратную матрицу порядка k, определитель которой называется минором M_kk порядка k_y или минором k-го порядка матрицы A.

Рангом матрицы называется максимальный порядок r отличных от нуля миноров матрицы A, а любой минор порядка r, отличный от нуля, — базисным минором. Обозначение: rang A = r. Если rang A = rang B и размеры матриц A и Bсовпадают, то матрицы A и B называются эквивалентными. Обозначение: A

Основными методами вычисления ранга матрицы являются метод окаймляющих миноров и метод элементарных преобразований.

Метод окаймляющих миноров

Суть метода окаймляющих миноров состоит в следующем. Пусть в матрице уже найден минор порядка k, отличный от нуля. Тогда далее рассматриваются лишь те миноры порядка k+1, которые содержат в себе (т. е. окаймляют) минорk-го порядка, отличный от нуля. Если все они равны нулю, то ранг матрицы равен k, в противном случае среди окаймляющих миноров (k+1)-го порядка найдется отличный от нуля и вся процедура повторяется.

Линейная независимость строк (столбцов) матрицы

Понятие ранга матрицы тесно связано с понятием линейной независимости ее строк (столбцов).

Строки матрицы :

называют линейно зависимыми, если найдутся такие числа λ₁, λ₂, λ_k, что справедливо равенство:

Строки матрицы A называются линейно независимыми, если вышеприведённое равенство возможно лишь в случае, когда все числа λ₁ = λ₂ = … = λ_k = 0

Аналогичным образом определяется линейная зависимость и независимость столбцов матрицы A.

Если какая-либо строка (a_l) матрицы A (где (a_l)=(a_l1, a_l2,…, a_ln)) может быть представлена в виде

Аналогичным образом определяется понятие линейной комбинации столбцов. Справедлива следующая теорема о базисном миноре.

Базисные строчки и базисные столбцы линейно независимы. Любая строка (либо столбец) матрицы A является линейной комбинацией базисных строк (столбцов), т. е. строк (столбцов), пересекающих базисный минор. Таким образом, ранг матрицы A: rang A = k равен максимальному числу линейно независимых строк (столбцов) матрицы A.

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

Кроме как через определители, ранг матрицы можно посчитать по числу линейно независимых строк или столбцов матрицы. Он равен количеству линейно независимых строк или столбцов в зависимости от того, чего меньше. Например, если матрица имеет 3 линейно независимых строки и 5 линейно независимых столбцов, то её ранг равняется трём.

Примеры нахождения ранга матрицы

Методом окаймляющих миноров найти ранг матрицы

Р е ш е н и е. Минор второго порядка

окаймляющий минор M₂, также отличен от нуля. Однако оба минора четвёртого порядка, окаймляющие M₃.

равны нулю. Поэтому ранг матрицы A равен 3, а базисным минором является, например, представленный выше минор M₃.

Метод элементарных преобразований основан на том, что элементарные преобразования матрицы не меняют её ранга. Используя эти преобразования, можно привести матрицу к виду, когда все её элементы, кроме a₁₁, a₂₂, …, a_rr (r ≤min (m, n)), равны нулю. Это, очевидно, означает, что rang A = r. Заметим, что если матрица n-го порядка имеет вид верхней треугольной матрицы, т. е. матрицы, у которой все элементы под главной диагональю равны нулю, то её определитесь равен произведению элементов, стоящих на главной диагонали. Это свойство можно использовать при вычислении ранга матрицы методом элементарных преобразований: необходимо с их помощью привести матрицу к треугольной и тогда, выделив соответствующий определитель, найдём, что ранг матрицы равен числу элементов главной диагонали, отличных от нуля.

Методом элементарных преобразований найти ранг матрицы

Р е ш е н и е. Обозначим i-ю строку матрицы A символом α_i. На первом этапе выполним элементарные преобразования

На втором этапе выполним преобразования

В результате получим

На третьем этапе мы переставили четвёртую строку на место третьей, а третью — на место четвёртой. На четвёртом этапе мы разделили элементы четвёртого и пятого столбцов на 4 и 2 и поменяли местами третий и четвёртый столбцы. Из вида матрицы, получившегося после четвёртого этапа преобразования, следует, что rang A = 3. Можно было бы продолжить преобразование матрицы A, добиваясь обнуления остальных элементов матрицы с различными индексами, но вряд ли это целесообразно при нахождении ранга матрицы. Заметим также, что получившуюся в результате элементарных преобразований нулевую строку можно было бы не писать при дальнейших преобразованиях матрицы, а просто вычеркнуть, что, очевидно, никак не повлияет на ранг исходной матрицы.

Как найти ранг матрицы в wxMaxima и Maxima

Для нахождения ранга матрицы используется функция rank:

Источник

Ранг матрицы методом окаймляющих миноров

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

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

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

Алгоритм нахождения ранга матрицы методом окаймляющих миноров:

1. Минор M k-того порядка не равен нулю.
2. Если окаймляющие миноры для минора M (k+1)-го порядка, составить невозможно (т.е. матрица содержит k строк или k столбцов), то ранг матрицы равен k. Если окаймляющие миноры существуют и все равны нулю, то ранг равен k. Если среди окаймляющих миноров есть хотя бы один, не равный нулю, то пробуем составить новый минор k+2 и т.д.

Разберем алгоритм более подробно. Сначала рассмотрим миноры первого (элементы матрицы) порядка матрицы A. Если все они равны нулю, то rangA = 0. Если есть миноры первого порядка (элементы матрицы) не равные нулю M₁ ≠ 0, то ранг rangA ≥ 1.

Проверим есть ли окаймляющие миноры для минора M₁. Если такие миноры есть, то они буду миноры второго порядка. Если все миноры окаймляющие минор M₁ равны нулю, то rangA = 1. Если есть хоть один минор второго порядка не равные нулю M₂ ≠ 0, то ранг rangA ≥ 2.

Проверим есть ли окаймляющие миноры для минора M₂. Если такие миноры есть, то они буду миноры третьего порядка. Если все миноры окаймляющие минор M₂ равны нулю, то rangA = 2. Если есть хоть один минор третьего порядка не равные нулю M₃ ≠ 0, то ранг rangA ≥ 3.

Проверим есть ли окаймляющие миноры для минора M₃. Если такие миноры есть, то они буду миноры четвертого порядка. Если все миноры окаймляющие минор M₃ равны нулю, то rangA = 3. Если есть хоть один минор четвертого порядка не равные нулю M₄ ≠ 0, то ранг rangA ≥ 4.

Проверяем есть ли окаймляющий минор для минора M₄, и так далее. Алгоритм прекращается, если на каком-то этапе окаймляющие миноры равны нулю или окаймляющий минор нельзя получить (в матрице «закончились» строки или столбцы). Порядок не нулевого минора, который получилось составить будет рангом матрицы.

Пример

Рассмотрим данный метод на примере. Дана матрицы 4х5:

У данной матрице ранг не может быть больше 4. Так же у этой матрице есть не нулевые элементы (минор первого порядка), значит ранг матрицы ≥ 1.

Составим минор 2-ого порядка. Начнем с угла.

Найдем определитель данного минора.

Так определитель равен нулю, составим другой минор.

Найдем определитель данного минора.

Определить данного минора равен -2. Значит ранг матрицы ≥ 2.

Если данный минор был равен 0, то составили бы другие миноры. До конца бы составили все миноры по 1 и второй строке. Потом по 1 и 3 строке, по 2 и 3 строке, по 2 и 4 строке, пока не нашли бы минор не равный 0, например:

Если все миноры второго порядка равны 0, то ранг матрицы был бы равен 1. Решение можно было бы остановить.

Продолжим поиска ранга матрицы. Составим минор 3-го порядка.

Найдем определитель этого минора.

Минор получился не нулевой. значит ранг матрицы ≥ 3.

Если бы данный минор был нулевым, то нужно было бы составить другие миноры. Например:

Если все миноры третьего порядка равны 0, то ранг матрицы был бы равен 2. Решение можно было бы остановить.

Продолжим поиска ранга матрицы. Составим минор 4-го порядка.

Найдем определитель этого минора.

Определитель минора получился равный 0. Построим другой минор.

Найдем определитель этого минора.

Минор получился равным 0.

Построить минор 5-го порядка не получится, для этого нет строки в данной матрицы. Последний минор не равный нулю был 3-го порядка, значит ранг матрицы равен 3.

Источник

Нахождение ранга матрицы методом окаймляющих миноров.

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

Одним из таких методов является метод окаймляющих миноров.

Разберемся с понятием окаймляющего минора.

Говорят, что минор М_ок (k+1)-ого порядка матрицы А окаймляет минор M порядка kматрицы А, если матрица, соответствующая минору М_ок , «содержит» матрицу, соответствующую минору M.

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

Для примера рассмотрим матрицу и возьмем минор второго порядка . Запишем все окаймляющие миноры:

Метод окаймляющих миноров обосновывается следующей теоремой (приведем ее формулировку без доказательства).

Если все миноры, окаймляющие минор k-ого порядка матрицы А порядка p наn, равны нулю, то все миноры порядка (k+1) матрицы А равны нулю.

Таким образом, для нахождения ранга матрицы не обязательно перебирать все миноры, достаточно окаймляющих. Количество миноров, окаймляющих минор k -огопорядка матрицы А порядка , находится по формуле . Отметим, что миноров, окаймляющих минор k-ого порядка матрицы А, не больше, чем миноров(k + 1)-ого порядка матрицы А. Поэтому, в большинстве случаев использование метода окаймляющих миноров выгоднее простого перебора всех миноров.

Перейдем к нахождению ранга матрицы методом окаймляющих миноров. Кратко опишем алгоритм этого метода.

Если матрица А ненулевая, то в качестве минора первого порядка берем любой элемент матрицы А, отличный от нуля. Рассматриваем его окаймляющие миноры. Если все они равны нулю, то ранг матрицы равен единице. Если же есть хотя бы один ненулевой окаймляющий минор (его порядок равен двум), то переходим к рассмотрению его окаймляющих миноров. Если все они равны нулю, то Rank(A) = 2. Если хотя бы один окаймляющий минор отличен от нуля (его порядок равен трем), то рассматриваем его окаймляющие миноры. И так далее. В итоге Rank(A) = k, если все окаймляющие миноры (k + 1)-ого порядка матрицы А равны нулю, либоRank(A) = min(p, n), если существует ненулевой минор, окаймляющий минор порядка(min(p, n) – 1).

Разберем метод окаймляющих миноров для нахождения ранга матрицы на примере.

Найдите ранг матрицы методом окаймляющих миноров.

Так как элемент a_{1 1} матрицы А отличен от нуля, то возьмем его в качестве минора первого порядка. Начнем поиск окаймляющего минора, отличного от нуля:

Найден окаймляющий минор второго порядка, отличный от нуля . Переберем его окаймляющие миноры (их штук):

Все миноры, окаймляющие минор второго порядка , равны нулю, следовательно, ранг матрицы А равен двум.

Найдите ранг матрицы с помощью окаймляющих миноров.

В качестве отличного от нуля минора первого порядка возьмем элементa_{1 1} = 1 матрицы А. Окаймляющий его минор второго порядка не равен нулю. Этот минор окаймляется минором третьего порядка . Так как он не равен нулю и для него не существует ни одного окаймляющего минора, то ранг матрицы А равен трем.

К началу страницы

Нахождение ранга с помощью элементарных преобразований матрицы (методом Гаусса).

Рассмотрим еще один способ нахождения ранга матрицы.

Следующие преобразования матрицы называют элементарными:

· перестановка местами строк (или столбцов) матрицы;

· умножение всех элементов какой-либо строки (столбца) матрицы на произвольное число k, отличное от нуля;

· прибавление к элементам какой-либо строки (столбца) соответствующих элементов другой строки (столбца) матрицы, умноженных на произвольное число k.

Матрица В называется эквивалентной матрице А, если В получена из А с помощью конечного числа элементарных преобразований. Эквивалентность матриц обозначается символом «

», то есть, записывается A

Нахождение ранга матрицы с помощью элементарных преобразований матрицы основано на утверждении: если матрица В получена из матрицы А с помощью конечного числа элементарных преобразований, то Rank(A) = Rank(B).

Читайте также:  Самый экономичный способ полива при орошении сельскохозяйственных культур

Справедливость этого утверждения следует из свойств определителя матрицы:

· При перестановке строк (или столбцов) матрицы ее определитель меняет знак. Если он равен нулю, то при перестановке строк (столбцов) он остается равным нулю.

· При умножении всех элементов какой-либо строки (столбца) матрицы на произвольное число k отличное от нуля, определитель полученной матрицы равен определителю исходной матрицы, умноженному на k. Если определитель исходной матрицы равен нулю, то после умножения всех элементов какой-либо строки или столбца на число k определитель полученной матрицы также будет равен нулю.

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

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

Для чего это делается? Ранг матриц такого вида очень легко найти. Он равен количеству строк, содержащих хотя бы один ненулевой элемент. А так как ранг матрицы при проведении элементарных преобразований не изменяется, то полученное значение будет рангом исходной матрицы.

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

· Для прямоугольных матриц А порядка p на n, число строк которых больше числа столбцов (p > n).

или

· Для прямоугольных матриц А порядка p на n, число строк которых меньше числа столбцов (p (1) :

К элементам второй строки полученной матрицы А (1) прибавим соответствующие элементы первой строки, умноженные на . К элементам третьей строки прибавим соответствующие элементы первой строки, умноженные на . И так далее до p-ой строки. Получим эквивалентную матрицу, обозначим ее А (2) :

Если все элементы полученной матрицы, находящиеся в строках со второй по p-ую, равны нулю, то ранг этой матрицы равен единице, а, следовательно, и ранг исходной матрицы равен единице.

Если же в строках со второй по p-ую есть хотя бы один ненулевой элемент, то продолжаем проводить преобразования. Причем действуем абсолютно аналогично, но лишь с отмеченной на рисунке частью матрицы А (2)

Если , то переставляем строки и (или) столбцы матрицы А (2) так, чтобы «новый» элемент стал ненулевым.

Итак, . Умножаем каждый элемент второй строки матрицы А (2) на . Получаем эквивалентную матрицу А (3) :

К элементам третьей строки полученной матрицы А (3) прибавим соответствующие элементы второй строки, умноженные на . К элементам четвертой строки прибавим соответствующие элементы второй строки, умноженные на . И так далее до p-ой строки. Получим эквивалентную матрицу, обозначим ее А (4) :

Если все элементы полученной матрицы, находящиеся в строках с третьей по p-ую, равны нулю, то ранг этой матрицы равен двум, а, следовательно, Rank(A) = 2.

Если же в строках с третьей по p-ую есть хотя бы один ненулевой элемент, то продолжаем проводить преобразования. Причем действуем абсолютно аналогично, но лишь с отмеченной на рисунке частью матрицы А (4) :

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

Разберем решения нескольких примеров.

Найдите ранг матрицы с помощью элементарных преобразований.

Так как элемент a_{1 1} отличен от нуля, то умножим элементы первой строки матрицы А на :

Прибавим к элементам второй строки соответствующие элементы первой строки, умноженные на (- 3). К элементам третьей строки прибавим элементы первой строки, умноженные на (- 1). И так далее:

Элемент отличен от нуля, поэтому мы можем умножить элементы второй строки матрицы А (2) на :

К элементам третьей строки полученной матрицы прибавляем соответствующие элементы второй строки, умноженные на ; к элементам четвертой строки – элементы второй строки, умноженные на ; к элементам пятой строки – элементы второй строки, умноженные на :

Все элементы третьей, четвертой и пятой строк полученной матрицы равны нулю. Так с помощью элементарных преобразований мы привели матрицу А к трапецеидальному виду, откуда видно, что Rank(A (4) ) = 2. Следовательно, ранг исходной матрицы также равен двум.

Замечание.

ОБРАТИТЕ ВНИМАНИЕ: при проведении элементарных преобразований не допускаются приближенные вычисления!

Рассмотрим еще один пример.

Методом элементарных преобразований найдите ранг матрицы .

Поменяем местами первую и вторую строки матрицы А, так как элемент a_{1 1}равен нулю, а элемент a₂₁ отличен от нуля:

В полученной матрице элемент равен единице, поэтому не нужно производить умножение элементов первой строки на . Сделаем все элементы первого столбца, кроме первого, нулевыми:

Так первый столбец преобразован к нужному виду.

Элемент в полученной матрице отличен от нуля. Умножим элементы второй строки на :

Второй столбец полученной матрицы имеет нужный вид, так как элемент уже равен нулю.

Так как , а , то поменяем местами третий и четвертый столбцы:

Умножим третью строку полученной матрицы на :

На этом заканчиваем преобразования. Получаем Rank(A (5) )=3, следовательно,Rank(A)=3.

ранг исходной матрицы равен трем.

9. Теоре́ма Кро́некера — Капе́лли — критерий совместности системы линейных алгебраических уравнений:

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

Для того чтобы линейная система являлась совместной, необходимо и достаточно, чтобы ранг расширенной матрицы этой системы был равен рангу её основной матрицы.

Пояснения

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

Доказательство (условия совместности системы)[править | править вики-текст]

Необходимость

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

Достаточность

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

Следствия

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

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

· Система линейных уравнений является однородной, если свободный член каждого уравнения системы равен нулю. Например:

· Совершенно ясно, что однородная система всегда совместна, то есть всегда имеет решение. И, прежде всего, в глаза бросается так называемое тривиальное решение . Тривиальное, для тех, кто совсем не понял смысл прилагательного, значит, беспонтовое. Не академично, конечно, но зато доходчиво =) …Чего ходить вокруг да около, давайте выясним, нет ли у данной системы каких-нибудь других решений:

· Решить однородную систему линейных уравнений

· Решение: чтобы решить однородную систему необходимо записать матрицу системы и с помощью элементарных преобразований привести её к ступенчатому виду. Обратите внимание, что здесь отпадает необходимость записывать вертикальную черту и нулевой столбец свободных членов – ведь что ни делай с нулями, они так и останутся нулями:

· (1) Ко второй строке прибавили первую строку, умноженную на –2. К третьей строке прибавили первую строку, умноженную на –3.

· (2) К третьей строке прибавили вторую строку, умноженную на –1.

· Делить третью строку на 3 не имеет особого смысла.

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

· Ответ:

· Сформулируем очевидный критерий: однородная система линейных уравнений имееттолько тривиальное решение, если ранг матрицы системы (в данном случае 3) равен количеству переменных (в данном случае – 3 шт.).

· Разогреваемся и настраиваем свой радиоприёмник на волну элементарных преобразований:

· Решить однородную систему линейных уравнений

· Из статьи Как найти ранг матрицы? вспоминаем рациональный приём попутного уменьшения чисел матрицы. В противном случае вам придётся разделывать крупную, а частенько и кусачую рыбу. Примерный образец оформления задания в конце урока.

· Нули – это хорошо и удобно, однако на практике гораздо более распространен случай, когда строки матрицы системы линейно зависимы. И тогда неизбежно появление общего решения:

· Решить однородную систему линейных уравнений

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

· (1) К первой строке прибавили третью строку, умноженную на –1. Ко второй строке прибавили третью строку, умноженную на –2. Слева вверху я получил единицу с «минусом», что зачастую намного удобнее для дальнейших преобразований.

· (2) Первые две строки одинаковы, одну из них удалили. Честное слово, не подгонял решение – так получилось. Если выполнять преобразования шаблонно, то линейная зависимость строк обнаружилась бы чуть позже.

· (3) К третьей строке прибавили вторую строку, умноженную на 3.

· (4) У первой строки сменили знак.

· В результате элементарных преобразований получена эквивалентная система:

· Алгоритм работает точно так же, как и для неоднородных систем. Переменные , «сидящие на ступеньках» – главные, переменная , которой не досталось «ступеньки» – свободная.

· Выразим базисные переменные через свободную переменную:

· Ответ: общее решение:

· Тривиальное решение входит в общую формулу, и записывать его отдельно излишне.

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

· На этом можно было бы тихо-мирно закончить, но решение однородной системы уравнений часто требуется представить в векторной форме с помощьюфундаментальной системы решений. Пожалуйста, временно забудьте обаналитической геометрии, поскольку сейчас речь пойдёт о векторах в алгебраическом смысле, который я немного приоткрыл в статье про ранг матрицы и окончательно расписал на уроке о линейных преобразованиях. Терминологии тушеваться не нужно, всё довольно просто:

· Фундаментальная система решений однородной системы уравнений

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

· Количество векторов фундаментальной системы рассчитывается по формуле:

· Однако в практических заданиях гораздо удобнее ориентироваться на следующий признак: количество векторов фундаментальной системы равно количеству свободных неизвестных.

· Представим общее решение Примера №3 в векторной форме. Свободная переменная в данном случае одна, поэтому фундаментальная система решений состоит из единственного вектора . Как его найти? Для этого свободной переменной нужно придать произвольное ненулевое значение. Проще всего, конечно же, выбрать и получить: .

· Координаты вектора должны удовлетворять каждому уравнению системы, и будет не лишним в этом убедиться.

· Ответ следует записать в виде линейной комбинации векторов фундаментальной системы. В нашей ситуации линейная комбинация состоит из одинокого слагаемого. Общее решение однородной системы я буду обозначать через вектор (подстрочный индекс расшифровывается «Общее Однородной»).

· Ответ: общее решение: , где (любое вещественное число)

· Придавая параметру различные действительные значения, можно получить бесконечно много частных решений, например, если , то вектор частного решения однородного уравнения («Частное Однородной») равен:
, то есть набор переменных удовлетворяет каждому уравнению системы.

· Это мы рассмотрели традиционный способ построения фундаментальной системы в так называемом нормальном виде – когда свободным переменным придаются исключительно единичные значения. Но правила хорошего математического тона предписывают избавляться от дробей, если это возможно. Поэтому в данном случае можно взять и из общего решения системы получить вектор с целыми координатами:

· И тогда ответ запишется в эквивалентной форме:
, где (любое вещественное число)

Линейное многообразие

Линейным многообразием в линейном пространстве называется подмножество этого пространства вида

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

Если и , то тогда и только тогда, когда и .

В частности, является линейным подпространством тогда и только тогда, когда (т.е. содержит нулевой элемент). В этом случае .

Если — гильбертово пространство, а — его замкнутое подпространство, то можно выбрать вектор в определении ( ) ортогональным подпространству . Такое представление , единственно.

Пересечение линейных многообразий всегда является линейным многообразием.

Размерность линейного многообразия — это размерность линейного подпространства : Для линейных многообразий в -мерном векторном пространстве или , или

Источник