Все выпуски

Рассматривается вопрос о существовании рекуррентных и почти рекуррентных сечений многозначных отображений R ∋ t → F(t) ∈ compU с непустыми компактными образами F(t) в полном метрическом пространстве U. На множестве compU вводится метрика Хаусдорфа dist. Рекуррентные и почти рекуррентные многозначные отображения определяются как функции со значениями в метрическом пространстве (compU, dist). Доказано существование рекуррентных (почти рекуррентных) сечений многозначных рекуррентных (соответственно, почти рекуррентных) равномерно абсолютно непрерывных отображений. Рассматриваются также отображения R ∋ t → F(t), образы которых состоят из конечного числа точек (зависящего от t). Доказано, что если такое отображение почти рекуррентно, то у него существует почти рекуррентное сечение. Многозначное рекуррентное отображение, образы F(t) которого для всех t ∈ R состоят не более чем из n точек (где n ∈ N), имеет рекуррентное сечение. Если образы многозначного рекуррентного (почти рекуррентного) отображения t → F(t) при всех t ∈ R состоят из n точек, то все n непрерывных сечений отображения F рекуррентны (почти рекуррентны).

In the paper, we consider the problem of existence of recurrent and almost recurrent selections of multivalued mappings R ∋ t → F(t) ∈ compU with nonempty compact sets F(t) in a complete metric space U. The set compU is equipped with the Hausdorff metric dist. Recurrent and almost recurrent multivalued maps are defined as the functions with values in the metric space (compU, dist). It is proved that there are recurrent (almost recurrent) selections of multivalued recurrent (almost recurrent) uniformly absolutely continuous maps. We also consider mappings R ∋ t → F(t) with the sets F(t) consisting of a finite number of points (the number depends on the t ∈ R). We prove that if such a map is almost recurrent, then it has an almost recurrent selection. A multivalued recurrent mapping t → F(t) with sets F(t) consisting of at most n points (where n ∈ N) has a recurrent selection. If the sets F(t) of a multivalued recurrent (almost recurrent) mapping t → F(t) consist of n points for all t ∈ R, then all n continuous selections of the map F are recurrent (almost recurrent).

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

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

Полученная двухсторонняя оценка числа убегающих, достаточного для уклонения от встречи из любой начальной позиции от заданного числа преследователей, иллюстрируется примерами.

A linear non-stationary differential pursuit game with a group of pursuers and a group of evaders is considered. The pursuers' goal is to catch all evaders and the evaders' goal is at least for one of them to avoid contact with pursuers.

All players have equal dynamic capabilities, geometric constraints on the control are strictly convex compact set with smooth boundary. The point in question is the minimum number of evaders that is sufficient to evade a given number of pursuers from any initial position. Sufficient conditions for the solvability of the global problem of evasion are used as an upper estimate of this minimum. We assume that to capture one evader it suffices that the initial position of this evader lie in the interior of convex hull of initial positions of pursuers. Using this assumption we find a lower estimate of this minimum.

The obtained two-sided estimate of the number of evaders sufficient to avoid contact with a given number of pursuers from any initial position is illustrated by examples.

Работа посвящена изучению наилучших равномерных рациональных приближений (НРРП) непрерывных функций на компактных, в том числе конечных, подмножествах числовой оси $\mathbb{R}$. Показано, что НРРП на конечном множестве существует не всегда. Более подробно изучен алгоритм Гельмута Вернера поиска НРРП вида $P_m/Q_n = \sum\limits_{i=0}^m a_i x^i \big/ \sum\limits_{j=0}^n b_j x^j$ для функций на множестве из $N=m+n+2$ точек $x_1<\ldots<x_N$. Этот алгоритм может использоваться в алгоритме Ремеза поиска НРРП на отрезке. При работе алгоритма Вернера вычисляется $(n+1)$ вещественное собственное значение $h_1,\ldots,h_{n+1}$ для пучка матриц $A-hB$, где $A$ и $B$ - некоторые симметричные матрицы. Каждому собственному значению сопоставляется своя рациональная дробь вида $P_m/Q_n$, являющаяся кандидатом на наилучшее приближение. Поскольку не более одной из этих дробей свободны от полюсов на отрезке $[x_1, x_N]$, то возникает задача отыскания того собственного значения, которому соответствует рациональная дробь без полюсов. В работе показано, что если $m=0$, все значения $f(x_1),-f(x_2),\ldots,(-1)^{n+2} f(x_{n+2})$ различны и НРРП положительно (отрицательно) во всех точках $x_1,\ldots,x_{n+2}$, то это собственное значение занимает $[(n+2)/2]$-е ($[(n+3)/2]$-е) место по величине. Приведены три численных примера, иллюстрирующих это утверждение.

The paper deals with the best uniform rational approximations (BURA) of continuous functions on compact (and even finite) subsets of real axis $\mathbb{R}$.The authors show that BURA does not always exist. They study the algorithm of Helmut Werner in more detail. This algorithm serves to search for BURA of the type $P_m/Q_n = \sum\limits_{i=0}^m a_i x^i \big/ \sum\limits_{j=0}^n b_j x^j$ for functions on a set of $N=m+n+2$ points $x_1<\ldots<x_N$. It can be used within the Remez algorithm of searching for BURA on a segment. The Verner algorithm calculates $(n+1)$ real eigenvalues $h_1,\ldots,h_{n+1}$ for the matrix pencil $A-hB$, where $A$ and $B$ are some symmetric matrices. Each eigenvalue generates a rational fraction of the type $P_m/Q_n$ which is a candidate for the best approximation. It is known that at most one of these fractions is free from poles on the segment $[x_1, x_N]$, so the following problem arises: how to determine the eigenvalue which generates the rational fraction without poles? It is shown that if $m=0$ and all values $f(x_1),-f(x_2),\ldots,(-1)^{n+2} f(x_{n+2})$ are different and the approximating function is positive (negative) at all points $x_1,\ldots,x_{n+2}$, then this eigenvalue ranks $[(n+2)/2]$-th ($[(n+3)/2]$-th) in value. Three numerical examples illustrate this statement.

В работе рассматриваются вопросы, связанные со сходящимися последовательностями в $T_1$-пространствах. Свойства $T_1$-пространств, в том числе и сходимость последовательностей в них, отличаются от аналогичных свойств хаусдорфовых пространств, в частности, предел сходящейся последовательности может быть не единствен. Наиболее ярко эти особенности демонстрирует минимальное $T_1$-пространство. В работе рассматриваются вопросы, порожденные свойствами минимального $T_1$-пространства. Рассматриваются свойства пространств, в которых всякая последовательность является сходящейся (теоремы 1 и 2 и пример 1). Одной из основных является проблема связи между сходимостью последовательностей и свойствами подпространств. Хорошо известно, что компактность, счетная компактность и секвенциальная компактность не эквивалентны в общем случае. Однако, доказано (теорема 7), что наследственные секвенциальная компактность, счетная компактность и компактность эквивалентны.

We consider problems connected with the notion of convergent sequences in $T_1$-spaces. The properties of $T_1$-spaces and convergent sequences in these spaces considerably differ from the same properties of Hausdorff spaces. We consider problems connected with the properties of the minimal $T_1$-space. We consider properties of spaces where every sequence is a convergent sequence (Theorems 1 and 2 and Example 1). One of the main problems is the connection between convergent sequences and the properties of subspaces of the space. It is well known that the compactness, countable compactness and sequential compactness are not equivalent in general. We prove (Theorem 7) that hereditary sequential compactness, compactness and countable compactness are equivalent.

Изучаются свойства простых идеалов в полукольцах непрерывных функций на топологических пространствах со значениями в единичном отрезке [0, 1]. Описаны максимальные идеалы полуколец непрерывных [0, 1]-значных функций. В терминах полуколец функций получены характеризации ряда свойств компактов. Показано, что теория идеалов в рассматриваемых полукольцах отличается от случая колец
непрерывных функций.

The properties of the prime ideals in semirings of the continuous functions on topological spaces with values in [0, 1] are researches. Maximal ideals of the semirings of continuous [0, 1]-valued functions are described. The characterizations of the compacts are received in terms of semiring of the functions. It is shown that the theory of ideals in considered semirings differs from the case of rings of continuous functions.

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

We consider spaces, any subspaces of which are compact. We call such spaces hereditarily compact. The present work covers questions on the existence and methods of constructing hereditarily compact T₁-topologies. We prove the existence of 2^τ  pairwise incomparable hereditarily compact T₁-topologies on an infinite set $X$ of power τ. The characteristics of hereditarily compact spaces are obtained. It is proved that the Tychonoff product of a finite number of hereditarily compact T₁-spaces is a hereditarily compact T₁-space, but the Tychonoff product of an infinite number of nonsingleton hereditarily compact T₁-spaces is not hereditarily compact

Рассматривается линейная задача преследования группой преследователей двух убегающих при равных динамических возможностях всех участников и с фазовыми ограничениями на состояния убегающих в предположении, что убегающие используют одно и то же управление. Движение каждого участника имеет вид $\dot z+a(t)z=w.$ Геометрические ограничения на управления - строго выпуклый компакт с гладкой границей, терминальные множества - начало координат. Предполагается, что убегающие в процессе игры не покидают пределы выпуклого конуса. Целью преследователей является поимка двух убегающих, цель группы убегающих противоположна. Говорят, что в задаче преследования происходит поимка, если существуют два преследователя, из заданной группы преследователей, которые ловят убегающих, при этом моменты поимки могут не совпадать. В терминах начальных позиций получены достаточные условия поимки двух убегающих. Приведены примеры, иллюстрирующие полученные результаты.

We consider a linear problem of pursuing two evaders by a group of persecutors in case of equal dynamic opportunities of all participants and under phase restrictions imposed on the states of evaders. We assume that the evaders use the same control. The movement of each participant has the form $ \dot z + a (t) z = w. $ Geometric constraints on the control are strictly convex compact set with smooth boundary, and terminal sets are the origin of coordinates. It is assumed that the evaders do not leave the convex cone. The aim of a group of pursuers is to capture two evaders; the aim of a group of evaders is opposite. We say that a capture holds in the problem of pursuing two evaders if among the specified number of pursuers there are two of them who catch the evaders, possibly at different times. We obtain sufficient conditions for capturing two evaders in terms of initial positions. The results obtained are illustrated by examples.

Рассматривается задача уклонения убегающего от группы преследователей в конечномерном евклидовом пространстве. Движение описывается линейной системой дробного порядка вида $$\left({}^C D^{\alpha}_{0+}z_i\right)=A z_i+u_i-v,$$ где ${}^C D^{\alpha}_{0+}f$ - производная по Капуто порядка $\alpha\in(0,1)$ функции $f$, $A$ - простая матрица. В начальный момент времени заданы начальные условия. Управления игроков ограничены одним и тем же выпуклым компактом. Убегающий дополнительно стеснен фазовыми ограничениями - выпуклым многогранным множеством c непустой внутренностью. В терминах начальных позиций и параметров игры получены достаточные условия разрешимости задачи уклонения.

The paper deals with the problem of avoiding a group of pursuers in the finite-dimensional Euclidean space. The motion is described by the linear system of fractional order $$\left({}^C D^{\alpha}_{0+}z_i\right)=A z_i+u_i-v,$$ where ${}^C D^{\alpha}_{0+}f$ is the Caputo derivative of order $\alpha\in(0,1)$ of the function $f$ and $A$ is a simple matrix. The initial positions are given at the initial time. The set of admissible controls of all players is a convex compact. It is further assumed that the evader does not leave the convex polyhedron with nonempty interior. In terms of the initial positions and the parameters of the game, sufficient conditions for the solvability of the evasion problem are obtained.

Рассматриваются кардинально-значные характеристики $T_1$-пространств и их взаимосвязи. Доказано, что для самосопряженных $T_1$-пространств, то есть пространств, в которых множество замкнуто тогда и только тогда, когда оно компактно, выполняется неравенство $t(X)\leqslant\psi(X)$, где $t(X)$ - теснота, $\psi(X)$ - псевдохарактер пространства $X$. Показано, что в общем случае в компактных $T_1$-пространствах связь между теснотой и псевдохарактером не существует. Приведен пример компактного $T_1$-пространства $X$ такого, что $t(X)>\omega$ и $\psi(X) =\omega$, и приведен пример $T_1$-пространства $X$ такого, что $t(X)=\omega$ и $\psi(X) >\omega$.

We consider the relationship between the pseudocharacter $\psi(X)$ and the tightness $t(X)$ of compact $T_1$-spaces $X$. We prove that $t(X)\leqslant\psi(X)$ for self-adjoined $T_1$-spaces, i.e., the spaces where a subset is closed if and only if it is compact. We also show that in general for compact $T_1$-spaces there is no relationship between these cardinal invariants. We give an example of a compact $T_1$-space such that the tightness of this space is uncountable, but its pseudocharacter is countable. Another example shows the space $X$ whose tightness is countable, but its pseudocharacter is uncountable.

В данной статье исследуются специфические особенности соотношений между топологической и алгебраической структурами квазигрупп и луп. Исследуется измеримость подмножеств топологических квазигрупп и луп относительно инвариантных мер. Изучается семейство неизмеримых подмножеств в локально компактных недискретных лупах. Выясняется существование локально $\mu$-нулевых подмножеств, не являющихся $\mu$-нулевыми, в локально компактной левой квазигруппе, не являющейся $\sigma$-компактной. Исследуются факторпространства измеримых пространств на квазигруппах. Более того, изучаются однородные пространства квазигрупп, а также счетная отделимость подмножеств в них.

In this paper we study specific features of the relations between topological and algebraic structures of quasigroups and loops. We study the measurability of subsets of topological quasigroups and loops with respect to invariant measures. We study the family of non-measurable subsets in locally compact non-discrete loops. We find out the existence of locally $\mu $-zero subsets that are not $\mu $-zero in a locally compact left quasigroup that is not $\sigma $-compact. We study quotient spaces of measurable spaces on quasigroups. Moreover, we study homogeneous spaces of quasigroups and countable separability of subsets in them.