Positively oriented boundaries from PMA Rudin 
How does he use the inverse function theorem (IFT) in proving that $T(Q^n)=\overline{U}$ for some open set $U$ in $\mathbb{R}^n$?
From IFT we conclude that $T$ is an open mapping, hence $T(\text{int}Q^n)$ is also an open set. I guess that he then uses the following property: $T(\overline{A})=\overline {T(A)}$. Am I right or not?
Also why did he write this since he does not use it nowhere?! This seems weird to me.
 A: 
From IFT we conclude that $T$ is an open mapping, hence $T(\text{int}Q^n)$ is also an open set.

That's right, and is an important part of the proof.

I guess that he then uses the following property: $T(\overline{A})=\overline {T(A)}$.

Here we have to be careful. Generally one does not have that equality. If $T$ is continuous, then we always have $T(\overline{A}) \subseteq \overline{T(A)}$, but the inclusion may be strict, one only has equality if $T(\overline{A})$ is closed. However, the simplex $Q^n$ is compact, hence for continuous $T$ the image $T(Q^n)$ is also compact, and since we're looking at Hausdorff spaces, $T(Q^n)$ is thus closed. Therefore, we have
$$T(\operatorname{int} Q^n) \subseteq T(Q^n) = T(\overline{\operatorname{int} Q^n}) \subseteq \overline{T(\operatorname{int} Q^n)},$$
and since $T(Q^n)$ is closed, the last inclusion is in fact an equality.
And now, since $T$ is assumed injective, we can deduce that $T$ maps the topological boundary of $Q^n$ to the topological boundary of $E$, as well as it maps the boundary chain of $Q^n$ to the boundary chain of the differentiable simplex $T$. So in nice situations, the topological notion of boundary and the notion of boundary for differentiable chains are compatible. (The two notions are quite different if e.g. the dimension of the differentiable simplex is smaller than the dimension of the space, then the image of the differentiable simplex has empty interior and coincides with its topological boundary, while the image of the boundary chain is, for non-degenerate simplices, a proper - lower-dimensional - subset of the image of the simplex.)
As to why he made that remark, I don't know. If it's intended to illustrate the compatibility of the topological notion of boundary with the chain-notion (for nice chains), I think some more elaboration would be appropriate.
