This note establishes that the familiar internal characterizations of the Tychonoff spaces whose rings of continuous real-valued functions are complete, or -complete, as lattice ordered rings already hold in the larger setting of pointfree topology. In addition, we prove the corresponding results for rings of integer-valued functions.
Modifying Bowen's entropy, we introduce a new uniform entropy. We prove that the completion theorem for uniform entropy holds in the class of all metric spaces. However, the completion theorem for Bowen's entropy does not hold in the class of all totally bounded metric spaces.
We evaluate the descriptive set theoretic complexity of the space of continuous surjections from to .
A map (= continuous function) is of order ≤ k if each of its point-inverses has at most k elements. Following [4], maps of order ≤ 2 are called simple. Which maps are compositions of simple closed [open, clopen] maps? How many simple maps are really needed to represent a given map? It is proved herein that every closed map of order ≤ k defined on an n-dimensional metric space is a composition of (n+1)k-1 simple closed maps (with metric domains). This theorem fails to be true...
We consider a concave iteration semigroup of linear continuous set-valued functions defined on a closed convex cone in a separable Banach space. We prove that such an iteration semigroup has a selection which is also an iteration semigroup of linear continuous functions. Moreover it is majorized by an "exponential" family of linear continuous set-valued functions.
We consider when one-to-one continuous mappings can improve normality-type and compactness-type properties of topological spaces. In particular, for any Tychonoff non-pseudocompact space there is a such that can be condensed onto a normal (-compact) space if and only if there is no measurable cardinal. For any Tychonoff space and any cardinal there is a Tychonoff space which preserves many properties of and such that any one-to-one continuous image of , , contains a closed copy...
Let be a Tychonoff (regular) paratopological group or algebra over a field or ring or a topological semigroup. If and , then there exists a Tychonoff (regular) topology such that and is a paratopological group, algebra over or a topological semigroup respectively.