The descriptive set theory of the Lebesgue density theorem

Details The descriptive set theory of the Lebesgue density theorem The descriptive set theory of the Lebesgue density theorem

2011-05-17

arxiv.org/abs/1105.3355v1

Mathematics

Logic

45 pages

Scientific paper

Given an equivalence class $[A]$ in the measure algebra of the Cantor space, let $\hat\Phi([A])$ be the set of points having density 1 in $A$. Sets of the form $\hat\Phi([A])$ are called $\mathcal{T}$-regular. We establish several results about $\mathcal{T}$-regular sets. Among these, we show that $\mathcal{T}$-regular sets can have any complexity within $\Pi^{0}_{3}$ (=$ \mathbf{F}_{\sigma\delta}$), that is for any $\Pi^{0}_{3}$ subset $X$ of the Cantor space there is a $\mathcal{T}$-regular set that has the same topological complexity of $X$. Nevertheless, the generic $\mathcal{T}$-regular set is $\Pi^{0}_{3}$-complete, meaning that the classes $[A]$ such that $\hat{\Phi}([A]) $ is $\Pi^{0}_{3}$-complete form a comeagre subset of the measure algebra. We prove that this set is also dense in the sense of forcing, as $\mathcal{T}$-regular sets with empty interior turn out to be $\Pi^{0}_{3}$-complete. Finally we show that the generic $[A]$ does not contain a $\Delta^{0}_{2}$ set, i.e., a set which is in $\mathbf{F}_\sigma\cap\mathbf{G}_\delta$

Affiliated with

Also associated with

No associations

Rating

The descriptive set theory of the Lebesgue density theorem does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with The descriptive set theory of the Lebesgue density theorem, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The descriptive set theory of the Lebesgue density theorem will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-727755