Strict Uniformity in Ergodic Theory.
It is proved that every real cliquish function defined on a separable metrizable space is the sum of three quasicontinuous functions.
Let D (resp. D*) be the subspace of C = C([0,1], R) consisting of differentiable functions (resp. of functions differentiable at the one point at least). We give topological characterizations of the pairs (C, D) and (C, D*) and use them to give some examples of spaces homeomorphic to CDor to CD*.
The following properties of C[0,1] are proved here. Let T: C[0,1] → Y be a disjointness preserving bijection onto an arbitrary vector lattice Y. Then the inverse operator is also disjointness preserving, the operator T is regular, and the vector lattice Y is order isomorphic to C[0,1]. In particular if Y is a normed lattice, then T is also automatically norm continuous. A major step needed for proving these properties is provided by Theorem 3.1 asserting that T satisfies some technical condition...
We characterize clean elements of and show that is clean if and only if there exists a clopen sublocale in such that . Also, we prove that is clean if and only if has a clean prime ideal. Then, according to the results about we immediately get results about
We prove that the topographic map structure of upper semicontinuous functions, defined in terms of classical connected components of its level sets, and of functions of bounded variation (or a generalization, the WBV functions), defined in terms of M-connected components of its level sets, coincides when the function is a continuous function in WBV. Both function spaces are frequently used as models for images. Thus, if the domain Ω' of the image is Jordan domain, a rectangle, for instance, and...
The -property of a Riesz space (real vector lattice) is: For each sequence of positive elements of , there is a sequence of positive reals, and , with for each . This condition is involved in studies in Riesz spaces of abstract Egoroff-type theorems, and of the countable lifting property. Here, we examine when “” obtains for a Riesz space of continuous real-valued functions . A basic result is: For discrete , has iff the cardinal , Rothberger’s bounding number. Consequences and...
In the paper the existing results concerning a special kind of trajectories and the theory of first return continuous functions connected with them are used to examine some algebraic properties of classes of functions. To that end we define a new class of functions (denoted ) contained between the families (widely described in literature) of Darboux Baire 1 functions () and connectivity functions (). The solutions to our problems are based, among other, on the suitable construction of the ring,...
For a completely regular space X, C(X) and C*(X) denote, respectively, the algebra of all real-valued continuous functions and bounded real-valued continuous functions over X. When X is not a pseudocompact space, i.e., if C*(X) ≠ C(X), theorems about uniform density for subsets of C*(X) are not directly translatable to C(X). In [1], Anderson gives a sufficient condition in order for certain rings of C(X) to be uniformly dense, but this condition is not necessary.In this paper we study the uniform...
Usually, an abelian -group, even an archimedean -group, has a relatively large infinity of distinct -closures. Here, we find a reasonably large class with unique and perfectly describable -closure, the class of archimedean -groups with weak unit which are “-convex”. ( is the group of rationals.) Any is -convex and its unique -closure is the Alexandroff algebra of functions on defined from the clopen sets; this is sometimes .
For a given space X let C(X) be the family of all compact subsets of X. A space X is dominated by a space M if X has an M-ordered compact cover, this means that there exists a family F = FK : K ∈ C(M) ⊂ C(X) such that ∪ F = X and K ⊂ L implies that FK ⊂ FL for any K;L ∈ C(M). A space X is strongly dominated by a space M if there exists an M-ordered compact cover F such that for any compact K ⊂ X there is F ∈ F such that K ⊂ F . Let K(X) D C(X){Øbe the set of all nonempty compact subsets of a space...