Let \((X,\mathcal B,\mu )\) be a measure space. \(U\in \mathcal B\) is called an atom if \(\mu (U)>0\) and \(\mu (V)=0\) for all \(V\), a proper subset of \(U\). If \((X,\mathcal B,\mu )\) is \(\sigma \)-finite measure space and \(f:X\to Y\) then \(f_*(\mu )\) has at most countably many atoms.
Question
Math 6210 • Real Analysis
Fall 2014 • Question 2