Indicator of a restricted-digit decimal set
ID: indicator-of-a-restricted-digit-decimal-set
Let consist of numbers whose decimal digits all lie in a fixed set with digits. The allowed prefixes give closed decimal intervals of length covering , with no endpoints in . A partition of an interval at those endpoints gives an upper Darboux sum at most . Every cell contains a terminating decimal outside , so the lower Darboux sum is zero. Thus the indicator function is Riemann integrable with Riemann integral zero. Such sets illustrate how an uncountable set may have an integrable indicator function of zero integral.
New to topics? Read the docs here!