For distinct , convexity keeps the segment in . Continuity of makes
The fundamental theorem of calculus along a line segment gives
so . Thus is injective.
The bound makes invertible by the Neumann series. The inverse function theorem therefore makes locally open at every point, so is open.
Surjectivity need not hold: the identity map on a proper convex open set has proper image. Even for it can fail. In one dimension, satisfies , but its image is .

Articles by others on the same topic (0)

There are currently no matching articles.