Uniform convergence in topological groups

From MaRDI portal





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\).











This page was built for publication: Uniform convergence in topological groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1770173)