0
$\begingroup$

$R^2$, $A=\{(x,\;y)\in R^2\colon 0\leqslant x\leqslant 1,\;0\leqslant y\leqslant 1\}$. Consider $X=A\cap Q^2$. Why for $X$, $m_e X=1,\;m_i X=0,\;m_e X\neq m_i X$? Especially i interested in why inner measure equals to $0$.

2 Answers 2

2

by definition we have \[ m_iX = \sup_{S \subseteq X \text{ simple}} m(S) \] where a set is simple iff it is the finite disjoint union of sets of the form $[a,b) \times [c,d)$. Since a notempty half-open interval has inner points, every non-empty simple set has also. As $X$ doesn't have an inner point, $m_iX = 0$.

For $m_eX = 1$, as \[ m_eX = \inf_{S \supseteq X \text{ simple}} m(S) \] we obviously have $m_eX \le 1$ as $[0, 1+\epsilon)^2$ is a simple set of measure $(1+\epsilon)^2$ which contains $X$. To show $m_eX \ge 1$ let $S \supset X$ be simple. We show $[0,1)^2 \subseteq S$, as $m$ is monotone on simple sets, the conclusion follows. So let $(x,y) \in [0,1)^2$, if we had $(x,y) \not\in S$, there were an $\epsilon > 0$ such that $[x, x+\epsilon) \times [y,y+\epsilon)$ is disjoint from $S$ (as $S$ is a finite union of such intervals), which contradicts $A \subseteq S$. So $m_eX \ge 1$ and we get $m_eX = 1$.

  • 0
    An inner point of $A$ were a point $(x,y) \in A$ with $(x-\delta, x+\delta) \times (y-\delta, y+\delta) \subseteq A$ for some \delta > 0. $A$ doesn't have inner points as $\mathbb Q \subseteq \mathbb R$ doesn't.2012-05-15
1

Hint: One can show that the Jordan outer measure of a bounded set $E$ is always equal to the Jordan outer measure of the closure of $E$. You can also show that the Jordan inner measure is bounded above by the Lebesgue outer measure of a bounded set $E$. Now it is not that difficult to show that the Jordan outer measure and the Lebesgue outer measure disagree on $A$.

Suggestion: For a nice treatment of the Jordan measure (and measure theory in general), I strongly recommend Terence Tao's excellent book on Measure theory.