Polish metric spaces with fixed distance set

We study Polish spaces for which a set of possible distances A 86R+ is fixed in advance. We determine, depending on the properties of A, the complexity of the collection of all Polish metric spaces with distances in A, obtaining also example of sets in some Wadge classes where not many natural examples are known. Moreover we describe the properties that A must have in order that all Polish spaces with distances in that set belong to a given class, such as zero-dimensional, locally compact, etc. These results lead us to give a fairly complete description of the complexity, with respect to Borel reducibility and again depending on the properties of A, of the relations of isometry and isometric embeddability between these Polish spaces

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

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.Comment: 31 pages. To appear in the European Journal of Mathematic