Property of Mrowka

Question

A topological space $X$ satisfies Property $K_1$ (Property of Mrowka) if the closure of the union of arbitrarily many $G_\delta$ sets of $X$ coincides with its sequential closure (the sequential closure of $A \subseteq X $ is the set of all points $x\in X$ for which there is a sequence in $A$ that converges to $x$). I want some help to show that the Property $K_1$ is preserved under continuous maps. I tried with the following argument:

Let $X$, $Y$ be two topological spaces such that $Y$ is an image of $X$ under the continuous map $f$. Suppose that $X$ has property $K_1$. Let $G$ be a $G_\delta$ set in $Y$ and $y \in \overline{G}$. Since $f$ is continuous and surjective, $f^{-1}(G)$ is $G_\delta$ in $X$. Choose $x \in f^{-1}(y),$ so $x \in \overline{f^{-1}(G)}$. As $X$ has property $K_1$, there exist $\langle x_n:~ n<\omega \rangle \subseteq f^{-1}(G)$ which converges to $x$. Thus there is $\langle f(x_n):~ n<\omega \rangle \subseteq G$ which converges to $y$.

This proof works only with a single $G_\delta$ rather than an arbitrary union (as required for $K_1$). Any help please?

Answer 1

In the MathSciNet review of Mrowka´s article "Mazur theorem and m-adic spaces" it is mentioned that property $K_1$ is preserved under continuous closed maps. I don´t have access to Mrowka´s article but perhaps that is the intended result. To show this, suppose that $X$ has property $K_1$ and let $f:X \to Y$ be a continuous closed surjective map. If $A$ is a union of $G_\delta$ subsets of $Y$ and $B$ is the sequential closure of $A$ in $Y$, then $C:=f^{-1}(A)$ is a union of $G_\delta$ subsets of $X$ and $D:=f^{-1}(B)$ is sequentially closed in $X$. Therefore $\overline{C} \subseteq D$ (using property $K_1$ in $X$) and hence $A=f(C) \subseteq f(\overline{C}) \subseteq f(D)=B$. Since $f(\overline{C})$ is closed in $Y$ it follows that $\overline{A} \subseteq B$.