Filter on Product of Hausdorff Spaces Converges iff Projections Converge

Theorem
Let $\left\langle{X_i}\right\rangle_{i \mathop \in I}$ be an indexed family of non-empty Hausdorff spaces where $I$ is an arbitrary index set.

Denote by $\displaystyle X := \prod_{i \mathop \in I} X_i$ the corresponding product space.

Denote by $\operatorname{pr}_i : X \to X_i$ the projection from $X$ onto $X_i$.

Then $\mathcal F$ converges iff for each $i \in I$ the image filter $\operatorname{pr}_i \left({\mathcal F}\right)$ converges.

One Way
Suppose that $\mathcal F$ converges.

Then there is a point $x \in X$ such that $\mathcal F$ converges to $x$.

By Filter on Product Space Converges to Point iff Projections Converge to Projections of Point, for each $i \in I$, $\operatorname{pr}_i \left({\mathcal F}\right)$ converges to $x_i$.

Thus, for each $i \in I$, $\operatorname{pr}_i \left({\mathcal F}\right)$ converges.

The Other Way
Suppose that for each $i \in I$, $\operatorname{pr}_i \left({\mathcal F}\right)$ converges.

Since $X_i$ is a Hausdorff space for each $i \in I$, this implies that $\operatorname{pr}_i \left({\mathcal F}\right)$ converges to exactly one point for each $i \in I$.

For each $i$, let $x_i$ be the point in $X_i$ to which $\operatorname{pr}_i \left({\mathcal F}\right)$ converges.

Then by the definition of the product space, $x$ is an element of $X$.

By Filter on Product Space Converges to Point iff Projections Converge to Projections of Point, $\mathcal F$ converges to $x$.

Also See

 * Filter on Product Space Converges iff Projections Converge, a more general result requiring the axiom of choice.