-
Semisolid sets and topological measures
Authors:
Svetlana V. Butler
Abstract:
This paper is one in a series that investigates topological measures on locally compact spaces. A topological measure is a set function which is finitely additive on the collection of open and compact sets, inner regular on open sets, and outer regular on closed sets. We examine semisolid sets and give a way of constructing topological measures from solid-set functions on locally compact, connecte…
▽ More
This paper is one in a series that investigates topological measures on locally compact spaces. A topological measure is a set function which is finitely additive on the collection of open and compact sets, inner regular on open sets, and outer regular on closed sets. We examine semisolid sets and give a way of constructing topological measures from solid-set functions on locally compact, connected, locally connected spaces. For compact spaces our approach produces a simpler method than the current one. We give examples of finite and infinite topological measures on locally compact spaces and present an easy way to generate topological measures on spaces whose one-point compactification has genus 0. Results of this paper are necessary for various methods for constructing topological measures, give additional properties of topological measures, and provide a tool for determining whether two topological measures or quasi-linear functionals are the same.
△ Less
Submitted 16 March, 2021;
originally announced March 2021.
-
Weak convergence of topological measures
Authors:
Svetlana V. Butler
Abstract:
Topological measures and deficient topological measures are defined on open and closed subsets of a topological space, generalize regular Borel measures, and correspond to (non-linear in general) functionals that are linear on singly generated subalgebras or singly generated cones of functions. They lack subadditivity, and many standard techniques of measure theory and functional analysis do not a…
▽ More
Topological measures and deficient topological measures are defined on open and closed subsets of a topological space, generalize regular Borel measures, and correspond to (non-linear in general) functionals that are linear on singly generated subalgebras or singly generated cones of functions. They lack subadditivity, and many standard techniques of measure theory and functional analysis do not apply to them. Nevertheless, we show that many classical results of probability theory hold for topological and deficient topological measures. In particular, we prove a version of Aleksandrov's Theorem for equivalent definitions of weak convergence of deficient topological measures. We also prove a version of Prokhorov's Theorem which relates the existence of a weakly convergent subsequence in any sequence in a family of topological measures to the characteristics of being a uniformly bounded in variation and uniformly tight family. We define Prokhorov and Kantorovich-Rubenstein metrics and show that convergence in either of them implies weak convergence of (deficient) topological measures on metric spaces. We also generalize many known results about various dense and nowhere dense subsets of deficient topological measures. The present paper constitutes a first step to further research in probability theory and its applications in the context of topological measures and corresponding non-linear functionals.
△ Less
Submitted 21 May, 2020; v1 submitted 5 July, 2019;
originally announced July 2019.
-
Integration with respect to deficient topological measures on locally compact spaces
Authors:
Svetlana V. Butler
Abstract:
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 vanishing at infinity function; and it produces a signed deficient top…
▽ More
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 vanishing at infinity function; and it produces a signed deficient topological measure if we use 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 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 $\int_X f \, d μ= 0$, but $\int_X (-f )\, d μ\neq 0$. We present different criteria for $\int_X f \, d μ= 0$. We also prove some convergence results, including a Monotone convergence theorem.
△ Less
Submitted 22 February, 2019;
originally announced February 2019.
-
Decompositions of signed deficient topological measures
Authors:
Svetlana V. Butler
Abstract:
This paper focuses on various decompositions of topological measures, deficient topological measures, signed topological measures, and signed deficient topological measures. These set functions generalize measures and correspond to certain non-linear functionals. They may assume $\infty$ or $-\infty$. We introduce the concept of a proper signed deficient topological measure and show that a signed…
▽ More
This paper focuses on various decompositions of topological measures, deficient topological measures, signed topological measures, and signed deficient topological measures. These set functions generalize measures and correspond to certain non-linear functionals. They may assume $\infty$ or $-\infty$. We introduce the concept of a proper signed deficient topological measure and show that a signed deficient topological measure can be represented as a sum of a signed Radon measure and a proper signed deficient topological measure. We also generalize practically all known results that involve proper deficient topological measures and proper topological measures on compact spaces to locally compact spaces. We prove that the sum of two proper (deficient) topological measures is a proper (deficient) topological measure. We give a criterion for a (deficient) topological measure to be proper.
△ Less
Submitted 21 February, 2019;
originally announced February 2019.
-
Signed topological measures on locally compact spaces
Authors:
Svetlana V. Butler
Abstract:
In this paper we define and study signed deficient topological measures and signed topological measures (which generalize signed measures) on locally compact spaces. We prove that a signed deficient topological measure is $τ$-smooth on open sets and $τ$-smooth on compact sets. We show that the family of signed measures that are differences of two Radon measures is properly contained in the family…
▽ More
In this paper we define and study signed deficient topological measures and signed topological measures (which generalize signed measures) on locally compact spaces. We prove that a signed deficient topological measure is $τ$-smooth on open sets and $τ$-smooth on compact sets. We show that the family of signed measures that are differences of two Radon measures is properly contained in the family of signed topological measures, which in turn is properly contained in the family of signed deficient topological measures. Extending known results for compact spaces, we prove that a signed topological measure is the difference of its positive and negative variations if at least one variation is finite; we also show that the total variation is the sum of the positive and negative variations. If the space is locally compact, connected, locally connected, and has the Alexandroff one-point compactification of genus 0, a signed topological measure of finite norm can be represented as a difference of two topological measures.
△ Less
Submitted 20 February, 2019;
originally announced February 2019.
-
Repeated quasi-integration on locally compact spaces
Authors:
Svetlana V. Butler
Abstract:
When $X$ is locally compact, a quasi-integral (also called a quasi-linear functional) on $ C_c(X)$ is a homogeneous, positive functional that is only assumed to be linear on singly-generated subalgebras. We study simple and almost simple quasi-integrals, i.e., quasi-integrals whose corresponding compact-finite topological measures assume exactly two values. We present a criterion for repeated quas…
▽ More
When $X$ is locally compact, a quasi-integral (also called a quasi-linear functional) on $ C_c(X)$ is a homogeneous, positive functional that is only assumed to be linear on singly-generated subalgebras. We study simple and almost simple quasi-integrals, i.e., quasi-integrals whose corresponding compact-finite topological measures assume exactly two values. We present a criterion for repeated quasi-integration (i.e., iterated integration with respect to topological measures) to yield a quasi-linear functional. We find a criterion for a double quasi-integral to be simple. We describe how a product of topological measures acts on open and compact sets. We show that different orders of integration in repeated quasi-integrals give the same quasi-integral if and only if the corresponding topological measures are both measures or one of the corresponding topological measures is a positive scalar multiple of a point mass.
△ Less
Submitted 19 February, 2019;
originally announced February 2019.
-
Non-linear functionals, deficient topological measures, and representation theorems on locally compact spaces
Authors:
Svetlana V. Butler
Abstract:
We study non-linear functionals, including quasi-linear functionals, p-conic quasi-linear functionals, d-functionals, r-functionals, and their relationships to deficient topological measures and topological measures on locally compact spaces. We prove representation theorems and show, in particular, that there is an order-preserving, conic-linear bijection between the class of finite deficient top…
▽ More
We study non-linear functionals, including quasi-linear functionals, p-conic quasi-linear functionals, d-functionals, r-functionals, and their relationships to deficient topological measures and topological measures on locally compact spaces. We prove representation theorems and show, in particular, that there is an order-preserving, conic-linear bijection between the class of finite deficient topological measures and the class of bounded p-conic quasi-linear functionals. Our results imply known representation theorems for finite topological measures and deficient topological measures. When the space is compact we obtain four equivalent definitions of a quasi-linear functional and four equivalent definitions of functionals corresponding to deficient topological measures.
△ Less
Submitted 15 February, 2019;
originally announced February 2019.
-
Quasi-linear functionals on locally compact spaces
Authors:
Svetlana V. Butler
Abstract:
This paper has two goals: to present some new results that are necessary for further study and applications of quasi-linear functionals, and, by combining known and new results, to serve as a convenient single source for anyone interested in quasi-linear functionals on locally compact non-compact spaces or on compact spaces. We study signed and positive quasi-linear functionals paying close attent…
▽ More
This paper has two goals: to present some new results that are necessary for further study and applications of quasi-linear functionals, and, by combining known and new results, to serve as a convenient single source for anyone interested in quasi-linear functionals on locally compact non-compact spaces or on compact spaces. We study signed and positive quasi-linear functionals paying close attention to singly generated subalgebras. The paper gives representation theorems for quasi-linear functionals on $C_c(X)$ and for bounded quasi-linear functionals on $C_0(X)$ on a locally compact space, and for quasi-linear functionals on $C(X)$ on a compact space. There is an order-preserving bijection between quasi-linear functionals and compact-finite topological measures, which is also "isometric" when topological measures are finite. Finally, we further study properties of quasi-linear functionals and give an explicit example of a quasi-linear functional.
△ Less
Submitted 8 February, 2019;
originally announced February 2019.
-
Deficient topological measures on locally compact spaces
Authors:
Svetlana V. Butler
Abstract:
Topological measures and quasi-linear functionals generalize measures and linear functionals. We define and study deficient topological measures on locally compact spaces. A deficient topological measure on a locally compact space is a set function on open and closed subsets which is finitely additive on compact sets, inner regular on open sets, and outer regular on closed sets. Deficient topologi…
▽ More
Topological measures and quasi-linear functionals generalize measures and linear functionals. We define and study deficient topological measures on locally compact spaces. A deficient topological measure on a locally compact space is a set function on open and closed subsets which is finitely additive on compact sets, inner regular on open sets, and outer regular on closed sets. Deficient topological measures generalize measures and topological measures. First we investigate positive, negative, and total variation of a signed set function that is only assumed to be finitely additive on compact sets. These positive, negative, and total variations turn out to be deficient topological measures. Then we examine finite additivity, superadditivity, smoothness, and other properties of deficient topological measures. We obtain methods for generating new deficient topological measures. We provide necessary and sufficient conditions for a deficient topological measure to be a topological measure and to be a measure. The results presented are necessary for further study of topological measures, deficient topological measures, and corresponding non-linear functionals on locally compact spaces.
△ Less
Submitted 6 February, 2019;
originally announced February 2019.