{"entities":{"Q2782155":{"pageid":2792893,"ns":120,"title":"Item:Q2782155","lastrevid":47768476,"modified":"2026-01-02T15:42:52Z","type":"item","id":"Q2782155","labels":{"en":{"language":"en","value":"A generalization of Beatty's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1727700"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2782155$7F94E718-930A-45ED-A139-E6B9E73D8C19","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9daa6a4e303f1a8463ce29b15b3576886e7fb24f","datavalue":{"value":"1010.11010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2782155$D30B4652-4F60-47D8-A10C-88139CF263A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d62d5e74ef56ac4d806c81c9e08ee64f9e2184d2","datavalue":{"value":{"entity-type":"item","numeric-id":656145,"id":"Q656145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2782155$60E1A71A-11E9-4D77-8676-D994910C4683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d466e333a8d1548517136b093d779165b818068","datavalue":{"value":{"entity-type":"item","numeric-id":656147,"id":"Q656147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2782155$19A6E840-A7E5-4E15-AC8C-5C84691E5E94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"933055a7965477c3a62722623f4f1e3bf21e42c3","datavalue":{"value":{"time":"+2002-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2782155$06250804-787C-4321-B4CF-549A5C929FEC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d90b87a00fe0f62d6638d218dc37b039474e2c01","datavalue":{"value":"https://eudml.org/doc/228414","type":"string"},"datatype":"url"},"type":"statement","id":"Q2782155$C117202E-AF72-47B6-A3D6-D5498C8D3276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d9f4e825125ba8a49eae934633c7d47079e3020","datavalue":{"value":"http://www.emis.de/journals/SWJPAM/vol2-01.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2782155$2B27C356-A882-4F2B-993E-4B27050878B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cc918739208248f35fea9e5c33ece7f0619d7069","datavalue":{"value":"11B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2782155$16E1D37F-7C1B-4AE2-9E54-8449E48AF830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab8eef56e70f4344928a6ab2df1e044698959c62","datavalue":{"value":"11B83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2782155$8376A5EE-0D4E-4603-A33B-81B62EFDAC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4bceb4852f142c7ae840ef027a3d11ea672a1bc4","datavalue":{"value":"11B75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2782155$53111E59-7A44-4B85-968F-33A0FE8473BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b538fd9c112c7af579a36282643cb598f801d9a1","datavalue":{"value":"1727700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2782155$51FAF4D4-2F1C-4CB1-85DE-EB1F81AED23F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e21f64875b8b23958df14a0f3fae0988757f87b","datavalue":{"value":"Beatty sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2782155$16F04539-0DA6-4BE7-B052-D7BF2FDA3281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dc833c667355a276a78ebaba1a0655c318ea7a7","datavalue":{"value":"combinatorial game","type":"string"},"datatype":"string"},"type":"statement","id":"Q2782155$F25BD34D-40BD-4B1C-A126-6E65A7A02821","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2782155$A9A6B175-D9EC-4EFB-AEBD-E0C7C4F23D87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d26dfaabc0767dfcac974c9c55fb93b30f08a139","datavalue":{"value":{"text":"A generalization of Beatty's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2782155$6C830F77-6776-4514-93F6-DA10A57B00E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"409d62ff3184895bd221c2db5762561ffd8f7c4c","datavalue":{"value":{"entity-type":"item","numeric-id":6768158,"id":"Q6768158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2782155$6085C085-3BDB-45A8-A597-E8466D08EE54","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b9a62bef0ac5e7a4e31f4a69352171951a1a1612","datavalue":{"value":"Let \\(P=\\{0=a_0,a_1,a_2,\\dots\\}\\) be a strictly increasing unbounded sequence of real numbers. For real \\(x\\geq 0\\), let \\(\\lfloor x\\rfloor_P\\) be the largest member of \\(P\\) that does not exceed \\(x\\), and for \\(x>0\\) define \\(\\rfloor x\\lfloor_P\\) as \\(\\lfloor x\\rfloor_P\\) if \\(x\\not\\in P\\) and as \\(a_{i-1}\\) provided \\(\\lfloor x \\rfloor_P=a_i\\). Finally, let \\(N_t=\\{0,t,2t,3t,\\dots\\}\\) for \\(t>0\\) and \\(N_t^+=N_t\\setminus\\{0\\}\\). The main result of the paper extends the known Beatty's theorem [Problem 3173, Am. Math. Mon. 33, 159 (1926); ibid. 34, 159 (1927)] on complementary sequences:NEWLINENEWLINENEWLINELet \\(F\\) and \\(G\\) be real, continuous, strictly increasing functions with domains \\([0,\\infty)\\) satisfying \\(F(0)=G(0)=0\\) and \\(\\lim_{x\\to\\infty}(F(x)+G(x))=\\infty\\). For all \\(t>0\\), let \\(P_t=\\{0,(F+G)^{-1}(t), (F+G)^{-1}(2t),(F+G)^{-1}(3t),\\dots\\}\\), and \\(P^+_t=P_t\\setminus\\{0\\}\\). Then the two sequences \\(A_t\\) and \\(B_t\\) defined by \\(A_t=\\{\\rfloor(F^{-1})(n)\\lfloor_{P_t}:n\\in N_t^+\\}\\) and \\(B_t=\\{\\lfloor(G^{-1})(n)\\rfloor_{P_t}:n\\in N_t^+\\}\\) partition \\(P^+_t\\) for all \\(t>0\\). Also the elements of \\(A_t\\) are distinct and the elements of \\(B_t\\) are distinct.NEWLINENEWLINENEWLINEThis is not only a considerable extension of Beatty's original discovery, but also of its generalization by \\textit{J. Lambek} and \\textit{L. Moser} [Am. Math. Mon. 61, 454-458 (1954; Zbl 0056.26904)] in which case one of the functions \\(F\\) and \\(G\\) determines the other. Then the authors prove specializations of this result for the so-called complementary functions \\(f\\) and \\(g\\), which are strictly increasing real functions defined on \\([0,\\infty)\\) with \\(f(0)=g(0)=0\\) and \\(f(x)+g(x)=x\\) for all \\(x\\geq 0\\). In this case the set to be partitioned is \\(N_t^+\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2782155$151849B7-DA38-4050-8988-F8C3A2F139F8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ac599b3b4b403e13ff34b53d17b49cf088c1290e","datavalue":{"value":{"entity-type":"item","numeric-id":587322,"id":"Q587322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2782155$1CA43F0F-F618-4E0C-8D50-9C65E8F23AB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f76c4c85a28afdb4608a0a55d9fed2e1c0cfe45c","datavalue":{"value":{"entity-type":"item","numeric-id":3353090,"id":"Q3353090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a296b352ccd40f6a3b096931c3d9dcff5c60bd6e","datavalue":{"value":{"amount":"+0.8692590594291687","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2782155$CE524FDC-C682-4676-BEBE-AC9F5C922BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1da80ce561f4cc05739a8dbf14c1adbc3539be7c","datavalue":{"value":{"entity-type":"item","numeric-id":5469936,"id":"Q5469936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d9034e2f05fe12f73593b53d03969f3bca187b6","datavalue":{"value":{"amount":"+0.849583625793457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2782155$60BAFB44-49B2-453F-83B3-371286E4EC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36e5f6f815cd64a8ce8a78b005903843f72ababa","datavalue":{"value":{"entity-type":"item","numeric-id":5226858,"id":"Q5226858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ebe40c9765b2579dbe57bae1351ef6ea0b02e8b","datavalue":{"value":{"amount":"+0.7957696318626404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2782155$C8B1CF7D-3690-4B6F-99BC-0D6FF94F5375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b4b09213103773281b6aef7d9e2224d64e81f18","datavalue":{"value":{"entity-type":"item","numeric-id":2332793,"id":"Q2332793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc2edef50712f2ae79f6966e7dcfe6121a29d9f9","datavalue":{"value":{"amount":"+0.7907366752624512","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2782155$EDF10EB7-04A8-4091-9FDD-D0A51DB0FD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84ee552e9b546bde71bffc0b7afe5708e88d6ae1","datavalue":{"value":{"entity-type":"item","numeric-id":2097509,"id":"Q2097509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e8d57eb880c97b301c1e5d4d81221c104982dff","datavalue":{"value":{"amount":"+0.789976954460144","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2782155$4CBBE657-4F76-48D8-B8D3-BFB2EA61B599","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2782155","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2782155"}}}}}