Sheaves of metric lattices
We present short and elementary proofs of the following two known theorems in General Topology: (i) [H. Wicke and J. Worrell] A weakly -refinable countably compact space is compact. (ii) [A. Ostaszewski] A compact Hausdorff space which is a countable union of metrizable spaces is sequential.
Let Z be an uncountable Polish space. It is a classical result that if I ⊆ ℝ is any interval (proper or not), f: I → ℝ and then f ○ g ∈ for every if and only if f is continuous on I, where stands for the αth class in Baire’s classification of Borel measurable functions. We shall prove that for the classes in Sierpiński’s classification of Borel measurable functions the analogous result holds where the condition that f is continuous is replaced by the condition that f is locally Lipschitz...
We extend some known sigma-finiteness and regularity results for (locally finite) Radon measures to locally sigma-finite or locally moderated Radon measures of type (H), and we obtain other new ones. The main result states that the regularity and the sigma-finiteness are equivalent for alllocally moderated, diffused, Radon measures of type (H) in a T1 topological space which is either weakly metacompact or paralindelöf (resp. metalindelöf) and has a concassage of Lindelöf (resp. separable) subsets....
Denote by , , the regular tree whose vertices have valence , its boundary. Yu. A. Neretin has proposed a group of transformations of , thought of as a combinatorial analogue of the diffeomorphism group of the circle. We show that is generated by two groups: the group of tree automorphisms, and a Higman-Thompson group . We prove the simplicity of and of a family of its subgroups.