-completeness and fixpoint properties
It is known that for a nonempty topological space and a nonsingleton complete lattice endowed with the Scott topology, the partially ordered set of all continuous functions from into is a continuous lattice if and only if both and the open set lattice are continuous lattices. This result extends to certain classes of -distributive lattices, where is a subset system replacing the system of all directed subsets (for which the -distributive complete lattices are just the continuous...
The paper contains a fixed point theorem for stable mappings in metric discus spaces (Theorem 10). A consequence is Theorem 11 which is a far-reaching extension of the fundamental result of Browder, Göhde and Kirk for non-expansive mappings.
In this note we characterize chaotic functions (in the sense of Li and Yorke) with topological entropy zero in terms of the structure of their maximal scrambled sets. In the interim a description of all maximal scrambled sets of these functions is also found.
We give a classical proof of the theorem stating that the -ideal of meager sets is the unique -ideal on a Polish group, generated by closed sets which is invariant under translations and ergodic.
For a piecewise monotone map f on a compact interval I, we characterize the ω-limit sets that are bounded away from the post-critical points of f. If the pre-critical points of f are dense, for example when f is locally eventually onto, and Λ ⊂ I is closed, invariant and contains no post-critical point, then Λ is the ω-limit set of a point in I if and only if Λ is internally chain transitive in the sense of Hirsch, Smith and Zhao; the proof relies upon symbolic dynamics. By identifying points of...
This paper presents a sufficient condition for a continuum in ℝn to be embeddable in ℝn in such a way that its image is not an attractor of any iterated function system. An example of a continuum in ℝ2 that is not an attractor of any weak iterated function system is also given.
We show that a metric space X admits no sensitive commutative group action if it satisfies the following two conditions: (1) X has property S, that is, for each ε > 0 there exists a cover of X which consists of finitely many connected sets with diameter less than ε; (2) X contains a free n-network, that is, there exists a nonempty open set W in X having no isolated point and n ∈ ℕ such that, for any nonempty open set U ⊂ W, there is a nonempty connected open set V ⊂ U such that the boundary ...