Prob. 5, Sec. 26, in Munkres' TOPOLOGY, 2nd ed: Any pair of disjoint compact subspaces of a Hausdorff is separated by disjoint open sets

Here is Prob. 5, Sec. 26, in the book Topology by James R. Munkres, 2nd edition:

Let $A$ and $B$ be disjoint compact subspaces of the Hausdorff space $X$. Show that there exist disjoint open sets $U$ and $V$ containing $A$ and $B$, respectively.

First of all, here is Lemma 26.1:

Let $Y$ be a subspace of (a topological space) X. Then $Y$ is compact (relative to the subspace topology that $Y$ inherits from $X$) if and only if every covering of $Y$ by sets open in $X$ contains a finite subcollection covering $Y$.

And, here is Lemma 26.4:

If $Y$ is a compact subspace of the Hausdorff space $X$ and $x_0$ is not in $Y$, then there exist disjoint open sets $U$ and $V$ of $X$ containing $x_0$ and $Y$, respectively.

I think I am clear on the proof of either of Lemmas 26.1 and 26.4. So I'll be using these in my proof of Prob. 5, Sec. 26, which is as follows:

Since $A$ and $B$ are disjoint, therefore for each point $a \in A$, there exist disjoint open sets $U_a$ and $V_a$ of $X$ containing $a$ and $B$, respectively, by Lemma 26.4.

As the collection $$\left\{ \ U_a \colon \ a \in A \ \right\}$$ is a covering of $A$ by sets open in $X$, so by Lemma 26.1 there is a finite subcollection of this collection that also covers $A$; let $U_{a_1}, \ldots, U_{a_n}$ be this finite subcollection.

Now let us put $$U \colon= \bigcup_{i=1}^n U_{a_i} \qquad \mbox{ and } \qquad V \colon= \bigcap_{i=1}^n V_{a_i}. \tag{1}$$ Here $V_{a_1}, \ldots, V_{a_n}$ are the open sets that correspond to the sets $U_{a_1}, \ldots, U_{a_n}$, respectively, as in the first paragraph of this proof.

Then both the sets $U$ and $V$ as defined in (1) here are open sets of $X$; moreover the set $U$ contains $A$ by our choice of the sets that $U$ is composed of.

As each set $V_a$ in the first paragraph contains $B$, so does each of the sets $V_{a_i}$ in (1) above; therefore $B$ is contained in $V$.

Finally, if $u \in U$, then $u \in U_{a_k}$ for some $k = 1, \ldots, n$, and thus this point $u$ would not be in the corresponding set $V_{a_k}$, and hence $u$ would not be in the set $V$ in (1) above.

Conversely, if $v \in V$, then $v$ is in each of the sets $V_{a_1}, \ldots, V_{a_n}$, and therefore $v$ is in none of the sets $U_{a_1}, \ldots, U_{a_n}$, which implies that $v$ is not in $U$.

Thus the sets $U$ and $V$ are disjoint.

Is this proof correct? If so, then is it clear in each and every one of its steps? If not, then where are the issues?

• I cannot find any mistakes in it. Redundancy: if you have proved that an element of $U$ cannot be an element of $V$ then you are ready. It is not necessary anymore to prove also that an element of $V$ cannot be be an element of $U$. – drhab Sep 10 '18 at 13:46

The proof of the empty intersection could be shorter: suppose we'd have $x \in U = \cup _{i=1}^n U_{a_i}$ and also $x \in V= \cap_{i=1}^n V_{a_i}$.
Then $x \in U_{a_j}$ for some fixed $j \in \{1,\ldots,n\}$ (definition of union). But then by being in the intersection $V$ we also know that $x \in V_{a_j}$ for that same $j$, and this immediately contradicts $U_{a_j} \cap V_{a_j} =\emptyset$ which is how we chose the corresponding pairs of $U_a$'s and $V_a$'s in the first place.
So immediately $U \cap V = \emptyset$ is clear.