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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

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

Требования к определению[править | править вики-текст]

Пусть K — основное поле (обычно K = R или K = C) и  — линейное пространство всех матриц с m строками и n столбцами, состоящих из элементов K.

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

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

для всех матриц A и B в .

Субмультипликативность может выполняться также и для норм неквадратных матриц, но определённых сразу для нескольких нужных размеров. Именно, если A — матрица  × m, и B — матрица m × n, то A B — матрица  × n.

Операторные нормы[править | править вики-текст]

Важным классом матричных норм являются операторные нормы, также именуемые подчинёнными или индуцированными. Операторная норма однозначно строится по двум нормам, определённым в и , исходя из того, что всякая матрица m × n представляется линейным оператором из в . Конкретно,

[1]

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

Прочие определения[править | править вики-текст]

«Векторные» нормы[править | править вики-текст]

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

Норма Фробениуса[править | править вики-текст]

Это частный случай p-нормы для p = 2. В нём субмультипликативность выполняется.

Максимум модуля[править | править вики-текст]

Норма максимума модуля — другой частный случай p-нормы для p = ∞.

Норма Шаттена[править | править вики-текст]

Совместимость матричной и векторных норм[править | править вики-текст]

Матричная норма на называется совместимой с нормами на и на , если:

для любых . Операторная норма по своему построению является совместимой с исходными векторными нормами.

Примечания[править | править вики-текст]

Литература[править | править вики-текст]