Essentials of General Topology

The first eight sections of this chapter constitute its core and are generally parallel to the leading sections of chapter 4. Most of the sections are brief and emphasize the nonmetric aspects of topology. Among the topics treated are normality, regularity, and second countability. The proof of Tychonoff’s theorem for finite products appears in section 8. The section on locally compact spaces is the transition between the core of the chapter and the more advanced sections on metrization, compactification, and the product of infinitely many spaces. The highlights include the one-point compactification, the Urysohn metrization theorem, and Tychonoff’s theorem. Little subsequent material is based on the last three sections. At various points in the book, it is explained how results stated for the metric case can be extended to topological spaces, especially locally compact Hausdorff spaces. Some such results are developed in the exercises.

ON LOCAL WEAK τ-DENSITY OF TOPOLOGICAL SPACES

A topological space X is locally weakly separable [3] at a point x∈X if x has a weakly separable neighbourhood. A topological space X is locally weakly separable if X is locally weakly separable at every point x∈X. The notion of local weak separability can be generalized for any cardinal τ ≥ℵ0 . A topological space X is locally weakly τ-dense at a point x∈X if τ is the smallest cardinal number such that x has a weak τ-dense neighborhood in X [4]. The local weak density at a point x is denoted as lwd(x). The local weak density of a topological space X is defined in following way: lwd ( X ) = sup{ lwd ( x) : x∈ X } . A topological space X is locally τ-dense at a point x∈X if τ is the smallest cardinal number such that x has a τ-dense neighborhood in X [4]. The local density at a point x is denoted as ld(x). The local density of a topological space X is defined in following way: ld ( X ) = sup{ ld ( x) : x∈ X } . It is known that for any topological space we have ld(X ) ≤ d(X ) . In this paper, we study questions of the local weak τ-density of topological spaces and establish sufficient conditions for the preservation of the property of a local weak τ-density of subsets of topological spaces. It is proved that a subset of a locally τ-dense space is also locally weakly τ-dense if it satisfies at least one of the following conditions: (a) the subset is open in the space; (b) the subset is everywhere dense in space; (c) the subset is canonically closed in space. A proof is given that the sum, intersection, and product of locally weakly τ-dense spaces are also locally weakly τ-dense spaces. And also questions of local τ-density and local weak τ-density are considered in locally compact spaces. It is proved that these two concepts coincide in locally compact spaces.

Integration with respect to deficient topological measures on locally compact spaces

Topological measures and deficient topological measures generalize Borel measures and correspond to certain non-linear functionals. We study integration with respect to deficient topological measures on locally compact spaces. Such an integration over sets yields a new deficient topological measure if we integrate a nonnegative continuous vanishing at infinity function; and it produces a signed deficient topological measure if we integrate a continuous function on a compact space. We present many properties of these resulting deficient topological measures and of signed deficient topological measures. In particular, they are absolutely continuous with respect to the original deficient topological measure, and their corresponding non-linear functionals are Lipschitz continuous. Deficient topological measures obtained by integration over sets can also be obtained from non-linear functionals. We show that for a deficient topological measure μ that assumes finitely many values, there is a function f such that $\begin{array}{} \int\limits_X \end{array}$f dμ = 0, but $\begin{array}{} \int\limits_X \end{array}$ (–f) dμ ≠ 0. We present different criteria for $\begin{array}{} \int\limits_X \end{array}$f dμ = 0. We also prove some convergence results, including a Monotone convergence theorem.

Every zero-dimensional homogeneous space is strongly homogeneous under determinacy

All spaces are assumed to be separable and metrizable. We show that, assuming the Axiom of Determinacy, every zero-dimensional homogeneous space is strongly homogeneous (i.e. all its non-empty clopen subspaces are homeomorphic), with the trivial exception of locally compact spaces. In fact, we obtain a more general result on the uniqueness of zero-dimensional homogeneous spaces which generate a given Wadge class. This extends work of van Engelen (who obtained the corresponding results for Borel spaces), complements a result of van Douwen, and gives partial answers to questions of Terada and Medvedev.

RECOVERING THE BOUNDARY PATH SPACE OF A TOPOLOGICAL GRAPH USING POINTLESS TOPOLOGY

First, we generalize the definition of a locally compact topology given by Paterson and Welch for a sequence of locally compact spaces to the case where the underlying spaces are $T_{1}$ and sober. We then consider a certain semilattice of basic open sets for this topology on the space of all paths on a graph and impose relations motivated by the definitions of graph C*-algebra in order to recover the boundary path space of a graph. This is done using techniques of pointless topology. Finally, we generalize the results to the case of topological graphs.