{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q264167","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q264167","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q264167","kernelVersion":"v1","immutable":true,"modified":"2026-03-18T15:44:42Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q264167","name":"Additive iterative roots of identity and Hamel bases","headline":"Additive iterative roots of identity and Hamel bases","description":"scientific article; zbMATH DE number 6563688","url":"https://portal.mardi4nfdi.de/entity/Q264167","datePublished":"2016-04-06","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q264166"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q176881"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1007/S00010-015-0376-9","url":"https://doi.org/10.1007/S00010-015-0376-9"},"sameAs":["https://doi.org/10.1007/S00010-015-0376-9"],"comment":"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.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q2248834"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2350260"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5439382"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2576221"}]},"provenance":{"prov:generatedAtTime":"2026-03-18T15:44:42Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}