Countable tightness in the spaces of regular probability measures

Spaces which are generated by discrete sets

This chapter pursues three lines of investigation in the subject of functional analysis—one involving smooth functions and distributions, one involving fixed-point theorems, and one involving spectral theory.Section 1 introduces topological vector spaces. These are real or complex vector spaces with a Hausdorff topology in which addition and scalar multiplication are continuous. Examples include normed linear spaces, spaces given by a separating family of countably many seminorms, and weak and weak-star topologies in the context of Banach spaces. Various general properties of topological vector spaces are proved, and it is proved that the quotient of a topological vector space by a closed vector subspace is Hausdorff and is therefore a topological vector space.Section 2 introduces a topology on the space C∞(U) of smooth functions on an open subset of ℝN. The support of a continuous linear functional on C∞(U) is defined and shown to be a compact subset of U. Accordingly, the continuous linear functionals are called distributions of compact support.Section 3 studies weak and weak-star topologies in more detail. The main result is Alaoglu’s Theorem, which says that the closed unit ball in the weak-star topology on the dual of a normed linear space is compact. In an earlier chapter a preliminary form of this theorem was used to construct elements in a dual space as limits of weak-star convergent subsequences.Section 4 follows Alaoglu’s Theorem along a particular path, giving what amounts to a first example of the Gelfand theory of Banach algebras. The relevant theorem, known as the Stone Representation Theorem, says that conjugate-closed uniformly closed subalgebras containing the constants in B(S) are isomorphic via a norm-preserving algebra isomorphism to the space of all continuous functions on some compact Hausdorff space. The compact space in question is the space of multiplicative linear functionals on the subalgebra, and the proof of compactness uses Alaoglu’s Theorem.Sections 5–6 return to the lines of study toward distributions and fixed-point theorems. Section 5 studies the relationship between convexity and the existence of separating linear functionals. The main theorem makes use of the Hahn-Banach Theorem. Section 6 introduces locally convex topological vector spaces. Application of the basic separation theorem from the previous section shows the existence of many continuous linear functionals on such a space.Section 7 specializes to the line of study via smooth functions and distributions. The topic is the introduction of a certain locally convex topology on the space C ∞com (U) of smooth functions of compact support on U. This is best characterized by a universal mapping property introduced in the section.Sections 8–9 pursue locally convex spaces along the other line of study that split off in Section 5. Section 8 gives the Krein-Milman Theorem, which asserts the existence of a supply of extreme points for any nonempty compact convex set in a locally convex topological vector space. Section 9 relates compact convex sets to the subject of fixed-point theorems.Section 10 takes up the abstract theory of Banach algebras, with particular attention to commutative C* algebras with identity. Three examples are the algebras characterized by the Stone Representation Theorem, any L∞ space, and any adjoint-closed commutative Banach algebra consisting of bounded linear operators on a Hilbert space and containing the identity.Section 11 continues the investigation of the last of the examples in the previous section and derives the Spectral Theorem for bounded self-adjoint operators and certain related families of operators. Powerful applications follow from a functional calculus implied by the Spectral Theorem. The section concludes with remarks about the Spectral Theorem for unbounded self-adjoint operators.KeywordsBanach AlgebraTopological Vector SpaceNormed Linear SpaceInternal PointCompact Hausdorff SpaceThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

αo̧mpactness in bifuzzy topological spaces

Almost compactness and near compactness in fuzzy topological spaces

Let m be a Radon measure on a Hausdorff topological space X.Corresponding to three kinds of outer measures, three kinds of m-negligible sets are considered.The main theorem states that in a metacompact space X each locally m-negligible set is m-negligible.For a Radon measure in a HausdorfT topological space X we distinguish three kinds of negligible sets corresponding to three kinds of outer measures: strictly negligible, negligible and locally negligible sets, respectively.It is shown that two classes of negligible sets coincide iff the corresponding outer measures coincide.Further, each locally negligible set is strictly negligible if X is Lindelf.We give two examples that both in locally compact separable spaces and in locally compact metrizable spaces a negligible set need not be strictly negligible.It is an unsolved problem whether a locally negligible set is always negligible, or equivalently, whether the corresponding outer measures are always the same.In this latter form the problem is due to Schwartz [5, p. 17].The main purpose of this note is to prove that in a metacompact space, and hence in a paracompact space, each locally negligible set is negligible.It will turn out that this is even true for compact inner regular Borel measures which are only locally a-finite.At least in this slightly more general situation it can be shown that the assumption " metacompact" cannot be replaced by "locally compact".By the compact inner regularity of Radon measures the necessity to distinguish several kinds of negligible sets arises with the infinity of the measures.That is, for finite, compact inner regular Borel measures the three kinds of negligible sets coincide.In the case of finite Borel measures (not necessarily compact inner regular) there are at most two kinds of negligible sets.The class of topological spaces in which these two kinds coincide for each finite or each finite regular Borel measure was considered by Gardner in [3] (see also [4]).Throughout this paper X is a Hausdorff topological space.(X), \}(X) and Si(X) denote, respectively, the families of all open, closed and compact subsets of X.The Borel a-algebra is denoted by %5(X).A Borel measure in X, i.e. a nonnegative, countably additive set function on 93 (X), is called locally finite if each point in X has a neighbourhood of finite measure.

Chapter 12 N-Compactness and Its Applications

Chapter 52 - The interplay between compact spaces and the Banach spaces of their continuous functions

We assume a basic knowledge of general topology and integration theory (as found, for example, in [91], [104], [130], and [253]). The purpose of this chapter is to present some special results which are not necessarily found in general references. In section 4 we prove an interpolation theorem and investigate when compact Hausdorff spaces can be mapped continously onto the closed unit interval [0, 1]. A brief development of dispersed spaces and their relationship to spaces of ordinal numbers is given in section 5. Section 6 is devoted to a study of the Cantor set and section 7 is concerned with extremally disconnected compact Hausdorff spaces and their role as projectives (in the category of compact Hausdorff spaces and continuous maps). In section eight we briefly develop the theory of regular Borel measures and prove representation theorems for C(T,ℝ)* (and C(T,ℂ)*).

Suppose that K = {K0, K1} is a partition of some finite combinatorial power [S]r of a set S. Let X(K) be the compact subspace of the Tychonoff cube [0, 1]S consisting of those functions ƒ whose supports Sƒ = {ƒ > 0} are 0-homogeneous i.e., [Sƒ]r ⊆ K0. It can be said that almost every example of a space witnessing the distinction between various chain conditions is a variation of X(K) (see [2]). This comes from the fact that the subject is closely related to the subject of Partition Calculus. (See [11] for an explanation of this point.) To have examples which are even more topologically interesting one usually tries to make them small, i.e., as closely related to the unit interval as possible. The operation X(K) has a considerable drawback in that respect. For example, if we want X(K) to be ccc this becomes equivalent to the fact that the poset of all finite 0-homogeneous sets is ccc which amounts to the fact that K1 must be very small. Hence K0 is big in the sense that there exist large 0-homogeneous sets. This usually results in X(K) having large size and having points of large character. One attempt to solve this problem was given by van Douwen in [5] by going to the subspace Xm(K) of X(K) consisting of those ƒ for which Sƒ are maximal 0-homogeneous subsets of S. Unfortunately, while Xm(K) usually does have small character it is almost never compact. This might have been the reason for his question ([2], p. 207) whether the Continuum Hypothesis implies that the class of all first countable compacta distinguishes the standard chain conditions that lie between ‘ccc’ and ‘separable’. In this paper we solve this problem completely. Moreover, we shall not go beyond the usual axioms of set theory in constructing the examples. The sequence of examples will start with a compact space of small character whose chain condition is not productive and it will end with a compact space of size c and small character which is ccc in a strong sense but which fails to have calibre θ for some regular uncountable cardinal θ, i.e., it fails to have the property of Shanin. Note that one cannot go further and show that, for example, compact spaces of small character distinguish between ‘the property of Shanin’ and ‘separable’. This follows from an old result of Efimov [3] that, under CH, first-countable spaces of calibre ℵ1 are separable. The combinatorics behind our examples have been developed in a series of papers that deal with the subject of forcing axioms in general and Martin's axiom in particular ([10, 11, 12, 13, 14]). Martin's axiom was originally invented in connection with the Souslin Problem, i.e., to show that certain compact ccc spaces must be separable (see [8]). A result of the aforementioned study of MA showed that this axiom is nothing more than the statement that all compact ccc spaces of π-weight < c must be separable (see [12]). An analysis of the fact that MA implies SH, due to Hajnal and Juhasz[6] (see also [4], §43 for a definite result in that direction due to Shapirovskii), revealed that MA implies that every compact ccc space X with the property χ(X)+ < c must be separable. This result explains why the compact ccc non-separable spaces X that we construct in this paper have the property that χ(x, X) < c for all x m X rather than the stronger property χ(X) < c or even χ(X) = ℵ0. Note that our examples show, answering a question from [6], that the Hajnal–Juhasz result is sharp in the sense that the assumption χ(X)+ < c cannot be weakened to χ(X) < c. The first example to show this was constructed by Bell [1] using a consequence of MA rather than just ZFC for its construction. Another feature of our examples is that they all are remainders of certain compactifications of the integers. This is of independent interest in certain constructions of weak P-points in compact F-spaces. An explanation of this can be found in [1] and [9] where the first examples of ccc non-separable remainders were constructed and used.

For a compact space K we denote by $$C_w(K)$$ ( $$C_p(K)$$ ) the space of continuous real-valued functions on K endowed with the weak (pointwise) topology. In this paper we address the following basic question which seems to be open: Suppose that K is an infinite (metrizable) compact space. Can $$C_w(K)$$ and $$C_p(K)$$ be homeomorphic? We show that the answer is “no”, provided K is an infinite compact metrizable C-space. In particular our proof works for any infinite compact metrizable finite-dimensional space K.

We study the persistent homology of both functional data on compact topological spaces and structural data presented as compact metric measure spaces. One of our goals is to define persistent homology so as to capture primarily properties of the shape of a signal, eliminating otherwise highly persistent homology classes that may exist simply because of the nature of the domain on which the signal is defined. We investigate the stability of these invariants using metrics that downplay regions where signals are weak. The distance between two signals is small if they exhibit high similarity in regions where they are strong, regardless of the nature of their full domains, in particular allowing different homotopy types. Consistency and estimation of persistent homology of metric measure spaces from data are studied within this framework. We also apply the methodology to the construction of multi-scale topological descriptors for data on compact Riemannian manifolds via metric relaxations derived from the heat kernel.

The main purpose of this work is to apply elements of set theory to the study of biorthogonal systems in Banach spaces. Initially, we study Markushevic's Theorem, which ensures that every separable Banach space has a countable biorthogonal system. With this result, we focus our attention to the study of nonseparable Banach spaces, more especifically, we study the existence of uncountable biorthogonal systems in Banach spaces of the form C(K), with K a nonmetrizable compact Hausdorff space. In this direction, we study two theorems of S. Todorcevic. The first one gives us sufficient conditions that a compact Hausdorff space K must satisfy in order to get that the respective Banach space C(K) has an uncountable biorthogonal system. The second one tells us that under Martin's Axiom, every nonseparable Banach space of the form C(K) has an uncountable biorthogonal system. Next, we consider some cardinal functions defined by P. Koszmider for Banach spaces, related with biorthogonal systems, and we study its relations with well -known cardinal functions. In particular, we obtain an original result relating the weight of a compact Hausdorff space K to the size of certain biorthogonal systems in C(K), generalizing a result of S.

Helly and Klee type intersection theorems for finitary connected paved spaces

On the existence of continuous (approximate) roots of algebraic equations

Weight of precompact subsets and tightness