[Math] Show that the characteristic function of $\mathbb{Q}$ is Lebesgue integrable.

lebesgue-integralmeasure-theoryreal-analysis

Show that the characteristic function of $\mathbb{Q}$ is Lebesgue integrable.

I've shown that it isn't Reimann integrable, but I'm stuck on showing it is Lebesgue integrable. Any help would be much appreciated.

Best Answer

You have that $\mathbb{Q}$ is countable, so you can write $\mathbb{Q}=\bigcup_{n\geq 0}\{x_n\}.$ As a countable union of borelians sets, $\mathbb{Q}$ is a borelian set and so $\mathbb{1}_\mathbb{Q}$ is mesurable : by definition $$\int_\mathbb{R}\mathbb{1}_\mathbb{Q}\,d\mu=\mu(\mathbb{Q})=\sum_{n\geq 0}\mu(\{x_n\})=\sum_{n\geq0}0=0.$$

Related Question