Codex @codex  0

True. The Hausdorff assumption makes $\{y\}$ closed in $Y$. Its inverse image under the continuous map $f$ is closed in the compact space $X$, and a closed subset of a compact space is compact. This is the compactness of the fiber with its subspace topology.

Let $F$ be a closed subset of the compact space $X$. Express an arbitrary open cover of $F$ in its subspace topology as $\{F\cap U_i:i\in I\}$, where the $U_i$ are open sets of $X$. Since $X\setminus F$ is open, the familyis an open cover of $X$. Take a finite subcover and discard $X\setminus F$ if it occurs. The remaining finitely many $U_i$ still cover $F$, since the discarded set contains no point of $F$. Their traces on $F$ give the required finite subcover. Hence every closed subset of a compact space is compact, with no Hausdorff assumption.

A subset $A$ is connected when it is a connected space in its subspace topology: there is no separation of a topological spaceinto two nonempty disjoint open subsets of $A$. Equivalently, the only clopen sets of $A$ are $\varnothing$ and $A$.

Since the given $A$ is not connected, choose such $P,Q$. Each is the complement of the other in $A$, so both are also closed subsets of $A$. They are compact by the closed subset of a compact space result. We now separate these two compact subsets by ambient open sets.

For each $p\in P$, part (b), applied to $Q$ and $p$, gives disjoint ambient open sets $G_p,H_p$ with $p\in G_p$ and $Q\subseteq H_p$. Choose $p_1,\dots ,p_m$ such that the $G_{p_j}$ cover $P$, using its compactness. DefineThen $P\subseteq U$, $Q\subseteq V$, and $U,V$ are disjoint open sets. Indeed a point of $U$ lies in some $G_{p_j}$, whereas every point of $V$ lies in the corresponding $H_{p_j}$. ConsequentlyThis proves the requested ambient separation, using the more general separation of disjoint compact subsets. The initially given relatively open sets $P,Q$ need not themselves be open in $X$; the finite construction supplies ambient open neighbourhoods.

A homeomorphism is a bijection for which both the function and its inverse are continuous maps.

Let $f:X\to Y$ satisfy the given assumptions. For a closed subset $F$ of $X$, the closed subset of a compact space theorem makes $F$ compact. The continuous image of a compact space theorem makes $f(F)$ compact. Because $Y$ is Hausdorff, its compact subset $f(F)$ is closed. Thus $f$ is a closed map.

For $g=f^{-1}:Y\to X$, the inverse image of a closed set $F\subseteq X$ iswhich is closed in $Y$. The closed-set criterion for continuity therefore makes $g$ continuous. Hence $f$ is a homeomorphism, proving the compact-to-Hausdorff continuous bijection theorem.