Separable subspaces of affine function spaces on convex compact sets

Let K be a compact convex subset of a separated locally convex space (over R) and let Ap(K) denote the space of all continuous real-valued affine mappings defined on K, endowed with the topology of pointwise convergence on the extreme points of K. In this paper we shall examine some topological properties of Ap(K). For example, we shall consider when Ap(K) is monolithic and when separable compact subsets of Ap(K) are metrizable.     

Characterizing continuous functions on compact spaces

We consider the following problem: given a set X and a function , does there exist a compact Hausdorff topology on X which makes T continuous? We characterize such functions in terms of their orbit structure. Given the generality of the problem, the characterization turns out to be surprisingly simple and elegant. Amongst other results, we also characterize homeomorphisms on compact metric spaces.     

Inverse limit spaces arising from problems in economics

In this paper we use tools from topology and dynamical systems to analyze the structure of solutions to implicitly defined equations that arise in economic theory, specifically in the study of so-called “backward dynamics”. For this purpose we use inverse limit spaces and shift homeomorphisms to describe solutions which are typical in that they are likely to be observed in future time. These predicted solutions corresponds to attractors in an inverse limit space under the shift homeomorphism(s).     

Homeomorphisms of unimodal inverse limit spaces with a non-recurrent critical point

Let T be a tent map with the slope strictly between and 2. Suppose that the critical point of T is not recurrent. Let K denote the inverse limit space obtained by using T repeatedly as the bonding map. We prove that every homeomorphism of K to itself is isotopic to some power of the natural shift homeomorphism.     

The Goldstine Theorem for asymmetric normed linear spaces

It is well known that if (X,q) is an asymmetric normed linear space, then the function qs defined on X by qs(x)=max{q(x),q(−x)}, is a norm on the linear space X. However, the lack of symmetry in the definition of the asymmetric norm q yields an algebraic asymmetry in the dual space of (X,q). This fact establishes a significant difference with the standard results on duality that hold in the case of locally convex spaces. In this paper we study some aspects of a reflexivity theory in the setting of asymmetric normed linear spaces. In particular, we obtain a version of the Goldstine Theorem to these spaces which is applied to prove, among other results, a characterization of reflexive asymmetric normed linear spaces.     

Minimal sets in compact connected subspaces

Let X be a topological space, f:X→X be a continuous map, and Y be a compact, connected and closed subset of X. In this paper we show that, if the boundary X_∂Y contains exactly one point v and f(v)∈Y, then Y contains a minimal set of f.     

Wandering sets for a class of borel isomorphisms of [0,1)

A wandering set for a map ϕ is a set containing precisely one element from each orbit of ϕ. We study the existence of Borel wandering sets for piecewise linear isomorphisms. Such sets need not exist even when the parameters involved are rational, but they do exist if in addition all the slopes are powers of 2. For ϕ having at most one discontinuity, the existence of a Borel wandering set is equivalent to rationality of the Poincaré rotation number. We compute the rotation numbers for a special class of such functions. The main result provides a concrete method of connecting certain pairs of wavelet sets.     

Asymptotic arc-components of unimodal inverse limit spaces

We consider the inverse limit space (I,f) of a unimodal bonding map f as fixed bonding map. If f has a periodic turning point, then (I,f) has a finite non-empty set of asymptotic arc-components. We show how asymptotic arc-components can be determined from the kneading sequence of f. This gives an alternative to the substitution tiling space approach taken by Barge and Diamond [Ergodic Theory Dynamical Systems 21 (2001) 1333].     

Omega-limit sets in hereditarily locally connected continua

In this paper we give a topological characterization of ω-limit sets in hereditarily locally connected continua. Moreover, we characterize also orbit-enclosing ω-limit sets in these spaces.     

Almost periodic points and minimal sets in ω-regular spaces

In this paper a notion of ω-regular space is raised, which is an extension of that of regular space, and several known results concerning almost periodic points and minimal sets of maps are generalized from regular spaces to ω-regular spaces.     

The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras

The probability measures on compact Hausdorff spaces K form a compact convex subset PK of the space of measures with the vague topology. Every continuous map of compact Hausdorff spaces induces a continuous affine map extending f. Together with the canonical embedding associating to every point its Dirac measure and the barycentric map β associating to every probability measure on PK its barycenter, we obtain a monad (P,ε,β). The Eilenberg-Moore algebras of this monad have been characterised to be the compact convex sets embeddable in locally convex topological vector spaces by Swirszcz [T. Swirszcz, Monadic functors and convexity, Bul. Acad. Polon. Sci. Sér. Sci. Math. Astron. Phys. 22 (1974) 39-42].We generalise this result to compact ordered spaces in the sense of Nachbin [L. Nachbin, Topology and Order, Von Nostrand, Princeton, NJ, 1965. Translated from the 1950 monograph “Topologia e Ordem” (in Portugese). Reprinted by Robert E. Kreiger Publishing Co., Huntington, NY, 1967]. The probability measures form again a compact ordered space when endowed with the stochastic order. The maps ε and β are shown to preserve the stochastic orders. Thus, we obtain a monad over the category of compact ordered spaces and order preserving continuous maps. The algebras of this monad are shown to be the compact convex ordered sets embeddable in locally convex ordered topological vector spaces.This result can be seen as a step towards the characterisation of the algebras of the monad of probability measures on the category of stably compact spaces (see [G. Gierz, K.H. Hofmann, K. Keimel, J.D. Lawson, M. Mislove, D.S. Scott, Continuous Lattices and Domains, Encyclopedia Math. Appl., vol. 93, Cambridge University Press, 2003, Section VI-6]).     

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.     

Quotient-reflective and bireflective subcategories of the category of preordered sets

In previous papers, the notions of “closedness” and “strong closedness” in set-based topological categories were introduced. In this paper, we give the characterization of closed and strongly closed subobjects of an object in the category Prord of preordered sets and show that they form appropriate closure operators which enjoy the basic properties like idempotency (weak) hereditariness, and productivity.We investigate the relationships between these closure operators and the well-known ones, the up- and down-closures. As a consequence, we characterize each of T₀, T₁, and T₂ preordered sets and show that each of the full subcategories of each of T₀, T₁, T₂ preordered sets is quotient-reflective in Prord. Furthermore, we give the characterization of each of pre-Hausdorff preordered sets and zero-dimensional preordered sets, and show that there is an isomorphism of the full subcategory of zero-dimensional preordered sets and the full subcategory of pre-Hausdorff preordered sets. Finally, we show that both of these subcategories are bireflective in Prord.     

Plain ditopological texture spaces

Using the characterization of plain textures in terms of posets given by Mustafa Demirci (M. Demirci, Textures and C-spaces, Fuzzy Sets and Systems 158 (11) (2007) 1237-1245), the authors consider the important class of plain ditopological texture spaces and give several new results.     

The structure of graph maps without periodic points

In this paper we show that any graph map without periodic points has only one minimal set. We describe a class of graph maps without periodic points. Our main result is to give a structure theorem of graph maps without periodic points, which states that any graph map without periodic points must be topologically conjugate to one of the described class. In addition, we give some applications of the structure theorem.     

Transitive points via Furstenberg family

Let (X,T) be a topological dynamical system and F be a Furstenberg family (a collection of subsets of Z₊ with hereditary upward property). A point x∈X is called an F-transitive one if {n∈Z₊:Tnx∈U}∈F for every non-empty open subset U of X; the system (X,T) is called F-point transitive if there exists some F-transitive point. In this paper, we aim to classify transitive systems by F-point transitivity. Among other things, it is shown that (X,T) is a weakly mixing E-system (resp. weakly mixing M-system, HY-system) if and only if it is {D-sets}-point transitive (resp. {central sets}-point transitive, {weakly thick sets}-point transitive).It is shown that every weakly mixing system is Fip-point transitive, while we construct an Fip-point transitive system which is not weakly mixing. As applications, we show that every transitive system with dense small periodic sets is disjoint from every totally minimal system and a system is Δ^?(Fwt)-transitive if and only if it is weakly disjoint from every P-system.     

Definable sets of generators in maximal cofinitary groups

A group G?Sym(N) is cofinitary if g has finitely many fixed points for every g∈G except the identity element. In this paper, we discuss the definability of maximal cofinitary groups and some related structures. More precisely, we show the following two results:

(1)

Assuming V=L, there is a set of permutations on N which generates a maximal cofinitary group.

(2)

Assuming V=L, there is a mad permutation family in Sym(N).

     

Adding machines, kneading maps, and endpoints

Given a unimodal map f, let I=[c₂,c₁] denote the core and set E={(x₀,x₁,…)∈(I,f)|xi∈ω(c,f) for all i∈N}. It is known that there exist strange adding machines embedded in symmetric tent maps f such that the collection of endpoints of (I,f) is a proper subset of E and such that limk→∞Q(k)≠∞, where Q(k) is the kneading map.We use the partition structure of an adding machine to provide a sufficient condition for x to be an endpoint of (I,f) in the case of an embedded adding machine. We then show there exist strange adding machines embedded in symmetric tent maps for which the collection of endpoints of (I,f) is precisely E. Examples of this behavior are provided where limk→∞Q(k) does and does not equal infinity, and in the case where limk→∞Q(k)=∞, the collection of endpoints of (I,f) is always E.     

The Hausdorff dimension of chaotic sets for interval self-maps

We obtain two sufficient conditions for an interval self-map to have a chaotic set with positive Hausdorff dimension. Furthermore, we point out that for any interval Lipschitz maps with positive topological entropy there is a chaotic set with positive Hausdorff dimension.