8
$\begingroup$

I was reading up about Lebesgue meaures on $\mathbb{R}$, and came across the fact that there is a Lebesgue measure $\mu$ uniquely defined by $\mu((a,b))=b-a$ on the real line. I'm trying to build up a (somewhat analogous?) idea on $\mathbb{Q}$.

I take $\mathcal{R}$ to be the set ring of subsets of $\mathbb{Q}$ which are finite unions of half-open intervals on the rational line of form $(a,b]=\{q\in\mathbb{Q}\mid a<q\leq b\}$ for $a\leq b$ rationals.

Does there then exist a finitely additive $\mu\colon\mathcal{R}\to[0,+\infty]$ such that $\mu((a,b])=b-a$ when $a\leq b$ are rationals? And if such a $\mu$ does exist, is it unique?

Thanks!

$\endgroup$
  • 2
    $\begingroup$ @Alex: The restriction to $\mathbb Q$ is the constant function $0$. $\endgroup$ – Asaf Karagila Nov 1 '11 at 23:24
  • 1
    $\begingroup$ @AsafKaragila: I'm sorry, I suppose I'm being dense. Could you explain why? $\endgroup$ – Alex Youcis Nov 1 '11 at 23:25
  • 3
    $\begingroup$ @Alex: The usual measure is countably-additive and is zero on singletons. Thus zero on every countable set. Ergo zero on every set of rationals. $\endgroup$ – Asaf Karagila Nov 1 '11 at 23:32
  • 1
    $\begingroup$ If $A\in\mathcal R$, write is as a finite union of disjoint semi-open intervals and define $\mu(A)$ to be the Lebesgue measure of those intervals now viewed in $\mathbb R$. $\endgroup$ – Mariano Suárez-Álvarez Nov 1 '11 at 23:48
  • 1
    $\begingroup$ @Yuval: That won't give you a measure that is additive on disjoint subsets. $\endgroup$ – Henning Makholm Nov 2 '11 at 0:26
10
$\begingroup$

Yes it does exist, and is just the same as defining the Lebesgue measure on the ring $\mathcal{S}$ of subsets of $\mathbb{R}$ formed by finite unions of sets $(a,b]=\{x\in\mathbb{R}\colon a < x\le b\}$ for $a < b\in\mathbb{Q}$.

We can define $f\colon\mathcal{S}\to\mathcal{R}$ by $f(A)=A\cap\mathbb{Q}$. This is just the preimage of $A$ under the embedding $\mathbb{Q}\hookrightarrow\mathbb{R}$, and preserves set unions and differences. Then, $f$ is clearly onto and is one-to-one: if $f(A)=f(B)$ then $f(A\setminus B)=f(B\setminus A)=\emptyset$ from which we get $A\setminus B=B\setminus A=\emptyset$ and, hence, $A=B$. So, $f$ has an inverse $f^{-1}\colon\mathcal{R}\to\mathcal{S}$.

If $\nu\colon\mathcal{S}\to[0,\infty]$ is any finitely additive function, such as the restriction of the Lebesgue measure to $\mathcal{S}$ (for your case), then you can define the finitely additive function $\mu=\nu\circ f^{-1}$ on $\mathcal{R}$.

Any such additive function is uniquely defined by its values on the half-open intervals. Just apply additivity to the fact that every element of $\mathcal{R}$ (and $\mathcal{S}$) is a disjoint union of such half-open intervals.

$\endgroup$
  • $\begingroup$ Also, this is essentially the same idea as suggested by Mariano in a comment above. $\endgroup$ – George Lowther Nov 2 '11 at 1:21

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.