Skip to content

Question

Math 6210 • Real Analysis

Fall 2014 • Question 2

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.

Raw LaTeX

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.