Limits of inverse limits

We study the following problem: if a sequence of graphs of upper semi-continuous set valued functions fn converges to the graph of a function f, is it true that the sequence of corresponding inverse limits obtained from fn converges to the inverse limit obtained from f?     

Whitney preserving maps on finite graphs

For a Whitney preserving map f:X→G we show the following: (a) If X is arcwise connected and G is a graph which is not a simple closed curve, then f is a homeomorphism; (b) If X is locally connected and G is a simple closed curve, then X is homeomorphic to either the unit interval [0,1], or the unit circle S¹. As a consequence of these results, we characterize all Whitney preserving maps between finite graphs. We also show that every hereditarily weakly confluent Whitney preserving map between locally connected continua is a homeomorphism.     

Lelek maps and n-dimensional maps from compacta to polyhedra

For a natural number m?0, a map from a compactum X to a metric space Y is an m-dimensional Lelek map if the union of all non-trivial continua contained in the fibers of f is of dimension ?m. In [M. Levin, Certain finite-dimensional maps and their application to hyperspaces, Israel J. Math. 105 (1998) 257-262], Levin proved that in the space C(X,I) of all maps of an n-dimensional compactum X to the unit interval I=[0,1], almost all maps are (n−1)-dimensional Lelek maps. Moreover, he showed that in the space C(X,Ik) of all maps of an n-dimensional compactum X to the k-dimensional cube Ik (k?1), almost all maps are (n−k)-dimensional Lelek maps. In this paper, we generalize Levin's result. For any (separable) metric space Y, we define the piecewise embedding dimension ped(Y) of Y and we prove that in the space C(X,Y) of all maps of an n-dimensional compactum X to a complete metric ANR Y, almost all maps are (n−k)-dimensional Lelek maps, where k=ped(Y). As a corollary, we prove that in the space C(X,Y) of all maps of an n-dimensional compactum X to a Peano curve Y, almost all maps are (n−1)-dimensional Lelek maps and in the space C(X,M) of all maps of an n-dimensional compactum X to a k-dimensional Menger manifold M, almost all maps are (n−k)-dimensional Lelek maps. It is known that k-dimensional Lelek maps are k-dimensional maps for k?0.     

Devaney’s chaos on uniform limit maps

Let (X, d) be a compact metric space and f_n : X → X a sequence of continuous maps such that (f_n) converges uniformly to a map f. The purpose of this paper is to study the Devaney’s chaos on the uniform limit f. On the one hand, we show that f is not necessarily transitive even if all f_n mixing, and the sensitive dependence on initial conditions may not been inherited to f even if the iterates of the sequence have some uniform convergence, which correct two wrong claims in [1]. On the other hand, we give some equivalence conditions for the uniform limit f to be transitive and to have sensitive dependence on initial conditions. Moreover, we present an example to show that a non-transitive sequence may converge uniformly to a transitive map.     

Injectivity and sections

We investigate injectivity in a comma-category C/B using the notion of the “object of sections” S(f) of a given morphism f:X→B in C. We first obtain that f:X→B is injective in C/B if and only if the morphism 〈1_X,f〉:X→X×B is a section in C/B and the object S(f) of sections of f is injective in C. Using this approach, we study injective objects f with respect to the class of embeddings in the categories ContL/B (AlgL/B) of continuous (algebraic) lattices over B. As a result, we obtain both topological (every fiber of f has maximum and minimum elements and f is open and closed) and algebraic (f is a complete lattice homomorphism) characterizations.     

On iterates of fully closed absolutes

In this article we give a sufficient condition for a space X to have the fully closed absolute faX with the property fa(faX)=faX. An example of a compact space X such that the canonical mapping fa(α+1)X→fa(α)X (where α is a given ordinal) is not a homeomorphism is constructed. Also we give an example of a compact space X such that the canonical mapping faX→X is not a homeomorphism but for which there exists a homeomorphism faX→X.     

Hereditary invertible linear surjections and splitting problems for selections

Let A+B be the pointwise (Minkowski) sum of two convex subsets A and B of a Banach space. Is it true that every continuous mapping h:X→A+B splits into a sum h=f+g of continuous mappings f:X→A and g:X→B? We study this question within a wider framework of splitting techniques of continuous selections. Existence of splittings is guaranteed by hereditary invertibility of linear surjections between Banach spaces. Some affirmative and negative results on such invertibility with respect to an appropriate class of convex compacta are presented. As a corollary, a positive answer to the above question is obtained for strictly convex finite-dimensional precompact spaces.     

A note on chaos via Furstenberg family couple

The concepts of the first type of distributional chaos in the Tan-Xiong sense (Abbrev. DC1 in the Tan-Xiong sense), the second type of strong-distributional chaos (Abbrev. strong DC2) and the third type of strong-distributional chaos (Abbrev. strong DC3) were introduced by Tan et al. [F. Tan, J. Xiong. Chaos via Furstenberg family couple, Topology Appl. (2008), doi:10.1016/j.topol.2008.08.006] for continuous maps of a metric space. However, it turns out that, for continuous maps of a compact metric space, the three mutually nonequivalent versions of distributional chaos can be discussed. Let X be a compact metric space and f:X→X a continuous map. In this paper, we show that for any integer N>0, f is strong DC2 (resp. strong DC3) if and only if f^N is strong DC2 (resp. strong DC3). We also show that the above three versions of distributional chaos are topological conjugacy invariant. In addition, as an application, we present an example.     

Ordinals and set-valued zero-selections for hyperspaces

A continuous zero-selection f for the Vietoris hyperspace F(X) of the nonempty closed subsets of a space X is a Vietoris continuous map f:F(X)→X which assigns to every nonempty closed subset an isolated point of it. It is well known that a compact space X has a continuous zero-selection if and only if it is an ordinal space, or, equivalently, if X can be mapped onto an ordinal space by a continuous one-to-one surjection. In this paper, we prove that a compact space X has an upper semi-continuous set-valued zero-selection for its Vietoris hyperspace F(X) if and only if X can be mapped onto an ordinal space by a continuous finite-to-one surjection.     

Functoriality of the standard resolution of the Cartesian product of a compactum and a polyhedron

In a previous paper the author has associated with every inverse system of compact Hausdorff spaces X with limit X and every simplicial complex K (possibly infinite) with geometric realization P=|K| a resolution RK(X) of X×P, which consists of paracompact spaces. If X consists of compact polyhedra, then RK(X) consists of spaces having the homotopy type of polyhedra. In the present paper it is proved that this construction is functorial. One of the consequences is the existence of a functor from the strong shape category of compact Hausdorff spaces X to the shape category of spaces, which maps X to the Cartesian product X×P. Another consequence is the theorem which asserts that, for compact Hausdorff spaces X, X^′, such that X is strong shape dominated by X^′ and the Cartesian product X^′×P is a direct product in Sh(Top), then also X×P is a direct product in the shape category Sh(Top).     

Convexity of momentum maps: A topological analysis

The Local-to-Global-Principle used in the proof of convexity theorems for momentum maps has been extracted as a statement of pure topology enriched with a structure of convexity. We extend this principle to not necessarily closed maps f:X→Y where the convexity structure of the target space Y need not be based on a metric. Using a new factorization of f, convexity of the image is proved without local fiber connectedness, and for arbitrary connected spaces X.     

Integral extensions on rings of continuous functions

Let π:X→Y be a surjective continuous map between Tychonoff spaces. The map π induces, by composition, an injective morphism C(Y)→C(X) between the corresponding rings of real-valued continuous functions, and this morphism allows us to consider C(Y) as a subring of C(X). This paper deals with finiteness properties of the ring extension C(Y)⊆C(X) in relation to topological properties of the map π:X→Y. The main result says that, for X a compact subset of Rn, the extension C(Y)⊆C(X) is integral if and only if X decomposes into a finite union of closed subsets such that π is injective on each one of them.     

Topological entropy of maps on regular curves

In [G.T. Seidler, The topological entropy of homeomorphisms on one-dimensional continua, Proc. Amer. Math. Soc. 108 (1990) 1025-1030], G.T. Seidler proved that the topological entropy of every homeomorphism on a regular curve is zero. Also, in [H. Kato, Topological entropy of monotone maps and confluent maps on regular curves, Topology Proc. 28 (2) (2004) 587-593] the topological entropy of confluent maps on regular curves was investigated. In particular, it was proved that the topological entropy of every monotone map on any regular curve is zero. In this paper, furthermore we investigate the topological entropy of more general maps on regular curves. We evaluate the topological entropy of maps f on regular curves X in terms of the growth of the number of components of f−n(y) (y∈X).     

Some results on separate and joint continuity

Let f:X×K→R be a separately continuous function and C a countable collection of subsets of K. Following a result of Calbrix and Troallic, there is a residual set of points x∈X such that f is jointly continuous at each point of {x}×Q, where Q is the set of y∈K for which the collection C includes a basis of neighborhoods in K. The particular case when the factor K is second countable was recently extended by Moors and Kenderov to any ?ech-complete Lindelöf space K and Lindelöf α-favorable X, improving a generalization of Namioka's theorem obtained by Talagrand. Moors proved the same result when K is a Lindelöf p-space and X is conditionally σ-α-favorable space. Here we add new results of this sort when the factor X is σC(X)-β-defavorable and when the assumption “base of neighborhoods” in Calbrix-Troallic's result is replaced by a type of countable completeness. The paper also provides further information about the class of Namioka spaces.     

Continuous selections avoiding extreme points

It is shown that if X is a countably paracompact collectionwise normal space, Y is a Banach space and φ:X→Y² is a lower semicontinuous mapping such that φ(x) is Y or a compact convex subset with Cardφ(x)>1 for each x∈X, then φ admits a continuous selection f:X→Y such that f(x) is not an extreme point of φ(x) for each x∈X. This is an affirmative answer to the problem posed by V. Gutev, H. Ohta and K. Yamazaki [V. Gutev, H. Ohta and K. Yamazaki, Selections and sandwich-like properties via semi-continuous Banach-valued functions, J. Math. Soc. Japan 55 (2003) 499-521].     

Various types of local connectedness in n-fold hyperspaces

Let X be a continuum. The n-fold hyperspace Cn(X), n<∞, is the space of all nonempty compact subsets of X with the Hausdorff metric. Four types of local connectivity at points of Cn(X) are investigated: connected im kleinen, locally connected, arcwise connected im kleinen and locally arcwise connected. Characterizations, as well as necessary or sufficient conditions, are obtained for Cn(X) to have one or another of the local connectivity properties at a given point. Several results involve the property of Kelley or C^*-smoothness. Some new results are obtained for C(X), the space of subcontinua of X. A class of continua X is given for which Cn(X) is connected im kleinen only at subcontinua of X and for which any two such subcontinua must intersect.     

Closed subsets of the domain whose image has the dimension of the range

It is shown that if dim Y < ∞ and if f(X) = Y is a mapping between compact metric spaces such that 1 ? m ? dim f^-1(y)?n for all y ? Y, then there exists a closed set K ? X such that dim K ? n ? m and dim f(K) = dim Y. This answers a question posed by J. Keesling and D. Wilson.     

Small Valdivia compact spaces

We prove a preservation theorem for the class of Valdivia compact spaces, which involves inverse sequences of retractions of a certain kind. Consequently, a compact space of weight?ℵ₁ is Valdivia compact iff it is the limit of an inverse sequence of metric compacta whose bonding maps are retractions. As a corollary, we show that the class of Valdivia compacta of weight?ℵ₁ is preserved both under retractions and under open 0-dimensional images. Finally, we characterize the class of all Valdivia compacta in the language of category theory, which implies that this class is preserved under all continuous weight preserving functors.