Теоремы непрерывности для одного класса вычислимых операторов
М. Х. Файзрахманов Казанский (Приволжский) федеральный университет
Аннотация:
Исследуются вычислимые операторы, соответствующие концепции
вычислимо перечислимого слева вещественного числа, называемые
$\mathrm{L}$-
операторами,
и распространенные в конструктивном математическом анализе школы
А. А. Маркова свойства их непрерывности. Доказано, что любой
$\mathrm{L}$-оператор является неубывающим и почти непрерывным слева. Построен пример
$\mathrm{L}$-оператора, который не является в некоторой точке ни непрерывным слева, ни
псевдонепрерывным справа. Найден критерий почти непрерывности
$\mathrm{L}$-оператора. С помощью этого критерия доказано, что почти непрерывные
$\mathrm{L}$-операторы могут не быть непрерывными и псевдоравномерно непрерывными на отрезке.
Библиография: 12 названий.
Ключевые слова:
конструктивное число, вычислимо перечислимое слева число, псевдочисло, непрерывный оператор, почти непрерывный оператор, псевдонепрерывный оператор.
УДК:
510.57+
510.25
MSC: 03D78,
03F60 Поступило: 28.05.2024
Исправленный вариант: 08.07.2024
DOI:
10.4213/mzm14387