О конструктивных отображениях конечных полиэдров

Строятся конструктивные аналоги следующих понятий классической комбинаторной топологии: конечный симплициальный комплекс, тело комплекса, триангулируемое пространство, симплициальное отображение, симплициальная аппроксимация и др. Используя понятие псевдоравномерно непрерывного конструктивного отображения, являющегося некоторым обобщением понятия равномерно непрерывного конструктивного отображения, доказываются следующие утверждения.
1) Невозможна псевдоравномерно непрерывная конструктивная ретракция $n$-мерного шара на свою границу.
2) Каковы бы ни были псевдоравномерно непрерывное конструктивное отображение $f$ $n$-мерного шара в себя и рациональное положительное число $a$, можно построить такую точку из этого шара, что она смещается под действием отображения/меньше чем на $a$.
3) Каковы бы ни были псевдоравномерно непрерывное конструктивное касательное векторное поле $F$, заданное на сфере четной размерности, и положительное рациональное число $a$, можно построить такую точку $V$ из этой сферы, что норма вектора $F(V)$ меньше чем $a$.
Библ. – 12 назв.