Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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

$T: [0,1)^{2}\rightarrow[0,1)^{2}$ by

$T(x,y) = (2x,\frac{y}{2})$, with $0 \leq x < \frac{1}{2}$


$T(x,y) = (2x-1, \frac{y+1}{2})$, with $\frac{1}{2} \leq x < 1$

(i) invertible

(ii) measurable

(iii) measure preserving

$\underline{\textrm{To (i):}}$

I found out, the inverse of T is $T^{-1}(x,y)=(\frac{x}{2},2y)$ for $0\leq y<\frac{1}{2}$

And $=(\frac{x+1}{2},2y−1)$ for $\frac{1}{2}\leq y<1$

Is that enough to (i)?

$\underline{\textrm{To (ii):}}$

I do not remember how to do this. Well, I know the definition, but maybe could someone show me with another example how to show a function is measurable? Because although I can explain what T is doing:

Taking a rectangle, strech it, fold it and turn it a quarter. Hence if I name the two half $A$ and $B$, then $A$ has $\frac{1}{2}$ of the area and $T(A)$ sends it again to $\frac{1}{2}$ of the area. And then $T(A)$ intersects $A$ and $B$ in a square of area $\frac{1}{2}$. Well so informally, if we take the measure of $A$, and go the streching/folding. Back, than we still have the same area for $A$? But I do not remember how to put this into formal language.

Same with (iii).

I'd be happy for any help :)

Best Luca

share|cite|improve this question

(i) Yes, enough. (If true.) Have you drawn it? It maps the left half of the unit square to the bottom half of again the unit square, and the right half to the upper one. Nice mapping.

(ii) $T$ is measurable means here (I guess) that for any Borel subset $W$ of $\Bbb R^2$ (now $[0,1]^2$ is enough), we have $$T^{-1}(W)\ \text{ is also a Borel set}$$ Where Borel sets of $\Bbb R^2$ are generated by the filled rectangles with countably union and intersection, and complement.

(iii) is the same backwards: $V$ Borel $\implies\ T(V)$ Borel.

Can you do that? Just cut them at the appropriate halves..

share|cite|improve this answer
Mh, ok. Informally: (i): A Borel set are f.e the open sets. If I take any open set W in $[0,1)^{2}$, say $(x,y)$ then $T^{-1}(x,y)$ is one of the two possibilities above: $(\frac{x}{y},2y)$ or $(\frac{x+1}{2},2y-1)$. This is then also an open set in $[0,1)^{2}$. Is that enough? (ii): There I'd do it quite similar. $V=(x,y)$ an open set in $[0,1)^{2}$. Then $T(x,y)$ is $(2x,\frac{y}{2})$ or $(2x-1,\frac{y+1}{2})$. Or is it not this easy? – Martha Oct 19 '12 at 23:50
Measure-preserving means $\mu(T^{-1}(V)) = \mu(V)$ for all Borel subsets $V$ of $[0,1)^2$. I assume that $\mu$ should be the Lebesgue measure here. – epimorphic Jan 12 '15 at 1:14

To prove $(i)$, notice that, $T(v)=Av$, then $T$ is invertible iff $A$ is a non-singular matrix, where $T$ is a linar transformation between two vector spaces and $A$ is the representation matrix of the linear transformation $T$. In your case $A$ is given by

$$ A = \begin{bmatrix} 2 & 0 \\[0.3em] 0 & \frac{1}{2} \\[0.3em] \end{bmatrix}\,.$$

You can see that the above matrix is non-singular, since the determinant is not zero. You can do the same with the other linear transformation.

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.