Proof.
For part (a): we show

is closed for any closed

. Let

be closed.
The inverses simplify to

because

is a bijection.
Since

is compact and

is closed, it follows that

is compact.
Continuous images of
compact maps are compact, so we know

is compact. Since

is
Hausdorff, this implies

is closed.
For part (b), let us glue by hand.
We know
, so if
is open,
. By writing this we see
Since these restrictions are continuous,

is a union of
open sets, therefore indicating that

is continuous.