22906

Лема про знак

Доклад

Математика и математический анализ

Тоді добуток входить до визначника Δ зі знаком Доведення. Зрозуміло що даний добуток входить до визначника . За означенням визначника даний добуток входить до визначника зі знаком тобто зі знаком . Аналітичний запис визначника.

Украинкский

2013-08-04

126 KB

0 чел.

Лема про знак.

Нехай

,

i1,i2,…,in    і j1,`j2,…jn - дві перестановки 1, 2,...,n. Тоді добуток  входить до визначника Δ зі знаком

Доведення. Зрозуміло, що даний добуток входить до визначника .

Запишемо табличку індексів

В першому рядку таблички s(i1,i2,…,in) інверсії, в другому s(j1,`j2,…jn) інверсій.

Сумарне число інверсій дорівнює s(i1,i2,…,in)+ s(j1,`j2,…jn).  Будемо упорядковувати перший рядок таблички, переставляючи її стовпчики. Цьому процесу відповідає упорядкування елементів у добутку за першим індексом. Кожна перестановка стовпчиків означає транспозицію в першому рядку таблички і транспозицію в другому рядку. Кожна транспозиція змінює парність перестановки. Таким чином, перестановка стовпчиків не змінює сумарну парність перестановок в рядках таблички. В результаті таких дій одержуємо табличку

Числа s(i1,i2,…,in)+ s(j1,`j2,…jn) і  s(1,2,…,n)+ s(k1,`k2,…kn) однакові парності. Але s(1,2,…,n) =0, тому однакову парність мають числа  s(i1,i2,…,in)+ s(j1,`j2,…jn) і   s(k1,`k2,…kn). За означенням визначника даний добуток входить до визначника зі знаком   тобто зі знаком .

Аналітичний запис визначника.

Розглянемо визначник n- го порядку

Кожен добуток, з яких складається визначник, можна упорядкувати за першим індексом, тобто записати у вигляді  a1α1 a2α2… anαn,  де α1, α2,.., αn-  перестановка чисел 1, 2,...,n. Позначимо через  s(α1, α2,.., αn) число інверсій в перестановці  α1, α2,.., αn . Тоді знак,  з яким добуток a1α1 a2α2… anαn  входить у визначник Δ визначається парністю перестановки α1, α2,.., αn, тобто його можна подати, як  . Звідси

Сума береться по всім перестановкам чисел 1, 2, ..., n.

Друге означення визначника.

Нехай задана деяка квадратна матриця n- го порядку.

Означення (друге означення визначника n- го порядку). Визначником n- го порядку матриці А називається алгебраїчна сума всіх можливих добутків її елементів, побудованих за правилом: з кожного рядка і кожного стовпчика береться по одному і лише по одному елементу. Якщо після упорядкування елементів в добутку за другим індексом перші індекси утворюють парну перестановку, то перед добутком ставиться знак „+”, якщо непарну, то „-”.

Таким чином, на відміну від першого означення визначника знак при даному добутку визначається парністю перестановки перших індексів при упорядкуванні добутку за другими індексами.

 Теорема. Два означення визначника еквівалентні.

Доведення. Позначимо через Δ  і Δ1  визначники матриці А за першим і другим означенням відповідно. Зрозуміло, що за обома означеннями визначники складаються з однакових добутків. Тому достатньо перевірити, що знаки при однакових добутках в цих визначниках однакові. Зафіксуємо добуток  a1α1 a2α2… anαn, упорядкований за першими індексами. За першим означенням у визначнику  при цьому добутку знак . Будемо  упорядковувати цей добуток за другим індексом. Це означає, що перестановка α1, α2,.., αn цих індексів переходить в перестановку 1, 2, ..., . Припустимо, що при цьому було зроблено  транспозицій елементів перестановки. Оскільки індекси елементів в добутку зв’язані  між собою, то при упорядкуванні співмножників добутку за другим індексом перестановка перших індексів 1, 2,...,  перейшла в перестановку β1, β2,…, βn  за допомогою t транспозицій. Добуток залишиться у вигляді . За другим означенням у визначнику Δ1 при цьому добутку знак . Залишається перевірити, що числа S(α1, α2,.., αn)  і  S1, β2,…, βn) однакові парності. Від перестановки α1, α2,.., αn  можна перейти за допомогою  транспозицій до перестановки 1, 2,...,  , від перестановки 1, 2,...,  можна перейти за допомогою t транспозицій до перестановки  за допомогою  транспозицій. Це означає, що від перестановки  до перестановки  через перестановку 1, 2,...,   можна перейти за допомогою транспозицій. Кожна транспозиція змінює парність перестановки  = . Знаки при довільному добутку у визначниках  і  співпадають, тому = .

Користуючись другим означенням, визначник аналітично можна записати так

.

Де сума береться по всім перестановкам чисел 1, 2,...,n..

Визначник трикутного вигляду.

За означенням обчислюються лише визначники малих порядків або визначники спеціального вигляду. Більш загальні визначники обчислюються, користуючись властивостями визначника. Один з спеціальних видів визначників є визначник трикутного вигляду.

В ньому визначаються дві діагоналі. Елементи a11,a22,,…,ann  утворюють головну діагональ, елементи  a1n,a2,n-1,an1 утворюють побічу діагональ.

Означення. Визначником трикутного вигляду відносно головної діагоналі називається визначник, всі елементи якого, що стоять вище або нижче головної діагоналі, дорівнюють 0.

Знайдемо цей визначник. За означенням, в кожен добуток, з яких складається визначник, входить по одному і лише по одному елементу з кожного рядка і кожного стовпчика. Відшукаємо добутки, які не дорівнюють 0. Зрозуміло, якщо елементом першого стовпчика в добутку є деякий елемент першого стовпчика в добутку є деякій елемент, відмінний від a11,  то добуток дорівнює 0, оскільки містить нульовий співмножник. Таким чином, в ненульовий добуток може входити з першого стовпчика лише елемент a11. Цей елемент є елементом першого рядка, тоді, за означенням, іншого елемента з першого рядка в добутку немає. Тоді з другого стовпчика в добуток може входити  лише елемент a22 , далі, аналогічно, з третього стовпчика елемент a33. Продовжуючи ці міркування, одержуємо, що єдиний добуток, який може бути нульовим, є добуток. Визначимо знак при даному добутку. Після упорядкування співмножників за першим індексом другі індекси утворюють перестановку 1, 2,...,n. Число інверсій в перестановці дорівнює 0, перестановка парна і знак при добутку „+”. Таким чином,    Δ= a11,a22,…,ann.  Зрозуміло, що якщо при деякому значенні індекса aii=0, то в єдиному добутку, якій може бути ненульовим, є нульовий співмножник. Тоді Δ=0. Таким чином, можна зробити висновок: визначник трикутного вигляду відносно головної діагоналі дорівнює добутку елементів головної діагоналі

   Δ= a11,a22,…,ann

 Означення. Визначником трикутного вигляду відносно побічної діагоналі називається визначник, всі елементи якого, що стоять вище або нижче побічної діагоналі, дорівнюють 0.

 

Знайдемо цей визначник. З міркувань, аналогічних міркуванням для визначників трикутного вигляду відносно головної діагоналі, випливає, що єдиним ненульовим добутком визначника Δ1 може бути лише добуток елементів побічної діагоналі a1na2,n-1…an1, причому, якщо принаймні один з елементів побічної діагоналі дорівнює 0, то і Δ1=0. Визначимо знак при даному добутку. Після упорядкування співмножників за першим індексом другі індекси утворюють перестановку n,n-1,n-2,…,1. В цій перестановці число n утворює інверсії з всіма іншими числами, тобто n-1 інверсій. Число  утворює інверсії з всіма числами, що стоять після нього, тобто n-2 інверсій і т.д., нарешті, число 2 утворює інверсію з числом 1, що стоїть після нього. Число всіх інверсій дорівнює  (сума n-1 членів арифметичної прогресії). Тому добуток входить до визначника зі знаком . Звідси

.

Транспонування визначника.

Нехай дається деякий визначник n- го порядку

Складаємо повний визначник Δ1 за таким правилом. В перший стовпчик визначника Δ1 запишемо елементи першого рядка визначника Δ, не змінюючи їх порядок. Далі, в другий стовпчик визначника Δ1 запишемо елементи другого рядка визначника Δ, не змінюючи їх порядок і так далі. В n-й стовпчик визначника Δ1 запишемо елементи n-го рядка визначника Δ. Такий процес називається транспонуванням визначника Δ, а визначник  Δ1 називається транспонованим визначником для визначника Δ.


Транспонування можна виконати також симетричним відображенням визначника  відносно головної діагоналі.

Теорема. Транспонування не змінює величину визначника.

Доведення. Нехай.

,       .

Покажемо, що Δ= Δ1.. Для зручності  елементи визначника Δ, позначимо як bij=aji ,  . Тоді  .

Ця сума дорівнює визначнику Δ за другим означенням, тобто Δ1= Δ..

Зауваження. З теореми випливає такий факт: якщо деяку властивість F визначника , пов’язану з величиною визначника, має система рядків визначника, то таку властивість має і система його стовпчиків.

Дійсно, якщо властивість F має система рядків визначника Δ, то, оскільки величина транспонованого визначника Δ1 рівна величині Δ, цю властивість має і система рядків визначника Δ1, тобто система стовпчиків визначника .


 

А также другие работы, которые могут Вас заинтересовать

51388. Построить решение, включающее в себя три проекта, которые содержат: проект DLL(библиотеку классов), консольный проект и Windows-проект 205.17 KB
  Построить Решение включающее в себя три проекта которые содержат: проект DLLбиблиотеку классов консольный проект и Windowsпроект. Построим аналог класса Mth и поместим этот класс в проект DLLбиблиотеку классов что позволит повторно использовать его присоединяя при необходимости к различным проектам. Все три проекта будут находиться в одном Решении. Создание проектов: 1 Создание DLL проекта типа Библиотека классовClss Librry Запустить VS со стартовой страницы перейти к созданию проекта и в качестве типа проекта указать...
51391. Подсчитать количество точек, пробелов и символов «b» в потоке данных 17.77 KB
  Алгоритм Начало Обьявление переменных ch=0 pt=0 sp=0 bi=0 Вывод списка команд Getchr=EOF вывод подсказки на экран printf vvedide chislo n; while ch=getchr=EOF до тех пор пока ch не равно EOF выполнять цикл ifch.
51393. Прямые измерения активного электрического сопротивления.(Измерения омметром, мультиметром и мостом) 1.4 MB
  Цель работы Получение навыков измерения активного электрического сопротивления далее сопротивления. Ознакомление с методами измерения активного сопротивления. Сведения необходимые для выполнения работы Перед выполнением работы повторите вопросы обработки и представления результата прямых и косвенных измерений и ознакомьтесь со следующими вопросами: Измерение электрического сопротивления постоянному току методами непосредственной оценки и сравнения с мерой.
51394. Измерение постоянного напряжения методом компенсации 978 KB
  Измерение постоянного напряжения методом компенсации Получение сведений о погрешностях измерения напряжения компенсационным методом. Устройство принцип действия и основные характеристики делителя постоянного напряжения. Компенсаторы потенциометры постоянного тока предназначены для измерения методом сравнения с мерой ЭДС напряжения и величин функционально с ними связанных.
51395. Индуктивные измерительные преобразователи. Измерение перемещения 589.46 KB
  Цель работы Ознакомление с устройством и применением индуктивного измерительного преобразователя на примере измерителя перемещения изучение метрологических характеристик измерительных преобразователей и схем их включения. В измерительной технике используются конструкции преобразователя с переменным воздушным зазором и соленоидные или плунжерные преобразователи которые и изучаются в данной работе. Это вызывает изменение магнитного сопротивления и индуктивности преобразователя L. При некоторых допущениях индуктивность преобразователя можно...