Все выпуски

Любое бинарное отношение σ⊆X (где X - произвольное множество) порождает на множестве X² характеристическую функцию: если (x,y)∈σ, то σ(x,y)=1, а иначе σ(x,y)=0. В терминах характеристических функций на множестве всех бинарных отношений множества X вводится понятие бинарного рефлексивного отношения смежности и определяется алгебраическая система, состоящая из всех бинарных отношений множества и из всех неупорядоченных пар различных смежных бинарных отношений. Если X - конечное множество, то эта алгебраическая система - граф («граф графов»).

Показано, что если σ и τ - смежные отношения, то σ является частичным порядком тогда и только тогда, когда τ является частичным порядком. Исследованы некоторые особенности строения графа G(X) частичных порядков. В частности, если X состоит из n элементов, а T₀(n) - это число помеченных T₀-топологий, определенных на множестве X, то количество вершин в графе G(X) равно T₀(n), а количество компонент связности равно T₀(n-1).

Для всякого отношения частичного порядка σ определяется понятие его опорного множества S(σ), являющегося некоторым подмножеством множества X. Если X - конечное множество, а частичные порядки σ и τ принадлежат одной и той же компоненте связности графа G(X), то равенство S(σ)=S(τ) имеет место тогда и только тогда, когда σ=τ. Показано, что в каждой компоненте связности графа G(X) совокупность опорных множеств ее элементов является специфическим частично упорядоченным множеством относительно естественного отношения включения множеств.

Любое бинарное отношение $\sigma\subseteq X^2$ (где $X$ - произвольное множество) порождает на множестве $X^2$ характеристическую функцию: если $(x,y)\in\sigma,$ то $\sigma(x,y)=1,$ а иначе $\sigma(x,y)=0.$ В терминах характеристических функций на множестве всех бинарных отношений множества $X$ вводится понятие бинарного рефлексивного отношения смежности и определяется алгебраическая система, состоящая из всех бинарных отношений множества и из всех неупорядоченных пар различных смежных бинарных отношений. Если $X$ - конечное множество, то эта алгебраическая система - граф («граф графов»).
Показано, что если $\sigma$ и $\tau$ - смежные отношения, то $\sigma$ является рефлексивно-транзитивным отношением тогда и только тогда, когда $\tau$ является рефлексивно-транзитивным отношением. Исследованы некоторые особенности строения графа $G(X)$ рефлексивно-транзитивных отношений. В частности, если $X$ состоит из $n$ элементов, а $T_0(n)$ - это число помеченных $T_0$-топологий, определенных на множестве $X,$ то количество компонент связности равно $\sum_{m=1}^n S(n,m) T_0(m-1),$ где $S(n,m)$ - числа Стирлинга 2-го рода. $($Хорошо известно, что количество вершин в графе $G(X)$ равно $\sum_{m=1}^nS(n,m) T_0(m).)$

Рассматриваются пространства, всякие подпространства которых компактны. Будем называть такие пространства наследственно компактными. В работе рассматриваются вопросы о существовании и способах построения наследственно компактных T₁-топологий. Доказано существование 2^τ попарно несравнимых наследственно компактных T₁-топологий на бесконечном множестве X мощности τ. Получены характеристики наследственно компактных пространств. Доказано, что тихоновское произведение конечного числа наследственно компактных T₁-пространств является наследственно компактным T₁-пространством. Доказано, что тихоновское произведение бесконечного числа неодноточечных наследственно компактных T₁-пространств не является наследственно компактным.

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

Прямая Зоргенфрея – это вещественная прямая с топологией, база которой состоит из всех полуинтервалов, открытых справа. В работе доказывается, что при натуральных m > 1 не существует непрерывного замкнутого отображения m-й степени прямой Зоргенфрея на саму прямую Зоргенфрея, и что при натуральных n > 2 не существует непрерывного факторного отображения квадрата прямой Зоргенфрея на n-ю степень прямой Зоргенфрея.

Топологический изолятор - особый тип материала, который внутри («в объеме») представляет собой изолятор, а на поверхности проводит электрический ток. Простейшим топологическим изолятором является конечная цепочка атомов в полиацетилене. Тематика топологических изоляторов в рамках физики твердого тела очень актуальна в последнее время. Большой интерес в физической литературе к топологическим изоляторам (а также похожим на них в смысле топологии сверхпроводящим системам) в значительной степени вызван наличием связи, «соответствием» между «объемом» и «границей». В данной статье рассматривается дискретная модель SSH (Su-Schrieffer-Heeger) для полиацетилена, описывающая электрон в одномерной цепочке атомов с двумя чередующимися амплитудами перехода на соседний атом. Найдены резольвента и спектр рассматриваемого оператора. Исследованы квазиуровни (собственные значения и резонансы) в случае малого потенциала. Кроме того, найдено решение уравнения Липпмана-Швингера и получены асимптотические формулы для вероятностей прохождения и отражения в случае малого возмущения.

Рассматривается задача о соблюдении ограничений асимптотического характера (ОАХ) и ее расширение в классе ультрафильтров (у/ф) широко понимаемого измеримого пространства. Исследуется представление множества допустимых обобщенных элементов в виде множества притяжения (МП), отвечающего заданной системе ОАХ. В частности, исследуется вопрос о непустоте данного МП при весьма общих предположениях относительно измеримой структуры, на которой определяются соответствующие у/ф. Упомянутая структура задается $\pi$-системой с «нулем» и «единицей» ($\pi$-система есть непустое семейство множеств, замкнутое относительно конечных пересечений). Семейство у/ф оснащается при этом топологией волмэновского типа.

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