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).     

Étale groupoids and their quantales

We establish close and previously unknown relations between quantales and groupoids. In particular, to each étale groupoid, either localic or topological, there is associated a unital involutive quantale. We obtain a bijective correspondence between localic étale groupoids and their quantales, which are given a rather simple characterization and here are called inverse quantal frames. We show that the category of inverse quantal frames is equivalent to the category of complete and infinitely distributive inverse monoids, and as a consequence we obtain a (non-functorial) correspondence between these and localic étale groupoids that generalizes more classical results concerning inverse semigroups and topological étale groupoids. This generalization is entirely algebraic and it is valid in an arbitrary topos. As a consequence of these results we see that a localic groupoid is étale if and only if its sublocale of units is open and its multiplication map is semiopen, and an analogue of this holds for topological groupoids. In practice we are provided with new tools for constructing localic and topological étale groupoids, as well as inverse semigroups, for instance via presentations of quantales by generators and relations. The characterization of inverse quantal frames is to a large extent based on a new quantale operation, here called a support, whose properties are thoroughly investigated, and which may be of independent interest.     

Implications of pseudo-orbit tracing property for continuous maps on compacta

We look at the dynamics of continuous self-maps of compact metric spaces possessing the pseudo-orbit tracing property (i.e., the shadowing property). Among other things we prove the following: (i) the set of minimal points is dense in the non-wandering set Ω(f), (ii) if f has either a non-minimal recurrent point or a sensitive minimal subsystem, then f has positive topological entropy, (iii) if X is infinite and f is transitive, then f is either an odometer or a syndetically sensitive non-minimal map with positive topological entropy, (iv) if f has zero topological entropy, then Ω(f) is totally disconnected and f restricted to Ω(f) is an equicontinuous homeomorphism.     

Minimal self-joinings and positive topological entropy

We show that the properties of almost minimal self-joinings and strong almost minimal self-joinings, introduced by del Junco in Topological Dynamics, are compatible with positive topological entropy, as opposed to the stronger property of minimal self-joinings. This is done both by proving existence theorems and by explicitly constructing some symbolic systems having these properties, which are modifications of the Chacón system. It is shown furthermore that these systems have no non-trivial factors with completely positive topological entropy.     

Expanding topological space,study and applications

In this paper, we introduce the notion of expanding topological space. We define the topological expansion of a topological space via local multi-homeomorphism over coproduct topology, and we prove that the coproduct family associated to any fractal family of topological spaces is expanding. In particular, we prove that the more a topological space expands, the finer the topology of its indexed states is. Using multi-homeomorphisms over associated coproduct topological spaces, we define a locally expandable topological space and we prove that a locally expandable topological space has a topological expansion. Specifically, we prove that the fractal manifold is locally expandable and has a topological expansion.     

Combinations not tolerated by normal topological groups

We show that if X is not paracompact then one can find a compact space K such that X⊕K does not embed closedly into any normal topological group.     

Interpolation sets and the Bohr topology of locally compact groups

Rosenthal's theorem describing those Banach spaces containing no copy of ?¹ is extended to topological groups replacing ?¹-basis by interpolation sets in the sense of Hartman and Ryll-Nardzewsky (Colloq. Math. 12 (1964) 23-39). This extension provides a characterization of those locally compact groups containing no interpolation sets and of those locally compact groups which respect compactness, i.e, such that every Bohr compact subset is compact. The approach followed in this paper sheds some light on other questions related to the duality theory of non-Abelian locally compact groups.     

Topological-algebraic properties of function spaces with set-open topologies

For a Tychonoff space X, we denote by Cλ(X) the space of all real-valued continuous functions on X with set-open topology. In this paper, we study the topological-algebraic properties of Cλ(X). Our main results state that (1) Cλ(X) is a topological vector space (a topological group) iff λ is a family of C-compact sets and Cλ(X)=Cλ^′(X), where λ^′ consists of all C-compact subsets of every set of λ. In particular, if Cλ(X) is a topological group, then the set-open topology coincides with the topology of uniform convergence on a family λ; (2) a topological group Cλ(X) is ω-narrow iff λ is a family of metrizable compact subsets of X.     

CLP-compactness for topological spaces and groups

We study CLP-compact spaces (every cover consisting of clopen sets has a finite subcover) and CLP-compact topological groups. In particular, we extend a theorem on CLP-compactness of products from [J. Steprāns, A. Šostak, Restricted compactness properties and their preservation under products, Topology Appl. 101 (3) (2000) 213-229] and we offer various criteria for CLP-compactness for spaces and topological groups, that work particularly well for precompact groups. This allows us to show that arbitrary products of CLP-compact pseudocompact groups are CLP-compact. For every natural n we construct:

(i)

a totally disconnected, n-dimensional, pseudocompact CLP-compact group; and

(ii)

a hereditarily disconnected, n-dimensional, totally minimal, CLP-compact group that can be chosen to be either separable metrizable or pseudocompact (a Hausdorff group G is totally minimal when all continuous surjective homomorphisms G→H, with a Hausdorff group H, are open).

     

When is the Isbell topology a group topology?

Conditions on a topological space X under which the space C(X,R) of continuous real-valued maps with the Isbell topology κ is a topological group (topological vector space) are investigated. It is proved that the addition is jointly continuous at the zero function in Cκ(X,R) if and only if X is infraconsonant. This property is (formally) weaker than consonance, which implies that the Isbell and the compact-open topologies coincide. It is shown the translations are continuous in Cκ(X,R) if and only if the Isbell topology coincides with the fine Isbell topology. It is proved that these topologies coincide if X is prime (that is, with at most one non-isolated point), but do not even for some sums of two consonant prime spaces.     

Generalized metric spaces with algebraic structures

We discuss generalized metrizable properties on paratopological groups and topological groups. It is proved in this paper that a first-countable paratopological group which is a β-space is developable; and we construct a Hausdorff, separable, non-metrizable paratopological group which is developable. We consider paratopological (topological) groups determined by a point-countable first-countable subspaces and give partial answers to Arhangel'skii's conjecture; Nogura-Shakhmatov-Tanaka's question (Nogura et al., 1993 [23]). We also give a negative answer to a question in Cao et al. (in press) [10]. Finally, remainders of topological groups and paratopological groups are discussed and Arhangel'skii's Theorem (Arhangel'skii, 2007 [3]) is improved.     

Upper semifinite hyperspaces as unifying tools in normal Hausdorff topology

In this paper we use the upper semifinite topology in hyperspaces to get results in normal Hausdorff topology. The advantage of this point of view is that the upper semifinite topology, although highly non-Hausdorff, is very easy to handle. By this way we treat different topics and relate topological properties on spaces with some topological properties in hyperspaces. This hyperspace is, of course, determined by the base space. We prove here some reciprocals which are not true for the usual Vietoris topology. We also point out that this framework is a very adequate one to construct the ?ech-Stone compactification of a normal space. We also describe compactness in terms of the second countability axiom and of the fixed point property. As a summary we relate non-Hausdorff topology with some facts in the core of normal Hausdorff topology. In some sense, we reinforce the unity of the subject.     

Self-duality in the class of precompact groups

A topological Abelian group G is called (strongly) self-dual if there exists a topological isomorphism Φ:G→G^∧ of G onto the dual group G^∧ (such that Φ(x)(y)=Φ(y)(x) for all x,y∈G). We prove that every countably compact self-dual Abelian group is finite. It turns out, however, that for every infinite cardinal κ with κω=κ, there exists a pseudocompact, non-compact, strongly self-dual Boolean group of cardinality κ.     

P-chaos implies distributional chaos and chaos in the sense of Devaney with positive topological entropy

Let f be a continuous map from a compact metric space X to itself. The map f is called to be P-chaotic if it has the pseudo-orbit-tracing property and the closure of the set of all periodic points for f is equal to X. We show that every P-chaotic map from a continuum to itself is chaotic in the sense of Devaney and exhibits distributional chaos of type 1 with positive topological entropy.     

Metrizability of paratopological (semitopological) groups

We investigate some generalized metric space properties on paratopological (semitopological) groups and prove that a paratopological group that is quasi-metrizable by a left continuous, left-invariant quasi-metric is a topological group and give a negative answer to Ravsky?s question (Ravsky, 2001 [18, Question 3.1]). It is also shown that an uncountable paratopological group that is a closed image of a separable, locally compact metric space is a topological group. Finally, we discuss Hausdorff compactification of paratopological (semitopological) groups, give an affirmative answer to Lin and Shen?s question (Lin and Shen, 2011 [14, Question 6.9]) and improve an Arhangel?skii and Choban?s theorem. Some questions are posed.     

Semitopological groups,Bouziad spaces and topological groups

A semitopological group (topological group) is a group endowed with a topology for which multiplication is separately continuous (multiplication is jointly continuous and inversion is continuous). In this paper we use topological games to show that many semitopological groups are in fact topological groups.     

On subgroups of minimal topological groups

A topological group is minimal if it does not admit a strictly coarser Hausdorff group topology. The Roelcke uniformity (or lower uniformity) on a topological group is the greatest lower bound of the left and right uniformities. A group is Roelcke-precompact if it is precompact with respect to the Roelcke uniformity. Many naturally arising non-Abelian topological groups are Roelcke-precompact and hence have a natural compactification. We use such compactifications to prove that some groups of isometries are minimal. In particular, if U₁ is the Urysohn universal metric space of diameter 1, the group Iso(U₁) of all self-isometries of U₁ is Roelcke-precompact, topologically simple and minimal. We also show that every topological group is a subgroup of a minimal topologically simple Roelcke-precompact group of the form Iso(M), where M is an appropriate non-separable version of the Urysohn space.     

Pointfree pseudocompactness revisited

We give several internal and external characterizations of pseudocompactness in frames which extend (and transcend) analogous characterizations in topological spaces. In the case of internal characterizations we do not make reference (explicitly or implicitly) to the reals.     

Building suitable sets for locally compact groups by means of continuous selections

If a discrete subset S of a topological group G with the identity 1 generates a dense subgroup of G and S∪{1} is closed in G, then S is called a suitable set for G. We apply Michael's selection theorem to offer a direct, self-contained, purely topological proof of the result of Hofmann and Morris [K.-H. Hofmann, S.A. Morris, Weight and c, J. Pure Appl. Algebra 68 (1-2) (1990) 181-194] on the existence of suitable sets in locally compact groups. Our approach uses only elementary facts from (topological) group theory.     

Point-sensitive and point-free patch constructions

Using the category of frames we consider various generalizations of the patch space of a topological space. Some of these constructions are old and some are new. We consider how these variants interact and under what circumstances they agree.