Queremos mostrar que $\psi( \mathcal{F})$ é localmente compacto. Como $\psi( \mathcal{F})$ é Hausdorff, então basta provar que: para todo $x \in \psi( \mathcal{F})$, $x$ possui uma vizinhança compacta.
De fato, temos dois casos:

  1. Se $x \in \omega$: então $\{x\}$ é uma vizinhança compacta para $x$.
  2. Se $x \in \mathcal {F}$: então, existe $F \in \mathcal F$ tal que $x = F$. Fixe $V = \{F\} \cup (F \setminus A)$ uma vizinhança básica para $F$. Seja $\mathcal{U}$ uma cobertura aberta para $V$. Como $\mathcal{U}$ é cobertura, existe $U \in \mathcal{U}$, tal que $F \in U$. Por definição, existe $B \subset \omega$ finito, tal que:

$$F \in \{F\} \cup (F \setminus B) = U$$ Como $A$ e $B$ são conjuntos finitos, então $A \cup B$ é finito. Note que, agora resta cobrirmos finitos elementos de $V$ e tais elementos estão em $A \cup B$. Então, para todo $x \in A \cup B$ seja $U_x \in \mathcal{U}$, tal que $x \in U_x$. Logo, $\{U\} \cup \{U_x\}_{x \in A \cup B}$ é uma subcobertura finita para $V$.
Portanto, $\psi(\mathcal{F})$ é localmente compacto.