Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

My questions is:

  • Why the outer measure $m_n^*(A)$ is defined by $$ m_n^*(A)=\inf \left\{ \sum_{i=1}^{\infty} l(I_i): \mathbb{F}= \{I_1,I_2,\cdots \} \mbox{ is Lebesgue cover of } A \right\} $$ for $ A \subset \mathbb{R}^n $ ?
  • Is it true that $m_n^*(A) \leq \sum_{i=1}^{\infty}l(I_i) \leq l(I) $? For example can you compute $m_1^*(A)$, where $A=\{x \in \mathbb{R}: x \in [a,b] \}$?

I think you should know that whether $A=I$. Then at least $m_n^*(A) = l(I) $ But what is $I$? I'm aware about these many questions and apologize for that.

share|cite|improve this question
$I$ is n-interval such that $I=I_1 \times I_2 \times \cdot$, where $I_i \in \mathbb{R}$. But notice that $I_i \subset \mathbb{R}^n$ in $m_n^*(A)$ is not same as $I_i \subset \mathbb{R}$( definition of $I$). – alvoutila Jan 23 '13 at 16:41

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.