## You are here

Homea Lebesgue measurable but non-Borel set

## Primary tabs

# a Lebesgue measurable but non-Borel set

We give an example of a subset of the real numbers which is Lebesgue measurable, but not Borel measurable.

Let $S$ consist of the set of all irrational real numbers with continued fraction of the form

$x=a_{0}+\frac{1}{a_{1}+\frac{1}{a_{2}+\frac{1}{\ddots}}}$ |

such that there exists an infinite sequence $0<i_{1}<i_{2}<\cdots$ where each $a_{{i_{k}}}$ divides $a_{{i_{{k+1}}}}$. It can be shown that this set is Lebesgue measurable, but not Borel measurable.

In fact, it can be shown that $S$ is an analytic set, meaning that it is the image of a continuous function $f\colon X\rightarrow\mathbb{R}$ for some Polish space $X$ and, consequently, $S$ is a universally measurable set.

This example is due to Lusin (1927).

Keywords:

Lebesgue measurable, Borel measurable, continued fraction

Major Section:

Reference

Type of Math Object:

Theorem

Parent:

## Mathematics Subject Classification

28A05*no label found*28A20

*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

Apr 22

new question: Prove that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis

Apr 20

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia

new question: Prove that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis

Apr 20

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia