3
$\begingroup$

I cannot understand:

$\bar{\mu} ( \{Q \cap (0,1) \} ) = 1$

and (cannot understand this one particularly)

$\underline{\mu} ( \{Q \cap (0,1) \} ) = 0$

where $Q$ is rational numbers, why? I know that the measure for closed set $\mu ([0,1]) = 1$ so I am puzzled with the open set solution. Is $\underline{\mu} ( (0,1) ) = 0$ also? How is the measure with open sets in general?

So far the main question, history contains some helper questions but I think this is the lion part of it what I cannot understand. More about Jordan measure here.

Related

  1. Jordan measure with semi-closed sets here
  2. Jordan measure and uncountable sets here

2 Answers 2

5

The inner measure of $S:=\mathbb Q \cap [0,1]$ is, by definition, the "largest" simple subset contained in S (, with largest defined as the sup of the measures of simple sets contained in $S$). But there is no non-trivial , i.e., non-empty, simple set contained in S', since , by density of both rationals and irrationals in $\mathbb R$, any simple set S':=[a,a+e) contained in $S$ (i.e., with $0 , will necessarily hit some irrational, i.e., no non-empty simple subset S' of $S$ can be contained in $S$, so the only simple set contained in $S$ is the trivial , empty set. And the empty set is defined to have measure $0$.

For the outer measure, you want to find the "smallest" set $T$ containing $S:=\mathbb Q \cap [0,1]$. As pointed above, by density of $\mathbb Q$ in $\mathbb R$ , no strict subset of $[0,1]$ can contain $S$. We then only have the option of having sets of the type S'':=[0,1+e) covering $S$; we can rewrite S'':=[0, 1+\frac{1}{n}), and m^*(S'')=1 + \frac{1}{n}. The infimum of the measures over all S'' is then $ inf$ { 1+$\frac{1}{n}$ : n in $\mathbb N$ }, which is 1.

  • 0
    The question is now [here](http://math.stackexchange.com/questions/63352/jordan-measure-with-semi-closed-sets).2011-09-10
3
  • The article you linked to explains it clearly- the expression you posted is the measure of a single rectangle, and one may add up the measures of a countable number of these rectangles separately to find the total measure of their union if the rectangles are disjoint but otherwise, they may have overlaps and you have to either account for the overlaps somehow or settle for sub-additivity. These are standard defining properties of measures/outer measures, which I suggest you review.

  • Yes, the Jordan measure of a single point is 0. Just apply the definitions using a very small covering rectangles.

  • Yes the Jordan measure of $[0,1]$ is $1$. Take outer measures with the rectangles $[0,1+\epsilon) $ and inner measures with rectangles $[0,1-\epsilon)$.

  • $\bar{\mu} ( \{Q \cap (0,1) \} ) = 1$ because the rationals are dense in the reals, so covering the rationals in $[0,1]$ with semi-open rectangles nessitates covering $[0,1)$ as well. On the other hand, $\underline{\mu} ( \{Q \cap (0,1) \} ) = 0$ because the irrationals are dense in the reals, so any simple set you try to place inside $\{Q \cap (0,1) \} $ will intersect with irrational numbers which are not in the set, so the only simple set inside is the empty set. By definition, the measure of the empty set is $0$.


In response to your edits: We are just applying the definitions of outer and inner Jordan measure. Hopefully my 4th point above addresses your question. The inner and outer measure of (0,1) is indeed 1, you should try proving it from the definitions as an exercise.

  • 0
    @gary: is $\mu ( (0,1) \cap R) = \mu ( (0,1) \cap R) = \mu ( (0,1) ) = 0$ so is the Jordan measure zero for all open sets? Is the Jordan measure zero for semi-closed sets?2011-09-09