{"entities":{"Q2596014":{"pageid":2606757,"ns":120,"title":"Item:Q2596014","lastrevid":44435475,"modified":"2025-11-22T22:10:43Z","type":"item","id":"Q2596014","labels":{"en":{"language":"en","value":"A theorem on general measure functions."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2515185"}},"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":"Q2596014$AAE533BC-3BD2-4E61-9E84-46C8DB78058D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37b7986e2faaeb6c2d3cac2302c52c8b333a2539","datavalue":{"value":{"text":"A theorem on general measure functions.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2596014$2E8671C8-4D1F-46C8-B2F5-19E54F54F432","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"200267cc080aab5acccab59c353659cf97643f0b","datavalue":{"value":"64.0191.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2596014$84183E31-4804-44A6-B304-7C1A4E1AA7CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"569f7eee57c92af30f0779849471ff124ef80fbe","datavalue":{"value":{"entity-type":"item","numeric-id":563364,"id":"Q563364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2596014$CEE96A19-9075-423D-BD80-580D083C98A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f858b81427e0400eb7de4859b32f6d4c81a704f4","datavalue":{"value":{"time":"+1938-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":"Q2596014$E18FAD27-3A15-4E39-AFA6-116248B47C41","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0a3da10834993e859dea4f1d2c49ee23d7ac804a","datavalue":{"value":"Sei \\(\\mathfrak M\\) ein System von Untermengen eines abstrakten Raumes \\(S\\) derart, da\u00df mit je zwei Mengen \\(a\\), \\(b\\) aus \\(\\mathfrak M\\) auch \\(a+b\\), \\(a\\cdot b\\), \\(a-a\\cdot b\\) zu \\(\\mathfrak M\\) geh\u00f6ren. \\(\\mathfrak M\\) sei das System der ``me\u00dfbaren'' Mengen. Man teilt dann die Elemente von \\(\\mathfrak M\\) in paarweise fremde Klassen; die Klasse, zu welcher \\(a\\) geh\u00f6rt, wird mit \\(|\\,a\\,|\\) bezeichnet, und \\(|\\,a\\,|\\) sei das ``Ma\u00df'' von \\(a\\). Dabei soll das System der Klassen \\(|\\,a\\,|\\) geordnet sein durch eine transitive Relation \\(<\\) in der \u00fcblichen Weise. Das Ma\u00df der leeren Menge wird mit 0 bezeichnet. Ein so definiertes ``Ma\u00df'' hei\u00dfe monoton, wenn aus \\(a\\subset b\\) folgt \\(|\\,a\\,|\\leqq |\\,b\\,|\\); stetig, wenn aus \\(|\\,a\\,|\\geqq |\\,b\\,|\\) die Existenz einer Menge \\(a'\\) mit \\(a'\\subset a\\) und \\(|\\,a'\\,|=|\\,b\\,|\\) folgt; additiv, wenn aus \\(|\\,a_1a_2\\,|=|\\,b_1b_2\\,|=0\\), \\(|\\,a_1\\,|=|\\,b_1\\,|\\), \\(|\\,a_2\\,|=|\\,b_2\\,|\\) folgt: \\(|\\,a_1+a_2\\,|=|\\,b_1+b_2\\,|\\); und distributiv, wenn aus \\(|\\,b_1b_2\\,|=0\\) und \\(|\\,a\\,|\\geqq |\\,b_1+b_2\\,|\\) die Existenz zweier Mengen \\(a_{1}\\) und \\(a_{2}\\) folgt mit \\(|\\,a_1a_2\\,|=0\\), \\(a_1+a_2\\subset a\\); \\(|\\,a_1\\,|=|\\,b_1\\,|\\), \\(|\\,a_2\\,|=|\\,b_2\\,|\\). Wir sagen schlie\u00dflich, da\u00df eine Menge \\(a\\) von endlichem Ma\u00df ist, wenn aus \\(a'\\subset a\\) und \\(|\\,a'\\,|=|\\,a\\,|\\) folgt: \\(|\\,a-a'\\,|=0\\). Das System aller Mengen von endlichem Ma\u00df bezeichnen wir mit \\(\\mathfrak F\\).  Sei \\(f(x_1, x_2,\\dots x_n)\\) ein Polynom in den \\(x_{i}\\) mit reellen, nichtnegativen Koeffizienten. Seien nun \\(a_1\\), \\(a_2\\),\\dots, \\(a_{n}\\) irgendwelche Mengen aus \\(S\\), so wird die Menge \\(f(a_1, a_2,\\dots, a_n)\\) so definiert: Ist \\(\\varPhi _\\nu (\\tau )\\) eine f\u00fcr alle Elemente von \\(S\\) definierte Funktion, welche reell positiv in \\(a_{\\nu }\\) und gleich 0 in \\(S - a_\\nu \\) ist, so bezeichnen wir mit \\(f(a_1, a_2,\\dots , a_n)\\) die Menge aller \\(\\tau \\), f\u00fcr welche \\(f\\bigl(\\varPhi _1(\\tau ), \\varPhi _2(\\tau ),\\dots,\\varPhi _n(\\tau )\\bigr)>0\\). Dabei ist diese Menge unabh\u00e4ngig von der speziellen Wahl der \\(\\varPhi _\\nu (\\tau )\\). Ist das absolute Glied von \\(f\\) gleich Null und sind die \\(a_1\\),\\dots, \\(a_{n}\\) Mengen aus \\(\\mathfrak M\\), so ist auch \\(f(a_1, a_2,\\dots,a_n)\\) me\u00dfbar. Ein Polynom \\(f\\) mit dem absoluten Glied Null hei\u00dfe normal. Sind \\(a_1\\), \\(a_2\\),\\dots, \\(a_n\\), \\(b_1\\), \\(b_2\\),\\dots, \\(b_{n}\\) \\(2n\\) Mengen aus \\(\\mathfrak M\\) und ist f\u00fcr jedes normale \\(f\\)  \\[ |\\,f(a_1, a_2,\\dots, a_n)\\,|\\geqq |\\,f(b_1, b_2,\\dots, b_n)\\,|, \\]  so schreibt man daf\u00fcr auch: \\(|\\,a_1, a_2,\\dots, a_n\\,|\\geqq |\\,b_1, b_2,\\dots, b_n\\,|\\). Dann wird gezeigt: Es sei \\(\\varGamma \\) ein monotones, distributives und additives Ma\u00df. Ferner seien \\(b_1\\), \\(b_2\\),\\dots, \\(b_{n}\\) Mengen aus \\(\\mathfrak F\\). Dann ist \\(|\\,a_1, a_2,\\dots, a_n\\,|\\geqq |\\,b_1, b_2,\\dots, b_n\\,|\\) die notwendige und hinreichende Bedingung daf\u00fcr, da\u00df es zu den \\(a_{\\nu }\\) (aus \\(\\mathfrak M\\)) Untermengen \\(a_\\nu ^{ \\ast}\\subset a_\\nu \\) aus \\(\\mathfrak M\\) gibt mit \\(|\\,a_1^{\\ast}, a_2^{\\ast},\\dots a_n^{\\ast}\\,|=|\\,b_1, b_2,\\dots, b_n\\,|\\).  Nach einer Erweiterung des Satzes auf Mengen mit unendlichem Ma\u00df werden Anwendungen auf Kardinalzahlen gegeben. -- Man vgl. auch die Arbeit von \\textit{P. Hall} J. London math. Soc. 10 (1935), 26-30; JFM 61.0067.*.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2596014$913DD67C-0954-4810-A7BD-6E2589922322","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e3e7e04499fc69c96e952cb35dbece69891cfe0","datavalue":{"value":"2515185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2596014$FC57F7C7-4BE0-4529-B899-67A22275C11A","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":"Q2596014$F1DE0813-A7FC-4736-8E03-29E1FA2C4A27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93c857643e48213d18b5f0163d8fc6e13d3d105e","datavalue":{"value":"https://doi.org/10.1112/plms/s2-44.1.61","type":"string"},"datatype":"url"},"type":"statement","id":"Q2596014$0E264102-EB5F-4912-90EB-8F59FBA2D1C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9205c71b5d68ac7170daafb7b72bacdc315c84c","datavalue":{"value":"W1964009541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2596014$0DCA87A9-F114-4674-8CA5-40CE9BC8CE7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8505b1c6c27407ac6dd7cf6e88daf80c813b4ccb","datavalue":{"value":"10.1112/PLMS/S2-44.1.61","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2596014$0459807D-D2DB-46FF-B572-3FC53ADD0B01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b4319ba4c04be987742489d38aa682e8fefd201","datavalue":{"value":{"entity-type":"item","numeric-id":6480802,"id":"Q6480802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2596014$2E8FFA27-260D-474E-9882-397BA980759B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2596014","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2596014"}}}}}