{"entities":{"Q264172":{"pageid":265939,"ns":120,"title":"Item:Q264172","lastrevid":56653536,"modified":"2026-03-18T10:21:34Z","type":"item","id":"Q264172","labels":{"en":{"language":"en","value":"The Hahn-Banach theorem almost everywhere"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6563691"}},"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":"Q264172$E40DCBA4-19FA-4A22-8422-72C4CFBCA1B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04f08808b378d52e7edd92441e179948568f951e","datavalue":{"value":{"text":"The Hahn-Banach theorem almost everywhere","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q264172$47CBC212-27DA-477F-A590-44E3C984B33D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82fe81bfd95c40dd6bc7fa3de08f7a1c6a6e5f36","datavalue":{"value":"1352.46004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264172$F0D48D13-2F52-4A42-BA36-BBD219663A8E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f29e057c3db59a0991d9c9e354715977336305d0","datavalue":{"value":{"entity-type":"item","numeric-id":264171,"id":"Q264171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264172$5E4F21BA-3112-4E8B-B04D-A80DC99A3116","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e8211cf89fb3e58cebf657950368971306be793","datavalue":{"value":{"entity-type":"item","numeric-id":176881,"id":"Q176881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264172$B408F3C3-6343-46CD-AAAB-0E659D0BC9E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2710326c5454bd92a60df0935d31488c6019050","datavalue":{"value":{"time":"+2016-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q264172$297F9433-65F5-4107-9F4A-BE60DB3A21E6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a139c3e9f12d3e0fe20da923ab2e8da79ef6b35c","datavalue":{"value":"Let \\(G\\) be an abelian group. A subset \\({\\mathcal I}\\) of the power set of \\(G\\) is called a proper linearly invariant ideal (p.l.i.\\ ideal) if it is closed under taking finite unions and subsets, if it is translation invariant and \\(G\\notin{\\mathcal I}\\). E.g., the Lebesgue sets of measure \\(0\\) in \\(\\mathbb R\\) form an example. A property is said to hold \\({\\mathcal I}\\) almost everywhere if it holds for all elements in the complement of an element of \\({\\mathcal I}\\). The main theorem states: Let \\((H,+)\\) be a subgroup of the abelian group \\((G,+)\\) and \\({\\mathcal I}\\) a p.l.i.\\ ideal in \\(G\\) such that \\(H\\notin {\\mathcal I}\\). Let \\(p:G\\times G\\to\\mathbb R\\) be a map such that there exists \\(U\\in {\\mathcal I}\\) such that, for every \\(x\\in G\\setminus U\\), there exists \\(V_x\\in{\\mathcal I}\\) such that \\(p(x+y)\\leq p(x)+p(y)\\) holds for all \\(y\\in G\\setminus V_x\\). Let \\(\\alpha:H\\to \\mathbb R\\) be an additive function which satisfies \\(\\alpha(x)\\leq p(x)\\) \\({\\mathcal I}\\) a.e.\\ on \\(H\\), then there exists an additive function \\(A:G\\to \\mathbb R\\) which coincides with \\(\\alpha\\) on \\(H\\) \\({\\mathcal I}\\) a.e.\\ and which satisfies \\(A(x)\\leq p(x)\\) \\({\\mathcal I}\\) a.e.","type":"string"},"datatype":"string"},"type":"statement","id":"Q264172$2C97D956-71A2-49D5-B937-17FE63906E71","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f2f7e92c8853f34f2cc053adba84b0bf70d43996","datavalue":{"value":{"entity-type":"item","numeric-id":429304,"id":"Q429304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264172$1783762E-670A-47FF-863B-17EBA222F8D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"be723b2ba909bc8dbb94960f73196353245cdab2","datavalue":{"value":"46A22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264172$2717F455-3955-4CD3-A94E-BD0363235DF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc301e70175ffb99666b804c2008107ac5581743","datavalue":{"value":"6563691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264172$F579A915-04EA-4348-93EC-EA43BBAD2C3A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2caac2706504f2f1006241de1819141d7be685d9","datavalue":{"value":"Hahn-Banach theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q264172$C732A954-999F-45B1-B53D-E6D1ADB82173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e4c414db393a9e02c76fbf101616dfe351d737a","datavalue":{"value":"subadditive function","type":"string"},"datatype":"string"},"type":"statement","id":"Q264172$E3D7265F-ECB7-40F5-AAFD-29AFE945D25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d09c6863f229b2583a145abf7b678f6ad7c38a0d","datavalue":{"value":"abelian group","type":"string"},"datatype":"string"},"type":"statement","id":"Q264172$B8DEA92F-2712-4208-BD81-399BF67CAFE1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e69a64d62ba879e8e36286de4ee9d7977d4f2c18","datavalue":{"value":"Q59473041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264172$5D6B2F83-2833-4AE5-B895-AAD446322342","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":"Q264172$3667F93C-6787-4498-ACED-00D1BA5E6987","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90a5bb67310e7fe9963c288cc8b16fe1a48e8845","datavalue":{"value":"https://doi.org/10.1007/s00010-015-0365-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q264172$C71B5DDB-5CAD-40C1-993A-55E54FA87340","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0fc0a8905cce18b7cf635a5416a90dbfbd9ba234","datavalue":{"value":"W1774938368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264172$1E80D9C0-9E0B-41FF-9BAE-557E01F18696","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5087ffd20b79ccb5865e413cfb95dfa73493eeb9","datavalue":{"value":{"entity-type":"item","numeric-id":4039383,"id":"Q4039383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264172$CB4C8AB1-EADF-4C17-96C6-E55D0190D366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87bc19f4f9d45354cbd905e9706e7629b95fd3f4","datavalue":{"value":{"entity-type":"item","numeric-id":5524782,"id":"Q5524782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264172$123E967D-DD34-41E2-9C01-4497F32B6310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"553f5f42cb6d97861ef7472c31b3b78dca919041","datavalue":{"value":{"entity-type":"item","numeric-id":4693726,"id":"Q4693726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264172$6E3C1960-5263-40F4-B004-856CD223AF05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88825d2b0a711e9fb449d9af893efa42b5c81cfd","datavalue":{"value":{"entity-type":"item","numeric-id":4084688,"id":"Q4084688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264172$145EA499-E10C-4CAF-8B5D-7B9AE2EADF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e662529f5826105934a37fc5ff99f69e735192f","datavalue":{"value":{"entity-type":"item","numeric-id":4161669,"id":"Q4161669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264172$BADCA632-0E18-407A-9F6A-958D3A9B8D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46c55fd95a332ffadb020a96ea0f5a183990a96c","datavalue":{"value":{"entity-type":"item","numeric-id":1142938,"id":"Q1142938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264172$3DA15660-5F9D-43C1-A105-5D08ACE1F635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796acc3ae7c48f986bcfc340642b625c6a0d8bd2","datavalue":{"value":{"entity-type":"item","numeric-id":5343723,"id":"Q5343723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264172$902D821E-7D2E-41C4-8D76-D30455BECD2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb3ae29f0baf59d1bb4d227445a0a48470f8852e","datavalue":{"value":{"entity-type":"item","numeric-id":3218572,"id":"Q3218572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264172$36B1F806-9EAE-4055-9714-3CF7F1EDAFA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04955c979a8e03761400a24b9bdd3ea05cdb2655","datavalue":{"value":"10.1007/S00010-015-0365-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264172$16172090-F049-492A-93AD-EB824B8BBDA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5322f2a40b38fb66b615bd53277d4a4fb42d16cf","datavalue":{"value":{"entity-type":"item","numeric-id":5384883,"id":"Q5384883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea88139cb4006e048501c29588ad5db16e1bd48e","datavalue":{"value":{"amount":"+0.9203006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q264172$5179CD2D-85D6-47E6-96FF-7F7909451EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"551e77e03634f040e6e4300430841dd7a321ea5c","datavalue":{"value":{"entity-type":"item","numeric-id":5286702,"id":"Q5286702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17dcdbddfc82be3a3236c81d75401fe8e2707c68","datavalue":{"value":{"amount":"+0.91688234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q264172$7D1BFF2A-2EC8-4268-BE88-F16ACE5CB28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5de9bb8de99dd51e00f1798a7f0828627e589381","datavalue":{"value":{"entity-type":"item","numeric-id":3970999,"id":"Q3970999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17dcdbddfc82be3a3236c81d75401fe8e2707c68","datavalue":{"value":{"amount":"+0.91688234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q264172$AE65BC2A-80A8-4A87-BC9E-94350780D97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f16a25828cd752bf5b185a315644e6cf3dcf5cb","datavalue":{"value":{"entity-type":"item","numeric-id":3739667,"id":"Q3739667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae334d2e6fd65c49f43916ed36b470e6963dcf4e","datavalue":{"value":{"amount":"+0.9143841","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q264172$7A35CE27-0CD6-41D9-87F9-7F39C9E2B107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8420ea5372fc130e6e6fe9dba0ee89308cdd73e6","datavalue":{"value":{"entity-type":"item","numeric-id":5758213,"id":"Q5758213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92bac0ace32b8687ad52667f58c57fca41700d29","datavalue":{"value":{"amount":"+0.90989566","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q264172$7E59DDCC-59A3-407D-A77A-CF5619D6BE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30248f6f653f8408b6450c9494d7e568dec34ac9","datavalue":{"value":{"entity-type":"item","numeric-id":5431834,"id":"Q5431834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"856dbc898a0109daac9db8a4fb98e08a4231d2de","datavalue":{"value":{"amount":"+0.90863514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q264172$E851F92A-D900-4DB9-91E6-E62DA8EA3AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4c19a325f3b303040a96e077514e15873ba1644","datavalue":{"value":{"entity-type":"item","numeric-id":3142894,"id":"Q3142894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be0f6759431be1d0dafd6ef7c9eb22d056472b6f","datavalue":{"value":{"amount":"+0.90833896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q264172$77AFC73B-3FCE-427F-A19D-83C1B02439B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af5b10904283f843ed11382d626fbdd15fc823a9","datavalue":{"value":{"entity-type":"item","numeric-id":4306159,"id":"Q4306159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f82e8672d95d2d36150086442e3224d680160d9b","datavalue":{"value":{"amount":"+0.9081018","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q264172$5D2576D3-EE8C-4C57-9204-D805E40DC42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"176e1e850924c142f5420123679ff6b2f6f482c2","datavalue":{"value":{"entity-type":"item","numeric-id":3790085,"id":"Q3790085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee52af9cdba6d44f7f0ba4681817c6ce3a27bb5d","datavalue":{"value":{"amount":"+0.90489054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q264172$6192A61C-F497-40F2-B53B-B5B1F6AEC701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ce871a5d63e2674ec63c0100c99ae0190ecf95d","datavalue":{"value":{"entity-type":"item","numeric-id":4848855,"id":"Q4848855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81878210b5aa0c4dfe827585232a0cdf9f5ca743","datavalue":{"value":{"amount":"+0.9048448","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q264172$0770E29C-19A7-43CE-978E-FD2C3D126CD2","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264172$FB071468-D1B9-4EB6-8B7F-4B09AE084CE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:264172","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:264172"}}}}}