# Finite Product of Weakly Locally Compact Spaces is Weakly Locally Compact

## Theorem

Let $n \in \Z_{\ge 0}$ be a (strictly) positive integer.

Let $\set {\struct {S_i, \tau_i}: 1 \le i \le n}$ be a finite set of topological spaces.

Let $\ds \struct {S, \tau} = \prod_{i \mathop = 1}^n \struct {S_i, \tau_i}$ be the product space of $\set {\struct {S_i, \tau_i}: 1 \le i \le n}$.

Let each of $\struct {S_i, \tau_i}$ be weakly locally compact.

Then $\struct {S, \tau}$ is also weakly locally compact.

## Proof

Pick any $\tuple {x_1, \dots, x_n} \in S$.

Since each of $\struct {S_i, \tau_i}$ is weakly locally compact, $x_i$ has a compact neighborhood.

That is, there is a compact set $N_i$ such that:

$\exists U_i \in \tau_i: x_i \in U_i \subseteq N_i$

By Cartesian Product of Subsets/Family of Subsets, we have:

$\ds \tuple {x_1, \dots, x_n} \in \prod_{i \mathop = 1}^n U_i \subseteq \prod_{i \mathop = 1}^n N_i$

By definition of product space:

$\ds \prod_{i \mathop = 1}^n U_i \in \tau$
$\ds \prod_{i \mathop = 1}^n N_i$ is compact

Therefore $\ds \prod_{i \mathop = 1}^n N_i$ is a compact neighborhood of $\tuple {x_1, \dots, x_n}$.

As $\tuple {x_1, \dots, x_n}$ is arbitrary, $\struct {S, \tau}$ is weakly locally compact.

$\blacksquare$