Доклады Российской академии наук. Математика, информатика, процессы управления, 2021, T. 496, № 1, стр. 79-79

Исправление к статье: Сохранение нулей у семейства многозначных функционалов и приложения к теории неподвижных точек и совпадений

Ю. Н. Захарян, Т. Н. Фоменко

Полный текст (PDF)

Исправление к статье: СОХРАНЕНИЕ НУЛЕЙ У СЕМЕЙСТВА МНОГОЗНАЧНЫХ ФУНКЦИОНАЛОВ И ПРИЛОЖЕНИЯ К ТЕОРИИ НЕПОДВИЖНЫХ ТОЧЕК И СОВПАДЕНИЙ

Ю. Н. Захарян, Т. Н. Фоменко

10.31857/S2686954320040220

Доклады РАН. Математика, информатика, процессы управления. 2020, том 493, № 1, с. 13–17.

Абзац, начинающийся на с. 14 (левый столбец, 3 строка снизу), должен читаться так:

Многозначный функционал $\Phi {\kern 1pt} :\;Y \rightrightarrows {{\mathbb{R}}_{ + }}$ называется (α, β)-поисковым на Y, если для любой точки $x \in Y$ и любых таких $c \in \Phi (x)$ и $r > 0$, что $B(x,r) \subseteq Y$ и $c \leqslant (\alpha - \beta )r$, существуют точка $x{\kern 1pt} ' \in Y$ и значение $c{\kern 1pt} ' \in \Phi (x{\kern 1pt} ')$, для которых $d(x,x{\kern 1pt} ') \leqslant \frac{1}{\alpha }c$ и $c{\kern 1pt} ' \leqslant \frac{\beta }{\alpha }c$.

второе условие в теореме 3 должно читаться так:

2) для любого $x \in \overline U $ и для любых таких $y \in {{T}_{t}}(x)$ и r > 0, что $B(x;r) \subseteq \overline U $ и $d(y,Q) \leqslant (\alpha - \beta )r$, существуют точка $x{\kern 1pt} ' \in \overline U $ и значение $y{\kern 1pt} ' \in {{T}_{t}}(x{\kern 1pt} ')$, такие что $\rho (x,x{\kern 1pt} ') \leqslant \tfrac{1}{\alpha }d(y,Q)$ и $d(y{\kern 1pt} ',Q) \leqslant \tfrac{\beta }{\alpha }d(y,Q)$;

Все результаты статьи верны. Приносим искренние извинения редакции и читателям за допущенные неточности.

Авторы Ю.Н. Захарян, Т.Н. Фоменко

Исправление к статье: АБДУКТИВНЫЕ РАССУЖДЕНИЯ В ЗАДАЧАХ ОБЪЯСНЕНИЯ НАБЛЮДАЕМОГОАкадемик РАН С. Н. Васильев10.31857/S2686954320040190Доклады РАН. Математика, информатика, процессы управления. 2020, том 493, № 1, с. 90–94.На с. 93 формулировка теоремы 1 должна быть заменена на следующую.Теорема 1. Из выводимости формулы F 0в исчислении ${{\mathbb{C}}_{\alpha }}$ следует ее противоречивость. Обратное верно, если в области действия каждой базы из F 0 объединение ее конъюнкта с конъюнктами других вершин не содержит контрарных литералов.Академик РАН С.Н. Васильев

Дополнительные материалы отсутствуют.

Инструменты

Доклады Российской академии наук. Математика, информатика, процессы управления