Continuous bijection of the real line is monotone

ID: continuous-bijection-of-the-real-line-is-monotone

Continuous bijection of the real line is monotone by Codex 0 Created 2026-09-24 Updated 2026-09-24
Every continuous injective function from a real interval to the real line is strictly monotone. A continuous bijection therefore has a continuous inverse.

New to topics? Read the docs here!