Все формулы РФ

Математика / Линейная алгебра

Неравенство Адамара: определитель и длины столбцов

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

Опубликовано: Обновлено:

Матрицы в расчетахСтраницы с задачами и решениямиЕсть историческая справкаДиагностика условий

Формула

$$|\det A|\le\prod_{j=1}^{n}\|a_j\|_2$$
Схема Площадь и верхняя граница
01.51Площадь1.4142Граница

Для столбцов(1,0) и(1,1): объём 1, произведение длин√2.

Обозначения

$A$
вещественная квадратная матрица порядка n
$a_j$
j-й столбец матрицы
$‖a_j‖₂$
евклидова длина столбца
$|det A|$
неориентированный объём параллелепипеда столбцов

Условия применения

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

Ограничения

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

Подробное объяснение

В двумерном случае определитель задаёт ориентированную площадь параллелограмма. Его модуль равен произведению длин сторон на модуль синуса угла между ними. Так как |sinθ|≤1, площадь ограничена произведением длин и максимальна при прямом угле.

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

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

Например, столбцы(1,0)ᵀ и(1,1)ᵀ имеют длины 1 и√2, но определитель равен 1. Наклон второго столбца уменьшил площадь относительно максимального прямоугольника. Если второй столбец приблизить к первому, площадь стремится к нулю, хотя обе длины остаются около единицы.

Для матрицы с элементами±1 длина каждого столбца равна√n, поэтому |det A|≤n^(n/2). Это частное следствие не гарантирует существования матрицы, достигающей границы для произвольного n. Достижение требует ортогональных столбцов, а это дополнительная комбинаторная задача.

Как пользоваться формулой

  1. Убедитесь, что матрица квадратная, и выпишите её столбцы; определите, нужны ли модуль определителя или ориентированный знак.
  2. Для каждого столбца вычислите сумму квадратов его элементов и извлеките корень, не заменяя длину суммой модулей.
  3. Перемножьте длины и сравните с модулем определителя; различайте верхнюю границу объёма и фактически достигнутое значение.
  4. Проверьте скалярные произведения столбцов для анализа равенства, отдельно разобрав наличие нулевого или зависимого столбца.

Историческая справка

Неравенство носит имя Жака Адамара и относится к классическим оценкам определителей. Его геометрическое содержание связано с объёмом, а доказательства используют ортогонализацию, неравенство Коши—Буняковского или свойства матрицы Грама. Это несколько способов раскрыть одно ограничение объёма, а не разные численные правила.

Современный NIST DLMF помещает оценку в раздел об определителях, а исследовательские и учебные изложения обсуждают простые доказательства и условие равенства. Для прикладного расчёта важно отделять её от специальных задач о максимальном определителе матриц±1: частная оценка n^(n/2) следует из общего результата, но вопрос о достижении границы требует дополнительной структуры.

Историческая линия формулы

Название связывает оценку с Адамаром. Статья о доказательстве или современный справочник не являются основанием приписывать им исходное открытие. Здесь используется обычная евклидова форма для вещественных столбцов и явно оговорено исключение с нулевым столбцом.

Пример

Пусть A=[[1,1],[0,1]]. Столбцы равны a₁=(1,0)ᵀ и a₂=(1,1)ᵀ. Их длины‖a₁‖₂=1, ‖a₂‖₂=√2. Неравенство даёт |det A|≤√2. Прямой расчёт det A=1·1−0·1=1 подтверждает оценку. Ответ: фактическая площадь 1 меньше верхней границы√2≈1,4142. Скалярное произведение столбцов равно 1, поэтому они не ортогональны и равенство не ожидается. Проверка через высоту: основание a₁ имеет длину 1, перпендикулярная составляющая второго столбца равна(0,1)ᵀ с длиной 1. Площадь 1·1=1 совпала с определителем. Векторная составляющая(1,0)ᵀ второго столбца увеличивает его длину, но не увеличивает высоту и объём.

Частая ошибка

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

Практика

Задачи с решением

Ортогональные столбцы

Условие. A=diag(3,4,2). Найдите границу Адамара и определитель.

Решение. Длины столбцов 3,4,2, произведение 24. Определитель диагональной матрицы также 3·4·2=24.

Ответ. Граница 24, равенство достигнуто.

Матрица со знаками

Условие. Найдите границу для матрицы 3×3 с элементами±1.

Решение. Каждый столбец имеет длину√3. Произведение равно(√3)³=3√3.

Ответ. |det A|≤3√3≈5,1961524; существование равенства не утверждается.

Дополнительные источники

  • https://dlmf.nist.gov/1.3
  • https://encyclopediaofmath.org/wiki/Hadamard_theorem

Связанные формулы

Математика

Определитель матрицы 2x2

$\det\begin{pmatrix}a&b\\c&d\end{pmatrix}=ad-bc$

Определитель матрицы 2x2 равен разности произведений диагоналей. Он показывает, во сколько раз линейное преобразование меняет ориентированную площадь.

Математика

k-й шаг алгоритма Gram-Schmidt

$u_k=a_k-\sum_{j=1}^{k-1}(q_j^{\top}a_k)\,q_j,\quad q_k=\frac{u_k}{\|u_k\|}$

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

Математика

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

$\|v\|=\sqrt{v\cdot v}$

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