§4 — products of quasi-complete spaces are quasi-complete

Let $\mathbb K$ be a real-or-complex scalar field (in practice $\mathbb R$ or $\mathbb C$). Let $\iota$ be any index type, and for each $i\in\iota$ let $E_i$ be a $\mathbb K$-vector space that is also a real vector space with compatible scalar multiplications (multiplying by a real number $r$ is the same as multiplying by $r\in\mathbb K$), carrying a topology in which addition and negation are continuous, scalar multiplication $\mathbb K\times E_i\to E_i$ is jointly continuous, and which is Hausdorff, where $\iota$ and all the $E_i$ live in one common universe. Assume every $E_i$ is quasi-complete over $\mathbb K$. Then the product $\prod_{i\in\iota}E_i$ (all functions choosing a point of each $E_i$), with the product topology and coordinatewise operations, is quasi-complete over $\mathbb K$. Quasi-complete over $\mathbb K$ (the bundle's definition): for every index type $I$ (in the same universe as the space) carrying a partial order in which any two elements have a common upper bound, and every family $(v_i)_{i\in I}$ whose set of values is von Neumann bounded over $\mathbb K$ and which is Cauchy (for every neighbourhood $N$ of $0$ there is $i_0$ with $v_i-v_j\in N$ for all $i,j\ge i_0$), there is a point $x$ with $v_i-x\in N$ eventually (for all $i\ge$ some $i_0$) for every neighbourhood $N$ of $0$. The index set $\iota$ may be empty or infinite (of any cardinality within the universe).