inverse function theorem (topological spaces)
Let and be topological spaces, with compact
and Hausdorff
. Suppose is a continuous
bijection. Then is a homeomorphism
, i.e. is continuous.
Note if is a metric space, then it is Hausdorff, and the theorem holds.