- #1

variety

- 22

- 0

## Homework Statement

Let [tex]\alpha(r)=r[/tex] and let [tex]P[/tex] be the family of intervals [tex][a,b)[/tex] in [tex]\mathbb{Q}[/tex]. Define [tex]\mu_{\alpha}([a,b))=\alpha(b)-\alpha(a)[/tex]. Show by example that [tex]\mu_{\alpha}[/tex] is not countably additive.

## Homework Equations

[tex]\mu[/tex] is countably additive if for any sequence of mutually disjoint subsets [tex]E_1, E_2, ...[/tex] such that [tex]\bigcup_{i=1}^{\infty}E_i\in P[/tex], we have [tex]\mu\left(\bigcup_{i=1}^{\infty}E_i\right)=\sum_{i=1}^{\infty}\mu(E_i)[/tex].

## The Attempt at a Solution

This problem is driving me insane. I know I have to somehow use the incompleteness of the rationals, so I tried to use sequences which I know do not converge in [tex]\mathbb{Q}[/tex]. For example, I tried defining [tex]x_{n+1}=x_n + 1/n^2[/tex] and [tex]E_n=[x_n,x_{n+1})[/tex], where [tex]x_1=0[/tex]. Then [tex]\mu(E_n)=1/n^2[/tex], so [tex]\sum_{i=1}^{\infty}\mu(E_i)=\pi^2/6[/tex], which is not in [tex]\mathbb{Q}[/tex]. But this does not work because [tex]\bigcup_{i=1}^{\infty}E_i=[0,\pi^2/6)\notin P[/tex].

Basically I keep running into two problems. Either this happens, or I find a sequence whose union is in [tex]P[/tex] but [tex]\mu[/tex] is countably additive. Any hints or suggestions would be greatly appreciated.