Orthogonality and additivity modulo a discrete subgroup (Q2568002)

Let \(E\) be a real inner product space of dimension at least 2 and let \(G\) be a topological abelian group with a discrete subgroup \(K\). Suppose that a mapping \(f: E\to G\) is continuous at a point and orthogonally additive modulo \(K\), i.e., it satisfies \[ x,y\in E, x\bot y\quad\Longrightarrow\quad f(x+y)-f(x)-f(y)\in K. \] Then, as it is proved, there exist continuous additive functions \(a:\mathbb R\to G\) and \(A: E\to G\) such that \[ f(x)-a(\| x\| ^2)-A(x)\in K,\qquad x\in E. \] The above result generalizes previous ones by \textit{K. Baron} and \textit{J. Rätz} [Aequationes Math. 46, 11--18 (1993; Zbl 0789.39004)] and by \textit{J. Brzdȩk} [Proc. Am. Math. Soc. 125, 2127--2132 (1997; Zbl 0870.39011)] obtained under some additional assumptions on \(G\).