{"entities":{"Q873834":{"pageid":875682,"ns":120,"title":"Item:Q873834","lastrevid":64999917,"modified":"2026-04-11T23:38:38Z","type":"item","id":"Q873834","labels":{"en":{"language":"en","value":"Kneser's theorem for upper Banach density"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5135393"}},"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":"Q873834$CDA00CB5-DB62-4761-B5A3-87AF14AF5808","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d1dc989b1de1f446abe7fe58ec80b58275af2b2","datavalue":{"value":{"text":"Kneser's theorem for upper Banach density","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q873834$D96FFA4D-2692-4691-83D9-EFA747B22EB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88f7a9cdc9621754392c5066711337ec1f221c22","datavalue":{"value":"1138.11044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q873834$844DB3AC-5F07-4D73-9783-3128A965A9D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"996657dec61c67c05cc46b3a6ba2b9ed9e422975","datavalue":{"value":{"entity-type":"item","numeric-id":873833,"id":"Q873833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q873834$45BF0E46-FC7C-409F-A8A4-011611F74982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85ebe076394e73a786cd076a0b8ed9e9ee400727","datavalue":{"value":{"entity-type":"item","numeric-id":331065,"id":"Q331065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q873834$03FED34D-B669-48A3-BD99-8C8E4C2C68AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2af5fe3b27a04082f1eae9cf17090e68be06cc07","datavalue":{"value":{"entity-type":"item","numeric-id":194678,"id":"Q194678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q873834$A1494427-528D-4AC2-B364-2678BF3DEABF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"741e6d6c610619c5428e7c04a6dfdd53626cae17","datavalue":{"value":{"time":"+2007-03-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q873834$7384FAE2-922F-4071-9ADD-CC76F3221EA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16650885dfd636ccbce28f982b09f7f3d5356a53","datavalue":{"value":"http://www.numdam.org/item?id=JTNB_2006__18_2_323_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q873834$9D8C0FFE-99AA-4007-9C97-8864D22311B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"4793ae0cafb66187e5f1bef98065786edc913832","datavalue":{"value":"https://eudml.org/doc/54137","type":"string"},"datatype":"url"},"type":"statement","id":"Q873834$5FD15873-025D-49EE-B46D-6F8B24144C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"84ea613ee23106c5d43c9285d2426ed21306de94","datavalue":{"value":"https://semanticscholar.org/paper/534d2d4d6196e016d636229943c3e2174a9d68c9","type":"string"},"datatype":"url"},"type":"statement","id":"Q873834$381FA90A-8BAF-4353-8068-18EC4926701F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7dfe939ffe1fbc6bc1b0be03896ae3f0156062d1","datavalue":{"value":"Suppose \\(A \\subset \\mathbb{N}\\) has a certain density \\(\\alpha\\) and \\(A + A\\) has density less than \\(2\\alpha\\). One possible reason for this could be that for some \\(g \\in \\mathbb{N}\\), we have \\(A \\subset [0, \\lceil \\alpha g\\rceil - 1] + g\\mathbb{N}\\), so that \\(A + A \\subset [0, 2\\lceil \\alpha g\\rceil - 1] + g\\mathbb{N}\\). A theorem of Kneser essentially states that if one works with the lower density, then this is in fact the only reason. The present article gives an analogue for the upper Banach density, which is defined as \\(\\text{BD}(A) := \\lim_n \\sup_k| A \\cap [k,k+n]| /(n+1)\\).   More precisely, the result is the following. Suppose that \\(\\text{BD}(A) = \\alpha\\) and \\(\\text{BD}(A+A) < 2\\alpha\\). Then there exists a \\(g \\in \\mathbb{N}\\) and a set \\(W\\) which is the union of \\(\\lceil 2\\alpha g - 1\\rceil\\) arithmetic progressions of difference \\(g\\) such that \\(A+A \\subset W\\). Moreover, suppose that \\([a_n, b_n]\\) are intervals whose lengths tend to \\(\\infty\\) and in which the relative density of \\(A\\) approaches \\(\\alpha\\). (Such intervals exist by definition of the Banach density.) Then there are slightly smaller intervals \\([c_n,d_n] \\subset [a_n, b_n]\\) such that on \\([2c_n,2d_n]\\), \\(A+A\\) is exactly equal to \\(W\\). ``Slightly smaller'' means \\((d_n-c_n)/(b_n-a_n) \\to 1\\).   The proof uses nonstandard analysis to simplify asymptotic arguments (e.g. concerning the upper Banach density). The article contains a quick introduction to nonstandard analysis.","type":"string"},"datatype":"string"},"type":"statement","id":"Q873834$DEF042C0-CA9C-4D47-A9D2-C174043ADE2A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"dddde243d09d3a0c11c233fa0f386c8f74d6555f","datavalue":{"value":{"entity-type":"item","numeric-id":590825,"id":"Q590825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q873834$8499E4A5-2ECE-4B55-8734-0471C3AD2F25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e3c992a31e02a6ede2f69c758d96f8312e288159","datavalue":{"value":"11P70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q873834$759CBA8A-D0CC-454B-A1A5-1989326C4C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cc918739208248f35fea9e5c33ece7f0619d7069","datavalue":{"value":"11B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q873834$A91F89E3-8B03-4938-B369-E4FA92912D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q873834$8357C2B7-8DF2-4537-A21B-92A207BE6E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0863e8f77401912a1f46a81052ba05901a6c171","datavalue":{"value":"11U10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q873834$66274A8F-D76A-45A7-B131-C03C4F7909AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ccca87e737e2716c32a757faae39d493665a018a","datavalue":{"value":"5135393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q873834$ED3AA4A4-96B5-439F-8EF8-8D8CD9D282D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4107ff4a6d4e370659b1bd071d8d94abcaae3669","datavalue":{"value":"upper Banach density","type":"string"},"datatype":"string"},"type":"statement","id":"Q873834$783FD352-3220-426E-8466-E28432F7EB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1267a15b8ae0f04dbc43b685500e681cf73c4a7","datavalue":{"value":"inverse problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q873834$46AE5ADD-F737-4AB0-83AD-6DAA77228B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a11cf132947b7b29693c82a290ecbf2e4989b042","datavalue":{"value":"nonstandard analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q873834$4B7FB340-C9AC-44BC-A155-32505DA56759","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":"Q873834$F028910B-8D53-45EC-99F1-484978592A06","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39ec77474affae1852e764c0d43e53b057fd6b08","datavalue":{"value":"W2049088918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q873834$D0196E57-C65F-4C13-B731-ED25549B17BC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"46b02eef3e5950ed0e7d09c68bb6c1c83269abdb","datavalue":{"value":{"entity-type":"item","numeric-id":1358800,"id":"Q1358800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q873834$63A190B4-847F-45D5-889A-F0D41DD0991B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c01e524c0be693f15311834bdb0f294fbf4b2bb3","datavalue":{"value":{"entity-type":"item","numeric-id":4256473,"id":"Q4256473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q873834$19E0E4A6-D285-4D86-8C4C-4A8015078284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55b37799c9e26baae0b2b93f30775072f585b68c","datavalue":{"value":{"entity-type":"item","numeric-id":3909268,"id":"Q3909268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q873834$C749C718-3DB2-4C80-B167-DBDEA09929D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc0395798c55c9b543d2ec7445c8d272e60cc5d","datavalue":{"value":{"entity-type":"item","numeric-id":5515488,"id":"Q5515488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q873834$7CF7508F-7690-4EE1-80CF-36AC427D24BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c26a7cd7be172a026ef1e0d0f5b6b73567b2d7","datavalue":{"value":{"entity-type":"item","numeric-id":4394926,"id":"Q4394926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q873834$E23ADCC6-FF12-46B4-A0B4-30945435D75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd02ca8f1c504db81ff0fec72cad2cc6072b5f42","datavalue":{"value":{"entity-type":"item","numeric-id":1612521,"id":"Q1612521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q873834$84A60DA9-186B-465F-83E0-91D74A5D5B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d04677837dfda2bf62a8aa6e48472bd9dbb1a02","datavalue":{"value":{"entity-type":"item","numeric-id":4668905,"id":"Q4668905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q873834$87CFB2DA-8D9B-4BDC-A09D-A5AA7732B453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"570f7cfb97ef39afef4621dee635a36f4e599c3d","datavalue":{"value":{"entity-type":"item","numeric-id":3151274,"id":"Q3151274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q873834$6166C918-ECE3-4422-BDF5-3314EC428F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba739435e7d31374c3833ada659bcacaf5f60f38","datavalue":{"value":{"entity-type":"item","numeric-id":5479405,"id":"Q5479405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q873834$FA6987B2-8788-483E-B8DB-AB46FCA73CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd122368804879664f52bc6d5f9242f466471096","datavalue":{"value":{"entity-type":"item","numeric-id":3807204,"id":"Q3807204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q873834$2CBBC4F8-5738-41FA-9EA9-ECD9D3F674D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cfb419c8232dc359ad1dc15207feab9c7e94c10","datavalue":{"value":{"entity-type":"item","numeric-id":4895030,"id":"Q4895030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q873834$58C9494D-1F59-4EF0-9708-1655F44ADDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2dbed384cce50de396ec4a688001581addf1062","datavalue":{"value":{"entity-type":"item","numeric-id":4744504,"id":"Q4744504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q873834$10CE74D1-F0DB-4E81-B273-5F4ABBF10930","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa4848a9f3217afdbb0d3da41759f86e3ed28e00","datavalue":{"value":"10.5802/JTNB.547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q873834$B6F2B1A0-B9ED-4E82-A9A2-5D9F3D5C95B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4cb6c414ac5244dcc3bec8721d548ce7f4fc46a","datavalue":{"value":{"entity-type":"item","numeric-id":4668905,"id":"Q4668905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc41c0dfd824d005d3f21ef1b5a040c9138ee968","datavalue":{"value":{"amount":"+0.8659535050392151","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":"Q873834$E6FA648B-5A4A-4719-8E56-E0A19DA71E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"070a7101e475be30339453c9f8113a1b44f9a816","datavalue":{"value":{"entity-type":"item","numeric-id":3626823,"id":"Q3626823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9338b10ac0024e2374df556d0b8c7bd53a2649ea","datavalue":{"value":{"amount":"+0.8458567261695862","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":"Q873834$D8898A36-9B79-453C-A4CF-BA1FC3D5BD73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22270978289c4481d103316bc6cd33056c559113","datavalue":{"value":{"entity-type":"item","numeric-id":982530,"id":"Q982530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c875272445d73d345b1bc749c163cbd5820ebe0","datavalue":{"value":{"amount":"+0.8415584564208984","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":"Q873834$4643D9E0-EF99-41BD-9134-C4B87F74B2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cf9e130932ef51557fd34922faf1747799721f3","datavalue":{"value":{"entity-type":"item","numeric-id":1612521,"id":"Q1612521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b975cf3a047633ca8d8c175e6dd3e3af740a725a","datavalue":{"value":{"amount":"+0.8386619687080383","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":"Q873834$9394A7E3-F848-41B8-9101-7B8FC5D54213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"226efbbe5fedcfe066d8e8b9c1b32f09ecd1d81b","datavalue":{"value":{"entity-type":"item","numeric-id":2998347,"id":"Q2998347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d797781e77f6b427a3cd80a09ffcc89563980e2d","datavalue":{"value":{"amount":"+0.8204211592674255","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":"Q873834$0F0E2811-F525-48B5-9E2F-01AC7585F18B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Kneser's theorem for upper Banach density","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Kneser%27s_theorem_for_upper_Banach_density"}}}}}