Архитектура Аудит Военная наука Иностранные языки Медицина Металлургия Метрология Образование Политология Производство Психология Стандартизация Технологии |
Определитель n-го порядка и его св-ва ⇐ ПредыдущаяСтр 2 из 2
Определителем называется число, записанное в виде квадратной таблицы: . Значение определителя не изменится, если: - строки заменить на столбцы, такое действие называется транспонирование, т.е. действия, выполняемые со строками, справедливы и для столбцов; - все элементы одной строки умножить на какое-либо число и прибавить к соответствующим элементам другой строки. Такие Определитель меняет знак на противоположный, если две каких-либо строки поменять местами. Определитель равен нулю, если: - все элементы какой-либо строки равны нулю; - соответствующие элементы каких-либо двух строк равны; - соответствующие элементы каких-либо двух строк пропорциональны. действия с элементами определителя называются элементарными преобразованиями. Минором к элементу называется определитель, полученный из исходного, вычеркиванием -й строки и -го столбца. Таким образом, порядок минора меньше порядка исходного определителя на единицу. Алгебраическое дополнение – минор с соответствующим знаком, т.е. . Вычисление определителей n-го порядка выполняется по формуле:
т.е. определитель представляется в виде разложения по элементам -й строки. Записываем в матричном виде AX=B Равенство AX=B обычно называют матричным уравнением, и если матрица А невырожденная, то можно найти решение уравнения AX=B с помощью обратной матрицы А-1 Пусть |А| 0. Умножая обе части AX=B на А-1 слева, получим А-1 (AX) = А-1 B, откуда A-1 (AX) = (A-1A) X = EX = А-1 B или X = А-1 B. Последнее равенство даёт нам все решения матричного уравнения Правило Крамера: Пусть матричное уравнение
описывает систему n линейных уравнений с n неизвестными. Если , то система (1) является совместной и имеет единственное решение, описываемое формулой
Доказательство: теоремы разобьём на три части:
Так как , то существует и при том единственная, обратная матрица .
Единственность обратной матрицы доказывает первую часть теоремы. Перейдем к доказательству взаимно-однозначного соответствия между формулами (1) и (2). Используя формулу (4), получим выражение для i-го элемента. Для этого нужно умножить i-ую строку матрицы на столбец B. Учитывая, что i-ая строка присоединенной матрицы составлена из алгебраических дополнений , получаем следующий результат:
Сумма в правой части этого равенства представляет собой разложение определителя Di по элементам i-го столбца и, следовательно,
Вывод формул Крамера завершен. Покажем теперь, что выражения
влекут за собой матричное уравнение (1). Умножим обе части уравнения (7) на и выполним суммирование по индексу i:
Изменим порядок суммирования в правой части полученного выражения:
где – дельта символ Кронекера. Учитывая, что дельта символ снимает суммирование по одному из индексов, получаем требуемый результат:
Рангом системы строк (столбцов) матрицы с строк и столбцов называется максимальное число линейно независимых строк (столбцов). Несколько строк (столбцов) называются линейно независимыми, если ни одна из них не выражается линейно через другие. Ранг системы строк всегда равен рангу системы столбцов, и это число называется рангом матрицы. Ранг матрицы — наивысший из порядков миноров этой матрицы, отличных от нуля. Ранг матрицы — Размерность образа линейного оператора, которому соответствует матрица. Существует несколько методов нахождения ранга матрицы:
Ранг матрицы равен числу ненулевых строк в матрице после приведения её к ступенчатой форме при помощи элементарных преобразований над строками матрицы.
Пусть в матрице найден ненулевой минор -го порядка . Рассмотрим все миноры -го порядка, включающие в себя (окаймляющие) минор ; если все они равны нулю, то ранг матрицы равен . В противном случае среди окаймляющих миноров найдется ненулевой, и вся процедура повторяется. Теорема Кронекера-Капелли. Система линейных уравнений совместна тогда и только тогда, когда ранги матриц A и совпадают, т.е. Для множества М решений системы (5.1) имеются три возможности: 1) M = ∅ (в этом случае система несовместна); 2) M состоит из одного элемента, т.е. система имеет единственное решение (в этом случае система называется определенной); 3) M состоит более чем из одного элемента (тогда система называется неопределенной). В третьем случае система (5.1) имеет бесчисленное множество решений. Система имеет единственное решение только в том случае, когда Поверхности второго порядка
Линейное пространство Лине́ йное простра́ нство, или ве́ кторное простра́ нство, является обобщением понятия совокупности всех векторов n-мерного пространства. |
Последнее изменение этой страницы: 2017-03-15; Просмотров: 771; Нарушение авторского права страницы