Measurable rectangle
A universal analytic set \(U\subset \mathbb{R}\times \mathbb{R}\) is not in the \(\sigma\)-algebra generated by the rectangles of the form \(A\times B\) with \(A\) arbitrary and \(B\) measurable. The same is shown if \(B\) is asked to be of first category. This is an improved result of Mansfield and Rao. The main results concern the set \(E'= \{(x,y)\mid x+y\in E\}\). It is proved that \(E\subset\mathbb{R}\) is Borel if and only if \(E'\) is contained in the \(\sigma\)-algebra generated by the rectangles with measurable sides. An analytic set \(E\subset \mathbb{R}\) exists such that \(E'\) is neither contained in the \(\sigma\)-algebra generated by the rectangles \(A\times B\) with \(A\) arbitrary and \(B\) measurable nor in the \(\sigma\)-algebra generated by \(A\times B\) with \(A\) arbitrary and \(B\) with the Baire property. The proofs use classical results in a tricky way, only the proof of the last result for \(B\) measurable applies a technique of Bartoszynski and Judah and works with notions of determinating reals and random reals.
This page was built for publication: Measurable rectangle
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1322626)
