Hocking and Young do not claim that components and quasicomponents coincide in a locally compact Hausdorff space. They state the weaker
Theorem 2-57: In a locally compact Hausdorff space, every compact quasicomponent is a component, and every compact component is a quasicomponent.
In other words, a compact subset of a locally compact Hausdorff space is a component if and only if it is a quasicomponent.
We shall prove the above theorem. However, the answer to your question (which does not make compactness assumptions on the subspaces under consideration) is "no". There is an explicit counterexample on p.46 of Hocking and Young's book which is presented below.
Let us begin by some remarks concerning the concept "quasicomponent". Hocking and Young define a quasicomponent of a space $X$ as a subset $Q \subset X$ such that
$Q$ is "inseparable rel. $X$" saying that for each separation $(A,B)$ of $X$ [which means that $A,B$ are open and disjoint and $X = A \cup B$], $Q$ lies in either $A$ or $B$.
$Q$ is not a proper subset of any other $Q'$ which is inseparable rel. $X$.
Property 1. can obviously be reformulated as follows: For each clopen $A \subset X$, either $Q \subset A$ or $Q \cap A = \emptyset$. Or, in other words: For each clopen $A \subset X$, if $Q \cap A \ne \emptyset$, then $Q \subset A$.
However, there is a more standard definition: For $x,y \in X$ define $x \sim y$ if $\{x,y\}$ is inseparable rel. $X$. It is easily seen that this is an equivalence relation. Then a quasicomponent is defined as an equivalence class with respect to $\sim$. It is clear that these quasicomponents form of partition of $X$ into pairwise disjoint sets.
It is easy to see that the quasicomponent $Q(x) = Q(x;X)$ of a point $x \in X$ in the equivalence class sense is the intersection of all clopen subsets containing $x$. In particular $Q(x)$ is closed.
Let us verify that both definitions agree.
For $x \in X$ let $\mathcal A(x) = \mathcal A(x;X)$ denote the set of clopen subsets of $X$ containing $x$ and $Q(x) = \bigcap_{A \in \mathcal A(x)} A$.
(1) $Q(x)$ is a quasicomponent in the sense of Hocking and Young.
a) $Q(x)$ is inseparable rel. $X$: Let $A$ be clopen such that $Q(x) \cap A \ne \emptyset$. Assume $x \notin A$. Then $x \in B = X \setminus A$, thus $B \in \mathcal A(x)$ and we conclude $Q(x) \subset B$ which means that $Q(x) \cap A = \emptyset$, a contradiction. Thus $x \in A$, hence $Q(x) \subset A$.
b) $Q(x)$ satisfies 2.: Let $Q \supset Q(x)$ satisfy 1. Then for all $A \in \mathcal A(x)$ we have $Q \cap A \ne \emptyset$, hence $Q \subset A$. Therefore $Q \subset Q(x)$, i.e. $Q = Q(x)$.
(2) Let $Q$ be a quasicomponent in the sense of Hocking and Young and $x \in Q$. Then $Q = Q(x)$.
For all $A \in \mathcal A(x)$ we have $Q \cap A \ne \emptyset$, thus $Q \subset A$. Hence $Q \subset Q(x)$. From (1) we know that $Q(x)$ is inseparable rel. $X$. By property 2. we see that $Q = Q(x)$.
Let us note that if $C$ is a connected subset of $X$ and $A$ a clopen subset of $X$ such that $C \cap A \ne \emptyset$, then trivially $C \subset A$. This shows that the component of $x \in X$ is contained in $Q(x)$. The latter implies that each connected quasicomponent is a component.
Let $x \in X' \subset X$. Then $\mathcal A(x;X')$ contains all $A \cap X'$ with $A \in \mathcal A(x;X)$ and we conclude $Q(x;X') = \bigcap_{A' \in \mathcal A(x;X')} A' \subset \bigcap_{A \in \mathcal A(x;X)} (A \cap X') = Q(x;X) \cap X' \subset Q(x;X)$.
Now let us come to the counterexample.
Let $E = \{0\} \cup \{1/n \mid n \in \mathbb N \} \subset \mathbb R$ and $X= ([0,1] \times E) \setminus \{(1/2,0)\} \subset \mathbb R^2$. This is a locally compact separable metrizable space. Then $X_0 = [0,1/2) \times \{0\} \cup (1/2,1] \times \{0\}$ is a (non-compact) quasicomponent of $X$ which contains the two (non-compact) components $X'_0 = [0,1/2) \times \{0\}, X''_0 = (1/2,1] \times \{0\}$ of $X$.
Let $x = (0,0) \in X$ and $A$ be clopen in $X$ with $x \in A$. Then there exists $n_0$ such that $A$ contains the points $x_n = (0,1/n)$ for $n \ge n_0$. Hence it also contains the sets $X_n = [0,1] \times \{1/n\}$ for $n \ge n_0$ because the $X_n$ are connected. But $A$ is closed in $X$, thus $A$ must contain $X_0$. Thus $X_0 \subset Q(x)$. Moreover, the sets $A_m = X_0 \cup [0,1] \times \{1/n \mid n \ge m \}$, $m \in N$, are clopen. Thus $Q(x) \subset \bigcap_{m=1}^\infty A_m = X_0$.
We finally prove Hocking and Young's Theorem 2-57. We invoke that components and quasicomponents of compact Hausdorff spaces agree.
Let $K \subset X$ be compact and $L \subset X$ be a compact neigborhood of $K$ in $X$. Note that $U = \text{int}(L)$ is an open neigborhood of $K$ in $X$.
(1) If $K$ is a quasicomponent of $L$, then it is a quasicomponent of $X$.
Let $x \in K$. Then $K = Q(x;L) = \bigcap_{A' \in \mathcal{A}(x;L)} A'$. Now $B = L \setminus U$ is compact and $B \subset L \setminus K = L \setminus \bigcap_{A' \in \mathcal{A}(x;L)} A' = \bigcup_{A' \in \mathcal{A}(x;L)} (L \setminus A')$. Since the $L \setminus A'$ are open in $L$, there are finitely many $A'_k \in \mathcal{A}(x;L)$ such that $L \setminus U = B \subset \bigcup_k(L \setminus A'_k) = L \setminus \bigcap_k A'_k$, thus $A_* = \bigcap_k A'_k \subset U$. But $A_*$ is clopen in $L$, thus also all $A'_* = A_* \cap A'$ with $A' \in \mathcal{A}(x;L)$ are clopen in $L$ and clearly $K = \bigcap_{A' \in \mathcal{A}(x;L)} A'_*$. The $A'_*$ are compact, open in $L$, contained in $U$, thus open in $U$ and open in $X$. Hence they are clopen in $X$ and contain $x$. This shows that $Q(x;X) \subset K = Q(x;L)$. Since trivially $Q(x;L) \subset Q(x;X)$, we are done.
(2) If $K$ is a component of $X$, then it is a quasicomponent of $X$.
Clearly $K$ is a component of $L$, hence a quasicomponent of $L$ and (1) applies.
(3) If $K$ is a quasicomponent of $X$, then it is a quasicomponent of $L$.
Let $x \in K$. Then trivially $K' = Q(x;L) \subset Q(x;X) = K$. The set $K'$ is compact and $L$ is a compact neigborhood of $K'$. Thus (1) applies to show that $K'$ is a quasicomponent of $X$. But this implies $K' = K$.
(4) If $K$ is a quasicomponent of $X$, then it is a component of $X$.
By (3) $K$ is a quasicomponent of $L$, hence a component of $L$ and thus a connected quasicomponent of $X$. This means that $K$ is a component of $X$.
You will need to use the fact that in a compact Hausdorff space, quasicomponents coincide with components, so two distinct components may be separated by a clopen (closed and open) set.
Then for components $C_1\neq C_2$ in $X$, let $U\subset X$ be clopen with $U\supseteq C_1$ and $U\cap C_2=\emptyset$.
Note that $U$, as a clopen set, is saturated. That is, if $x\sim y$ then $x\in U$ if and only if $y\in U$. This follows from the fact that otherwise, $U$ and $X\backslash U$ would separate the component containing $x$ and $y$.
Since $U$ is saturated, if $\pi\colon X\to X/\sim$ is the quotient map, we have $\pi^{-1}(\pi(U))=U$, so that $\pi(U)$ is clopen in $X/\sim$, contains $\pi(C_1)$, and is disjoint from $\pi(C_2)$.
Then the disjoint open sets $\pi(U)$ and $(X/\sim)\backslash \pi(U)$ separate $\pi(C_1)$ and $\pi(C_2)$. Since this can be done for arbitrary components, $X/\sim$ is Hausdorff.
Best Answer
I think the hint is somewhat misleading. In fact, the clopen sets $C_\alpha$ containing $C$ are the correct choice, but the choice of $U$ is inadequate. So let us do it properly.
The quasi-component $C = C(x)$ of a point $x \in X$ is the intersection of all clopen subsets of $X$ containing $x$. In particular $C$ is a closed set. Let $\mathfrak C = \{ C_{\alpha} \mid \alpha \in A\}$ denote the set of clopen subsets of $X$containing $x$.
If $C$ is disconnected, then $C$ is the union of two non-empty disjoint closed sets $A, B \subset C$. W.l.o.g. assume $x \in A$. Note that $A,B$ are closed in $X$ since they are closed subsets of the closed $C$.
Since $X$ is normal, we find open neighborhoods $V$ of $A$ and $W$ of $B$ such that $V \cap W = \emptyset$. We have $C = \bigcap_\alpha C_\alpha \subset U = V \cup W$. We claim that $C_\alpha \subset U$ for some $\alpha$. In fact, $\bigcap_\alpha (C_\alpha \cap (X \setminus U)) = (\bigcap_\alpha C_\alpha) \cap (X \setminus U) = C \cap (X \setminus U) = \emptyset$. The sets $C_\alpha \cap (X \setminus U)$ are compact, hence the finite intersection property applies to show that there are finitely many $\alpha_i \in A$ such that $\bigcap_i (C_{\alpha_i} \cap (X \setminus U)) = (\bigcap_i C_{\alpha_i}) \cap (X \setminus U) = \emptyset$. But clearly $C^* = \bigcap_i C_{\alpha_i} \in \mathfrak C$ and $C^* \subset U$.
We conclude $$\overline {C_\alpha \cap V} \subset \overline C_\alpha \cap \overline V = C_\alpha \cap \overline V = (C_\alpha \cap U) \cap \overline V = C_\alpha \cap (U \cap \overline V) = C_\alpha \cap V, $$ thus $\overline {C_\alpha \cap V} = C_\alpha \cap V$. Hence $C_\alpha \cap V$ is also clopen. It contains $A$ and a fortiori $x$. Thus $C \subset C_\alpha \cap V \subset V$ which is impossible.