TMED, Problemas Hoja 1

Alba Gonzalo Primo, Samuel Luque Astorga y Jon Maueco Rubio

Madrid, 26 de septiembre de 2022

Problema 10. Sea A el conjunto de [0, 1] que consisten en todos los nmeros que no tienen
el dgito 4 en su expresin. Demostrar que A es Borel medible.

Solucin. Se define el conjunto

P = {n ∈ N q {0} : n ≤ 9},

y la funcin
f : [0, 1] × N0 → P, f (x, n) = an

donde x = ∞ −k
P
k=0 ak · 10 , y tomamos el convenio de que no puede darse que an = 9
para todo n suficientemente grande, de manera que se consigue que ak est unvocamente
determinado.
Tambin definimos la familia de conjuntos,

Cn = {x ∈ [0, 1] : f (x, n) = 4}

Cada Cn nos indica el conjunto de nmeros del intervalo [0,1] que contienen un 4 en la n-sima
posicin decimal. Se tiene as de forma trivial que
[
[0, 1] \ A = Cn
n∈N

Nos basta entonces ver que cada conjunto Cn es Borel medible y tendremos que [0, 1] \ A
lo es tambin, dado que, por definicin, la unin numerable de conjuntos medibles es a su vez
medible.
Observemos ahora que los conjuntos Cn tambin pueden ser escritos como,
 
[ X n−1 n−1
X
Cn =  ai 10−i + 4 · 10−n , ai 10−i + 5 · 10−n 
ai ∈P i=1 i=1

De este modo, como los intervalos de la forma [a, b) con a, b ∈ R son Borel medibles, por
el razonamiento anterior, los Cn tambien lo son.

1
Problemas Hoja 1 Alba G. P., Samuel L. A. y Jon M. R.

Tenemos as que [0, 1] \ A es Borel medible, y como la diferencia de medibles es medible

y A lo podemos expresar como A = [0, 1] \ ([0, 1] \ A), entonces A es tambin Borel medible.