On subadditive functions bounded above on a ``large'' set (Q2309620)

The authors consider subadditive functions bounded above on a shift-compact set. Let \(X\) be an abelian topological group. A set \(A\subset X\) is called shift-compact if for every sequence \((x_n)_{n\in \mathbb{N}} \) tending to 0 in \(X\) there exists \(x\in X\) such that the set \(\{ n \in \mathbb{N} : x+x_n \in A\}\) is infinite. The main result is the following theorem. Theorem. Let \(X\) be an abelian metric group and \(f: X \rightarrow \mathbb{R}\) a subadditive function. If \(f\) is bounded above on a set \(T\subset X\) whose \(k\)-fold sum \(\sum_{i=1}^n T\) is shift-compact for some \(k \in \mathbb{N}\), then \(f\) is locally bounded at each point of \(X\). A consequence of the above theorem is that if \(f: X \rightarrow \mathbb{R}\) is a subadditive function locally bounded at some point, then \(f\) is locally bounded at each point of \(X\). The third section is devoted to some connections among WNT-property, boundedness on a shift-compact set, and local boundedness at a point. Let us describe the WNT-property. Let \(f: X \rightarrow \mathbb{R}\) be defined on an abelian metric group and \(H^k =f^{-1}(-k,k)\) for \(k\in \mathbb{N}\). Function \(f\) is called a WNT-function if for every convergent sequence \((u_n)_{n\in \mathbb{N}}\) in \(X\) there exist \(k\in \mathbb{N}\), an infinite set \(M\subset \mathbb{N}\) and \(t\in X\) such that \(\{ t+u_m: m \in M\} \subset H^k\). For a function \(f: X \rightarrow \mathbb{R}\) defined on an abelian metric group the following implications hold: \begin{itemize} \item[(i)] if \(f\) is locally bounded at a point, then \(f\) is bounded on a shift-compact set in \(X\); \item[(ii)] if \(f\) is bounded on a shift-compact set in \(X\), then \(f\) is WNT. \end{itemize} Furthermore, if \(f: X \rightarrow \mathbb{R}\) defined on an abelian metric group is subadditive then the following conditions are equivalent: \begin{itemize} \item[(i)] \(f\) is locally bounded at some point; \item[(ii)] \(f\) is WNT; \item[(iii)] \(f\) is bounded above on a shift-compact set; \item[(iv)] \(f\) is bounded on a shift-compact set. \end{itemize}