On extensions of uniformly continuous Banach-space-valued mappings
We investigate an algebraic notion of decidability which allows a uniform investigation of a large class of notions of forcing. Among other things, we show how to build σ-fields of sets connected with Laver and Miller notions of forcing and we show that these σ-fields are closed under the Suslin operation.
We prove that the Wyler completion of the unitary Cauchy space on a given Hausdorff topological 5 monoid consisting of the underlying set of this monoid and of the family of unitary Cauchy filters on it, is a T2-topological space and, in the commutative case, an abstract monoid containing the initial one.
Fixed circle problems belong to a realm of problems in metric fixed point theory. Specifically, it is a problem of finding self mappings which remain invariant at each point of the circle in the space. Recently this problem is well studied in various metric spaces. Our present work is in the domain of the extension of this line of research in the context of fuzzy metric spaces. For our purpose, we first define the notions of a fixed circle and of a fixed Cassini curve then determine suitable conditions...
We characterize the quasi-metric spaces which have a quasi-metric half-completion and deduce that each paracompact co-stable quasi-metric space having a quasi-metric half-completion is metrizable. We also characterize the quasi-metric spaces whose bicompletion is quasi-metric and it is shown that the bicompletion of each quasi-metric compatible with a quasi-metrizable space is quasi-metric if and only if is finite.
We show that is not normal, if is a limit point of some countable subset of , consisting of points of character . Moreover, such a point is a Kunen point and a super Kunen point.
The Cantor set and the set of irrational numbers are examples of 0-dimensional, totally disconnected, homogeneous spaces which admit elegant characterizations and which play a crucial role in analysis and dynamical systems. In this paper we will start the study of 1-dimensional, totally disconnected, homogeneous spaces. We will provide a characterization of such spaces and use it to show that many examples of such spaces which exist in the literature in various fields are all homeomorphic. In particular,...
A homeomorphism f:X → X of a compactum X with metric d is expansive if there is c > 0 such that if x,y ∈ X and x ≠ y, then there is an integer n ∈ ℤ such that . A homeomorphism f: X → X is continuum-wise expansive if there is c > 0 such that if A is a nondegenerate subcontinuum of X, then there is an integer n ∈ ℤ such that . Clearly, every expansive homeomorphism is continuum-wise expansive, but the converse assertion is not true. In [6], we defined the notion of chaotic continua of homeomorphisms...
In our note, we prove the result that the Hilbert’s cube equipped with metrics, , cannot be isometrically embedded into .
For a functor on the category of metrizable compacta, we introduce a conception of a linear functorial operator extending (for each ) pseudometrics from onto (briefly LFOEP for ). The main result states that the functor of -symmetric power admits a LFOEP if and only if the action of on has a one-point orbit. Since both the hyperspace functor and the probability measure functor contain as a subfunctor, this implies that both and do not admit LFOEP.
For some pairs (X,A), where X is a metrizable topological space and A its closed subset, continuous, linear (i.e., additive and positive-homogeneous) operators extending metrics for A to metrics for X are constructed. They are defined by explicit analytic formulas, and also regarded as functors between certain categories. An essential role is played by "squeezed cones" related to the classical cone construction. The main result: if A is a nondegenerate absolute neighborhood retract for metric spaces,...