Визна́чник або детерміна́нт — це функція від квадратної матриці, яка набуває скалярних значень. Він характеризує багато властивостей матриці та лінійного відображення, визначеного цією матрицею.

Якщо елементами матриці є числа, то її визна́чник — також число. Зокрема, визна́чник може бути функціональним або, взагалі, належати якомусь комутативному кільцю, якщо матриця складається з елементів цього кільця.

Визна́чник квадратної матриці розміру можна визначити декількома еквівалентними способами: через формулу Лейбніца, як суму добутків елементів матриці так, що в кожному із добутків є рівно по одному елементу з кожного рядка і кожного стовпця, та кожному добутку приписується знак плюс чи мінус, в залежності від парності перестановки номерів; через розклад Лапласа, як лінійну комбінацію мінорів -го порядку; як добуток всіх власних чисел матриці; як нормовану знакозмінну полілінійну функцію від векторів-стовпців матриці.

Визначники зустрічаються у багатьох розділах математики. Матриці часто використовуються для представлення коефіцієнтів систем лінійних рівнянь, і за допомогою методу Крамера визначники цих матриць можуть бути використані для знаходження розв'язків цих систем. Також визначники використовуються для знаходження характеристичного полінома матриці, коренями якого є власні числа цієї матриці. У геометрії визначник матриці характеризує орієнтоване «розтягнення» або «стиснення» багатовимірного евклідового простору після перетворення лінійного відображення, визначеного цією матрицею. У математичному аналізі використовується при заміні змінних для обчислення кратного інтегралу.

Історія ред.

Історично визначники використовувалися до введення матриць — спочатку визначник визначався як властивість системи лінійних рівнянь. Визначник «визначає», чи має система єдиний розв’язок (що відбувається коли визначник відмінний від нуля). У цьому сенсі визначники вперше були використані в давньокитайському підручнику з математики «Математика в дев'яти книгах». У Європі Джироламо Кардано у своїй роботі 1545 року виводить розв'язок системи двох лінійних рівнянь, який має вирази, схожі на визначники.[1]

Власне поняття визначника походить з робіт Секі Такакадзу (1683 р.) та Лейбніца (1693 р.).[2][3][4][5] У 1750 році Габрієль Крамер сформулював своє правило без доведення.[6][7] Крамера і, також, Безу (1779 р.) до визначників привели питання про плоскі криві, що проходять через заданий набір точок.[8]

У 1772 році Лаплас довів теорему про розклад визначника у суму добутків мінорів. [9][10]

Слово «детермінант» ввів Гаусс (1801 р.) (Лаплас використовував слово «результант»), хоча він їм називав дискримінант алгебраїчної форми.[7] У нинішньому значенні його використав Оґюстен-Луї Коші, також він узагальнив і спростив те, що тоді було відомо про визначники, ввів нові позначення та представив свої напрацювання в Інституті Франції 30 листопада 1812 року.[11][12][3] У 1841 році Артур Кейлі ввів сучасне позначення визначника через вертикальні риски.[13][14]

Означення ред.

Існує кілька рівносильних визначень визначника квадратної матриці.

Нехай A — квадратна матриця розміру  . Запишемо її наступним чином:

 

Елементи цієї матриці можуть бути дійсними чи комплексними числами або, взагалі, з довільного комутативного кільця.

Означення через перестановки ред.

Визначником матриці A називається

 

Тут   — симетрична група на множині  , і, відповідно, сума береться по всім перестановкам з цієї групи, через   позначено знак (або парність) перестановки, який дорівнює 1 чи −1 залежно від парності числа інверсій в ній.

Позначення:  ,  ,  , також його можна позначити подібно до матриці, записавши вертикальні риски замість дужок:

 

Кількість доданків у сумі дорівнює   і номери рядка та стовпця елементів матриці, що входять в один добуток, не повторюються.

Рекурентне означення ред.

  1. Якщо  , тобто  , то визначником матриці A називається  .
  2. Якщо  , то визначником матриці A називається  , де через   позначено квадратну матрицю  -го порядку, отриману з матриці   видаленням першого рядка та k-го стовпця.

Якщо використовується інше означення, то вказане вище є теоремою, яка називається розкладом Лапласа. Дане визначення базується на розкладі вздовж першого рядка, також, еквівалентно визначник можна визначити на основі розкладання вздовж довільного рядка або стовпця.

Аксіоматичне означення ред.

Визначником порядку n над комутативним кільцем R називається функція  , яка визначена на множині   усіх квадратних матриць порядку n із коефіцієнтами з R, набуває значень у R i задовольняє такі умови:

  1. функція   є полілінійною функцією від набору векторів-стовпців матриці;
  2. функція   є знакозмінною, тобто значення   змінює свій знак на протилежний, якщо два різні стовпці матриці поміняти місцями;
  3. функція   є нормованою, тобто значення   від одиничної матриці   дорівнює 1.

Властивості ред.

  1. Якщо помножити якийсь рядок (стовпець) на константу a, то визначник також помножиться на a.
  2. Якщо у матриці поміняти місцями будь-які два рядки (стовпці), то знак визначника зміниться на протилежний.
  3. При додаванні до будь-якого рядка (стовпця) лінійної комбінації кількох інших рядків (стовпців) визначник не зміниться.
  4. У матриці з двома однаковими/пропорційними рядками (стовпцями) або з нульовим рядком, визначник дорівнює нулю.
  5. Всі властивості визначників, що стосуються рядків, так само справедливі і для стовпців.
  6. Визначник трикутної матриці дорівнює добутку елементів на діагоналі.
  7. Визначник квадратної матриці дорівнює добутку всіх її власних чисел.
  8. Теорема Лапласа: визначник квадратної матриці дорівнює сумі добутків елементів деякого рядка на відповідні їм алгебраїчні доповнення.
  9. Теорема про фальшивий розклад: сума добутків елементів деякого рядка на алгебраїчні доповнення відповідних елементів паралельного рядка дорівнює нулю.
  10. Визначник оберненої матриці дорівнює величині, оберненій визначнику початкової матриці:  
  11. Транспонування матриці не змінює значення її визначника:  
  12. Визначник є однорідною функцією, тобто для квадратної матриці A порядку n і довільної константи c виконується:  
  13. Визначник добутку матриць дорівнює добутку визначників цих матриць:  

Визначникова тотожність Сильвестра ред.

Визначникова тотожність Сильвестра стверджує, що для матриці A розміру m × n і матриці B розміру n × m (так що A і B мають розмірності, що дозволяють їм бути помноженими в будь-якому порядку) справедлива наступна рівність:

 ,

де Im і In це m × m і n × n одиничні матриці, відповідно.

З цієї тотожності випливають наступні наслідки:

  1. Для вектор-стовпця c і вектор-рядка r, які складаються з m компонент буде:
     
  2. Більш загально,[15] для кожної оборотної матриці X порядку m буде:
     
  3. Для вектор-стовпця і вектор-рядка, зазначених вище, також буде:
     
    де   — союзна матриця до X.

Обчислення ред.

 
Схема обчислення визначника матриці 2×2.

Визначник 2×2 матриці ред.

Визначник квадратної матриці другого порядку обчислюється за формулою, яка безпосередньо випливає з означення через перестановки:

 
 
Правило Саррюса схематично.

Визначник 3×3 матриці ред.

Визначник квадратної матриці третього порядку обчислюється за правилом Саррюса:

 

Правило Саррюса — це мнемоніка, при якій запис визначника розширюється дописуванням з правої сторони перших двох його стовпців і, як показано на ілюстрації, добутки елементів вздовж "червоних стрілок" додаються після чого віднімаються добутки елементів вздовж "синіх стрілок". Ця схема не переноситься квадратні матриці вищих порядків.

Для знаходження визначників високого порядку застосовуються принципово інші методи (насамперед, метод Гауса), що вимагають значно меншої кількості арифметичних операцій (  замість  ).

Визначник n×n матриці ред.

У випадку матриць вищого порядку для обчислення їх визначників можна використовувати розклад Лапласа.

Також визначник матриці можна обчислити за допомогою методу Гауса, який ґрунтується на тому, що визначник трикутної матриці дорівнює добутку всіх її діагональних елементів і будь-яку матрицю можна звести до трикутної матриці елементарними перетвореннями, пам’ятаючи, що ці перетворення мають наступний вплив на визначник:

  1. Додавання рядка (стовпця), помноженого на константу, до іншого рядка (стовпця) не змінює значення визначника.
  2. Множення рядка (стовпця) на константу множить значення визначника на цю константу.
  3. При мінянні місцями двох рядків (стовпців) змінюється знак визначника на протилежний.

Обчислення через методи розкладу ред.

Деякі методи обчислюють визначник, записуючи матрицю як добуток матриць, визначники яких можна легше обчислити. Такі методи називають методами розкладу. До таких методів відносяться LU-розклад, QR-розклад або розклад Холецького для додатно визначених матриць.

Наприклад, LU-розклад виражає квадратну матрицю A як добуток  , де P — матриця перестановки, яка має по одній одиниці у кожному стовпці, а в інші елементи — нулі, L — нижньотрикутна матриця і U — верхньотрикутна матриця. Визначники двох трикутних матриць L і U дорівнюють відповідним добуткам їх діагональних елементів. Визначник P — це знак відповідної перестановки π. Звідси  

Конденсація Доджосона ред.

Конденсація Доджосона — це метод, суть якого полягає у зменшення матриці спеціальним чином до матриці порядку 1, єдиний елементом якої є шуканий визначник.[16]

Геометричне значення ред.

 
Площа паралелограма є модулем визначника матриці 2×2 із векторів його сторін.

Якщо елементи квадратної матриці A другого порядку є дійсними числами, то її можна використати для представлення двох лінійних відображень: перше відображає вектори стандартного базису у стовпці A, а друге відображає їх у рядки цієї матриці. У будь-якому випадку образи базисних векторів утворюють паралелограм, який являється для відображення образом одиничного квадрата. Паралелограм, визначений стовпцями наведеної вище матриці, має вершини з координатами (0, 0), (a, b), (a + c, b + d) і (c, d), як показано на супровідній ілюстрації.

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

Абсолютне значення визначника разом зі знаком є орієнтованою площею паралелограма. Орієнтована площа така ж, як і звичайна площа, за винятком того, що вона є від’ємною, коли кут від першого до другого вектора, що визначає паралелограм, повертається за годинниковою стрілкою, що протилежно напрямку, який отримується при одиничній матриці.

Щоб показати, що adbc є орієнтованою площею, можна розглянути матрицю, яка складається з двох векторів-стовпців u = (a, b)T і v = (c, d)T, що представляють сторони паралелограма. Орієнтована площа цього паралелограма може бути виражена як |u| |v| sin θ, де θ — кут між векторами u і v, утворений обертанням проти годинникової стрілки. Завдяки синусу це вже орієнтована площа, з іншого боку її можна виразити через косинус кута θ′ між u = (−b, a)T і v як |u| |v| cos θ′. Отриманий вираз є скалярним добутком векторів u і v, який дорівнює adbc.

 
Об’єм цього паралелепіпеда є модулем визначника матриці 3×3 із векторів його сторін r1, r2 і r3.

Якщо дійсну матрицю A розміру n × n записати у вигляді векторів-стовпців, тобто  , то

 

Це означає, що лінійна функція, визначена матрицею A, відображає одиничний n-куб у n-вимірний паралелотоп, побудований на векторах a1, a2, …, an, тобто у множину  

Визначник матриці A дає орієнтовний n-вимірний об’єм цього паралелетопа, і, таким чином, описує коефіцієнт, на який множаться n-вимірні об’єми при перетворені відображенням, визначеним матрицею A. (Знак показує, чи перетворення зберігає або змінює орієнтацію.) Зокрема, якщо визначник дорівнює нулю, то цей паралелотоп має нульовий n-вимірний об’єм і не є повністю n-вимірним, що вказує на те, що розмірність образу лінійного відображення, визначеного матрицею A, менша за n. Це означає, що це відображення не є ані сюр'єкцією, ані ін'єкцією.

Спеціальні види визначників ред.

Див. також ред.

Джерела ред.

Примітки ред.

  1. Grattan-Guinness, I., ред. (2003). Companion Encyclopedia of the History and Philosophy of the Mathematical Sciences. Т. 1. Johns Hopkins University Press. ISBN 9780801873966. 
  2. Cajori, F. A History of Mathematics p. 80
  3. а б Campbell, H: Linear Algebra With Applications, с. 111–112. Appleton Century Crofts, 1971
  4. Eves, Howard (1990). An introduction to the history of mathematics (вид. 6). Saunders College Publishing. ISBN 0-03-029558-0. MR 1104435. 
  5. A Brief History of Linear Algebra and Matrix Theory at: A Brief History of Linear Algebra and Matrix Theory. Архів оригіналу за 10 вересня 2012. Процитовано 24 січня 2012. 
  6. Cramer, Gabriel (1750). Introduction à l'analyse des lignes courbes algébriques. Genève: Frères Cramer & Cl. Philibert. doi:10.3931/e-rara-4048. 
  7. а б Kleiner, Israel (2007). Kleiner, Israel (ред.). A history of abstract algebra. Birkhäuser. doi:10.1007/978-0-8176-4685-1. ISBN 978-0-8176-4684-4. MR 2347309. 
  8. Bourbaki, Nicolas (1994). Elements of the history of mathematics. Springer. doi:10.1007/978-3-642-61693-8. ISBN 3-540-19376-6. 
  9. Laplace, Pierre-Simon, de (1772). Recherches sur le calcul intégral et sur le systéme du monde. Histoire de l'Académie Royale des Sciences (Paris) (seconde partie): 267–376. 
  10. Muir, Sir Thomas, The Theory of Determinants in the historical Order of Development [Лондон, Англія: Macmillan and Co., Ltd., 1906]
  11. Походження математичних термінів: http://jeff560.tripod.com/d.html
  12. Історія матриць та визначників: http://www-history.mcs.st-and.ac.uk/history/HistTopics/Matrices_and_determinants.html
  13. Cayley, Arthur (1841). On a theorem in the geometry of position. Cambridge Mathematical Journal. 2: 267–271. 
  14. Cajori, Florian (1993). A history of mathematical notations: Including Vol. I. Notations in elementary mathematics; Vol. II. Notations mainly in higher mathematics, Reprint of the 1928 and 1929 originals. Dover. ISBN 0-486-67766-4. MR 3363427. 
  15. Доведення можна знайти на сторінці http://www.ee.ic.ac.uk/hp/staff/dmb/matrix/proof003.html
  16. C. L. Dodgson. Condensation of Determinants, Being a New and Brief Method for Computing their Arithmetical Values // Proceedings of the Royal Society of London. — 1866-1867. — Т. 15. — С. 150–155.