Вычисление определителя

Материал из MachineLearning.

(Различия между версиями)

Версия 15:50, 20 октября 2008

Название статьи необходимо изменить. Текст статьи нуждается в существенной переработке (см. Обсуждение).--Strijov 12:53, 20 октября 2008 (MSD)

Содержание

1 Постановка задачи
2 Алгоритм решения
3 Прагматика
4 Примеры работы алгоритма
5 Руководство пользователя
6 Руководство программиста
7 Литература
8 См. также

Постановка задачи

Задание подразумевает знакомство пользователя с основными понятиями численных методов, такими как определитель и обратная матрица, и различными способами их вычислений. В данном теоретическом отчете простым и доступным языком сначала вводятся основные понятия и определения, на основании которых проводится дальнейшее исследование. Данная работа подразумевает, что пользователь может не иметь специальных знаний в области численных методов и линейной алгебры, но с легкостью сможет воспользоваться результатами работы. Для наглядности приведена программа вычисления определителя матрицы несколькими методами, написанная на языке программирования C++. Программа используется как лабораторный стенд для создания иллюстраций к отчету. А также проводится исследование методов для решения систем линейных алгебраических уравнений. Доказывается бесполезность вычисления обратной матрицы, поэтому в работе приводится более оптимальные способы решения уравнений не вычисляя ее. Рассказывается почему существует такое количество различных методов вычисления определителей и обратных матриц и разбираются их недостатки. Также рассматриваются погрешности при вычислении определителя и оценивается достигнутая точность. Помимо русских терминов в работе используются и их английские эквиваленты для понимания, под какими названиями искать численные процедуры в библиотеках и что означают их параметры.

Алгоритм решения

Определитель

Введем определение определителя квадратной матрицы любого порядка. Это определение будет рекуррентным, то есть чтобы установить, что такое определитель матрицы порядка $n$ , нужно уже знать, что такое определитель матрицы порядка $n - 1$ . Отметим также, что определитель существует только у квадратных матриц.

Определитель квадратной матрицы $A$ будем обозначать $|A|$ или det $A$ .

Определение 1. Определителем квадратной матрицы второго порядка называется число .

Определителем квадратной матрицы порядка $n$ , $n \geq 3$ , называется число

где $M_k$ - определитель матрицы порядка $n - 1$ , полученной из матрицы $A$ вычеркиванием первой строки и столбца с номером $k$ .

Для наглядности запишем, как можно вычислить определитель матрицы четвертого порядка:

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

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

Замечание. В литературе вместо термина "определитель" используется также термин "детерминант", имеющий тот же самый смысл. От слова "детерминант" и появилось обозначение det $A$ .

Рассмотрим некоторые свойства определителей, которые сформулируем в виде утверждений.

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