в каком случае матрица равна 0

О том, как правильно понимать определитель матрицы

Расшифровывается это дело следующим образом: если у нас есть матрица

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

Другой способ введения определителя связан с его характеристическим свойством. Напомним, полилинейной формой называется функция , определенная на декартовом произведении некоторых векторных пространств (заданных над одним и тем же полем), принимающая значения в поле и линейная по каждому аргументу: . Форма называется кососимметрической, если при инверсии любых двух (не обязательно соседних) аргументов она меняет знак.

Можно конечно всюду далее рассматривать исключительно поля характеристики 2 и пользоваться «слабым» определением кососимметричности, а можно поступить умнее и немного усилить определение кососимметричности специально для полей характеристики 2 так, чтобы обычная кососимметричность следовала из «сильной». Для этого достаточно потребовать 2 вещи: во-первых, форма должна быть полилинейна, а во-вторых она должна принимать значение ноль всегда, когда среди ее аргументов есть равные. Свойство, которое вытекало из «наивной» кососимметричности для полей характеристики 2 само теперь является составной частью определения кососимметричности (правда только для полей характеристики 2).

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

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

Далее под кососимметричностью будем понимать кососимметричность в «сильном» смысле.

Определение

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

Надо сказать, это не самое плохое определение. Но и оно не лишено недостатков. Основные вопросы здесь возникают по поводу кососимметричности. В первую очередь непонятно, почему это свойство вообще важно. Ну меняет функция знак при перестановке двух аргументов и пусть меняет, почему мы так стремимся исследовать именно это свойство, а не какое-нибудь другое. Но здесь все еще хуже. Мы хотим, чтобы форма еще и принимала нулевое значение на наборе, содержащем равные вектора. И в некотором смысле для нас это даже важнее самой кососимметричности, раз мы стали подгонять определение последней под выполнение этого свойства. Все эти экзерсизы с характеристиками выглядят довольно искусственно.

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

Начнем с некоторых предварительных замечаний. Основным объектом изучения линейной алгебры являются конечномерные векторные пространства. Неформально говоря, на любое — мерное векторное пространство над полемможно смотреть как на «координатное» пространство, состоящее из упорядоченных наборов длины элементов поля. Более строго, пусть у нас есть— мерное векторное пространство над полем . Выбор (упорядоченного) базиса этого пространства индуцирует изоморфизм , ставящий в соответствие каждому вектору набор его координат в базисе . Таким образом, во всех дальнейших построениях речь пойдет по большей части про вектора координатного пространства.

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

Свойство линейной зависимости/независимости действительно очень важно. Дело в том, что система из 1″ alt=»n>1″ src=»https://habrastorage.org/getpro/habr/upload_files/4e1/89f/e1d/4e189fe1dc9b6260122146ddfd0031b7.svg»/>векторов пространства будет линейно зависимой тогда и только тогда, когда найдется вектор в этой системе, который можно линейно выразить через остальные.

Довольно естественным выглядит желание иметь некоторую функцию— индикатор линейной зависимости векторов. Учитывая, что любое векторное пространство «оцифровывается» своим координатным пространством, достаточно иметь такую функцию, определенную на декартовом произведениикопий пространстваи принимающую значения в поле. Таким образом, мы предъявляем к функциивсего лишь 2 очень естественных требования:

Она должна принимать нулевое значение на любой линейно зависимой системе векторов.

На аргументы этой функции удобно смотреть как на строки матрицы

Заметим, на данном этапе мы еще даже не знаем, существует ли такая функция или нет. Но мы можем в предположении ее существования посмотреть на ее поведение.

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

кососимметрична (в любом смысле, учитывая полилинейность + п.1). Доказательство абсолютно аналогично тому, которое находится выше под спойлером.

Рассмотрим, чему равнана некотором наборе строк :

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

Смотрим на последнюю строчку в получившейся формуле и видим множитель . Чтобы упростить формулу и не таскать лишний множитель, добавим к тем 2 требованиям к функциитретье требование: .

Таким образом, если интересующая нас функциясуществует, то она имеет вид:

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

Осталось лишь доказать существование. Капитан намекает, что для этого достаточно взять ту функцию, которая у нас получилась.

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

Источник

Решение матриц методы решений и примеров для чайников, формулы вычислений и действий с матрицами

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

Понятие выражения

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

От количества строк и столбцов будет зависеть величина таблицы. Матрица размера m*n означает, что в таблице содержится m строк и n столбцов. Допустим, первая строка включает элементы а11, а12, а13, вторая — а21, а22, а23. Тогда элементы, где i = j (а11, а22) образовывают диагональ и называются диагональными.

Различают комплексные матрицы, у которых хотя бы один элемент равен комплексному числу, и действительные, когда все её элементы являются действительными числами. В математике комплексные числа представлены в виде a+b*i, где:

На приведенном примере показаны варианты.

Простейшие действия с матрицами могут быть разными. К их числу относятся:

Сложение и вычитание

Действия по сложению возможны только тогда, когда матрицы одинакового порядка равны между собой. В итоге получится новое матричное выражение такой же размерности. Сложение и вычитание выполняются по общей схеме — над соответствующими элементами таблиц проводят необходимые операции. Например, нужно сложить две матрицы А и В размерности 2*2.

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

Умножение на число

Любую таблицу чисел можно умножить на число. Тогда каждый её элемент перемножается с этим показателем. К примеру, умножим матричное выражение на 2:

Операция перемножения

Матрицы подлежат перемножению одна на другую, когда количество столбцов первой таблицы равно числу строк второй. Каждый элемент Aij будет равняться сумме произведений элементов i-строки первой таблицы, перемноженных на числа в j-столбце второй. Способ произведения наглядно представлен на примере.

Возведение в степень

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

Иначе, чтобы выполнить операцию возведения таблицы чисел в степень n, требуется умножить её на себя саму n раз. Для операции возведения в степень удобно применять свойство в соответствии с формулой:

Решение представлено на примере. 1 этап: необходимо возвести в степень, где n = 2.

2 этап: сначала возводят в степень n =2. Согласно формуле перемножают таблицу чисел саму на себя n = 2 раз.

3 этап: в итоге получаем:

Расчёт определителя

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

Определителем матрицы А n-энного порядка называется число, которое получают из алгебраической суммы n! слагаемых, попадающих под определённые критерии. Эти слагаемые являются произведением n-элементов, взятых единично из всех столбов и строк.

Произведения могут отличаться друг от друга составом элементов. Со знаком плюс будут включаться в сумму числа, если их индексы составляют чётную подстановку, в противоположном случае их значение меняется на минус. Определитель обозначается символом det A. Круглые скобки матричной таблицы, обрамляющие её элементы, заменяются на квадратные. Формула определителя:

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

Для матрицы также можно найти дискриминант многочлена, отвечающий формуле:

Когда у многочлена имеются кратные корни, тогда дискриминант равен нулю.

Обратная матрица

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

По аналогии обратная матрица сходна с обратными числами. Например, противоположной цифре 5 будет дробь 1/5 = 5 (-1) степени. Произведение этих чисел равно 1, выглядит оно так: 5*5 (-1) = 1. Умножение обычной матричной таблицы на обратную даст в итоге единичную: А* А (-1) = Е. Это аналог числовой единицы.

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

Более простой способ решения — путём алгебраических дополнений. Рассмотрим матричную таблицу А, обратная ей А (-1) степени находится по формуле:

Матрица обратного вида возможна только для квадратного размера таблиц 2*2, 3*3 и т. д. Обозначается она надстроенным индексом (-1). Задачу легче рассмотреть на более простом примере, когда размер таблицы равен 2*2. На первом этапе выполняют действия:

2 этап: рассчитывают матрицу миноров, которая имеет те же значения, что и первоначальная. Под минором k-того порядка понимается определитель квадратной матрицы порядка k*k, составленный из её элементов, которые располагаются в выбранных k- столбцах и k-строках.

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

3 этап: находят алгебраические дополнения.

4 этап: определяют транспонированную матрицу.

Проверка решения: чтобы удостовериться, что обратная таблица чисел найдена верно, следует выполнить проверочную операцию.

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

Нахождение собственных векторов

Определение собственного вектора и значений матричного выражения легче понять на примере. Для этого задают матричную таблицу чисел и ненулевой вектор Х, называемый собственным для А. Пример выражения:

Согласно теореме собственными числами матричного выражения будут корни характеристического уравнения:

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

Метод Гаусса

Методом Гаусса называют способ преобразования системы уравнений линейного вида к упрощённой форме для дальнейшего облегчённого решения. Операции упрощения уравнений выполняют с помощью эквивалентных преобразований. К таким относят:

Чтобы понять механизм решения, следует рассмотреть линейную систему уравнений.

Следует переписать эту систему в матричный вид:

А будет являться таблицей коэффициентов системы, b — это правая часть ограничений, а Х — вектор переменных координат, который требуется найти. Для решения используют ранг матрицы. Под ним понимают наивысший порядок минора, который отличается от 0.

В этом примере rang (A) = p. Способ эквивалентных преобразований не изменяет ранг таблицы коэффициентов.

Метод Гаусса предназначен для приведения матричной таблицы коэффициентов А к ступенчатому или диагональному виду. Расширенная система выглядит так:

Обращают внимание на последние строки.

В этом случае система уравнений имеет решение, но когда хотя бы одно из этих чисел отличается от нуля, она несовместима. Таким образом, система совместима, если ранг таблицы А равен расширенному рангу В (А|b).

Если rang А=rang (A|b), то существует множество решений, где n-p — многообразие. Из этого следует n-p неизвестных Хр+1,…Xn выбираются произвольно. Неизвестные X1, X2,…Xp вычисляют следующим образом: из последнего уравнения выражают Хр через остальные переменные, вставляя в предыдущие выражения. Затем из предпоследнего уравнения получают Хр-1 через прочие переменные и подставляют их в предыдущие выражения. Процедуру повторяют.

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

Способ Крамера

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

Её необходимо заменить равноценным матричным уравнением.

Второй столбец вычисляют, а первый уже задан. Есть предположение, что определитель матрицы отличен от нуля. Из этого можно сделать выводы, что существует обратная матрица. Перемножив эквивалентное матричное уравнение на обратного формата матрицу, получим выражение:

В итоге получают выражения:

Из представленных уравнений выделяют формулы Крамера:

Метод Крамера не представляет сложности. Он может быть описан следующим алгоритмом:

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

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

Источник