Теорема Куранта — Фішера — теорема про властивість ермітового оператора в гільбертовому просторі функцій. Також називається теоремою про мінімакс.
Формулювання
- — лінійний самоспряжений оператор, що діє в скінченновимірному комплексному або дійсному просторі,
- — одинична сфера,
- — ортонормований базис простору , що складається з власних векторів оператора ,
- — -е власне значення оператора і
- — -вимірний підпростір .
Доведення
, — -вимірний підпростір , — лінійна оболонка векторів . . Звідки випливає, що . Нехай і . Оскільки то . З іншого боку: так як то
Рівність досягається при .
Додатково
Очевидно, що .
Див. також
Примітки
- Ли Цзун-дао. Математические методы в физике. — М.: Мир, 1965. — c. 190
Література
- Р. Беллман. Введение в теорию матриц
- Теория матриц. — 2. — Москва : Наука, 1982. — 272 с.(рос.)
- Прасолов Задачи и теоремы линейной алгебры.
- Ильин, Ким. Линейная алгебра и аналитическая геометрия
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Teorema Kuranta Fishera teorema pro vlastivist ermitovogo operatora v gilbertovomu prostori funkcij Takozh nazivayetsya teoremoyu pro minimaks Formulyuvannyal k inf L k sup x L k S A x x x x displaystyle lambda k inf limits L k sup limits x in L k cap S frac Ax x x x A displaystyle A linijnij samospryazhenij operator sho diye v skinchennovimirnomu kompleksnomu abo dijsnomu prostori S displaystyle S odinichna sfera e e 1 e n displaystyle e e 1 dots e n ortonormovanij bazis prostoru V displaystyle V sho skladayetsya z vlasnih vektoriv operatora A displaystyle A l k displaystyle lambda k k displaystyle k e vlasne znachennya operatora A displaystyle A i l 1 l 2 l n displaystyle lambda 1 leq lambda 2 leq dots leq lambda n L k displaystyle L k k displaystyle k vimirnij pidprostir V displaystyle V Dovedennyap n k 1 displaystyle p n k 1 L k displaystyle L k k displaystyle k vimirnij pidprostir V displaystyle V W n k 1 displaystyle W n k 1 linijna obolonka vektoriv e k e n displaystyle e k dots e n dim L k dim W n k 1 n 1 displaystyle dim L k dim W n k 1 n 1 Zvidki viplivaye sho L k W n k 1 displaystyle L k cap W n k 1 neq varnothing Nehaj x 0 L k W n k 1 displaystyle x 0 in L k cap W n k 1 i x 0 1 displaystyle x 0 1 Oskilki l k sup x L k S A x x displaystyle lambda k sup limits x in L k cap S Ax x to A x 0 x 0 x 0 x 0 l k displaystyle frac Ax 0 x 0 x 0 x 0 leq lambda k Z inshogo boku tak yak x 0 L k displaystyle x 0 in L k to inf x L k S A x x l k displaystyle inf limits x in L k cap S Ax x leq lambda k sup L k inf x L k S A x x l k displaystyle sup limits L k inf limits x in L k cap S Ax x leq lambda k Rivnist dosyagayetsya pri L k L e 1 e k displaystyle L k L e 1 dots e k DodatkovoOchevidno sho sup L k inf x L k S A x x inf L n k 1 sup x L n k 1 S A x x displaystyle sup limits L k inf limits x in L k cap S Ax x inf limits L n k 1 sup limits x in L n k 1 cap S Ax x Div takozhVidnoshennya ReleyaPrimitkiLi Czun dao Matematicheskie metody v fizike M Mir 1965 c 190LiteraturaR Bellman Vvedenie v teoriyu matric Teoriya matric 2 Moskva Nauka 1982 272 s ros Prasolov Zadachi i teoremy linejnoj algebry Ilin Kim Linejnaya algebra i analiticheskaya geometriya