Вы находитесь на странице: 1из 137

Matrix Theory

Содержание

Статьи

Матрица (математика)

1

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

13

Норма (математика)

16

Список матриц

20

CKM-матрица

26

PMNS-матрица

30

Z-матрица (математика)

32

Альтернативная матрица

33

Антидиагональная матрица

34

Антиэрмитова матрица

35

Бинарная матрица

36

Бисимметричная матрица

37

Блочная матрица

38

Веерная матрица

40

Весовая матрица

42

Вырожденная матрица

44

Ганкелева матрица

44

Гессиан функции

45

Дважды стохастическая матрица

47

Диагональная матрица

47

Матрицы Дирака

49

Единичная матрица

51

Жорданова матрица

53

Инволютивная матрица

55

Конференс-матрица

56

Кососимметричная матрица

58

Лямбда-матрицы

59

Матрица Адамара

61

Матрица Гильберта

62

Матрица единиц

64

Матрица инцидентности

64

Матрица кватернионов

65

Матрица Кирхгофа

66

Матрица Коши (дифференциальные уравнения)

68

Матрица Коши (линейная алгебра)

69

Матрица Лемера

71

Матрица Лесли

72

Матрица Паскаля

72

Матрица перестановки

75

Матрица перехода

76

Матрица поворота

78

Матрица Редхеффера

83

Матрица сдвига

84

Матрица Сильвестра

86

Матрица смежности

87

Матрица Тёплица

89

Матрица Хессенберга

90

Матрица Якоби

91

Невырожденная матрица

92

Неотрицательная матрица

93

Нормальная матрица

94

Нулевая матрица

94

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

96

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

97

Ортогональная матрица

100

Матрицы Паули

101

Персимметричная матрица

103

Подобные матрицы

104

Положительно определённая матрица

105

Псевдообратная матрица

108

Разреженная матрица

111

Симметричная матрица

113

Скалярная матрица

114

Сопровождающая матрица

115

Союзная матрица

116

Транспонированная матрица

117

Треугольная матрица

118

Трёхдиагональная матрица

119

Унимодулярная матрица

119

Унитарная матрица

121

Фробениусова нормальная форма

122

Фундаментальная матрица

123

Центросимметричная матрица

124

Циркулянт

125

Эрмитова матрица

126

Эрмитово-сопряжённая матрица

127

Примечания

Источники и основные авторы

129

Источники, лицензии и редакторы изображений

132

Лицензии статей

Лицензия

133

Матрица (математика)

Матрица (математика)

1

Ма́трица математический объект, записываемый в виде прямоугольной таблицы элементов кольца или поля (например, целых, действительных или комплексных чисел), которая представляет собой совокупность строк и столбцов, на пересечении которых находятся её элементы. Количество строк и столбцов матрицы задают размер матрицы. Хотя исторически рассматривались, например, треугольные матрицы [1] , в настоящее время говорят исключительно о матрицах прямоугольной формы, так как они являются наиболее удобными и общими.

Матрицы широко применяются в математике для компактной записи систем линейных алгебраических или дифференциальных уравнений. В этом случае количество строк матрицы соответствует числу уравнений, а

количество столбцов количеству неизвестных. В результате решение систем линейных уравнений сводится

к операциям над матрицами.

Для матрицы определены следующие алгебраические операции:

сложение матриц, имеющих один и тот же размер;

 

умножение матриц подходящего размера (матрицу, имеющую

размера (матрицу, имеющую столбцов, можно умножить справа

столбцов, можно умножить справа на

матрицу, имеющую

матрицу, имеющую строк);

строк);

••

в том числе умножение на матрицу вектора (по обычному правилу матричного умножения; вектор является в этом смысле частным случаем матрицы);

умножение матрицы на элемент основного кольца или поля (то есть скаляр).

Относительно сложения матрицы образуют абелеву группу; если же рассматривать ещё и умножение на скаляр, то матрицы образуют модуль над соответствующим кольцом (векторное пространство над полем). Множество квадратных матриц замкнуто относительно матричного умножения, поэтому квадратные матрицы одного размера образуют ассоциативное кольцо с единицей относительно матричного сложения и матричного умножения.

Доказано, что каждому линейному оператору, действующему в n-мерном линейном пространстве, можно сопоставить единственную квадратную матрицу порядка n; и обратно каждой квадратной матрице порядка

n может быть сопоставлен единственный линейный оператор, действующий в этом пространстве. [2] Свойства матрицы соответствуют свойствам линейного оператора. В частности, собственные числа матрицы это собственные числа оператора, отвечающие соответствующим собственным векторам.

То же можно сказать о представлении матрицами билинейных (квадратичных) форм.

В математике рассматривается множество различных типов и видов матриц. Таковы, например, единичная,

симметричная, кососимметричная, верхнетреугольная (нижнетреугольная) и т. п. матрицы.

Особое значение в теории матриц занимают всевозможные нормальные формы, то есть канонический вид, к которому можно привести матрицу заменой координат. Наиболее важной (в теоретическом значении) и проработанной является теория жордановых нормальных форм. На практике, однако, используются такие нормальные формы, которые обладают дополнительными свойствами, например, устойчивостью.

История

Впервые матрицы упоминались ещё в древнем Китае, называясь тогда «волшебным квадратом». Основным применением матриц было решение линейных уравнений. Также волшебные квадраты были известны чуть позднее у арабских математиков, примерно тогда появился принцип сложения матриц. После развития теории определителей в конце 17-го века, Габриэль Крамер начал разрабатывать свою теорию в 18-м столетии и опубликовал «правило Крамера» в 1751 году. Примерно в этом же промежутке времени появился «метод Гаусса». Теория матриц начала своё существование в середине XIX века в работах Уильяма Гамильтона и Артура Кэли. Фундаментальные результаты в теории матриц принадлежат Вейерштрассу, Жордану,

Матрица (математика)

2

Фробениусу. Термин «матрица» ввел Джеймс Сильвестр в 1850 г. [3]

Введение

Матрицы естественным образом возникают при решении систем линейных уравнений, а, также, при рассмотрении линейных преобразований.

Системы линейных уравнений

.
.

Эта система состоит из линейных уравнений относительно неизвестных, может быть записана в виде следующего матричного уравнения вида:

матричного уравнения вида: где , Матрица — это матрица
матричного уравнения вида: где , Матрица — это матрица

где

,
,
матричного уравнения вида: где , Матрица — это матрица

Матрица это матрица коэффициентов системы линейных уравнений, вектор-столбец вектор неизвестных, а вектор-столбец некоторый заданный вектор.

— некоторый заданный вектор. Для того, чтобы система имела
— некоторый заданный вектор. Для того, чтобы система имела
— некоторый заданный вектор. Для того, чтобы система имела

Для того, чтобы система имела решение (хотя бы одно), необходимо и достаточно, чтобы вектор был линейной комбинацией столбцов , и тогда вектор это вектор, содержащий коэффициенты разложения вектора по столбцам матрицы .

вектора по столбцам матрицы . На языке мат р иц условие
вектора по столбцам матрицы . На языке мат р иц условие
вектора по столбцам матрицы . На языке мат р иц условие
вектора по столбцам матрицы . На языке мат р иц условие

На языке матриц условие разрешимости системы линейных уравнений формулируется в виде теоремы Кронекера-Капелли:

ранг матрицы

равен рангу расширенной матрицыКронекера-Капелли : ранг матрицы . В том случае, когда количество

.
.
рангу расширенной матрицы . В том случае, когда количество

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

невырожденности матрицы . Тогда решение системы следует
невырожденности матрицы . Тогда решение системы следует

Тогда решение системы следует искать в виде

,
,

что очевидным образом приводит к алгоритму вычисления значений неизвестных переменных по правилу Крамера.

Матрица (математика)

3

Линейные преобразования

линейное преобразование , действующее из , имеющее

, действующее из

преобразование , действующее из , имеющее следующий вид: в -мерное

, имеющее следующий вид:

в
в

-мерное векторное пространство

.
.

В матричной форме это преобразование уравнения вида:

.
.

Матрица

это матрица коэффициентов линейного преобразования.

-мерного векторного пространства

Если рассмотреть действие линейного преобразования

,
,

на векторы вида

составляюще базис пространства , то это есть j-ый столбец матрицы .

это есть j -ый столбец матрицы . Таким образом, матрица полностью

Таким образом, матрица полностью описывает линейное преобразование , и, поэтому, называется

матрицей линейного преобразования.

Определения

Пусть

есть

два

конечных

множества

и ,
и
,

где

и
и

Прямоугольная матрица

Назовём матрицей размера

отображение вида

размера отображение вида (читается на ) с элементами из

(читается

на
на

) с элементами из некоторого кольца или поля

-й строки и

кольца или поля -й строки и -го столбца; ; . . • • Если

-го столбца;

; .
;
.
. • • Если индекс
.
Если индекс
столбца; ; . . • • Если индекс называется элементом матрицы,
столбца; ; . . • • Если индекс называется элементом матрицы,
столбца; ; . . • • Если индекс называется элементом матрицы,

называется элементом матрицы, находящимся на пересечении

, где , где
, где
, где

-я строка матрицы состоит из элементов вида

-й столбец матрицы состоит из элементов вида

, а
, а

пробегает множество

вида , а пробегает множество элементов в каждой) столбцов (по

элементов в каждой)

столбцов (по

элементов в каждой) столбцов (по элементов. пробегает всё
элементов в каждой) столбцов (по элементов. пробегает всё

элементов.

пробегает всё множество пробегает всё множество

пробегает множество

, то совокупность элементов

, то совокупность элементов полностью определяет матрицу.

полностью определяет матрицу. Таким образом, матрица размера

• строк (по

• и

• или

В соответствии с этим

• каждую строку матрицы можно интерпретировать как вектор в

состоит в точности из

элементов в каждом)

в точности из элементов в каждом) -мерном координатном

-мерном координатном пространстве

;

• каждый столбец матрицы как вектор в

Сама матрица естественным образом интерпретируется как вектор в пространстве , имеющем

вектор в пространстве , имеющем -мерном координатном

-мерном координатном пространстве

.
.
координатном пространстве . размерность . Это позволяет

размерность . Это позволяет ввести покомпонентное сложение матриц и умножение матрицы на число (см. ниже); что касается матричного умножения, то оно существенным образом опирается на прямоугольную структуру матрицы.

образом опирается на прямоугольную структуру матрицы.

Матрица (математика)

4

Квадратная матрица

Если у матрицы количество строк совпадает с количеством столбцов , то такая матрица называется квадратной, а число называется размером квадратной матрицы или её порядком.

матрицы или её порядком . Вектор-строка и вектор-столбец
матрицы или её порядком . Вектор-строка и вектор-столбец
матрицы или её порядком . Вектор-строка и вектор-столбец

Вектор-строка и вектор-столбец

Матрицы размера

• матрица размера

и
и

являются элементами пространств

являются элементами пространств и соответственно: называется

и

соответственно:элементами пространств и называется вектор-столбцом и

называется вектор-столбцом и имеет специальное обозначение:

и имеет специальное обозначение: • матрица размера называется

• матрица размера

обозначение: • матрица размера называется вектор-строкой и

называется вектор-строкой и имеет специальное обозначение:

Элементарные преобразования матриц

Элементарными преобразованиями строк матрицы называются следующие преобразования:

11

Умножение строки на число отличное от нуля,

22

Прибавление одной строки к другой строке,

33

Перестановка местами двух строк.

Элементарные преобразования столбцов матрицы определяются аналогично.

Ранг матрицы

Строки и столбцы матрицы являются элементами соответствующих векторных пространств:

• столбцы матрицы

• строки матрицы

Рангом матрицы называют количество линейно независимых столбцов матрицы (столбцовый ранг матрицы) или количество линейно независимых строк матрицы (строчный ранг матрицы). Этому определению эквивалентно определение ранга матрицы, как порядка максимального отличного от нуля минора матрицы.

При элементарных преобразованиях ранг матрицы не меняется.

ранг матрицы не меняется. составляют элементы

составляют элементы пространства размерности

составляют элементы пространства размерности

.
.
;
;

Обозначения

Обычно матрицу обозначают заглавной буквой латинского алфавита: пусть

, тогда
,
тогда

матрица, которая интерпретируется как прямоугольный массив элементов поля , где

массив элементов поля , где вида • первый индекс означает

вида

• первый индекс означает индекс строки:

• второй индекс означает индекс столбца:

; ;
;
;
означает индекс столбца: ; ; таким образом, — элемент
означает индекс столбца: ; ; таким образом, — элемент

таким образом, элемент матрицы , находящийся на пересечении -й строки и -го столбца. В

-й строки и -го столбца. В соответствии с этим принято

соответствии с этим принято следующее компактное обозначение для матрицы размера :

следующее компактное обозначение для матрицы размера : или просто:

или просто:

Матрица (математика)

5

Матрица (математика) 5 если нужно просто указать обозначение для

если нужно просто указать обозначение для элементов матрицы.

Иногда, вместо

матрицы. Иногда, вместо , пишут , чтобы отделить индексы

, пишут

матрицы. Иногда, вместо , пишут , чтобы отделить индексы друг от

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

Если необходимо дать развёрнутое представление матрицы в виде таблицы, то используют запись вида

то используют запись вида Можно встретить как обозначения

Можно встретить как обозначения с круглыми скобками «()», так и обозначения с квадратными скобками «[]». Реже можно встретить обозначения с двойными прямыми линиями "||||").

Поскольку матрица состоит из строк и столбцов, для них используются следующие обозначения:

а

следующие обозначения: а — это -тая строка матрицы — это

это

следующие обозначения: а — это -тая строка матрицы — это -тый

-тая строка матрицы

а — это -тая строка матрицы — это -тый столбец матрицы . ,

это

— это -тая строка матрицы — это -тый столбец матрицы . , Таким

-тый столбец матрицы

.
.
,
,

Таким образом, матрица обладает двойственным представлением по столбцам:

представлением — по столбцам: и по строкам: . Такое

и по строкам:

.
.

Такое представление позволяет формулировать свойства матриц в терминах строк или в терминах столбцов.

Транспонированная матрица

С каждой матрицей

размера
размера

связана матрица

размера связана матрица размера Такая матрица

размера

размера связана матрица размера Такая матрица называется

Такая матрица называется транспонированной матрицей для

Транспонированную матрицу можно получить, поменяв строки и столбцы матрицы местами.

и столбцы матрицы местами. и обозначается так . вида

и обозначается так

.
.

вида

Диагональная матрица

Диагональная матрица квадратная матрица, все элементы которой кроме диагональных нулевые , иногда записывается как:

которой кроме диагональных — нулевые , иногда записывается как:

Матрица (математика)

6

Единичная матрица

Единичная матрица матрица, при умножении на которую любая матрица (или вектор) остается неизменной, является диагональной матрицей с единичными (всеми) диагональными элементами:

диагональными элементами: Для ее обозначения чаще всего

Для ее обозначения чаще всего используется обозначение I или E, а также просто 1 (или 1 специальным шрифтом).

Для обозначения ее элементов также используется символ Кронекера , определяемый как:

Кронекера , определяемый как: при Нулевая матрица Для
при
при

Нулевая матрица

Для обозначения нулевой матрицы матрицы, все элементы которой нули (при сложении ее с любой матрицей та остается неизменной, а при умножении на любую получается нулевая матрица) используется обычно просто 0 или 0 специальным шрифтом, или буква, начертанием похожая на ноль, например .

похожая на ноль, например . Операции над матрицами

Операции над матрицами

Умножение матрицы на число

Умножение матрицы

Свойства умножения матриц на число:

• 1. 1A = A;

• 2. (λβ)A = λ(βA)

• 3. (λ+β)A = λA + βA

• 4. λ(A+B) = λA + λB

на число• 3. (λ+β)A = λA + βA • 4. λ(A+B) = λA + λB заключается в

= λA + βA • 4. λ(A+B) = λA + λB на число заключается в построении

заключается в построении матрицы

.в построении матрицы Сложение матриц Складывать

Сложение матриц

Складывать можно только матрицы одинакового размера.

матрицы одинакового размера. Сложение матриц есть операция
матрицы одинакового размера. Сложение матриц есть операция

Сложение матриц есть операция нахождения матрицы , все элементы которой равны попарной

элементы которой равны попарной сумме всех соответствующих
элементы которой равны попарной сумме всех соответствующих
элементы которой равны попарной сумме всех соответствующих

сумме всех соответствующих элементов матриц и , то есть каждый элемент матрицы равен

каждый элемент матрицы равен Свойства сложения матриц: • 1.

Свойства сложения матриц:

• 1.коммутативность: A+B = B+A;

• 2.ассоциативность: (A+B)+C =A+(B+C);

• 3.сложение с нулевой матрицей: A + Θ = A;

• 4.существование противоположной матрицы: A + (-A) = Θ;

Все свойства линейных операций повторяют аксиомы линейного пространства и поэтому справедлива теорема:

Множество всех матриц одинаковых размеров mxn с элементами из поля P (поля всех действительных или комплексных чисел) образует линейное пространство над полем P (каждая такая матрица является вектором этого пространства). Впрочем, прежде всего во избежание терминологической путаницы, матрицы в обычных контекстах избегают без необходимости (которой нет в наиболее обычных стандартных применениях) и четкого уточнения употребления термина называть векторами.

Матрица (математика)

7

Умножение матриц

умножения

, элементов в соответствующей строке первого множителя и столбце второго.

и столбце второго. матриц элемент (обозначение: , ) — есть

элемент

(обозначение:

матриц элемент (обозначение: , ) — есть операция вычисления

, ) есть операция вычисления матрицы

которой

равен

сумме

произведений

реже

со

знаком

произведений реже со знаком каждый Количество столбцов в
произведений реже со знаком каждый Количество столбцов в

каждый

реже со знаком каждый Количество столбцов в матрице ,

Количество столбцов в матрице

, есть .
,
есть
.

должно

совпадать

с

, есть . должно совпадать с количеством строк в матрице ,

количеством строк в матрице

, иными словами, матрица

обязана быть согласованной с матрицей

согласованной с матрицей — . Если матрица , то размерность

. Если матрица , то размерность

имеет размерность их произведения

Свойства умножения матриц:

• 1.ассоциативность (AB)C = A(BC);

• 2.некоммутативность (в общем случае): AB

• 3.произведение коммутативно в случае умножения с единичной матрицей: AI = IA;

• 4.дистрибутивность: (A+B)C = AC + BC, A(B+C) = AB + AC;

• 5.ассоциативность и коммутативность относительно умножения на число: (λA)B = λ(AB) = A(λB);

на число: (λA)B = λ(AB) = A(λB) ; BA ; Умножение вектора на матрицу

BA;

Умножение вектора на матрицу

По обычным правилам матричного умножения осуществляется умножение на матрицу слева вектора-столбца, а также умножение вектора-строки на матрицу справа. Поскольку элементы вектора-столбца или вектора-строки можно записать (что обычно и делается), используя один, а не два индекса, это умножение можно записать так:

для вектора-столбца v (получая новый вектор-столбец Av):

новый вектор-столбец Av ): для вектора-строки s (получая

для вектора-строки s (получая новый вектор-строку sA):

(получая новый вектор-строку sA ): Вектор-строка, матрица и

Вектор-строка, матрица и вектор-столбец могут быть умножены друг на друга, давая число (скаляр):

на друга, давая число (скаляр): (Порядок важен: вектор-строка

(Порядок важен: вектор-строка слева, вектор-столбец справа от матрицы).

Эти операции являются основой матричного представления линейных операторов и линейных преобразований координат (смены базисов), таких, как повороты, масштабирования, зеркальные отражения, а также (последнее) матричного представления билинейных (квадратичных) форм.

• При представлении вектора вещественного векторного пространства в ортонормированном базисе (что эквивалентно использованию прямоугольных декартовых координат) соответствующие ему вектор-столбец и вектор-строка, представляющие собой набор компонент вектора, будут совпадать (поэлементно), отличаясь лишь формально своим изображением для корректности матричных операций (то есть один получается из другого просто операцией транспонирования). При использовании же неортонормированных

Матрица (математика)

8

базисов (например, косоугольных координат или хотя бы разных масштабов по осям) вектор-столбец соответствует компонентам вектора в основном базисе, а вектор-строка в базисе, дуальном основному [4] (Иногда о пространстве векторов-строк говорят также как об особом, дуальном пространству векторов-столбцов, пространстве ковекторов).

Заметим, что обычной мотивировкой введения матриц и определения операции матричного умножения (см.тж.в статье об умножении матриц) является именно введение их, начиная с умножения вектора на матрицу (которое вводится исходя из преобразований базиса или вообще линейных операций над векторами), а уже затем композиции преобразований сопоставляется произведение матриц. Действительно, если новый вектор Av, полученный из исходного вектора v преобразованием, представимым умножением на матрицу A, преобразовать теперь ещё раз, преобразованием, представимым умножением на матрицу B, получив B(Av), то, исходя из правила умножения вектора на матрицу, приведенного в начале этого параграфа (используя ассоциативность умножения чисел и меняя порядок суммирования), нетрудно увидеть в результате формулу, дающую элементы матрицы (BA), представляющую композицию первого и второго преобразований, и совпадающую с обычным определением матричного умножения.

Комплексное сопряжение

Если элементами матрицы

эрмитово сопряжённой! см. далее) матрица равна

см. далее) матрица равна являются комплексные числа, то

являются комплексные числа, то комплексно сопряжённая (не путать с

сопряжённая (не путать с . Здесь — число, комплексно

. Здесь

сопряжённая (не путать с . Здесь — число, комплексно
.
.

Транспонирование и эрмитово сопряжение

и эрмитово сопряжение Транспонирование уже
и эрмитово сопряжение Транспонирование уже

Транспонирование уже обсуждалось выше: если , то . Для комплексных матриц

более употребительно эрмитово сопряжение: . С точки зрения операторного взгляда на матрицы,

транспонированная и эрмитово сопряжённая матрица это матрицы оператора, сопряжённого относительно скалярного или эрмитова произведения, соответственно.

След

Для квадратной матрицы определен след:

матрицы определен след : (иногда также обозначается как Sp

(иногда также обозначается как Sp или Spur).

Является инвариантом ортогональных (унитарных) преобразований матрицы, соответствующих преобразованию матричного представления линейного оператора или билинейной (квадратичной) формы при соотвестствующем преобразовании векторного пространства (например, вращении).

Матрица (математика)

9

Связанные понятия

Линейные комбинации

В векторном пространстве линейной комбинацией векторов

называется векторлинейной комбинацией векторов где • если все коэффициенты

векторов называется вектор где • если все коэффициенты

где

• если все коэффициенты равны нулю, то такая комбинация называется тривиальной,

• если же хотя бы один коэффициент отличен от нуля, то такая комбинация называется нетривиальной.

Это позволяет описать произведение

• столбцы матрицы

коэффициенты разложения:

— коэффициенты разложения: матриц и терминах линейных

матриц

коэффициенты разложения: матриц и терминах линейных комбинаций:

и

терминах линейных комбинаций:разложения: матриц и — это линейные комбинации

и терминах линейных комбинаций: — это линейные комбинации
и терминах линейных комбинаций: — это линейные комбинации

это линейные комбинации столбцов матрицы

с коэффициентами, взятыми из

матрицы

;
;

• строки матрицы

матрицы

.
.
; • строки матрицы матрицы . — это линейные комбинации строк

это линейные комбинации строк матрицы

комбинации строк матрицы с коэффициентами, взятыми из

с коэффициентами, взятыми из

Линейная зависимость

Если какой-либо вектор можно представить в виде линейной комбинации, то говорят о линейной зависимости данного вектора от элементов комбинации.

Точнее, говорят так: некоторая совокупность элементов векторного пространства называется линейно зависимой, если существует равная нулю линейная комбинация элементов данной совокупности или

данной совокупности или где не все числа равны нулю; если

где не все числа равны нулю; если такой нетривиальной комбинации не существует, то данная

совокупность векторов называется линейно независимой.

Линейная зависимость векторов означает, что какой-то вектор заданной совокупности линейно выражается через остальные векторы.

Каждая матрица представляет собой совокупность векторов (одного и того же пространства). Две такие матрицы две совокупности. Если каждый вектор одной совокупности линейно выражается через векторы другой совокупности, то на языке теории матриц этот факт описывается при помощи произведения матриц:

• если строки матрицы

• если столбцы матрицы

матрицы • если столбцы матрицы линейно зависят от строк матрицы

линейно зависят от строк матрицы

линейно зависят от строк матрицы , то , то для некоторой матрицы ;

, то

, то
, то

для некоторой матрицы

;
;

линейно зависят от столбцов другой матрицы

для некоторой

другой матрицы для некоторой матрицы . Свойства Матричные

матрицы .

Свойства

Матричные операции

Сложение и вычитание допускается только для матриц одинакового размера.

Существует нулевая матрица

Существует нулевая матрица такая, что её прибавление к

такая, что её прибавление к другой матрице A не изменяет A, то есть

матрице A не изменяет A, то есть Все элементы нулевой матрицы

Все элементы нулевой матрицы равны нулю.

Возводить в степень можно только квадратные матрицы.

Коммутативность сложения:

• Ассоциативность умножения:

• Коммутативность сложения: • Ассоциативность умножения:

Матрица (математика)

10

Вообще говоря, умножение матриц некоммутативно:

умножение матриц некоммутативно : . Используя это свойство, вводят

. Используя это свойство, вводят

Дистрибутивность умножения относительно сложения:

относительно сложения: • С учётом упомянутых выше
относительно сложения: • С учётом упомянутых выше

С учётом упомянутых выше свойств, матрицы образуют кольцо относительно операций сложения и

••

умножения. Свойства операции транспонирования матриц:

транспонирования матриц: , если обратная матрица

, если обратная матрица

матриц: , если обратная матрица существует. Квадратная матрица и

существует.

Квадратная матрица и смежные определения

Если количество строк матрицы равно количеству столбцов, то такая матрица называется квадратной.

Для квадратных матриц существует единичная матрица

(аналог единицы для операции умножения чисел ) единицы для операции умножения чисел)

такая, что умножение любой матрицы на неё не влияет на результат, а именно

не влияет на результат, а именно У единичной матрицы единицы

У единичной матрицы единицы стоят только по главной диагонали, остальные элементы равны нулю

остальные элементы равны нулю Для некоторых квадратных матриц

Для некоторых квадратных матриц можно найти так называемую обратную матрицу. Обратная матрица

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

то получится единичная матрица: Обратная матрица существует не
то получится единичная матрица: Обратная матрица существует не

Обратная матрица существует не всегда. Матрицы, для которых обратная матрица существует, называются невырожденными (или регулярными), а для которых нет вырожденными (или сингулярными). Матрица невырождена, если все ее строки (столбцы) линейно независимы как векторы. Максимальное число линейно независимых строк (столбцов) называется рангом матрицы. Определителем (детерминантом) матрицы называется значение нормированной кососимметрической (антисимметрической) полилинейной формы валентности на столбцах матрицы. Квадратная матрица над числовым полем вырождена тогда и только

полем вырождена тогда и только тогда, когда ее определитель

тогда, когда ее определитель равен нулю.

Кольцо матриц

Из указанных выше свойств сложения и умножения матриц (ассоциативность и коммутативность сложения, дистрибутивность умножения, существование нулевой и противоположной по сложению матрицы) следует, что квадратные матрицы n на n с элементами из любого кольца R образуют кольцо, изоморфное кольцу эндоморфизмов свободного модуля R n . Это кольцо обозначается или . Если же R

обозначается или . Если же R — коммутативное кольцо , является
обозначается или . Если же R — коммутативное кольцо , является
обозначается или . Если же R — коммутативное кольцо , является

коммутативное кольцо, является также ассоциативной алгеброй над R. Определитель матрицы с

элементами из коммутативного кольца можно вычислять по обычной формуле, при этом матрица будет обратима тогда и только тогда, когда её определитель обратим в R. Это обобщает ситуацию с матрицами с

Матрица (математика)

11

элементами из поля, так как в поле обратим любой элемент, кроме нуля.

Матрицы в теории групп

Конечную группу (в частности, симметрическую) можно (изоморфно) промоделировать матрицами перестановок (содержащими только «0» и «1»),

например,

для

.
.
: , , , ,
:
,
,
,
,
,
,

Поле

комплексных чисел может быть (изоморфно) промоделировано над полем

комплексных чисел может быть (изоморфно) промоделировано над полем

для

для матричные аналоги ,

матричные

аналоги

для матричные аналоги ,

,

для матричные аналоги , вещественных чисел: , где ;

вещественных чисел:

,
,

где

;
;
, вещественных чисел: , где ; соответствует ; соответствует ;

соответствует

;
;
чисел: , где ; соответствует ; соответствует ; соответствует ; ;

соответствует

;
;
; соответствует ; соответствует ; соответствует ; ; при

соответствует

;
;
;
;
соответствует ; соответствует ; ; при соответствует при ;

при

; соответствует ; ; при соответствует при ;

соответствует

; ; при соответствует при ; соответствует . В частности,

при

;; ; при соответствует при соответствует . В частности, для ,

; ; при соответствует при ; соответствует . В частности, для ,

соответствует

.
.

В частности, для

,
,
соответствует . В частности, для , где . соответствует , Замечание.
где .
где
.

соответствует

,
,

Замечание. Модель имеет автоморфизм

Тело кватернионов

автоморфизм Тело кватернионов , то есть может быть (изоморфно)

, то есть

Тело кватернионов , то есть может быть (изоморфно)
Тело кватернионов , то есть может быть (изоморфно)

может быть (изоморфно) промоделировано над полем

промоделировано над полем вещественных чисел: для

вещественных чисел:

для

полем вещественных чисел: для матричный аналог , где . Для того,

матричный аналог

чисел: для матричный аналог , где . Для того, чтобы

, где

.
.
Для того, чтобы кватерниону , где , , , ,
Для
того,
чтобы
кватерниону
,
где
,
,
,
,

соответствовала

матрица

можно ввести базисные элементы

Матрица (математика)

12

, .
,
.
,
,
,
,

Параметры должны удовлетворять условиям:

Существует 8 решений (8 представлений).

и .
и
.

Примечания

[1] Под треугольными матрицами сейчас понимают матрицы, ненулевые элементы которых заполняют в таблице матрицы треугольную область, остальные же элементы нули. [2] Этот изоморфизм полностью задается выбором базиса в линейном пространстве: при фиксированном базисе изоморфизм фиксирован и таким образом реализована взаимная однозначность соответствия матриц операторам. Это не означает того, что такой изоморфизм в принципе единственный: в другом базисе тем же линейным операторам будут соответствовать другие матрицы (тоже взаимно однозначно при фиксации этого нового базиса). [3] Даан-Дальмедико А., Пейффер Ж. Пути и лабиринты. Очерки по истории математики: Пер. с франц. : Мир, 1986. С. 397. [[44]] Формально в этом определении всё симметрично, и можно было бы поменять «основной» и дуальный базис местами (они оба просто взаимно дуальны), однако принято именно описанное соглашение.

Литература

Голуб Дж. (Gene H. Golub), Ван Лоун Ч. (Charles F. Van Loan) Матричные вычисления. М.: Мир, 1999, 548с., ил. (ISBN 5-03-002406-9)

Хорн Р. (Roger A. Horn), Джонсон Ч. (Charles C. Johnson) Матричный анализ. М.: Мир, 1989, 655с., ил. (ISBN 5-03-001042-4)

Наймарк М. А. Теория представлений групп. М.: Наука, 1976.

Беллман Р. Введение в теорию матриц (http://eqworld.ipmnet.ru/ru/library/books/Bellman1969ru. djvu). М.: Мир, 1969 (djvu).

Гантмахер Ф. Р. Теория матриц (2-е издание) (http://eqworld.ipmnet.ru/ru/library/books/ Gantmaxer_matric_1966ru.djvu). М.: Наука, 1966 (djvu).

Ланкастер П. Теория матриц (http://eqworld.ipmnet.ru/ru/library/books/Lankaster1973ru.djvu). М.:

Наука, 1973 (djvu).

Соколов Н. П. Пространственные матрицы и их приложения (http://eqworld.ipmnet.ru/ru/library/books/ Sokolov1960ru.djvu). М.: ГИФМЛ, 1960 (djvu).

Халмош П. Конечномерные векторные пространства = Finite-dimensional vector spaces. М.: Физматгиз, 1963. 264 с.

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

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

13

Определи́тель (или детермина́нт) одно из основных понятий линейной алгебры. Это многочлен, комбинирующий элементы квадратной матрицы таким образом, что его значение сохраняется при транспонировании и линейных комбинациях строк или столбцов. Т.е., определитель характеризует содержание матрицы. В частности, если в матрице есть линейно-зависимые строки или столбцы определитель равен нулю. Определитель играет ключевую роль в решении в общем виде систем линейных уравнений, на его основе вводятся базовые понятия. В общем случае матрица может быть определена над любым коммутативным кольцом, в этом случае определитель будет элементом того же кольца.

Определитель матрицы А обозначается как: det(A), |А| или Δ(A).

Определение (основное определение через перестановки)

Для матрицы

через перестановки) Для матрицы определителем будет: , где

определителем будет:

,
,

где

суммирование идёт по всем возможным перестановкам порядка

слагаемых, которые также называют «членами определителя».

«членами определителя». — перестановка чисел от 1 до , —

перестановка чисел от 1 до

,
,

число инверсий в перестановке,

. Таким образом, в определитель войдёт

образом, в определитель войдёт Аксиоматическое построение

Аксиоматическое построение (определение на основе свойств)

Понятие определителя может быть введено на основе его свойств. А именно, определителем вещественной матрицы называется функция , обладающая следующими тремя свойствами:

1.

2.

3.

тремя свойствами: 1. 2. 3. — кососимметрическая функция
тремя свойствами: 1. 2. 3. — кососимметрическая функция

кососимметрическая функция строк (столбцов) матрицы

. .
.
.

полилинейная функция строк (столбцов) матрицы

, где

строк (столбцов) матрицы , где — единичная n×n-матрица.

единичная n×n-матрица.

Практическое вычисление определителя матрицы

Для матрицы первого порядка значение детерминанта равно единственному элементу этой матрицы:

элементу этой матрицы: Для матрицы детерминант

Для матрицы

детерминант вычисляется как

детерминант вычисляется как Для матриц более высоких

Для

матриц

более

высоких

порядков

(выше

2-го

порядка)

Для матриц более высоких порядков (выше 2-го порядка)

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

можно

вычислить

применив

следующую

рекурсивную

формулу:

 
рекурсивную формулу:   , где — дополнительный минор к

, где

формулу:   , где — дополнительный минор к

минор к элементу

минор к элементу . Эта формула называется

. Эта формула называется разложением

по строке. В частности, формула вычисления определителя матрицы

вычисления определителя матрицы такова: Схема расчета

такова:

определителя матрицы такова: Схема расчета определителя

Схема расчета определителя матрицы 2×2.

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

14

Определитель 1 4 Для более удобного вычисления определителя
Определитель 1 4 Для более удобного вычисления определителя

Для более удобного вычисления определителя третьего порядка можно воспользоваться правилом Саррюса.

Легко доказать, что при транспонировании определитель матрицы не изменяется (иными словами, аналогичное разложение по первому столбцу также справедливо, то есть даёт такой же результат, как и разложение по первой строке):

и разложение по первой строке): Также справедливо и аналогичное

Также справедливо и аналогичное разложение по любой строке (столбцу):

по любой строке (столбцу): Обобщение м вышеуказанных

Обобщением вышеуказанных формул является разложение детерминанта по Лапласу (Теорема Лапласа), дающее возможность вычислять определитель по любым k строкам (столбцам):

по любым k строкам (столбцам): Альтернативные методы

Альтернативные методы вычисления

Метод конденсации Доджсона, основанный на рекурсивной формуле:

на рекурсивной формуле: где матрицы, получающиеся из

где

на рекурсивной формуле: где матрицы, получающиеся из

матрицы,

получающиеся из исходной вычёркиванием соответствующих строк и столбцов.

Свойства определителей

Определитель кососимметричная полилинейная функция строк (столбцов) матрицы. Полилинейность означает, что определитель линеен по всем строкам (столбцам):

и т. д. — строчки матрицы, — определитель такой матрицы.
и т. д. — строчки матрицы,
— определитель такой матрицы.

, где

и т. д. — строчки матрицы, — определитель такой матрицы. , где

При добавлении к любой строке (столбцу) линейной комбинации других строк (столбцов) определитель не

••

изменится. Если две строки (столбца) матрицы совпадают, то её определитель равен нулю.

 

••

Если две (или несколько) строки (столбца) матрицы линейно зависимы, то её определитель равен нулю.

••

Если переставить две строки (столбца) матрицы, то её определитель умножается на (-1).

••

Общий множитель элементов какой-либо строки определителя можно вынести за знак определителя.

••

Если хотя бы одна строка (столбец) матрицы нулевая, то определитель равен нулю.

Сумма произведений всех элементов любой строки на их алгебраические дополнения равна определителю.

Сумма произведений всех элементов любого ряда на алгебраические дополнения соответствующих элементов параллельного ряда равна нулю.

Определитель произведения квадратных матриц одинакового порядка равен произведению их определителей (см. также формулу Бине-Коши).

С использованием индексной нотации определитель матрицы 3×3 может быть определён с помощью символа Леви-Чивита из соотношения:

 

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

15

••

Определитель 1 5 •• Определитель квадратной матрицы 3*3 равен

Определитель квадратной матрицы 3*3 равен ориентированному объему параллелепипеда, три ребра которого заданы векторами-столбцами матрицы.

Алгоритмическая реализация

• Прямые методы вычисления определителя могут быть основаны непосредственно на его определении, как суммы по перестановкам, или на разложении Лапласа по определителям меньшего порядка. Однако такие

методы очень неэффективны, так как требуют О(n!) операций для вычисления определителя

для вычисления оп р еделителя -го порядка. • Один из более

-го порядка.

• Один из более быстрых методов заключается в простой модификации метода Гаусса. Следуя методу Гаусса,

произвольную матрицу

лишь две следующие операции над матрицей перестановку двух строк и добавление к одной из строк матрицы другой строки, умноженной на произвольное число. Из свойств определителя следует, что вторая операция не изменяет определителя матрицы, а первая лишь меняет его знак на противоположный. Определитель матрицы, приведённой к ступенчатому виду, равен произведению элементов на её диагонали, так как она является треугольной, поэтому определитель исходной матрицы равен:

исходной матрицы равен: можно привести к ступенчатому

можно привести к ступенчатому виду (Верхнетреугольная матрица), используя

матрица), используя где — число перестановок строк,
матрица), используя где — число перестановок строк,

где число перестановок строк, выполненных алгоритмом, а ступенчатая форма матрицы

а — ступенчатая форма матрицы , полученная в результате работы

, полученная в результате работы алгоритма. Сложность этого метода, как и метода Гаусса,

составляет

.
.

• Определитель можно вычислить, зная LU-разложение матрицы. Если

, гдезная LU-разложение матрицы. Если и — треугольные матрицы, то

иLU-разложение матрицы. Если , где — треугольные матрицы, то

матрицы. Если , где и — треугольные матрицы, то

треугольные матрицы, то

произведению её диагональных элементов.

её диагональных элемент о в . . Определитель треугольной

. Определитель треугольной матрицы равен просто

• Если доступен алгоритм, выполняющий умножение двух матриц порядка

умножение двух матриц порядка за время , где время , для

за время

двух матриц порядка за время , где время , для некоторого , то

, где

время
время

, для некоторого

время , где время , для некоторого , то определитель матрицы

, то определитель матрицы порядка

может быть вычислен зато определитель матрицы порядка . [ 1 ] В частности это означает,

. [1] В частности это означает, что, используя для умножения матриц алгоритм

Копперсмита Винограда, определитель можно вычислить за время

.
.

Специальные виды определителей

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

16

Примечания

[1] J. R. Bunch and J.E. Hopcroft. Triangular factorization and inversion by fast matrix multiplication, Mathematics of Computation, 28 (1974)

231236.

Литература

В. А. Ильин, Э. Г. Позняк Линейная алгебра, М.: Наука Физматлит, 1999.

Беклемишев Д. В. Курс аналитической геометрии и линейной алгебры. М.: Физматлит, 2000.

Кострикин А. И. Введение в алгебру. Часть 1. Основы алгебры: Учебник для вузов. М.: Физматлит, 2004.

Норма (математика)

Определение

Норма вектора

Норма в векторном пространстве 1. 2. 3.
Норма в векторном пространстве
1.
2.
3.

, обладающий следующими свойствами:

(неравенство треугольника);

Эти условия являются аксиомами нормы.

Векторное пространство с нормой называется нормированным пространством, а условия (1-3) также аксиомами нормированного пространства.

Из аксиом нормы очевидным образом вытекает свойство неотрицательности нормы:

. Действительно, из третьего свойства следует: , . Чаще всего
.
Действительно, из третьего свойства следует:
,
.
Чаще всего норму обозначают в виде: . В частности,
пространства .
Вектор с единичной нормой (
) называется нормальным или нормированным.

а из свойства 2

нормированным. а из свойства 2 — векторного — это норма элемента

векторного

это норма элемента

Любой ненулевой вектор

элемента Любой ненулевой вектор можно нормировать , то есть

можно нормировать, то есть разделить его на свою норму: вектор

его на свою норму: вектор имеет единичную норму. С

имеет

единичную норму. С геометрической точки зрения это значит, что мы берем сонаправленный вектор единичной длины.

Норма (математика)

17

Норма матрицы

Нормой матрицы

Нормой матрицы называется вещественное число , удовлетворяющее
называется вещественное число , удовлетворяющее первым трём

, удовлетворяющее первым трём из следующих

условий:

1.

2.

3.

4.

Если выполняется также и четвёртое свойство, норма называется мультипликативной. Матричная норма, составленная как операторная, называется подчинённой по отношению к норме, использованной в пространствах векторов. Очевидно, что все подчинённые матричные нормы мультипликативны. Немультипликативные нормы для матриц являются простыми нормами, заданными в линейных пространствах матриц.

, причём , где ; ; .
, причём
, где
;
;
.

только при

;
;

Матричная норма

из из .
из
из
.

называется

если справедливо:

векторной нормой

для всех

согласованной

с

векторной

нормой

с векторной нормой из и Норма матрицы представляет

из

с векторной нормой из и Норма матрицы представляет

и

Норма матрицы представляет собой некоторое число, отличное от нуля, норма нужна для того, чтобы сравнивать, какая матрица «больше», а какая «меньше», в этом смысле, норма матрицы есть некоторая числовая характеристика отклонения её от нуля. (Это же неформальное объяснение относится к норме вообще).

Норма оператора

Норма оператора

Норма оператора Норма оператора — число , которое определяется,

число, которое определяется, как:

,
,

где

как: , где пространство — оператор, . действующий из

.
.

действующий

из

из нормированного пространства в нормированно е Это

в

Это определение эквивалентно следующему:

эквивалентно следующему: •• 1. 2. 3. 4. Оператору в некотором

••

1.

2.

3.

4.

Оператору в некотором базисе соответствует матрица матрица оператора. Поэтому свойства нормы оператора полностью повторяют аналогичные свойства нормы матрицы.

Свойства операторных норм:

, причём , где ; ; .
, причём
, где
;
;
.

только при

;
;

Норма (математика)

18

Свойства нормы

1.

2.

3.

4.

5.

1 8 Свойства нормы 1. 2. 3. 4. 5. [косинус угла] Эквивалентность
1 8 Свойства нормы 1. 2. 3. 4. 5. [косинус угла] Эквивалентность

[косинус угла]

нормы 1. 2. 3. 4. 5. [косинус угла] Эквивалентность норм • Две

Эквивалентность норм

Две нормы

и и
и
и

на пространстве

называются эквивалентными , если существует две положительные

называются эквивалентными, если существует две положительные

константы

такие, что для любого

константы такие, что для любого выполняется .

выполняется

константы такие, что для любого выполняется .

.

Эквивалентные нормы задают на пространстве одинаковую топологию. В конечномерном пространстве все нормы эквивалентны.

Примеры

Линейные нормированные пространства

• Любое предгильбертово пространство можно считать нормированным, так как скалярное произведение порождает естественную норму

порождает естественную норму • Гёльдеровы нормы -мерных

Гёльдеровы нормы

норму • Гёльдеровы нормы -мерных векторов (семейство): ,

-мерных векторов (семейство):

,
,

где

векторов (семейство): , где (обычно подразумевается, что это

(обычно подразумевается, что это натуральное число). В частности:

число). В частности: • • • (евклидова норма), (это

(евклидова норма),

(это предельный случай

норма), (это предельный случай ). • Но р мы фу нкций в —

).

• Нормы функций в

случай ). • Но р мы фу нкций в — пространстве вещественных

• — в смысле этой нормы пространство непрерывных на отрезке

в смысле этой нормы пространство

• — в смысле этой нормы пространство непрерывных на отрезке

непрерывных на отрезке

функций образует полное линейное пространство. Этого нельзя сказать о следующих двух примерах нормы на этом пространстве, тем не менее, законных:

•

•

• Аналогично можно ввести нормы для конечномерных векторных функций конечномерных векторных

аргументов, заменив

(максимум же на отрезке в соответствующем случае максимумом на области).

на
на

, а интегрирование по отрезку интегрированием по области

Норма (математика)

19

Некоторые виды матричных норм

1 9 Некоторые виды матричных норм • -норма: • -норма: • Норма

Некоторые виды матричных норм • -норма: • -норма: • Норма

-норма:

виды матричных норм • -норма: • -норма: • Норма Фробениуса : .

• -норма:

• Норма Фробениуса:

.
.

Здесь

• Норма Фробениуса : . Здесь — сопряжённая к матрица, — след

сопряжённая к

: . Здесь — сопряжённая к матрица, — след матрицы . •

матрица,

. Здесь — сопряжённая к матрица, — след матрицы . • -норма ( ): • В
к матрица, — след матрицы . • -норма ( ): • В случае p = 2

• -норма (

— след матрицы . • -норма ( ): • В случае p = 2 ( евклидова

):

— след матрицы . • -норма ( ): • В случае p = 2 ( евклидова

• В случае p = 2 (евклидова норма) и m = n (квадратные матрицы), подчиненная норма матрицы называется спектральная норма. Спектральная норма матрицы A равна наибольшему сингулярному числу матрицы A или квадратному корню из наибольшего собственного числа положительно полуопределённой матрицы

:
:

где

полуопределённой матрицы : где обозначает матрицу, сопряжённую

обозначает матрицу, сопряжённую к матрице

.
.

Связанные понятия

Топология пространства и норма

Норма задаёт на пространстве метрику (в смысле функцию расстояния метрического пространства),

порождая таким

образом

метрическое

пространство,

а

значит

базой

которой

являются

всевозможные

открытые

шары,

то

есть

вида

вида

.

Понятия

сходимости, определённой на языке теоретико-множественной топологии в такой топологии и определённой на языке нормы, при этом совпадают.

Список матриц

Список матриц

20

Здесь собраны наиболее важные классы матриц, используемые в математике, науке (в целом) и прикладной науке (в частности).

Под матрицей понимается прямоугольный массив чисел, называемых элементами. Матрицы имеют длинную историю исследований и приложений, что приводит к различным способам их классификации. Первая группа матриц удовлетворяет конкретным условиям и ограничениям на их элементы, включая постоянные матрицы. Важный пример матриц такого вида доставляет единичная матрица:

доставляет единичная матрица: Структура матрицы Обозначается
доставляет единичная матрица: Структура матрицы Обозначается

Структура матрицы

Обозначается также буквой E. Другие способы классификации матриц связаны либо с их собственными значениями, либо с условиями в виде матричных уравнений (соотношений). Наконец, во многих областях (в физике и в химии) встречаются матрицы специального вида, которые применяются исключительно в этих областях.

Матрицы, определяемые условиями на элементы

Данный ниже список матриц определяется условиями, которые накладываются на элементы матриц. Многие из таких свойств оказываются применимыми только к квадратным матрицам. В квадратной матрице имеются две диагонали: главная диагональ (идущая из левого верхнего угла в правый нижний угол) и побочная диагональ (идущая из левого нижнего угла в правый верхний угол).

Матрицы общего вида

Матрицы, представленные ниже, характеризуются тем, что условия на элементы матриц описываются в терминах структуры матрицы. Сюда относится взаимное расположение ненулевых элементов, а также свойства инвариантности относительно матричных преобразований.

Название

Описание

Примечания, пояснения

Бинарная матрица

Матрица, состоящая из нулей и единиц.

Синонимы: булевская матрица, логическая матрица.

Матрица, элементы которой представляют собой значения функций в определённых точках.

представляют собой значения функций в определённых точках.

Нулевая матрица

Матрица, полностью состоящая из нулей.

Нулевая матрица Матрица, полностью состоящая из нулей.

Антидиагональная матрица

Квадратная матрица, все элементы которой, лежащие вне побочной диагонали, равны нулю.

 

Список матриц

21

Антиэрмитова матрица

Квадратная матрица с комплексными элементами, переходящая в себя с изменением знака при операции эрмитова сопряжения (т.е. при комплексном сопряжении каждого элемента и последующем транспонировании матрицы),

каждого элемента и последующем транспонировании матрицы),

Синоним косо-эрмитовой матрицы.

 

Синоним кососимметричной матрицы.

Квадратная матрица, все элементы которой равны нулю, кроме элементов первого столбца, первой строки и главной диагонали.

 

Квадратная матрица, все ненулевые элементы которой примыкают к главной диагонали.

 

Матрица, все ненулевые элементы которой находятся на главной диагонали и на одной из под- или наддиагонали.

 

Бисимметричная матрица

Квадратная матрица, симметричная как относительно главной диагонали, так и относительно побочной диагонали.

 

Блочная матрица, у которой имеются матрицы только на главной диагонали.

 

Блочная матрица

Матрица, которая разбита на подматрицы, называемые блоками.

 

Блочная матрица, чьи блоки организованы так же, как у трёхдиагональной матрицы.

 
 

синоним для (0,1)-матрицы, бинарной матрицы и логической матрицы.

Матрица Коши

Матрица, каждый элемент которой имеет вид и

где
где

две инъективные

 

последовательности

Центросимметричная матрица

Матрица, симметричная относительно своего центра, то есть:

 
своего центра, то есть:   Конференс-матрица Квадратная

Конференс-матрица

Квадратная матрица с нулевыми элементами на диагонали и

элементами вида +1 и 1 вне диагонали, такая, что

на диагонали и — элементами вида +1 и − 1 вне диагонали, такая, что
 

единичная матрица.

Матрица, все строки и столбцы которой попарно ортогональны друг другу, а сами элементы унимодулярны.

 

Квадратная матрица с вещественными элементами такая, что

( англ. ) Квадратная матрица с вещественными элементами такая, что

квадратичная форма

для каждого неотрицательного

.
.

оказывается неотрицательной

 

Матрица, элементы которой удовлетворяют указанному здесь условию:

Матрица, элементы которой удовлетворяют указанному здесь условию:

Диагональная матрица

Матрица, у которой все элементы вне главной диагонали равны нулю.

 

Матрица, которая получается из единичной при помощи элементарных преобразований.

 

Матрица, которая получается из другой матрицы при помощи элементарных преобразований над строками или столбцами.

 

Матрица, которая получается из единичной при помощи сдвига и добавления нового столбца.

 

Список матриц

22

Эрмитова матрица, эрмитово-самосопряжённая матрица

Квадратная матрица с комплексными элементами, переходящая в себя при операции эрмитова сопряжения (т.е. при комплексном сопряжении каждого элемента и последующем транспонировании матрицы),

каждого элемента и последующем транспонировании матрицы),
 

Неотрицательная матрица

Матрица, все элементы которой неотрицательны.

 

Матрица перестановки

Квадратная матрица, в которой в каждом столбце и в каждой строке стоит ровно одна единица, а остальные нули. Является матричным представлением перестановки.

 

Квадратная матрица с ровно одним ненулевым элементом в каждой строке и в каждом столбце.

 

Персимметричная матрица

Матрица, симметричная относительно побочной диагонали:

 
побочной диагонали:   Полиномиальная матрица

Матрица, все элементы которой суть полиномы.

 

Матрица, все элементы которой положительны.

 

Матрица кватернионов

Матрица, все элементы которой представляют собой кватернионы.

 

Матрица, все элементы которой равны 1, 0 или 1.

 

Матрица, все элементы которой равны либо 1, либо 1.

 

Квадратная комплексная матрица, которая меняет знак при эрмитовом сопряжении.

То же, что и антиэрмитова матрица.

Кососимметричная матрица

Квадратная матрица, которая меняет знак при транспонировании,

Квадратная матрица, которая меняет знак при транспонировании,

Ленточная матрица, реорганизованная таким образом, чтобы уменьшить занимаемое пространство.

 

Разреженная матрица

Матрица, практически полностью состоящая из нулей.

Алгоритмы для разреженных матриц позволяют обрабатывать бо́льшие матрицы, чем для плотных

Матрица Сильвестра

Квадратная матрица, чьи элементы это коэффициенты двух полиномов.

Матрица Сильвестра не вырождена тогда и только тогда, когда два полинома взаимно просты.

Симметричная матрица

Квадратная матрица, которая совпадает со своей

 

транспонированной: (

транспонированной: ( ).

).

Матрица, у которой на диагоналях стоят одни и те же элементы.

 

Треугольная матрица

Матрица, у которой все элементы выше главной диагонали нулевые (нижнетреугольная матрица), или матрица, у которой все элементы ниже главной диагонали нулевые (верхнетреугольная матрица).

 

Трёхдиагональная матрица

Матрица, у которой все ненулевые элементы располагаются на трёх диагоналях: главной, первой сверху и первой снизу.

 

Унитарная матрица

Квадратная комплексная матрица, обращение которой даёт эрмитово-сопряжённую матрицу,

мат р ица, обращение которой даёт эрмитово-сопряжённую матрицу ,