Preserving affine baire classes by perfect affine maps

Let ? : X → Y be an affine continuous surjection between compact convex sets. Suppose that the canonical copy of the space of real-valued affine continuous functions on Y in the space of real-valued affine continuous functions on X is complemented. We show that if F is a topological vector space, then f : Y → F is of affine Baire class α whenever the composition f ? ? is of affine Baire class α. This abstract result is applied to extend known results on affine Baire classes of strongly affine Baire mappings.     

Typical property of the topological entropy of continuous mappings of compact sets

We show that the topological entropy viewed as a functional on the space of continuous mappings of a metric compact set into itself with the uniform topology is a function of the second Baire class and is lower semicontinuous at a Baire typical point. In particular, we show that the topological entropy is zero at a Baire typical point of the space of continuous mappings of the Baire space of sequences of zeros and units.     

Structural properties of compact groups with measure-theoretic applications

Every compact group is Baire isomorphic to a product of compact metric spaces; the isomorphism takes the Haar measure on the group to a direct product measure. This topological connection between compact groups and products of compact metric spaces provides a unified treatment for (Baire) measures on compact groups and for measures on topological products of metric spaces.     

The Baire Class of Topological Entropy of Non–Autonomous Dynamical Systems

We prove that the lower topological entropy considered as a function on the space of sequences of continuous self–maps of a metric compact space belongs to the second Baire class and the upper one belongs to the fourth Baire class.     

On Efimov spaces and Radon measures

We give a construction under CH of an infinite Hausdorff compact space having no converging sequences and carrying no Radon measure of uncountable type. Under ? we obtain another example of a compact space with no convergent sequences, which in addition has the stronger property that every nonatomic Radon measure on it is uniformly regular. This example refutes a conjecture of Mercourakis from 1996 stating that if every measure on a compact space K is uniformly regular then K is necessarily sequentially compact.     

Some remarks on Baire’s grand theorem

We provide a game theoretical proof of the fact that if f is a function from a zero-dimensional Polish space to \( \mathbb N^{\mathbb N}\) that has a point of continuity when restricted to any non-empty compact subset, then f is of Baire class 1. We use this property of the restrictions to compact sets to give a generalisation of Baire’s grand theorem for functions of any Baire class.     

On properties of topological pressure

We consider a parametric family of continuous maps of a compact metric space which continuously depend on a parameter ranging over a metric space. The topological pressure of maps in any such family is studied as a function of the parameter from the viewpoint of the Baire classification of functions.     

On the properties of Lyapunov exponents of regular linear systems

We establish the sharp Baire class of the Lyapunov exponents on the space of Lyapunov regular linear systems with continuous bounded coefficients equipped with the topology of uniform or compact convergence of the coefficients on the half-line.     

Formally continuous functions on Baire space

A function from Baire space to the natural numbers is called formally continuous if it is induced by a morphism between the corresponding formal spaces. We compare formal continuity to two other notions of continuity on Baire space working in Bishop constructive mathematics: one is a function induced by a Brouwer‐operation (i.e., inductively defined neighbourhood function); the other is a function uniformly continuous near every compact image. We show that formal continuity is equivalent to the former while it is strictly stronger than the latter. The equivalence of formally continuous functions and those induced by Brouwer‐operations requires Countable Choice.     

关于赋范空间上连续自映射的回归点

在赋范空间中讨论回归点的性质,主要得到了结果：（1）如果,是序列紧赋范空间X上的连续双射,x是f的任一回归点,则对于任意整数N〉0都存在f的回归点x0∈X使得f^n（x0）=x;（2）序列紧赋范空间上连续自映射的回归点集是f的强不变子集;（3）如果f是局部连通赋范空间X上的连续自映射,则f的每一个回归点或是类周期点或是类周期点的聚点．作为推论,在实直线段上得到了类似的结论．     

Coincidence of the upper Kuratowski topology with the co-compact topology on compact sets, and the Prohorov property

For a Hausdorff space X, let F be the hyperspace of all closed subsets of X and H a sublattice of F. Following Nogura and Shakhmatov, X is said to be H-trivial if the upper Kuratowski topology and the co-compact topology coincide on H. F-trivial spaces are the consonant spaces first introduced and studied by Dolecki, Greco and Lechicki. In this paper, we deal with K-trivial spaces and Fin-trivial space, where K and Fin are respectively the lattices of compact and of finite subsets of X. It is proved that if C_k(X) is a Baire space or more generally if X has ‘the moving off property’ of Gruenhage and Ma, then X is K-trivial. If X is countable, then C_p(X) is Baire if and only if X is Fin-trivial and all compact subsets of X are finite. As for consonant spaces, it turns out that every regular K-trivial space is a Prohorov space. This result remains true for any regular Fin-trivial space in which all compact subsets are scattered. It follows that every regular first countable space without isolated points, all compact subsets of which are countable, is Fin-nontrivial. Examples of K-trivial non-consonant spaces, of Fin-trivial K-nontrivial spaces and of countably compact Prohorov Fin-nontrivial spaces, are given. In particular, we show that all (generalized) Fréchet–Urysohn fans are K-trivial, answering a question by Nogura and Shakhmatov. Finally, we describe an example of a continuous open compact-covering mapping f :X→Y, where X is Prohorov and Y is not Prohorov, answering a long-standing question by Topsøe.     

Countably Compact Paratopological Groups

By means of the theory of bispaces we show that a countably compact T₀ paratopological group (G, τ) is a topological group if and only if (G, τ ∨ τ^-1) is ω-bounded (here τ^-1 is the conjugate topology of τ). Our approach is premised on the fact that every paratopological countably compact paratopological group is a Baire space and on the notion of a 2-pseudocompact space. We also prove that every ω-bounded (respectively, topologically periodic) Baire paratopological group admits a weaker Hausdorff group topology. In particular, ω-bounded (respectively, topologically periodic) 2-pseudocompact (so, also countably compact) paratopological groups enjoy this property. Some topological properties turning countably compact topological semigroups into topological groups are presented and some open questions are posed.     

The Namioka property of KC-functions and Kempisty spaces

A topological space Y is called a Kempisty space if for any Baire space X every function , which is quasi-continuous in the first variable and continuous in the second variable has the Namioka property. Properties of compact Kempisty spaces are studied in this paper. In particular, it is shown that any Valdivia compact is a Kempisty space and the Cartesian product of an arbitrary family of compact Kempisty spaces is a Kempisty space.     

ON THE STRUCTURES OF RANDOM MEASURE AND POINT PROCESS CONVOLUTION SEMIGROUPS

§0.ＩｎｔｒｏｄｕｃｔｉｏｎＫｅｎｄａｌｌ[1]ｆｏｕｎｄｅｄｔｈｅＤｅｌｐｈｉｃｓｅｍｉｇｒｏｕｐｔｈｅｏｒｙａｎｄｕｓｅｄｔｈｉｓｔｈｅｏｒｙｔｏｓｔｕｄｙｔｈｅｓｔｒｕｃｔｕｒｅｓｏｆｔｈｅｒｅｎｅｗａｌｓｅｑｕｅｎｃｅｓｅｍｉｇｒｏｕｐａｎｄｔｈｅｓｔａｎｄａｒｄｐ-ｆｕｎｃｔｉｏｎｓｅｍｉｇｒｏｕｐ.Ｄａｖｉｄｓｏｎ[2,3],ＲｕｚｓａａｎｄＳｚ啨ｋｅｌｙ[4]ａｎｄＨｅ[5,6]ｇｅｎｅｒａｌｉｚｅｄｔｈｅＤｅｌｐｈｉｃｓｅｍｉｇｒｏｕｐｔｈｅｏｒｙａｎｄｕｓｅｄｔｈｅｉｒｒｅｓｕｌｔｓｔｏｓｔｕｄ…     

On the Distribution Behaviour of Sequences

This paper presents results concerning those sets of finite Borel measures μ on a locally compact Hausdorff space X with countable topological base which can be represented as the set of limit distributions of some sequence. They arc characterized by being nonanpty, closed, connected and containing only measures μ with μ(X) = 1 (if X is compact) or 0 ≤ μ(X) ≤ 1 (if X is not compact). Any set with this properties can be obtained as the set of limit distributions of a sequence even by rearranging an arbitrarily given sequence which is dense in the sense that the set of accumulation points is the whole space X. The typical case (in the sense of Baire categories) is that a sequence takes as limit distributions all possible measures of this kind. This gives new aspects for the recent theory of maldistribukd sequences.     

Borel sets and functions in topological spaces

We present a construction of the Borel hierarchy in general topological spaces and its relation to Baire hierarchy. We define mappings of Borel class α, prove the validity of the Lebesgue-Hausdor-Banach characterization for them and show their relation to Baire classes of mappings on compact spaces. The obtained results are used for studying Baire and Borel order of compact spaces, answering thus one part of a question raised by R. D. Mauldin. We present several examples showing some natural limits of our results in non-compact spaces.     

Large null sets in metric spaces

It is shown that every locally compact σ-compact metric space endowed with a Borel measure related to the metric by a natural condition contains sets of measure zero which are extremely large in the sense of cardinality, Hausdorff dimension and Baire category classification.     

On the Box Dimension of Typical Measures

 Let be a complete metric space and let be the space of all probability Borel measures on X. We give some estimations of the upper and lower box dimensions of the typical (in the sense of Baire category) measure in . Received 29 November 2000; in final form 8 January 2002     

A dichotomy for the convex spaces of probability measures

We show that every nonempty compact and convex space M of probability Radon measures either contains a measure which has ‘small’ local character in M or else M contains a measure of ‘large’ Maharam type. Such a dichotomy is related to several results on Radon measures on compact spaces and to some properties of Banach spaces of continuous functions.     

Between compactness and completeness

Call a sequence in a metric space cofinally Cauchy if for each positive ε there exists a cofinal (rather than residual) set of indices whose corresponding terms are ε-close. We give a number of new characterizations of metric spaces for which each cofinally Cauchy sequence has a cluster point. For example, a space has such a metric if and only each continuous function defined on it is uniformly locally bounded. A number of results exploit a measure of local compactness functional that we introduce. We conclude with a short proof of Romaguera's Theorem: a metrizable space admits such a metric if and only if its set of points having a compact neighborhood has compact complement.