Все выпуски

Доказана теорема, вводящая эквивалентные определения для некоторых пределов сходящихся последовательностей в расширении Белла счетного дискретного пространства.

Рассматривается игровая задача на максимин функции платы, определенной на произведении множеств притяжения терминальных состояний систем первого и второго игрока. Данные множества притяжения найдены с помощью конструкций расширения в классе конечно-аддитивных мер.

Исследуются свойства правильных функций, а также ограниченных функций, имеющих не более чем счетное множество точек разрыва (названных $\sigma$-непрерывными). Доказана теорема об интегрируемости по Риману-Стилтьесу $\sigma$-непрерывных функций по непрерывным функциям ограниченной вариации, а также предельная теорема Хелли для таких интегрируемых и интегрирующих функций. Процесс интегрирования по Риману-Стилтьесу расширяется на случай интегрирования $\sigma$-непрерывных функций по произвольным функциям ограниченной вариации: вводится $(*)$-интеграл как сумма классического интеграла Римана-Стилтьеса по непрерывной части функции ограниченной вариации и суммы произведений значений интегрируемой функции на скачки интегрирующей. Таким образом, $(*)$-интеграл позволяет интегрировать разрывные функции по разрывным. Все свойства $(*)$-интеграла выводятся непосредственно из этого определения. Так, для $(*)$-интеграла доказывается формула интегрирования по частям, теорема о перемене порядка интегрирования, а также все необходимые для дальнейшегоприменения предельные теоремы, в том числе предельная теорема типа теоремы Хелли.

В первой части определено и исследовано нелинейное метрическое пространство $\langle\overline{\rm G}^\infty[a,b],d\rangle$, состоящее из функций, действующих из отрезка $[a,b]$ в расширенную числовую ось $\overline{\mathbb R}$. По определению предполагается, что для любых $x\in\overline{\rm G}^\infty[a,b]$ и $t\in(a,b)$ существуют предельные числа $x(t-0),x(t+0)\in\overline{\mathbb R}$ (и числа $x(a+0),x(b-0)\in\overline{\mathbb R}$). Доказана полнота пространства. Оно является замыканием пространства ступенчатых функций в метрике $d$. Во второй части работы определено и исследовано нелинейное пространство ${\rm RL}[a,b]$. Всякая кусочно-гладкая функция, определенная на $[a,b]$, содержится в ${\rm RL}[a,b]$. Всякая функция $x\in{\rm RL}[a,b]$ имеет ограниченное изменение. Для нее определены все односторонние производные (со значениями в метрическом пространстве $\langle\overline{\mathbb R},\varrho\rangle$). Функция левосторонних производных непрерывна слева, а функция правосторонних производных непрерывна справа. Обе функции, доопределенные на весь отрезок $[a,b]$, принадлежат пространству $\overline{\rm G}^\infty[a,b]$. В заключительной части работы определены и исследованы два подпространства пространства ${\rm RL}[a,b]$. В подпространствах сформулированы и обсуждены перспективные постановки для простейших вариационных задач.

Изучается бикомпактное расширение счётного дискретного пространства, построенное как пространство Стоуна одной булевой алгебры. Получены новые классы точек этого расширения.

Рассматривается компактификация BN счётного дискретного пространства N. В данной работе описаны свойства замыканий подмножеств BN, состоящих из различных классов точек. Показано существование точек, не принадлежащих классам, выделенным ранее.

Рассматривается абстрактная  задача управления и ее релаксации, связанные с ослаблением ограничений на выбор управляющих программ. Исследуются соотношения, связывающие множества допустимых элементов исходной задачи и ее расширения. Получены условия, достаточные для устойчивости (с точностью до замыкания) достижимого множества невозмущенной задачи.

Рассматривается одна булева алгебра и ее пространство Стоуна как бикомпактное расширение счетного дискретного пространства. Доказаны некоторые свойства этого расширения.

В данной работе рассматривается булева алгебра того же типа, что и алгебра, построенная Беллом, и пространство Стоуна этой булевой алгебры. Данное пространство является компактификацией счетного дискретного пространства N. Доказано существование изолированных точек в наросте данной компактификации, которые являются пределами некоторых сходящихся последовательностей. Также доказано, что любое открыто-замкнутое подмножество нашего пространства, которое гомеоморфно βω, является замыканием объединения конечного числа антицепей из N. В конце приведены два примера: замкнутое подмножество нароста без изолированных точек, которое не гомеоморфно βω\ω; подмножество нароста, которое гомеоморфно βω\ω, но не является замкнутым.

Проблема П.С. Новикова для суперинтуиционистской логики $L$ состоит в описании семейства всех максимальных консервативных (то есть полных по П.С. Новикову) расширений $L$ в обогащенном дополнительными логическими связками и константами языке. В связи с континуальностью семейства всех суперинтуиционистских логик имеет смысл рассматривать проблему П.С. Новикова применительно к логикам, уже попавшим по тем или иным причинам в поле зрения исследователей.

Известно, что существуют три так называемые предтабличные суперинтуиционистские логики (то есть не являющиеся табличными, но такие, что все их собственные расширения уже табличны). Одна из них - логика $L2$ - характеризуется классом корневых упорядоченных множеств глубины 2. Установлено, что для суперинтуиционистской логики $L2$ в языке с единственной дополнительной константой существует ровно пять полных по Новикову расширений; дано их семантическое описание.

В настоящей работе предлагается явная аксиоматика гильбертовского типа для каждого из пяти существующих полных по П.С. Новикову расширений суперинтуиционистской логики $L2$ в языке с одной дополнительной логической константой.