{"entities":{"Q503735":{"pageid":505502,"ns":120,"title":"Item:Q503735","lastrevid":62369322,"modified":"2026-04-11T05:37:47Z","type":"item","id":"Q503735","labels":{"en":{"language":"en","value":"Upper and lower densities have the strong Darboux property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6676828"}},"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":"Q503735$317C54E8-FDBC-48D3-AA31-77249EF8C97D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d23ec3f35d0f012e708271f3d31ff89572786e5","datavalue":{"value":{"text":"Upper and lower densities have the strong Darboux property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q503735$7BC82147-D5C1-436E-BBA1-D42D5C70B846","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fb4d94c7b449ff9b8eb0283e8ca7c9ab0bbf3dd","datavalue":{"value":"1396.11015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503735$DEE68328-A3B8-44C1-A2C0-EFF78E57D6EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a758b2a9f4d72ce53cfcfe4edaf0beeed5b42c27","datavalue":{"value":{"entity-type":"item","numeric-id":307731,"id":"Q307731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503735$86180FDA-0E23-4DDE-8567-A932C17E33EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1629cd3cfd0ab0b1dabddf3ef119a100ac09a727","datavalue":{"value":{"entity-type":"item","numeric-id":307732,"id":"Q307732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503735$26C468E3-4238-4B83-AD94-12CA62F81AD6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6cac328d206d9ef9b7afb3fb4ca5d1d204199af","datavalue":{"value":{"entity-type":"item","numeric-id":167107,"id":"Q167107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503735$01E6BAC8-2F89-4C52-A38F-62C58B40E88A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13151eb7b59fad0bb38cfdc202f36a9940106a32","datavalue":{"value":{"time":"+2017-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q503735$84D39F1B-EBE5-4A84-BF59-4EA0E2EC2916","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e401fbf15c1183716dc05363cb116bb718b9cf6d","datavalue":{"value":"https://arxiv.org/abs/1510.07473","type":"string"},"datatype":"url"},"type":"statement","id":"Q503735$AF5A6C1B-BD19-497C-A180-5580B85D9D0F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0b810c07143743afd106feb4cb17ac9920c99be8","datavalue":{"value":"In the paper under review, \\(\\mathbb H\\) denotes the set \\(\\mathbb Z\\) of integers, the set \\(\\mathbb N\\) of nonnegative integers or the set \\(\\mathbb N^+\\) of positive integers; and \\(\\mathcal P(\\mathbb H)\\) denotes the power set of \\(\\mathbb H\\).   The authors define the ``upper quasi-density'' as being a function \\(\\mu^*:\\mathcal P(\\mathbb H)\\mapsto\\) \\(]-\\infty, +1]\\) satisfying the rules:   (R1) \\(\\mu^*(\\mathbb H)=1;\\)   (R2) \\(\\mu^*(X\\cup Y)\\leq\\mu^*(X)+ \\mu^*(Y)\\) for all \\(X,Y\\subseteq\\mathbb H;\\)   (R3) \\(\\mu^*(k\\cdot X+h)={1\\over k}\\mu^*(X)\\) for all \\(X\\subseteq\\mathbb H\\), \\(k\\in\\mathbb N^+\\) and \\(h\\in\\mathbb N\\).   The notion of ``upper density'' mentioned in the title is an upper quasi-density which verifies the supplementary rule of monotonicity:   (R4) \\(\\mu^*(X)\\leq\\mu^*(Y)\\) for \\(X\\subseteq Y\\subseteq\\mathbb H\\).   The authors prove that every upper quasi-density verifies the ``strong Darboux property'' formulated as follows:   `For all \\(X\\subseteq Y\\subseteq\\mathbb H\\) such that \\(\\mu^*(X)\\leq\\mu^*(Y)\\) and any \\(a\\in[\\mu^*(X),\\mu^*(Y)],\\) there is a set \\(Z\\) such that \\(X\\subseteq Z\\subseteq Y\\) and \\(\\mu^*(Z)=a.\\)'  NB:   1) The ``weak'' Darboux property is the above formulated property with the restriction that \\(X=\\emptyset\\).   2) The strong Darboux property is also valid for the ``lower quasi density'' defined by \\(\\mu_*(X):=1-\\mu^*(X^c)\\) where \\(X^c:=\\mathbb H\\setminus X.\\)   The proofs are self-contained. The authors need some lemmas from their extended study [``On the notions of upper and lower density'', Preprint, \\url{arXiv:1506.04664}]. The lemmas needed are formulated and re-proved in the present paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q503735$0491DB65-F255-43AA-B423-268A9824DCE1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1e5e0511ab9ff76136bff83eea4687fedc009737","datavalue":{"value":{"entity-type":"item","numeric-id":591960,"id":"Q591960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503735$9C4EAEEC-8D4A-4404-A416-30E62E9B0069","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cc918739208248f35fea9e5c33ece7f0619d7069","datavalue":{"value":"11B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503735$452E327A-C239-4B73-8128-4766353F16AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1082309fbddb9c2b3df3d60bf871d285d4dccd06","datavalue":{"value":"28A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503735$4EE7DD6E-2222-466C-ADA4-37F4B0EF158B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e47afcf5bc34959cb796e473da4539181b00ab12","datavalue":{"value":"39B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503735$4BA422B8-7096-432B-9C47-CED227034591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d68cc4155d2917dd1c4226f85d9cb66872255c31","datavalue":{"value":"60B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503735$A1184FA3-225D-4A64-BC55-91CF8E1820B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2e95d8bf28bd46f498da3adca5f148f9d169de9","datavalue":{"value":"6676828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503735$8758411F-B74C-4A90-84AD-C6A95F22AB1B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f19c26a408f7bd1f1a917acf27762ee5fe4d4389","datavalue":{"value":"asymptotic (or natural) density","type":"string"},"datatype":"string"},"type":"statement","id":"Q503735$5D4EE002-9524-4F73-A1F6-69F750D371A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c978fd8c5d2ae03f77ca47f723cbbce43153d650","datavalue":{"value":"Banach (or uniform) density","type":"string"},"datatype":"string"},"type":"statement","id":"Q503735$83D60332-6F91-490C-B978-6CBB35879D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ec1e073243aa07040ea54a059154a2285fefc2b","datavalue":{"value":"Darboux (or intermediate value) property","type":"string"},"datatype":"string"},"type":"statement","id":"Q503735$09034B94-8A46-433B-9CA6-960DE0FF842E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40061d4329954cbbdf4828ac3112a717736310cc","datavalue":{"value":"set functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q503735$000A0CA2-F793-4F83-91AE-9103E3492719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfc7f479933bc8c78645735483714a6ec6f84790","datavalue":{"value":"subadditive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q503735$41DC8EAB-10F9-4B3A-A3F9-F113E1DD3526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed4b0d79349e94aa10a8b74b2ce56476a0ff212c","datavalue":{"value":"upper and lower densities (and quasi-densities)","type":"string"},"datatype":"string"},"type":"statement","id":"Q503735$6842402A-112B-45E3-80E5-93A0FF14AF2F","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":"Q503735$648C19AA-BB41-40C1-B48F-266D0E3369C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c81c628de38822f66279177e92f8258952f46654","datavalue":{"value":"W1845033600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503735$8AE6B902-27ED-4C4A-A247-3456542B2CF9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"401cc69c2f0d0ef28ffa7dd37076b86706fbb973","datavalue":{"value":{"entity-type":"item","numeric-id":3663565,"id":"Q3663565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503735$22289CE7-E987-4DE3-A57E-41575862934D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a54855e3fc318f447b7fad2563f0ea426c9ae80","datavalue":{"value":{"entity-type":"item","numeric-id":5517160,"id":"Q5517160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503735$92B28A82-B7C8-47BB-8718-306BDD5AFD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df1711fbcb88121577630552042cbe30935b5ea5","datavalue":{"value":{"entity-type":"item","numeric-id":4807512,"id":"Q4807512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503735$FA2A37C4-BD8A-46BB-9150-77DF85725B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e94b9fc059da1c677af1d5ae0980c7652a3105","datavalue":{"value":{"entity-type":"item","numeric-id":1250130,"id":"Q1250130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503735$6AB1C8C8-92DD-4D0A-BB0C-4AA1DCA47B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06f5d059126ad13da342b33436783f3d39d7d2c7","datavalue":{"value":{"entity-type":"item","numeric-id":977128,"id":"Q977128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503735$0135DCB1-3323-44C6-928B-4DF81A79B4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f5eab70966b236525b2f1469660bcdcb8468d4","datavalue":{"value":{"entity-type":"item","numeric-id":5541833,"id":"Q5541833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503735$5279E07A-CFA1-4CBF-B272-578B26551701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ded00880fab9ee7fec438d55f900b7cf315e631","datavalue":{"value":{"entity-type":"item","numeric-id":5291006,"id":"Q5291006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503735$8F2B3400-CB21-4441-8E69-0FCA78D65320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"880dc844ff54991c56efea217b02cd5732d42f89","datavalue":{"value":{"entity-type":"item","numeric-id":5783940,"id":"Q5783940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503735$9CDFC2DC-83FA-4999-ABC7-54255D82147F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e642276f9b33f15f8d8bf6c81f2f13be69bf9bf1","datavalue":{"value":{"entity-type":"item","numeric-id":5820692,"id":"Q5820692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503735$2A3F1C97-D983-49CE-B01B-CB8A4DCD2811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a925de2142f1458da0b1279328f0ff9d368c176a","datavalue":{"value":{"entity-type":"item","numeric-id":4164085,"id":"Q4164085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503735$5BC56854-9AFC-4876-81A0-AD5BA3A9CEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e861b368d8108fd187b0d53f669cb0d5945aa312","datavalue":{"value":{"entity-type":"item","numeric-id":4018759,"id":"Q4018759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503735$ABDEF364-347B-4F07-A138-4801A9D0208E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a20dba0dfc32069b30284aea72db3e94c6618eb","datavalue":{"value":{"entity-type":"item","numeric-id":3269258,"id":"Q3269258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503735$39AC10EF-EC80-4155-9D6C-76CD75F3FC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99f4d3a61e62718c1ecbed0f2c1922a93a430ccf","datavalue":{"value":{"entity-type":"item","numeric-id":3508582,"id":"Q3508582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503735$FADBC1A9-2C3E-4816-B873-3BB2EFBE8358","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31438276329fac2bed752c5fe7884adec145aae2","datavalue":{"value":"10.1016/J.JNT.2016.11.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503735$17AD0029-8152-4DCA-A48B-43FDCBCCAE08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d654d8f5b316e7b93218f26376c596391f28569a","datavalue":{"value":{"entity-type":"item","numeric-id":5111608,"id":"Q5111608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56c6b68393c7ba6ebf4c455cb8c2dd2ba1f02223","datavalue":{"value":{"amount":"+0.8605372905731201","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":"Q503735$836DA997-D114-4AD4-80A0-0DA29FA17158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12a645439fe444b69620cb02d43e7dd424fb5041","datavalue":{"value":{"entity-type":"item","numeric-id":4807512,"id":"Q4807512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d82ac4650f1ec6d94a01267b914f056cf7e298f7","datavalue":{"value":{"amount":"+0.8472565412521362","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":"Q503735$281E6327-CFB7-4E50-AE2B-A3B0418CA24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fec64e387d8059516ab14790b51ab529feed9e9","datavalue":{"value":{"entity-type":"item","numeric-id":977128,"id":"Q977128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7a7bbd37319eb04a88a6b54795e375b25387ce5","datavalue":{"value":{"amount":"+0.8387641906738281","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":"Q503735$F35CCBD8-7EC3-43CF-9D83-09524AEE223B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c1b3f5bf584abe327cfedc975595dd18d668015","datavalue":{"value":{"entity-type":"item","numeric-id":5291006,"id":"Q5291006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8acb717d9b1a2c0d9725589f3a35616c1e7961f1","datavalue":{"value":{"amount":"+0.8124518394470215","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":"Q503735$77FC366D-6869-4267-9110-DA48A702DA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb7880db40df80489cfe414f33da8ca52ae74220","datavalue":{"value":{"entity-type":"item","numeric-id":5363359,"id":"Q5363359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b29b3216b2e6b54dcd0cd9810e6309430f4f8e8","datavalue":{"value":{"amount":"+0.78305983543396","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":"Q503735$23739EA3-6190-4E47-B947-2082EE846D3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Upper and lower densities have the strong Darboux property","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Upper_and_lower_densities_have_the_strong_Darboux_property"}}}}}