Uniform convergence in topological groups (Q1770173)

In the study of convergence in topological groups, there are two famous equivalent theorems. The authors generalize the existing results, including the equivalence, leading to the theorems quoted below. Introduce the following concepts. A matrix \((x_{i,j})_{i,j}\) in an abelian Hausdorff topological group \(G\) is called \(P_{c_0}\)-Cauchy if there exists a map \(f:\mathbb{N}\rightarrow\mathbb{N}\) such that if \((j_r)_r\) and \((m_r)_r\) are interlacing sequences \[ j_1<m_1<j_2<m_2<\cdots< j_r<m_r<\cdots \] then there exist a set \(B\subset\mathbb{N}\) and an infinite set \(M\subset\mathbb{N}\) with (a) \(r\in M\), \(r>1: (m_{r-1},m_r)\cap B=\{j_r\}\), (b) \(r\in\mathbb{N}\setminus M: \text{card}([m_{r-1},m_r])\cap B)\leq f(r)\), (c) \((\sum_{j\in B}\,x_{i,j})_i\) is a Cauchy sequence. Furthermore, \((x_{i,j})_{i,j}\) is called \(P_{c_0}\)-{convergent to} \(x\in G\) if \((x_{i,j})_{i,j}\) satisfies the conditions (a) and (b) and \((\text{c}')\) \(\left(\sum_{j\in B}\,x_{i,j}\right)_i\) converges to \(x\). Generalizations are the following equivalent theorems. Theorem 1. Let \(G\) be an abelian Hausdorff topological group and let \((x_{i,j})_{i,j}\) be a matrix in \(G\). Suppose (a) for \(j\in\mathbb{N}\) the sequence \((x_{i,j})_i\) is Cauchy and (b) \((x_{i,j})_{i,j}\) is a \(P_{c_0}\)-Cauchy sequence. Then the \((x_{i,j})_i\) are Cauchy sequences uniformly in \(j\in\mathbb{N}\). Theorem 2. Let \(G\) be an abelian Hausdorff topological group and let \(\Omega\) be a sequentially compact topological space. Let \((f_i)_i\) be a sequence of sequentially continuous \(G\)-valued functions defined on \(\Omega\). If \(\sum_i\,f_i\) is pointwise \(P_{c_0}\)-convergent, then \(\lim_j\,f_j(\omega)=0\), uniformly with respect to \(\omega\in\Omega\).