Диагональный Процесс

Метод построения по последовательности, состоящей из последовательностей последовательности a=(a1, a2,a3, . ..), где ai неравно aii для любых i=1, 2, 3, . . . , либо а i=а ii для всех г. Д. п. в первой форме в 1874 применил Г. Кантор (см. [1]) при доказательстве несчетности множества действительных чисел из отрезка [0, 1], поэтому его часто наз. канторовым Д. п. Вторая форма Д. п. применяется в теории функций действительного и комплексного переменного для выделения из ограниченного на множестве Есемейства функций последовательности функций, сходящейся на счетном подмножестве из Е. Д. п. перенумерации ставит в соответствие кратной последовательности , i=1, 2, 3, ... ; k=1,2, 3, ... , последовательность а 11, а 12, а 13; ...;а k1, а k-1,2, ..., а k-i, i+1, ..., а1k ; ... и применяется, напр., для доказательства счетности счетного множества счетных множеств (см. [2]). Лит.:[1] Cantor G., Gesammelte Abhandlungen, В., 1932 ("J. reine und angew. Math.", 1874, Bd 77, S. 258-62); [2] Колмогоров А. H., Фомин С. В., Элементы теории функций и функционального анализа, 4 изд., М., 1976; [3] Петер Р., Рекурсивные функции, пер. с нем., М., 1954, §§ 11, 19; [4] Клини С. К., Математическая логика, пер. с англ., М., 1973, §§ 33, 34; [5] Шёнфилд Д ж. Р., Математическая логика, пер. с англ., М., 1975, §§ 6.8, 7.5 — 7.9, 9.2- 9.4. Ю. Я. Субботин.