10.07.2015 Views

С.П. Шарый - Институт вычислительных технологий СО РАН

С.П. Шарый - Институт вычислительных технологий СО РАН

С.П. Шарый - Институт вычислительных технологий СО РАН

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

258 3. Численные методы линейной алгебрыЭто в самом деле матрица ранга p, что следует из её сингулярногопредставления, а погрешность, с которой она приближает исходнуюматрицу, равнаn∑σ k Υ k .k=p+1Величина этой погрешности решающим образом зависит от величинысингулярных чисел σ p+1 , . . . , σ min{m,n} , соответствующих отброшеннымслагаемым в (3.35). Более точно, погрешность p-рангового приближенияхарактеризуется следующим замечательным свойством:Теорема 3.4.1 <strong>П</strong>усть σ k , u k и v k — сингулярные числа и левые иправые сингулярные векторы m×n-матрицы A соответственно. Еслиp < n иp∑A p = σ k u k vk∗k=1— p-ранговое приближение матрицы A, то‖A−A p ‖ 2 =min ‖A−B‖ 2 = σ p+1 .B∈C m×nrank(B)≤pИными словами, относительно спектральной нормы p-ранговое приближениематрицы обеспечивает наименьшее отклонение от первоначальнойматрицы среди всех матриц ранга не более p.Доказательство. <strong>П</strong>редположим, что найдётся такая матрица B, имеющаяранг rank(B) ≤ p, что ‖A − B‖ 2 < ‖A − A p ‖ 2 = σ p+1 . Тогдасуществует(n−p)-мерное подпространствоW ⊂ C n , для которого справедливоw ∈ W ⇒ Bw = 0. <strong>П</strong>ри этом для любого w ∈ W мы имеемAw = (A−B)w, так что‖Aw‖ 2 = ‖(A−B)w‖ 2 ≤ ‖A−B‖ 2 ‖w‖ 2 < σ p+1 ‖w‖ 2 .Таким образом, W является (n−p)-мерным подпространством в C n , вкотором ‖Aw‖ 2 < σ p+1 ‖w‖ 2 .Но в C n имеется (p+1)-мерное подпространство, образованное векторамиv,для которых‖Av‖ 2 ≥ σ p+1 ‖v‖ 2 . Это подпространство, являющеесялинейной оболочкой первых p+1 правых сингулярных векторовматрицы A. <strong>П</strong>оскольку сумма размерностей этого подпространства и

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!