On the density topology with respect to an extension of Lebesgue measure

Abstract

We prove that, for every complete extension \(\mu\) of Lebesgue measure, the \(\mu\)-density topology is the Hashimoto topology generated by the density topology and the \(\sigma\)-ideal of \(\mu\)-null sets (cf. [1]).