Measurable group actions are essentially Borel actions (Q1084209)

Given a Borel action of a locally compact (second countable) group on a standard Borel space (X,\({\mathcal B})\) leaving quasi-invariant a probability measure \(\lambda\), it can also be viewed as a measurable action on the completion of \((X,{\mathcal M},\lambda),\) which is a Lebesgue space. It is proved that, conversely, any measurable action (in an appropriate sense) on a Lebesgue space \((Z,{\mathcal M},\mu),\) with \(\mu\) quasi-invariant, arises from a Borel action in the sense that there exists a conull invariant subset X of Z and a standard Borel structure \({\mathcal B}\) on X such that \({\mathcal M}\) is the completion of \({\mathcal B}\) and the induced action on X is a Borel action with respect to \({\mathcal B}\). The author notes that the choice of X and \({\mathcal B}\) may not, in general, be at our discretion.