Неравенство Фишера - Википедия - Fischers inequality

В математика, Неравенство Фишера дает оценку сверху для детерминант из положительно-полуопределенная матрица элементы которого являются комплексными числами в терминах определителей его главных диагональных блоков. Предполагать А, C соответственно п×п, q×q положительно-полуопределенные комплексные матрицы и B это п×q комплексная матрица.

{ Displaystyle M: ​​= left [{ begin {matrix} A&B B ^ {*} & C end {matrix}} right]}

так что M это (п+q)×(п+q) матрица.

Тогда неравенство Фишера утверждает, что

{ Displaystyle Det (M) Leq Det (A) Det (C).}

Если M положительно определено, равенство достигается в неравенстве Фишера тогда и только тогда, когда все элементы B равны 0. Индуктивно можно заключить, что аналогичное неравенство выполняется для блочного разложения M с несколькими главными диагональными блоками. Рассматривая блоки размером 1 × 1, получаем следствие Неравенство Адамара.

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

Предположить, что А и C положительно-определенные. У нас есть ${ displaystyle A ^ {- 1}}$ и ${ displaystyle C ^ {- 1}}$ положительно-определенные. Позволять

{ displaystyle D: = left [{ begin {matrix} A & 0 0 & C end {matrix}} right].}

Отметим, что

{ displaystyle D ^ {- { frac {1} {2}}} MD ^ {- { frac {1} {2}}} = left [{ begin {matrix} A ^ {- { frac {1} {2}}} & 0 0 & C ^ {- { frac {1} {2}}} end {matrix}} right] left [{ begin {matrix} A&B B ^ { *} & C end {matrix}} right] left [{ begin {matrix} A ^ {- { frac {1} {2}}} & 0 0 & C ^ {- { frac {1} { 2}}} end {matrix}} right] = left [{ begin {matrix} I_ {p} & A ^ { frac {1} {2}} BC ^ {- { frac {1} { 2}}} C ^ {- { frac {1} {2}}} B ^ {*} A ^ {- { frac {1} {2}}} & I_ {q} end {matrix} }верно]}

Применяя AM-GM неравенство к собственным значениям ${ displaystyle D ^ {- { frac {1} {2}}} MD ^ {- { frac {1} {2}}}}$ , мы видим

{ displaystyle det (D ^ {- { frac {1} {2}}} MD ^ {- { frac {1} {2}}}) leq left ({1 over p + q} mathrm {tr} (D ^ {- { frac {1} {2}}} MD ^ {- { frac {1} {2}}}) right) ^ {p + q} = 1 ^ { p + q} = 1.}

По мультипликативности детерминант, у нас есть

{ Displaystyle { begin {align} det (D ^ {- { frac {1} {2}}}) det (M) det (D ^ {- { frac {1} {2}} }) leq 1 Longrightarrow det (M) leq det (D) = det (A) det (C). end {выравнивается}}}

В этом случае равенство выполняется тогда и только тогда, когда M = D то есть все записи B равны 0.

За ${ displaystyle varepsilon> 0}$ , так как ${ displaystyle A + varepsilon I_ {p}}$ и ${ displaystyle C + varepsilon I_ {q}}$ положительно определенные, имеем

{ displaystyle det (M + varepsilon I_ {p + q}) leq det (A + varepsilon I_ {p}) det (C + varepsilon I_ {q}).}

Принимая предел как ${ displaystyle varepsilon rightarrow 0}$ доказывает неравенство. Из неравенства заметим, что если M обратима, то оба А и C обратимы, и мы получаем желаемое условие равенства.

Улучшения

Если M можно разделить на квадратные блоки M_ij, то справедливо неравенство Томпсона:^[1]

{ Displaystyle Det (М) Leq Det ([ Det (M_ {ij})])}

где [det (M_ij)] - матрица, у которой (я,j) запись - это det (M_ij).

В частности, если блочные матрицы B и C также являются квадратными матрицами, то справедливо неравенство Эверетта:^[2]

{ Displaystyle Det (M) Leq Det { begin {bmatrix} Det (A) && Det (B) Det (B ^ {*}) && Det (D) end {bmatrix }}}

Неравенство Томпсона также может быть обобщено неравенством в терминах коэффициентов характеристический многочлен блочных матриц. Выражая характеристический полином матрицы А в качестве

{ displaystyle p_ {A} (t) = sum _ {k = 0} ^ {n} t ^ {nk} (- 1) ^ {k} operatorname {tr} ( Lambda ^ {k} A) }

и предполагая, что блоки M_ij находятся м Икс м матриц справедливо неравенство Линя и Чжана:^[3]

{ displaystyle det (M) leq left ({ frac { det ([ Operatorname {tr} ( Lambda ^ {r} M_ {ij}]))} { binom {m} {r} }} right) ^ { frac {m} {r}}, quad r = 1, ldots, m}

Обратите внимание, что если р = м, то это неравенство идентично неравенству Томпсона.

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

Неравенство Адамара

Примечания

^ Томпсон, Р. К. (1961). «Детерминантное неравенство для положительно определенных матриц». Канадский математический бюллетень. 4: 57–62. Дои:10.4153 / cmb-1961-010-9.
^ Эверитт, В. Н. (1958). «Замечание о положительно определенных матрицах». Математический журнал Глазго. 3 (4): 173–175. Дои:10.1017 / S2040618500033670. ISSN 2051-2104.
^ Линь, Минхуа; Чжан, Пинпин (2017). «Объединение результата Томпсона и результата Фидлера и Маркхэма на блочно положительно определенных матрицах». Линейная алгебра и ее приложения. 533: 380–385. Дои:10.1016 / j.laa.2017.07.032.

Неравенство Фишера - Википедия - Fischers inequality

Содержание

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

Улучшения

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

Примечания

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