Сюръекция

локально-выпуклое пространство X, топология к-рого задается с помощью счетной совокупности согласованных норм т. Е. Таких, что если последовательность фундаментальная по нормам и по одной из них сходится к нулю, то по второй также сходится к нулю. Последовательность норм можно заменить неубывающей, при p<q, порождающей ту же топологию с базой окрестностей нуля С. Н. Метризуемо, и метрика может быть задана равенством Пример С. П.- пространство целых аналитических в единичном круге |z..

нумерация,- совокупность приемов представления натуральных чисел. В любой системе счисления (с. С.) нек-рые символы (слова или знаки) служат для обозначения определенных чисел, наз. Узловыми, остальные числа (алгоритмические) получаются в результате каких-либо операций из узловых чисел. С. С. Различаются выбором узловых чисел и способами образования алгоритмических, а с появлением письменных обозначений числовых символов с. С. Стали различаться характером числовых знаков и принципами их записи...

- см. Хотеллинга Т2 -распределение. ..

Tt- сводимост ь,- специальный вид алгоритмической сводимости. Пусть Аи В - два подмножества натурального ряда. Говорят, что Атаблично сводится к В (обозначение. если существует алгоритм f, к-рый по всякому натуральному числу астроит булеву функцию (функция задается, напр., своей таблицей, число аргументов функции может зависеть от а) и числа b1, . ., b п такие, что принадлежность а к B эквивалентна истинности Отношение является предпорядком на множестве всех подмножеств натурального ряда..