Hallo,
zeige, dass: An={x∈R : ⌊10⋅(10n−1x−⌊10n−1x⌋)⌋=2}={x∈R : x hat eine 5 an der n-ten Stelle der Dezimalbruchdarstellung} Borel-messbar ist. Versuch, die Menge zu verstehen. Du weißt darüber hinaus bestimmt, dass die abzählbare Vereinigung Borel-messbarer Mengen Borel-messbar ist.
Der Beweis ist dann ziemlich routinemäßig. Du definierst dir fn : R→R, fn(x)=⌊10⋅(10n−1x−⌊10n−1x⌋)⌋ und zeigst, dass das eine borel-messbare Funktion ist. Das Urbild fn−1(2)=An ist dann ebenfalls Borel-messbar, denn Urbilder messbarer Mengen sind messbar (das ist die definierende Eigenschaft).