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

Let $I$ be a special rectangle in $\mathbb{R}^n$, and denote $\lambda(A)$ the measure of $A$. Prove that the following conditions are equivalent:

a) $\lambda(I)=0$

b) $I^{\circ}=\emptyset$ (i.e., the interior of $I$ is empty)

c) $I$ is contained in an affine subspace of $\mathbb{R}^n$ having dimension smaller than $n$. (An affine subspace is any set of the form $\{x_0+x|x\in E\}$, where $x_0\in\mathbb{R}^n$ is fixed and $E$ is a subspace of the vector space $\mathbb{R}^n$. Its dimension is equal to the dimension of $E$.)

The implication $a\implies b$ isn't too bad (using the definition if $I=[a_1,b_1]\times...\times[a_n,b_n]$ then $\lambda(I)=(b_1-a_2)...(b_n-a_n)$. So we conclude $a_i=b_i$ for some $i$. And since $I^{\circ}$ is open, there can't be anything contained in it). I also see how c) makes sense (at least intuitively), but not sure how to show it formally. Thank you.

share|cite|improve this question

$a\implies b$: If $a_i=b_i$ for some $i$, then $(a_i,b_i)=\emptyset$ and the cartesian product of empty set and any set is empty.

$b\implies c$: Evidently, for some $i$, $a_i=b_i$ because $I^{\circ}=[a_1,b_1]^{\circ}\times...\times [a_n,b_n]^{\circ}$. So $I$ is of the form $x_0\times...\times [a_n,b_n]$ for some $x_0$. This is our $x_0$ in the definition of affine space. Now take $E=\{0\}\times\Bbb{R}^{n-1}$.

$c\implies a$: Here we assume that for any $\textbf{x}\in I$, $(x_1,...,x_n)=x_0+\textbf{e}$ for some $\textbf{e}\in E$. If $\dim E=m<n$, then $\textbf{x}=x_0+\textbf{e}=x_0+(e_1,...,e_m,0,...,0)$, which shows that at least for one $i$, $a_i=b_i=0$.

share|cite|improve this answer

Your Answer


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

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