If is a continuous bijection,
is compact and is Hausdorff,
then is a homeomorphism.
Proof
Enough to check is an open map which is equiv to being a closed map for bijections.
Fix any closed . Then is compact since is compact.
Then the image is compact,
but then is closed (by Compact-closed),
hence we are done.