Heredity of density points (Q1194657)

The authors study the problem to give conditions that assure the density of a Lebesgue measurable subset \(A\) of \(\mathbb{R}^ n\) at 0 with respect to the measure \(\mu_ g(E)= \int_ E g(x)dx\), where \(g\) is a Lebesgue measurable real function, strictly positive almost everywhere. If 0 is a density point of \(A\) (i.e., \(\lim_{t\to 0}{\mu(A\cap B_ t)\over \mu(B_ t)}=1\), where \(B_ t=\{x\): \(\| x\|\leq t\}\)), generally 0 is not a density point of \(A\) with respect to \(\mu_ g\) (the authors give an example), but it is necessary to give conditions on both \(A\) and \(g\).