Additive iterative roots of identity and Hamel bases (Q264167)

Let \(X\) be a real topological vector space. By \(X^X\) one understands the topological vector space of all functions \(f:\, X\to X\) with the usual addition and multiplication by scalars and with the Tikhonov topology. Every additive function \(a:\, X\to X\) (that is, \(a(x+y) = a(x) + a(y)\) for \(x,y\in X\)) can be considered as a linear operator on the space \(X\) over the field \(\mathbb{Q}\). Thus, \[ \mathcal{A}_X = \{ a\in X^X:\, a\text{ is additive}\} \] is considered as a subspace of \(X^X\). Let \(n\geq 2\) be an integer and \[ \mathcal{A}_X^{(n)} = \{ a\in\mathcal{A}_X:\, a^n = \text{id}_{X}\}. \] The aim of the paper is to prove that the sets \(\{ a\in\mathcal{A}_X^{(n)}: a\text{ is discontinuous and }a(\mathcal{H})\setminus\mathcal{H} \neq\emptyset\text{ for every infinite set }\mathcal{H}\subset X \text{ of vectors linearly independent over } \mathbb{Q}\}\), and \(\{ a\in\mathcal{A}_X^{(n)}:\, a\text{ is discontinuous and } a(\mathcal{H}) = \mathcal{H}\text{ for a Hamel basis } \mathcal{H}\text{ of the space }X\text{ over the field }\mathbb{Q}\}\) are dense in \(\mathcal{A}_X\). In the case \(n=2\) similar results were obtained by K. Baron.