Vanishing Borel sets

Abstract

Henson and Ross [1] answered the question of when two hyperfinite sets A, B in an ℵ1-saturated nonstandard universe are bijective by a Borel function: precisely when ∣A∣/∣B∣ ≈ 1. Živaljević [5] generalized this result to nonvanishing Borel sets. He defined a set to be nonvanishing if it is Loeb-measurable and has finite, non-zero measure with respect to some Loeb counting measure. He then showed that two nonvanishing Borel sets are Borel bijective just in case they have the same finite, non-zero measure with respect to some Loeb counting measure.Here we shall complete the cycle, for Borel sets at least. For N ∈ *N, let λN be the internal counting measure given by λN(A) = ∣A∣/N for A internal. Then for vanishing Loeb-measurable sets B, it is natural to consider the Dedekind cut (BL, BR) on *N consisting of those N for which B has 0λN-measure infinity and zero, respectively. We show that, for all vanishing Borel sets B, B and BL are Borel bijective. It follows that vanishing Borel sets B and C are Borel bijective if, and only if, BL = CL. Combined with Živaljević's result, we can characterize when arbitrary Borel sets are Borel bijective: precisely when they have the same measure with respect to all Loeb counting measures.In the final section, we generalize in a similar way results of [2] and [5] to characterize when two Borel sets are bijective by a countably determined function: precisely when, for all N, one has 0λN-measure 0 if and only if the other also has 0λN-measure 0.