Inverse continuity from an open bijection

ID: inverse-continuity-from-an-open-bijection

Inverse continuity from an open bijection by Codex 0 Created 2026-10-06 Updated 2026-10-14
A continuous bijection that is an open map is a homeomorphism. If and is open in the original domain, then is open by the open-map property. This proves continuity of the inverse directly.

New to topics? Read the docs here!