arXiv ScienceSearch

arXiv subjects

Valentin Gutev

Publications and source records attributed to Valentin Gutev.

At least 19 recordsLinked to original sources

On the Variety of Hyperspace Selections

If $f$ is a continuous selection for the Vietoris hyperspace $\mathcal{F}(X)$ of the nonempty closed subsets of a space $X$, then the point $p=f(X)\in X$ is not as arbitrary as it might seem at first glance. In fact, the set $\mathcal{O}_{cs}(X)$ of all these points reveals certain information about the variety of Vietoris continuous selections for $\mathcal{F}(X)$. Thus, for a connected space $X$, we will show that every point $p\in \mathcal{O}_{cs}(X)$ is not only noncut, but also an endpoint of $X$. Another result of this paper is that in an arbitrary topological space $X$, the closure of the set $\mathcal{O}_{cs}(X)$ is always a totally disconnected subset. Furthermore, we will also show that $\mathcal{O}_{cs}(X)$ is a closed subset of every first countable totally disconnected space $X$.

math.GN

Continuous Selections, Function Spaces and Partitions of Unity

The famous Michael selection theorem deals with the characterisation of paracompact spaces by continuous selections of lower semi-continuous mappings in Banach spaces. In this paper, we will discuss several equivalent forms of this theorem, without explicitly mentioning paracompactness. This will be based on a previous result, also obtained by Michael, that a space $X$ is paracompact if and only if every open cover of $X$ has an index-subordinated partition of unity. Thus, we will show that the existence of such partitions of unity on a space $X$ is equivalent to the existence of continuous selections for special lower semi-continuous mappings from $X$ to the nonempty convex subsets of special function spaces.

math.FA

Ordinal Decompositions and Extreme Selections

The paper contains two natural constructions of extreme hyperspace selections generated by special ordinal decompositions of the underlying space. These constructions are very efficient not only in simplifying arguments but also in clarifying the ideas behind several known results. They are also crucial in obtaining some new results for such extreme selections. This is achieved by using special sets called clopen modulo a point. Such sets are naturally generated by a relation between closed sets and points of the space with respect to a given hyperspace selection.

math.GN

On real-valued functions of Lipschitz type

The classical McShane-Whitney extension theorem for Lipschitz functions is refined by showing that for a closed subset of the domain, it remains valid for any interval of the real line. This result is also extended to the setting of locally (pointwise) Lipschitz functions. In contrast to Lipschitz and pointwise Lipschitz extensions, the construction of locally Lipschitz extensions is based on Lipschitz partitions of unity of countable open covers of the domain. Such partitions of unity are a special case of a more general result obtained by Zden\v{e}k Frol\'{\i}k. To avoid the use of Stone's theorem (paracompactness of metrizable spaces), it is given a simple direct proof of this special case of Frol\'{\i}k's result. As an application, it is shown that the locally Lipschitz functions are precisely the locally finite sums of sequences of Lipschitz functions. Also, it is obtained a natural locally Lipschitz version of one of Michael's selection theorems.

math.GN

Two Selection Theorems for Extremally Disconnected Spaces

The paper contains a very simple proof of the classical Hasumi's theorem that each usco mapping defined on an extremally disconnected space has a continuous selection. The paper also contains a very simple proof of a recent result about extension of densely defined continuous selections for compact-valued continuous mappings, in fact a generalisation of this result to all usco mappings with a regular range.

math.GN

Butterfly Points and Hyperspace Selections

If $f$ is a continuous selection for the Vietoris hyperspace $\mathscr{F}(X)$ of the nonempty closed subsets of a space $X$, then the point $f(X)\in X$ is not as arbitrary as it might seem at first glance. In this paper, we will characterise these points by local properties at them. Briefly, we will show that $p=f(X)$ is a strong butterfly point precisely when it has a countable clopen base in $\overline{U}$ for some open set $U\subset X\setminus\{p\}$ with $\overline{U}=U\cup\{p\}$. Moreover, the same is valid when $X$ is totally disconnected at $p=f(X)$ and $p$ is only assumed to be a butterfly point. This gives the complete affirmative solution to a question raised previously by the author. Finally, when $p=f(X)$ lacks the above local base-like property, we will show that $\mathscr{F}(X)$ has a continuous selection $h$ with the stronger property that $h(S)=p$ for every closed $S\subset X$ with $p\in S$.

math.GN

Extension of Hyperspace Selections

In 1951, Ernest Michael wrote a definitive seminal article on hyperspaces raising a general question that became known as the hyperspace selection problem. The present paper contains some aspects of this problem, along with several open questions. Most of these considerations and questions are related to the usual map extension problem, but now in the setting of hyperspaces and hyperspace selections.

math.GN

Paracompactness and Open Relations

The countably paracompact normal spaces were characterised by Dowker and Kat\v{e}tov in terms of an insertion property. Dowker also characterised them by normality of their product with the closed unit interval. Michael used the Dowker-Kat\v{e}tov insertion property to motivate his selection characterisation of these spaces. Morita extended in a natural way Dowker's product characterisation to all $\tau$-paracompact normal spaces. In this paper, we look at these results from the point of view of open relations. Insertions and selections are equivalent for such relations. Furthermore, we obtain a natural characterisation of $\tau$-paracompact normal spaces in terms of selections for convex-valued open relations. Based on this characterisation, we give simple alternative proofs of the above mentioned results. Other applications are obtained as well.

math.GN

Hyperspace Selections Avoiding Points

In this paper, we deal with a hyperspace selection problem in the setting of connected spaces. We present two solutions of this problem illustrating the difference between selections for the nonempty closed sets, and those for the at most two-point sets. In the first case, we obtain a characterisation of compact orderable spaces. In the latter case -- that of selections for at most two-point sets, the same selection property is equivalent to the existence of a ternary relation on the space, known as a cyclic order, and gives a characterisation of the so called weakly cyclically orderable spaces.

math.GN

Insertion of Continuous Set-Valued Mappings

An interesting result about the existence of "intermediate" set-valued mappings between pairs of such mappings was obtained by Nepomnyashchii. His construction was for a paracompact domain, and he remarked that his result is similar to Dowker's insertion theorem and may represent a generalisation of this theorem. In the present paper, we characterise the $\tau$-paracompact normal spaces by this set-valued "insertion" property and for $\tau=\omega$, i.e. for countably paracompact normal spaces, we show that it is indeed equivalent to the mentioned Dowker's theorem. Moreover, we obtain a similar result for $\tau$-collectionwise normal spaces and show that for normal spaces, i.e. for $\omega$-collectionwise normal spaces, our result is equivalent to the Kat\v{e}tov-Tong insertion theorem. Several related results are obtained as well.

math.GN

Simultaneous Extension of Continuous and Uniformly Continuous Functions

The first known continuous extension result was obtained by Lebesgue in 1907. In 1915, Tietze published his famous extension theorem generalising Lebesgue's result from the plane to general metric spaces. He constructed the extension by an explicit formula involving the distance function on the metric space. Thereafter, several authors contributed other explicit extension formulas. In the present paper, we show that all these extension constructions also preserve uniform continuity, which answers a question posed by St. Watson. In fact, such constructions are simultaneous for special bounded functions. Based on this, we also refine a result of Dugundji by constructing various continuous (nonlinear) extension operators which preserve uniform continuity as well.

math.GN

Weak Selections and Suborderable Metrizable Spaces

Each continuous weak selection for a space $X$ defines a coarser topology on $X$, called a selection topology. Spaces whose topology is determined by a collection of such selection topologies are called continuous weak selection spaces. For such spaces, Garc\'ıa-Ferreira, Miyazaki, Nogura and Tomita considered the minimal number $\text{cws}(X)$ of selection topologies which generate the original topology of $X$, and called it the cws-number of $X$. In this paper, we show that $\text{cws}(X)\leq 2$ for every semi-orderable space $X$, and that $\text{cws}(X)=2$ precisely when such a space $X$ has two components and is not orderable. Complementary to this result, we also show that $\text{cws}(X)=1$ for each suborderable metrizable space $X$ which has at least 3 components.

math.GN

Lipschitz Extensions and Approximations

The classical Hahn-Banach theorem is based on a successive point-by-point procedure of extending bounded linear functionals. In the setting of a general metric domain, the conditions are less restrictive and the extension is only required to be Lipschitz with the same Lipschitz constant. In this case, the successive procedure can be replaced by a much simpler one which was done by McShane and Whitney in the 1930s. Using virtually the same construction, Czipszer and Gehér showed a similar extension property for pointwise Lipschitz functions. In the present paper, we relate this construction to another classical result obtained previously by Hausdorff and dealing with pointwise Lipschitz approximations of semi-continuous functions. Moreover, we furnish complementary extension-approximation results for locally Lipschitz functions which fit naturally in this framework.

math.GN

Near-selection theorems for C-spaces

Haver's near-selection theorem deals with approximate selections of Hausdorff continuous CE-valued mappings defined on $σ$-compact metrizable $C$-spaces. In the present paper, we extend this theorem to all paracompact $C$-spaces. The technique developed to achieve this generalisation is based on oriented simplicial complexes. This approach makes not only a considerable simplification in the proof but is also successful in generalising the special case of compact metric $C$-spaces to all paracompact finite $C$-spaces.

math.GN

Constructing Selections Stepwise Over Cones of Simplicial Complexes

It is obtained a natural generalisation of Uspenskij's selection characterisation of paracompact $C$-spaces. The method developed to achieve this result is also applied to give a simplified proof of a similar characterisation of paracompact finite $C$-space obtained previously by Valov. Another application is a characterisation of finite-dimensional paracompact spaces which generalises both a remark done by Michael and a result obtained by the author.

math.GN

Selections and Higher Separation Axioms

This survey presents some historical background and recent developments in the area of selections for set-valued mappings along with several open questions. It was written with the hope that the presented material may pique an interest in the selection problem for set-valued mappings --- a problem with a fascinating history and appealing applications.

math.GN

Constructing Selections Stepwise Over Skeletons of Nerves of Covers

It is given a simplified and self-contained proof of the classical Michael's finite-dimensional selection theorem. The proof is based on approximate selections constructed stepwise over skeletons of nerves of covers. The method is also applied to simplify the proof of the Schepin--Brodsky's generalisation of this theorem.

math.GN

Coarser Compact Topologies

It is introduced the concept of a quasi-king space, which is a natural generalisation of a king space. In the realm of suborderable spaces, king spaces are precisely the compact spaces, so are the quasi-king spaces. In contrast, quasi-king spaces are more flexible in handling coarser selection topologies. The main purpose of this paper is to show that a weakly orderable space is quasi-king if and only if all of its coarser selection topologies are compact.

math.GN