{"entities":{"Q1189099":{"pageid":1199848,"ns":120,"title":"Item:Q1189099","lastrevid":66804807,"modified":"2026-04-12T12:59:48Z","type":"item","id":"Q1189099","labels":{"en":{"language":"en","value":"A general covering lemma for the real line"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 54517"}},"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":"Q1189099$83541F2B-7BD0-41BE-95A2-FE5AA5B4BE28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3d0287bcbfaac73919bb6d034d2e06b9f5e57c9","datavalue":{"value":{"text":"A general covering lemma for the real line","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1189099$5F071938-29D1-4F80-9456-A16277C40DE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89116c4706b42054e4c49376515a6e9d6f31c2c2","datavalue":{"value":"0757.26007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189099$F680A6F3-70DA-4465-9C09-321B939B8B23","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cc44a233e5e8bd544c3e30852775af330b8fff3a","datavalue":{"value":{"entity-type":"item","numeric-id":178039,"id":"Q178039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189099$323EBFD0-663D-4F83-8701-A6B42545D118","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9b40ce89936be2de8343a01d1ced7ff59f76b3e","datavalue":{"value":{"time":"+1992-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1189099$B512F349-CCA5-4B6E-A63E-F4AB7FF21D20","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b2e24a29d2d1a01aff404131d3210e647befc03a","datavalue":{"value":"Let \\(\\mu\\) be a positive, countably additive measure defined on some \\(\\sigma\\)-algebra containing the Borel sets of \\(\\mathbb{R}\\). By an interval is meant a nondegenerate interval. Then the following covering lemma is proved.   Lemma: Let \\(\\mu\\) be a measure, and let \\(\\Lambda\\) be a collection of intervals \\(I\\) with \\(\\mu(I)\\leq M\\) for some positive constant \\(M\\) and all \\(I\\in\\Lambda\\). Then, for any \\(\\varepsilon>0\\), these exists a countable disjoint subcollection \\(\\Gamma\\) of \\(\\Lambda\\) such that \\((2+\\varepsilon)\\mu(\\cup\\Gamma)\\geq\\mu(\\cup\\Lambda)\\). If \\(\\mu(\\cup\\Lambda)<\\infty\\), then \\(\\Gamma\\) can be chosen to be finite.   In the case \\(\\mu(\\cup\\Lambda)<\\infty\\) the result appears implicitly in the literature. For that one can refer to \\textit{M. de Guzman} [Colloq. Math. 34, 69-72 (1975; Zbl 0326.28003)] and \\textit{D. Austin} [Proc. Am. Math. Soc. 16, 220-221 (1965; Zbl 0145.285)]. Some applications of the covering lemma are given in this note.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189099$D0E1894A-7696-4960-9664-3DC4F0A9181E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4e11be76db0504a20556545d615708c6152734ed","datavalue":{"value":"26A24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189099$A28B23B8-88B6-48A8-B5FE-E3EE25E15E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5b0d7bbe6740be94f99dbcce2467f925806f9640","datavalue":{"value":"42A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189099$06BF4BA6-DFC0-411E-8954-81F51E78F7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b98ad4650c5e0104983d42c4c01b72adfa18af1","datavalue":{"value":"26A03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189099$CA5763AD-2CF3-4378-B72C-477EBF1FD096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7f10a8c2218f37e16920ada947854b8ed3009189","datavalue":{"value":"28A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189099$3882941C-33AA-4F72-892D-D89F097A2783","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3c1ba9d7ec6fbbcb419d46f0c6bf1c0b4eb555e","datavalue":{"value":"54517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189099$DB39CE99-EB6B-43BB-96AF-DE7F09F5540B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2015eb9850f78eb460fe5e5f2fd5cb0fdbe17c7","datavalue":{"value":"differentiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189099$930EAB42-3EA8-407D-84B0-746DF0DB9B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a65ef763754354223ab036e8e5088d7ca738804","datavalue":{"value":"Hardy-Littlewood maximal function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189099$87D19008-27F1-4243-BB6F-E64459DE682F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"578a6e0f30634420f39737a653f9341e64a7aede","datavalue":{"value":"real line","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189099$2544EB17-6130-49DF-86B9-AF951239651E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d3b45fdf3de69ddb0a22a1384b03eedf1ad7e14","datavalue":{"value":"covering lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189099$1D4E3606-BCBE-4554-ABCC-A9D34A668B7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8060ce419219fe9c557b616075d78c8a8af4e284","datavalue":{"value":{"entity-type":"item","numeric-id":1651477,"id":"Q1651477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189099$905590FF-94C0-4EB7-B3EB-4BC8BD50B2D1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ec36b647f6774a380355491a5be510d09ca1094c","datavalue":{"value":{"entity-type":"item","numeric-id":650397,"id":"Q650397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189099$3A82DF50-0F2B-48BC-8ED5-FAB12CEEB4A4","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":"Q1189099$66004B22-6BBA-474B-AADB-ABF5306C1E88","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9689a20cad1a3dbd97b0c1a77d12a0ab75c63118","datavalue":{"value":{"entity-type":"item","numeric-id":1068225,"id":"Q1068225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c5fde772721f79360bf6964f4474cfffc191eba","datavalue":{"value":{"amount":"+0.7762392163276672","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":"Q1189099$BA2C9E1B-C9B5-4FFD-99FD-7C524E9C2E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7e9994f1891161cd2f94ef0346f5f79b5a6ffd7","datavalue":{"value":{"entity-type":"item","numeric-id":4017053,"id":"Q4017053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11185be1394fa3adfb1e30c32da21f1ce577c4ae","datavalue":{"value":{"amount":"+0.771714448928833","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":"Q1189099$D6C7ED6F-C0A6-4E3F-B677-314670961371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6703474da4b8e032caaa4c154022b814b7e68265","datavalue":{"value":{"entity-type":"item","numeric-id":4719117,"id":"Q4719117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d44524a4495ab3b94ded031a001adec827797657","datavalue":{"value":{"amount":"+0.77142733335495","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":"Q1189099$8F0398A9-756D-4A98-932E-54730328D232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84ab0f5260fe3638fad56d602e7e571302e44663","datavalue":{"value":{"entity-type":"item","numeric-id":4559010,"id":"Q4559010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3bac4b4b1825fa50d4ad53e020192f8f4c0b8b7","datavalue":{"value":{"amount":"+0.7680522203445435","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":"Q1189099$3008D8CF-1B2A-46EF-8372-3DED5C9E0A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a0a4b4671b37a8b304c6cdbb5286105bcab47ee","datavalue":{"value":{"entity-type":"item","numeric-id":3751800,"id":"Q3751800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc811db632dd7874026e182ab8363a12f1880aec","datavalue":{"value":{"amount":"+0.7533142566680908","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":"Q1189099$ED4370C4-E147-486D-9BD9-71B4049EB3D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A general covering lemma for the real line","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_general_covering_lemma_for_the_real_line"}}}}}