|
|||||||
АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомДругоеЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция |
при этом знак плюс соответствует случаю, когда подстановкачетна, знак минус — случаю, когда она нечетна. В самом деле, матрица М' может быть получена из матрицы М некоторым числом транспозиций двух строк, и поэтому можно воспользоваться свойством (5). Четность числа этих транспозиций определяет, как известно из § 3, четность указанной выше подстановки. Рассмотрим теперь матрицы М= (а^), N — (£,-,) и их произведение Q = MN в смысле § 13. Найдем число d§. Мы знаем, что всякая i-я строка матрицы Q является суммой всех строк матрицы N, взятых соответственно с коэффициентами ап, ai2, ain (см., например, § 14). Заменим все строки матрицы Q их указанными линейными выражениями через строки матрицы N и воспользуемся несколько раз свойством (4). Мы получим, что число dQ будет равно сумме чисел dT для всевозможных матриц Г следующего вида: i-я строка матрицы Т, i — 1, 2, п, равна агй строке матрицы N, умноженной на число ат. При этом ввиду свойства (3) можно исключить из рассмотрения все матрицы Т, для которых существуют такие индексы i и у, i=/=j, что а( = ау, остаются, иными словами, лишь такие матрицы Т, для которых индексы а1; а2, составляют перестановку чисел 1, 2, п. Ввиду свойств 1 и (6) число dT для такой матрицы имеет вид dт — i axaIam1 • • • апаЛ dpj, где знак определяется четностью подстановки из индексов. Отсюда мы приходим к выражению для числа d после вынесения за скобки из всех слагаемых вида dT общего множителя dN в скобках остается, очевидно, определитель \М\ матрицы М в смысле конструктивного определения, данного в § 4, т. е. dQ^\M\.dN. Если мы возьмем теперь в качестве матрицы N единичную матрицу Е, то будет Q = M и, по свойству Ш, dN=dE= 1, т. е. для любой матрицы М имеет место равенство что и требовалось доказать. Одновременно еще раз, притом без использования теоремы Лапласа, доказана теорема об умножении определителей: для этого достаточно в.равенстве (*) заменить числа dQ и dN определителями соответствующих матриц. Закончим эти аксиоматические рассмотрения доказательством независимости условий 1—III, т. е. доказательством того, что ни одно из этих условий не является следствием двух других. Для доказательства независимости условия III положим, что dM = 0 для всякой матрицы М л-го порядка. Условия I и II будут, очевидно, выполняться, условие же III нарушается. Для доказательства независимости условия II положим, что для всякой матрицы М число dM равно произведению элементов, стоящих на главной диагонали этой матрицы. Условия I и III выполняются, а условие И уже не имеет места. Наконец, для доказательства независимости условия I положим, что dM=\ для всякой матрицы М. Условия II и III будут при этом выполняться, а условие I нарушается.
Поиск по сайту: |
Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Студалл.Орг (0.003 сек.) |