Линейная алгебра. Теоремы и алгоритмы. Яцкин Н.И. - 278 стр.

278    Спектральная теория линейных эндоморфизмов                           Гл. 3

возможно, но лишь — случайно.) Достижение такого состояния в
цепочке содержащих базисы матриц как раз и является целью обра-
ботки базисов.
  3. Вычисление матрицы J0 , отвечающей (в жордановом базисе)
сужению ϕ0 л.э. ϕ на стабильное ядро. (Подчеркнем, что матрица J0
может быть определена по итерированным дефектам и их первым и
вторым приращениям до построения самого жорданова базиса G0 .)
  3.1. Если l = 1, то матрица является нулевой: J0 = O.
  3.2. Если l > 1, то по последовательности

                 d(1) ; d(2) ; d(3) ; ... ; d(l−2) ; d(l−1) ; d(l)         (25.23)

итерированных дефектов построим последовательность

                 p(1) ; p(2) ; p(3) ; ... ; p(l−2) ; p(l−1) ; p(l)         (25.24)

приращений

         p(1) = d(1) ; p(k) = d(k) − d(k−1) (k = 2, ... , l)               (25.25)

и последовательность

                 q (1) ; q (2) ; q (3) ; ... ; q (l−2) ; q (l−1) ; q (l)   (25.26)

абсолютных вторых приращений

       q (k) = p(k) − p(k+1) (k = 1, ... , l − 1); q (l) = p(l) .          (25.27)

   3.3. По приращениям (25.24) строится (но пока не заполняется)
столбчатая диаграмма D0 вида 25.1 (см. прил. 3): она должна содер-
жать d(l) ячеек, сгруппированных в l строк (занумерованных снизу
вверх и выровненных по левому краю); на k-м этаже должно распо-
лагаться p(k) ячеек (k = 1, ... , l).
   3.4. Матрица J0 размера m × m строится как блочно-диагональ-
ная: сначала идут q (l) блоков (н.ж.я.) Jl (0) максимального размера
l × l, затем ящики идут в порядке убывания их размеров, причем ко-
личество (k × k)-ящиков равняется q (k) (если это число равно нулю,
то ящики соответствующего размера отсутствуют). Схема строения
матрицы J0 показана на диагр. 25.2 в прил. 3. (В пояснениях к этой
диаграмме о жордановых ящиках говорится как о "малых" блоках;