{"entities":{"Q801166":{"pageid":803014,"ns":120,"title":"Item:Q801166","lastrevid":64515117,"modified":"2026-04-11T20:24:21Z","type":"item","id":"Q801166","labels":{"en":{"language":"en","value":"On the basic extension theorem in measure theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3877458"}},"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":"Q801166$3AB8F69A-0BB0-4196-8A90-6A3F279AF91E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b1c9bba09445f5b2debd1ab474e7307d8d3fbcf","datavalue":{"value":{"text":"On the basic extension theorem in measure theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q801166$E109247D-BB55-47E7-ACCB-A0F8F4432334","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d0bb6821e2d7066ab86e4a3cc2d1a70d309529c","datavalue":{"value":"0551.28003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801166$9F6ADD6A-0EC4-4742-833F-79B60AF097FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ebce00132035120a6223b74fa0f615f8bebbf1e","datavalue":{"value":"10.1007/BF01159166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801166$A3EEE57E-BB34-44D5-93E8-BFC5F15A29E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dfa5bc95e1fdba4c3d3197123373583ef39a5b9e","datavalue":{"value":{"entity-type":"item","numeric-id":163114,"id":"Q163114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801166$C98B116F-BA85-4B32-BE02-186DE16EAD1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q801166$5A256ABB-74EB-4284-84B6-0D221FF10568","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9279c2337c2459678a259f86530566b02a091f2e","datavalue":{"value":"https://eudml.org/doc/173612","type":"string"},"datatype":"url"},"type":"statement","id":"Q801166$0FB31358-A454-40E0-B3FA-064F83B9AAF0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c1cf035c29e211514e05672170bff82ac9a76f8c","datavalue":{"value":"Let \\({\\mathcal F}\\) be a lattice of subsets of a nonvoid set X which contains \\(\\emptyset\\), and \\(\\tau\\) : \\({\\mathcal F}\\to [0,\\infty]\\) be isotone and modular with \\(\\tau (\\emptyset)=0\\). The paper extends and unifies the known results on the existence of extensions of \\(\\tau\\) to measures on the \\(\\sigma\\)-algebra \\({\\mathcal F}^*\\) generated by \\({\\mathcal F}\\); see in particular \\textit{J. L. Kelley, M. K. Nayak} and \\textit{T. P. Srinivasan} [Vector operator valued measures Appl., Symp. Alta, Utah 1972, 155-164 (1973; Zbl 0293.28002)]. Instead of the usual Carath\u00e9odory outer measure \\(\\tau^*\\) the author forms \\(\\tau^{\\infty}:\\) \\(\\tau^{\\infty}(A)=Inf\\lim_{l\\to \\infty}\\tau (A_ l)\\) for \\(A\\subset X\\), where the Inf extends over all increasing sequences \\((A_ l)_ l\\) in \\({\\mathcal F}\\) with union \\(\\supset A\\). In contrast to \\(\\tau^*\\) this function has an obvious counterpart as an inner measure, namely \\(\\tau_{\\infty}:\\) \\(\\tau_{\\infty}(A)=Sup\\lim_{l\\to \\infty}\\tau (A_ l)\\) for \\(A\\subset X\\), where the Sup extends over all decreasing sequences \\((A_ l)_ l\\) in \\({\\mathfrak F}:=\\{A\\in {\\mathcal F}: \\tau (A)<\\infty \\}\\) with intersection \\(\\supset A\\). With the aid of these functions one obtains necessary and sufficient conditions which weaken the familiar sufficient conditions such as tightness and the like. For the existence of an extension on \\({\\mathcal F}^*\\) which is inner regular with respect to \\({\\mathfrak F}^{\\delta}\\) the condition reads: It is downward smooth and satisfies \\(\\tau (A)+\\tau_{\\infty}(B\\setminus A)\\geq \\tau (B)\\) for all A,B\\(\\in {\\mathfrak F}\\) with \\(A\\subset B\\), or equivalently: \\(\\tau\\) is smooth at \\(\\emptyset\\) and satisfies \\(\\tau (A)+\\tau_ B(B\\setminus A)\\geq \\tau (B)\\) for all A,B\\(\\in {\\mathfrak F}\\) with \\(A\\subset B\\), where \\(\\tau_ B\\) is defined as \\(\\tau_{\\infty}\\) but restricted to the sequences \\((A_ l)_ l\\) contained in B.","type":"string"},"datatype":"string"},"type":"statement","id":"Q801166$2578BB41-53AE-4A07-800E-733376E5D426","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ad338954945f56418cb3e67f44562dde9217d4f4","datavalue":{"value":"28A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801166$A3144079-DCD3-4C08-BCF4-F2F7A4FC98E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1082309fbddb9c2b3df3d60bf871d285d4dccd06","datavalue":{"value":"28A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801166$E8A28F42-7FE9-46FE-8491-B8F237409E42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3007f40d0d9e808bbd60c4f8e27b63a637cdf2ad","datavalue":{"value":"3877458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801166$9A8CE01E-7206-4251-A7EB-9EA455DF0AA1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"466116d9f71dad902f88ce9a8e071d5f213353e0","datavalue":{"value":"existence of extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q801166$7A0C5946-6660-4B66-8172-49A6E1833DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0031dfbdb2e16d367ab0ab37aa5e124a82e15939","datavalue":{"value":"inner measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q801166$6525A993-2ED3-4073-866A-C9386D527EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f8bc50863a68bc8b946f7471fa4a647c7825122","datavalue":{"value":"tightness","type":"string"},"datatype":"string"},"type":"statement","id":"Q801166$4F60C9AB-4BEB-484F-9588-5C848D1C500D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0acb932d66ec9c5196c52b71b67f7c3672d106e","datavalue":{"value":"downward smooth","type":"string"},"datatype":"string"},"type":"statement","id":"Q801166$E848B7F2-CAB9-48AA-BCA2-58D1C4EB0D9B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be53dd5b22959793a42c2ce888a20b45f887190f","datavalue":{"value":{"entity-type":"item","numeric-id":1154569,"id":"Q1154569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801166$A5A999A2-8907-4BF8-B9A9-272584E2C7FE","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":"Q801166$B72173F9-9583-42FE-A8FF-26822F16A5F7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"29333f2c850ff04d48bddfb4fa281fed139485e2","datavalue":{"value":{"entity-type":"item","numeric-id":4162207,"id":"Q4162207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801166$B7111B5B-E983-4916-BD57-F8E5D23255CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b7740432e4336265e945966de7c08a93bb0f50","datavalue":{"value":{"entity-type":"item","numeric-id":5799972,"id":"Q5799972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801166$5226BD03-F99A-4D65-BBD4-EDE90D8610B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0684727e908fce1cfeb50a95bc49644a71dab11e","datavalue":{"value":{"entity-type":"item","numeric-id":5792540,"id":"Q5792540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801166$A2F05F8B-966C-4BF0-938A-568B7A5B7793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565f342f1f7c3ee80ae2c9b95a95b1cd5a0db3f5","datavalue":{"value":{"entity-type":"item","numeric-id":5828116,"id":"Q5828116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801166$BBEC51BE-45C9-400B-B27E-71E0F2B62563","rank":"normal"},{"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":"Q801166$288CE2FF-F952-443B-BB6C-0B5B9FD13D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b609e7c4fdc66d656367a365e708e0b8c0ffb1b","datavalue":{"value":{"entity-type":"item","numeric-id":5598459,"id":"Q5598459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801166$0774B8E5-82F3-4A38-AC3A-4C2C4750DD05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b21a1acb3bb879aefe3bb57c21a84c53abfbe86","datavalue":{"value":{"entity-type":"item","numeric-id":4820394,"id":"Q4820394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801166$DAF78DEF-11F6-4B18-9D8D-2A06136E4DBC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce016c4d7d10560901a8f5ee98665b735f187198","datavalue":{"value":{"entity-type":"item","numeric-id":3825278,"id":"Q3825278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36c154bc581d8001cee50f4c9751e58be1f2cc09","datavalue":{"value":{"amount":"+0.8546074032783508","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":"Q801166$82ED5AAF-A1CA-473C-A4E1-22E99C792258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a5565b4a61c60686a290c7837a39f0e9909c211","datavalue":{"value":{"entity-type":"item","numeric-id":4712731,"id":"Q4712731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"148f8c14ed9c2c67ece2779f327a4fac7b84bf3a","datavalue":{"value":{"amount":"+0.8518140912055969","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":"Q801166$43A9DBDB-EC10-47D8-8BF8-1D3A6AA4EEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fdcb45d278a9ce538b5f9faba7a3a36d1113fd3","datavalue":{"value":{"entity-type":"item","numeric-id":3775749,"id":"Q3775749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cdec813b9bdfed2c53b224a731643ff8c926e6a","datavalue":{"value":{"amount":"+0.8491488099098206","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":"Q801166$878E8BBF-5848-4DE1-B017-7373AA96B777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e070b1e614a7ad6869838a4c8ec16ec24d034ca","datavalue":{"value":{"entity-type":"item","numeric-id":3781955,"id":"Q3781955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fc00f8b074b713d9317ccf8cd2ce7b5590103a1","datavalue":{"value":{"amount":"+0.8238999843597412","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":"Q801166$336048DF-3EB6-4256-861F-C2B62C8640AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a33d084a8ab85374e4a127ab1d488bf99c5e236","datavalue":{"value":{"entity-type":"item","numeric-id":2717697,"id":"Q2717697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e1f05c70832ca3c858608663d9ee20b8c5fc8a2","datavalue":{"value":{"amount":"+0.8238176703453064","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":"Q801166$B1807D97-DEC9-45B4-8901-5670925F95CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the basic extension theorem in measure theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_basic_extension_theorem_in_measure_theory"}}}}}