Ну они берутся вот откуда: если взять итерационный процесс


(

на самом деле можно рассматривать не как отображение между матричными алгебрами, а как отображение некоторой более широкой

-алгебры в себя)
то не очень сложно показать, что

, поэтому если бы этот итерационный процесс сходился, то его предел имел бы норму

, а я очень хочу показать, что он сходится. Поэтому мне достаточно только информации о точках

, а

в принципе вот.
-- 29.06.2016, 04:20 --Собственно, потому что инвариантная постановка будет с

,

и

произвольны,

. Всегда хорошо избавиться от лишнего параметра.
Ну

на самом деле - это

я просто сделал замену

.