Cartesian closed hull for metric spaces
Suppose that P is a finite 2-polyhedron. We prove that there exists a PL surjective map f:Q → P from a fake surface Q with preimages of f either points or arcs or 2-disks. This yields a reduction of the Whitehead asphericity conjecture (which asserts that every subpolyhedron of an aspherical 2-polyhedron is also aspherical) to the case of fake surfaces. Moreover, if the set of points of P having a neighbourhood homeomorphic to the 2-disk is a disjoint union of open 2-disks, and every point of P...
A homeomorphism f : X → X of a compactum X is expansive (resp. continuum-wise expansive) if there is c > 0 such that if x, y ∈ X and x ≠ y (resp. if A is a nondegenerate subcontinuum of X), then there is n ∈ ℤ such that (resp. ). We prove the following theorem: If f is a continuum-wise expansive homeomorphism of a compactum X and the covering dimension of X is positive (dim X > 0), then there exists a σ-chaotic continuum Z = Z(σ) of f (σ = s or σ = u), i.e. Z is a nondegenerate subcontinuum...
Clone properties are the properties expressible by the first order sentence of the clone language. The present paper is a contribution to the field of problems asking when distinct sentences of the language determine distinct topological properties. We fully clarify the relations among the rigidity, the fix-point property, the image-determining property and the coconnectedness.
In the present paper, we establish a common fixed point theorem for four self-mappings of a complete 2-metric space using the weak commutativity condition and -contraction type condition and then extend the theorem for a class of mappings.
A family f₁,..., fₙ of operators on a complete metric space X is called contractive if there exists a positive λ < 1 such that for any x,y in X we have for some i. Austin conjectured that any commuting contractive family of operators has a common fixed point, and he proved this for the case of two operators. We show that Austin’s conjecture is true for three operators, provided that λ is sufficiently small.
A map (= continuous function) is of order ≤ k if each of its point-inverses has at most k elements. Following [4], maps of order ≤ 2 are called simple. Which maps are compositions of simple closed [open, clopen] maps? How many simple maps are really needed to represent a given map? It is proved herein that every closed map of order ≤ k defined on an n-dimensional metric space is a composition of (n+1)k-1 simple closed maps (with metric domains). This theorem fails to be true...
A topological space is non-separably connected if it is connected but all of its connected separable subspaces are singletons. We show that each connected sequential topological space X is the image of a non-separably connected complete metric space X under a monotone quotient map. The metric of the space X is economical in the sense that for each infinite subspace A ⊂ X the cardinality of the set does not exceed the density of A, . The construction of the space X determines a functor : Top...
Locally planar Peano continua admitting continuous decomposition into pseudo-arcs (into acyclic curves) are characterized as those with no local separating point. This extends the well-known result of Lewis and Walsh on a continuous decomposition of the plane into pseudo-arcs.
In this paper we introduce generalized cyclic contractions through number of subsets of a probabilistic 2-metric space and establish two fixed point results for such contractions. In our first theorem we use the Hadzic type -norm. In another theorem we use a control function with minimum -norm. Our results generalizes some existing fixed point theorem in 2-Menger spaces. The results are supported with some examples.