Abstract
AbstractLet $$ \mathcal{K} $$(ℝ) stand for the hyperspace of all nonempty compact sets on the real line and let d ±(x;E) denote the (right- or left-hand) Lebesgue density of a measurable set E ⊂ ℝ at a point x∈ ℝ. In [3] it was proved that $$ \{ K \in \mathcal{K}(\mathbb{R}):\forall _x \in K(d^ + (x,K) = 1ord^ - (x,K) = 1)\} $$ is ⊓11-complete. In this paper we define an abstract density operator ⅅ± and we generalize the above result. Some applications are included.
Reference15 articles.
1. CRM Monograph Series;A. Bruckner,1994
2. Ciesielski K., Larson L., Ostaszewski K., I-density continuous functions, Mem. Amer. Math. Soc., 1994, 107(515)
3. Głąb Sz., Descriptive properties related to porosity and density for compact sets on the real line, Acta Math. Hungar., 2007, 116(1–2), 61–71
4. Kechris A.S., On the concept of ⊓ 1 1 -completeness, Proc. Amer. Math. Soc., 1997, 125(6), 1811–1814
5. Kechris A.S., Classical descriptive set theory, Springer, New York, 1998