# Analytic sets of reals and the density function in the Cantor space

## TL;DR

This paper investigates the properties of the density function in the Cantor space, identifying a universal set for certain analytic subsets and establishing the complexity of sets related to density ranges.

## Contribution

It introduces a universal set for  subsets of (0,1) via the density function and characterizes the complexity of sets of compact sets with specific density range properties.

## Key findings

- Identified a universal set  for subsets of (0,1) using the density function.
- Proved that the set of compact sets with a specified density range is -complete.
- Established the descriptive set-theoretic complexity of density-related sets.

## Abstract

We study the density function of measurable subsets of the Cantor space. Among other things, we identify a universal set $\mathcal{U}$ for $\Sigma^{1}_{1}$ subsets of $( 0 ; 1 )$ in terms of the density function; specifically $\mathcal{U}$ is the set of all pairs $( K , r )$ with $K$ compact and $r \in ( 0 ; 1 )$ being the density of some point with respect to $K$. This result yields that the set of all $K$ such that the range of its density function is $S \cup \{ 0 , 1 \}$, for some fixed uncountable analytic set $S \subseteq ( 0 ; 1 )$, is $\Pi^{1}_{2}$-complete.