WikiDer > Неравенство Адамара - Википедия

В математика, Неравенство Адамара (также известный как Теорема Адамара о детерминантах^[1]) - результат, впервые опубликованный Жак Адамар в 1893 г.^[2] Это связано с детерминант из матрица чьи записи сложные числа с точки зрения длин его векторов-столбцов. С геометрической точки зрения, когда он ограничен действительными числами, он ограничивает объем в Евклидово пространство из п размеры отмечены п векторов v_я для 1 ≤ я ≤ п через длины этих векторов ||v_я||.

В частности, неравенство Адамара утверждает, что если N матрица со столбцами^[3] v_я, тогда

${ displaystyle left | det (N) right | leq prod _ {i = 1} ^ {n} | v_ {i} |.}$

Если n векторов не равны нулю, равенство в неравенстве Адамара достигается тогда и только тогда, когда векторы равны ортогональный.

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

Следствие состоит в том, что если записи п к п матрица N ограничены B, так что |N_ij|≤B для всех я и j, тогда

${ displaystyle left | det (N) right | leq B ^ {n} n ^ {n / 2}.}$

В частности, если записи N равны +1 и −1 только тогда^[4]

${ displaystyle left | det (N) right | leq n ^ {n / 2}.}$

В комбинаторика, матрицы N для которых выполняется равенство, т.е. столбцы с ортогональными столбцами, называются Матрицы Адамара.

А положительно-полуопределенная матрица п можно записать как N^*N, куда N^* обозначает сопряженный транспонировать из N (видеть Разложение Холецкого). потом

${ Displaystyle Det (P) = Det (N) ^ {2} Leq prod _ {i = 1} ^ {n} | v_ {i} | ^ {2} = prod _ {i = 1} ^ {n} p_ {ii}.}$

Итак, определитель положительно определенная матрица меньше или равно произведению его диагональных элементов. Иногда это также называют неравенством Адамара.^[2][5]

Доказательство

Результат тривиален, если матрица N единственное число, поэтому предположим, что столбцы N линейно независимы. Разделив каждый столбец на его длину, можно увидеть, что результат эквивалентен особому случаю, когда каждый столбец имеет длину 1, другими словами, если е_я являются единичными векторами и M матрица, имеющая е_я как столбцы тогда

${ Displaystyle влево | Дет М вправо | Leq 1,}$

(1)

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

${ displaystyle left | det N right | = { bigg (} prod _ {i = 1} ^ {n} | v_ {i} | { bigg)} left | det M right | leq prod _ {i = 1} ^ {n} | v_ {i} |.}$

Чтобы доказать (1), учитывать п =M^*M и пусть собственные значения п быть λ₁, λ₂,… Λ_п. Поскольку длина каждого столбца M равно 1, каждая запись на диагонали п равно 1, поэтому след из п является п. Применяя неравенство средних арифметических и геометрических,

${ displaystyle det P = prod _ {i = 1} ^ {n} lambda _ {i} leq { bigg (} {1 over n} sum _ {i = 1} ^ {n} lambda _ {i} { bigg)} ^ {n} = left ({1 over n} operatorname {tr} P right) ^ {n} = 1 ^ {n} = 1,}$

так

${ displaystyle left | det M right | = { sqrt { det P}} leq 1.}$

Если есть равенство, то каждый из λ_явсе должны быть равны, а их сумма равна п, поэтому все они должны быть 1. Матрица п является эрмитовой, поэтому диагонализуемой, так что это единичная матрица - другими словами, столбцы M являются ортонормированным множеством, а столбцы N являются ортогональным множеством.^[6] Многие другие доказательства можно найти в литературе.^[7]

Смотрите также

• Неравенство Фишера

Примечания

Рекомендации

• Мазья, Владимир; Шапошникова Т. О. (1999). Жак Адамар: универсальный математик. AMS. стр. 383ff. ISBN 0-8218-1923-2.
• Гарлинг, Д. Дж. Х. (2007). Неравенства: путь к линейному анализу. Кембридж. п.233. ISBN 978-0-521-69973-0.
• Рис, Фриджес; Сёкефалви-Надь, Бела (1990). Функциональный анализ. Дувр. п. 176. ISBN 0-486-66289-6.
• Вайсштейн, Эрик В. «Неравенство Адамара». MathWorld.

дальнейшее чтение

• Беккенбах, Эдвин Ф; Беллман, Ричард Эрнест (1965). Неравенства. Springer. п. 64.