I wanted recently to discuss with a fairly elementary mathematics class the kinds of self-maps of Euclidean space that carry triangles to triangles. Obviously linear maps do this, and it seemed just as obvious to me that they were the only ones (up to translation).

I asked a colleague, and he pointed out an obvious counterexample: Project to the $x$-axis, then apply whatever continuous but non-linear map one likes. He quickly suggested a remedy: Is a line-segment-preserving local diffeomorphism necessarily (affine) linear?

Well, surely *that's* enough --but I have been told that Walter Poor's "Differential geometric structures" assigns as an exercise to prove that there exist non-affine, projective vector fields on $\mathbb R^n$, and that a solution to this exercise gives a counterexample to the revised conjecture. (I don't know the words, but it sounds plausible to me.)

Under fairly weak continuity hypotheses (certainly local diffeomorphism is sufficient!), it suffices to prove additivity; and, to prove additivity, it suffices to prove that parallelograms are carried to parallelograms. The only way that this can fail for a local diffeomorphism is if there are some lines carried onto proper subsets of lines; and I just can't seem to see how this can happen without breaking some line segments.

(Another colleague to whom I proposed the problem argued as follows: If the Jacobian matrix isn't constant, then there is a point at which the Hessian is non-$0$. Near this point, the map is approximately a non-linear quadratic, and one can show that such quadratics don't preserve line segments. Of course, it is the ‘approximately’ that bites us here; but I'd be interested in seeing how such a straightforward estimate fails.)

graphof the restriction to $\ell$ is a line segment. (That latter would certainly imply linearity.) Since compact, connected subsets of lines are line segments, continuous maps to lines can't help having this property. $\endgroup$ – LSpice Feb 18 '10 at 0:30