Density topologies for strictly positive Borel measures
type: Item
instance of: scholarly article
title: Density topologies for strictly positive Borel measures
zbMATH Open document ID: 1480.54006
author: Małgorzata Filipczak
author: Tomasz Filipczak
author: Grażyna Horbaczewska
published in: Topology and its Applications
publication date: 2021-11-18T00:00:00Z
review text: Any abstract density topology is generated by a lower density operator \(\Phi\) on the space \((X, \mathcal{S}, \mathcal{I})\), where \( \mathcal{S}\) is a \(\sigma\)-algebra of subsets of \(X\) and \( \mathcal{I}\) is \(\sigma\)-ideal included in \( \mathcal{S}\). A basic example of such a topology is the classical density topology \( \mathcal{T}_d\) connected with the Lebesgue measure. A generalization of the density with respect to the Lebesgue measure can be obtained for other measures. For any complete measure \(\mu\) denote by \(S_{\mu}\) the \(\sigma\)-algebra of all \(\mu\)-measurable sets and by \(\mathcal{N}_{\mu}\) the \(\sigma\)-ideal of all \(\mu\)-null sets. Let \(\mu\) be any Borel measure which is finite, complete and regular. For such a measure there are defined: the \(\mu\)-density \(d_{\mu}\), the operator \(\Phi_{\mu}\) and the family \(\mathcal{T}_{\mu}=\{A\in S_{\mu}\colon A\subset \Phi_{\mu}(A)\}\). If \(\mu\) is a strictly positive Borel measure then \(\Phi_{\mu}\) is a lower \(\mu\)-density operator on \(([0,1], S_{\mu}, \mathcal{N}_{\mu})\) and the family \(\mathcal{T}_{\mu}\) is a topology on \([0,1]\). Moreover, \(([0,1], \mathcal{T}_{\mu} )\) is regular but not normal. In some cases it is Tychonoff. If \(\nu\) is any atomless measure then the topology \(\mathcal{T}_{\nu}\) is homeomorphic to \( \mathcal{T}_d\). However, there are measures \(\mu\) generating topologies quite different from \( \mathcal{T}_d\) (for instance: separable and not connected, not Lindelöf but separable).
Mathematics Subject Classification ID: 54A10
Mathematics Subject Classification ID: 54D15
Mathematics Subject Classification ID: 28C15
zbMATH DE Number: 7429997
zbMATH Keywords: separation axioms
zbMATH Keywords: density topologies
zbMATH Keywords: homeomorphism
zbMATH Keywords: Borel measures
Wikidata QID: Q114128038
reviewed by: Małgorzata Terepeta
MaRDI profile type: MaRDI publication profile
full work available at URL: j.topol.2021.107857
OpenAlex ID: W3204285687
cites work: Nonseparable spaceability and strong algebrability of sets of continuous singular functions
cites work: On density points of subsets of metric space with respect to the measure given by Radon-Nikodým derivative
cites work: ON DENSITY WITH RESPECT TO EQUIVALENT MEASURES
cites work: Densities generated by equivalent measures
cites work: Q4836494
cites work: Differentiation of real functions
cites work: On \(f\)-density topologies
cites work: Q3456198
cites work: Q3481984
cites work: Q3612646
cites work: Density topology and approximate continuity
cites work: Q5809290
cites work: Q3456200
cites work: Fine topology methods in real analysis and potential theory
cites work: Q4788814
DOI: 10.1016/J.TOPOL.2021.107857
Recommended article: A topological analogue of the Borel density theorem
Recommended article: Density in the space of topological measures
Recommended article: Q3974578
Recommended article: The density of Borel sets
Recommended article: Q5381706
Recommended article: Q5341043
Recommended article: On the density topology with respect to an extension of Lebesgue measure
Recommended article: Strong density topologies with respect to measure and category
Recommended article: On some abstract density topologies
Recommended article: Density topology and pointwise convergence
description: scientific article; zbMATH DE number 7429997