Макеты страниц 4. Свойства определителей.Ниже устанавливается ряд свойств, которыми обладает произвольный определитель 1. Свойство равноправности строк и столбцов. Транспонированием любой матрицы или определителя называется операция, в результате которой меняются местами строки и столбцы с сохранением порядка их следования. В результате транспонирования матрицы А получается матрица, называемая транспонированной по отношению к матрице и обозначаемая символом А. В дальнейшем мы договоримся символами Первое свойство определителя формулируется так: при транспонировании величина определителя сохраняется, т. е. Это свойство непосредственно вытекает из теоремы 1.2 (достаточно лишь заметить, что разложение определителя Доказанное свойство означает полную равноправность строк и столбцов и позволяет нам все последующие свойства устанавливать лишь для строк и быть уверенными в справедливости их и для столбцов. 2°. Свойство антисимметрии при перестановке двух строк (или двух столбцов). При перестановке местами двух строк (или двух столбцов) определитель сохраняет свою абсолютную величину, но меняет знак на прот ивоположный. Для определителя второго порядка это свойство проверяется элементарно (из правила (1.10) сразу вытекает, что определители Считая, что
При перестановке местами строк с номерами 3°. Линейное свойство определителя. Будем говорить, что некоторая строка Линейное свойство определителя можно сформулировать так: если в определителе Для доказательства разложим каждый из трех определителей Конечно, линейное свойство справедливо и для случая, когда Доказанные три свойства являются основными свойствами определителя, вскрывающими его природу. Следующие пять свойств являются логическими следствиями трех основных свойств. Следствие 1. Определитель с двумя одинаковыми строками (или столбцами) равен нулю. (В самом деле, при перестановке двух одинаковых строк, с одной стороны, определитель а с другой стороны, в силу свойства 2° изменит знак на противоположный. Таким образом, Следствие 2. Умножение всех алементов некоторой строки (или некоторого столбца) определителя на число А, равносильно умножению определителя на это число X. Иными словами, общий множитель всех элементов некоторой строки (или некоторого столбца) определителя можно вынести за знак этого определителя. (Это свойство вытекает из свойства 3° при Следствие 3. Если все элементы некоторой строки (или некоторого столбца) определителя равны нулю, то и сам определитель равен нулю. (Это свойство вытекает из предыдущего при 0.) Следствие 4. Если элементы двух строк (или двух столбцов) определителя пропорциональны, то определитель равен нулю. (В самом деле, в силу следствия 2 множитель пропорциональности можно вынести за знак определителя, после чего останется определитель с двумя одинаковыми строками, который равен нулю согласно следствию 1). Следствие 5. Если к элементам некоторой строки (или некоторого столбца) определителя прибавить соответствующие элементы другой строки (другого столбца), умноженные на произвольный множитель К, то величина определителя не изменится. (В самом деле, полученный в результате указанного прибавления определитель можно в силу свойства 3° разбить на сумму двух определителей, первый из которых совпадает с исходным, а второй равен нулю в силу пропорциональности двух строк (или столбцов) и следствия 4.) Замечание. Следствие 5, как и линейное свойство, допускает более общую формулировку, которую мы приведем для строк: если к элементам некоторой строки определителя прибавить соответствующие элементы строки, являющейся линейной комбинацией нескольких других строк этого определителя (с какими угодно коэффициентами), то величина определителя не изменится. Следствие 5 широко применяется при конкретном вычислении определителей (соответствующие примеры будут приведены в следующем пункте). Прежде чем сформулировать еще одно свойство определителя, введем полезное понятие алгебраического дополнения данного элемента определителя. Алгебраическим дополнением данного элемента Таким образом, алгебраическое дополнение данного элемента может отличаться от минора этого элемента только знаком. С помощью понятия алгебраического дополнения теоремы 1.1 и 1.2 можно переформулировать так: сумма произведений элементов любой строки (любого столбца) определителя на соответствующие алгебраические дополнения этой строки (этого столбца) равна этому определителю. Соответствующие формулы разложения определителя по
Теперь мы можем сформулировать последнее свойство определителя: 4°. Свойство алгебраических дополнений соседних строк (или столбцов). Сумма произведений элементов какой-либо строки (или какого-либо столбца) определителя на соответствующие алгебраические дополнения элементов любой другой строки (любого другого столбца) равна нулю. Доказательство проведем для строк (для столбцов оно проводится аналогично). Записывая подробно формулу (1.13)
заметим, что поскольку алгебраические дополнения
(для любых несовпадающих
|
Оглавление
|