{"entities":{"Q393726":{"pageid":395493,"ns":120,"title":"Item:Q393726","lastrevid":61540992,"modified":"2026-04-11T00:02:45Z","type":"item","id":"Q393726","labels":{"en":{"language":"en","value":"A Helly-type theorem for semi-monotone sets and monotone maps"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6249843"}},"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":"Q393726$AAF323F4-2FB3-4258-BBCB-A5219E857AB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ed61eb3506ee0438b8663ba3111e78ba65be398","datavalue":{"value":{"text":"A Helly-type theorem for semi-monotone sets and monotone maps","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q393726$C9F195DC-4B3A-443E-8B98-8520D7E79EA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8541a1378a90a3db4fda30eeb473ad3b795c04ed","datavalue":{"value":"1284.14082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393726$A18A9308-0094-492F-8B18-C48BBF0E56A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3795326fa27f47eff8cdbd074017fa2ad664ed08","datavalue":{"value":{"entity-type":"item","numeric-id":249474,"id":"Q249474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393726$5E076E67-D200-4789-81C3-882D47AF1D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a1083cbd987b138b7545fc2fd96fba317b5e1cd","datavalue":{"value":{"entity-type":"item","numeric-id":220798,"id":"Q220798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393726$C00A6E3D-B034-4942-A3E1-87A9AB975B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b80574436eb2cfe6e06d2d1b3446d5365a842cc","datavalue":{"value":{"entity-type":"item","numeric-id":1190746,"id":"Q1190746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393726$A19DEA43-0EDC-49D4-87AE-0E8168560BF3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b6f367138a9ac2b85113cfed5a6fd5bedcc8944c","datavalue":{"value":{"entity-type":"item","numeric-id":178842,"id":"Q178842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393726$177CA5E3-8FA3-4560-AFBD-C6935D279F14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec1d1b5de12363b743dc1edf0b2d387c6f9a8806","datavalue":{"value":{"time":"+2014-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q393726$BC5F4B01-B855-449C-B8F7-77644E726CA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7eb107e0892e5e971a547cdf54898f9904de0e4c","datavalue":{"value":"https://arxiv.org/abs/1202.1198","type":"string"},"datatype":"url"},"type":"statement","id":"Q393726$E484C0E4-D764-4881-B186-8888128C0EF7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"21dd787932b74032d595478c4840b234ceffe9d8","datavalue":{"value":"In [\\textit{S. Basu} et al., Rev. R. Acad. Cienc. Exactas F\u00eds. Nat., Ser. A Mat., RACSAM 107, No. 1, 5--33 (2013; Zbl 1273.14123); J. Eur. Math. Soc. (JEMS) 15, No. 2, 635--657 (2013; Zbl 1284.14081)], the authors of the present paper introduced a class of definable subsets of \\(\\mathbb R^n\\), called \\textit{semi-monotone sets}, and definable maps, called \\textit{monotone maps}, in an o-minimal structure over \\(\\mathbb R\\). Real semi-algebraic sets are examples of semi-monotone sets. Semi-monotone sets, and more generally graphs of monotone maps, are in general non-convex, but they behave in many ways like convex subsets of \\(\\mathbb R^n\\). In the paper under review, the authors prove a version of the classical Helly's theorem [\\textit{E. Helly}, Monatsh. Math. Phys. 37, 281--302 (1930; JFM 56.0499.03)] for graphs of monotone maps: Let \\(\\mathcal F=\\{ F_i\\}_{i\\in I}\\) be a family of definable subsets of \\(\\mathbb R^n\\); for any \\(J\\subseteq I\\), let \\(\\mathcal F_J\\) denote the set \\(\\bigcap_{j\\in J} F_j\\) and \\(|J|\\) denote the cardinality of \\(J\\). Suppose that, for each \\(i\\in I\\), the set \\(F_i\\) is the graph of a monotone map, and for each \\(J\\subset I\\), with \\(|J|\\leq n+1\\), \\(\\mathcal F_J\\) is non-empty and the graph of a monotone map. Then \\(\\mathcal F_I\\) is non-empty and the graph of a monotone map as well. Moreover, if \\(\\dim \\mathcal F_J\\geq d\\) for each \\(J\\subset I\\), with \\(|J|\\leq n+1\\), then \\(\\dim \\mathcal F_I\\geq d\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q393726$D2DD9B32-97FC-46F6-A0A6-0479F7B889DB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"378047a269d3fb10399886f7ffddfa53488388fa","datavalue":{"value":{"entity-type":"item","numeric-id":290773,"id":"Q290773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393726$2CCB4C4E-F9C7-4DEC-84D6-C021C892AA86","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"622398cd60febf1da6a618693240f6ff2097cf89","datavalue":{"value":"14P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393726$70A272CB-60BC-4962-AB5E-55C4911926EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2385123772333afaee3f2a564b5a88a1933f934","datavalue":{"value":"52A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393726$EF9675FD-8B5F-4775-B13F-B792D248DACD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74de2929e99742ac6a17c43dcd33376a2cd06fd3","datavalue":{"value":"6249843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393726$80B2DFAE-3F20-45CE-AB22-F432C0B3E220","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b06ed494a7299da578de91d1f8cb1ad3c1fd08c6","datavalue":{"value":"monotone maps","type":"string"},"datatype":"string"},"type":"statement","id":"Q393726$982E9EAC-F368-4D15-947B-416D2E9850A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13a796023240758414d3d8716e4f2406cb2bd0a2","datavalue":{"value":"semi-monotone sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q393726$BD11B65A-90D7-43FA-B902-26DDD3D46981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"933616f2e65e49b2d40396892d143ea319621596","datavalue":{"value":"Helly's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q393726$605960DD-3004-44B8-9615-CFE657E722B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f39e986a58e58e26cb3631a0b8437a69fdc4df1","datavalue":{"value":"o-minimal structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q393726$9A29587F-971F-4D94-9071-920798D09E03","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":"Q393726$5DFAC2F2-D26B-4229-B3C1-A9950939AA7B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba908419208fd40cd5ff6f2eb5af011e2d0687e0","datavalue":{"value":"W2055580723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393726$6E37E8A4-256C-4E9F-B43C-B5CE84FE697B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6282e5e8215e9916cdddb1c688f80394a2619122","datavalue":{"value":{"entity-type":"item","numeric-id":1940343,"id":"Q1940343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393726$FE5F1542-0126-4F72-AD20-BDF8196936C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e120c636f74c3fc3ed953548527fe7f3d15f9d0e","datavalue":{"value":{"entity-type":"item","numeric-id":1940824,"id":"Q1940824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393726$E63AC33F-E9E4-4A85-8157-E37005F5C08D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b983cbd8c79ab74eea21668b74e35015ee6de8bc","datavalue":{"value":{"entity-type":"item","numeric-id":5920017,"id":"Q5920017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393726$9CB6209B-C9C2-4D55-AAE6-01249753BF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3672a4e0fb010ce91d1b5c6afc2443a2e8abc425","datavalue":{"value":{"entity-type":"item","numeric-id":5921425,"id":"Q5921425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393726$1F0EACBC-04B0-4B06-8781-23FE13D8EAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44da6f0982c6fb506b7deda39710d8e275e07e88","datavalue":{"value":{"entity-type":"item","numeric-id":1258518,"id":"Q1258518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393726$8C59BB51-31B5-44BF-9258-6B4E32DFDB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b577a5ad520b7e73cb32be324a751e863dbbfbdf","datavalue":{"value":{"entity-type":"item","numeric-id":5522742,"id":"Q5522742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q393726$358C6066-E539-4683-878B-68CE936A2A9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ce746110a4199a25553c2caaea1aa69ff734617","datavalue":{"value":"10.1007/S00454-013-9540-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q393726$5648CB88-C338-408C-B4F1-DEE0168E13B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe4a005d9b18fedd0e5b816f5349e91ac6276bc6","datavalue":{"value":{"entity-type":"item","numeric-id":1940343,"id":"Q1940343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c4614ceb8673350ca9aadb0f188cf997bef6944","datavalue":{"value":{"amount":"+0.8296992182731628","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":"Q393726$3369B1B0-963B-4A45-9483-81E1F4EC2CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04a1566cde3875056e8cf9dde758f22bbf1a3721","datavalue":{"value":{"entity-type":"item","numeric-id":1940824,"id":"Q1940824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd511b9e8919ed8ab7d808c3ad72d8db17861902","datavalue":{"value":{"amount":"+0.7827284932136536","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":"Q393726$5F603F2A-A246-4708-9077-D68B5211B1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2867c775729e884a52eb5c79c5a3fd71c5edb483","datavalue":{"value":{"entity-type":"item","numeric-id":4791974,"id":"Q4791974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76bda2cc8f94a3a97d74dbdd43f2eff52df26235","datavalue":{"value":{"amount":"+0.7681720852851868","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":"Q393726$06C464A6-1291-4604-840C-811FB6051B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"620fcb227225a25fda782e691b433ddf073c45aa","datavalue":{"value":{"entity-type":"item","numeric-id":4428071,"id":"Q4428071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b55b224ba927c66dc387dd277fc7f606c5a7a47","datavalue":{"value":{"amount":"+0.7437964081764221","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":"Q393726$F0C42681-69E3-4DC5-BADE-9F1D3BDB2854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82dbb97ea77f7c8b6ca4252b69fb3d00d21c4d9d","datavalue":{"value":{"entity-type":"item","numeric-id":1922315,"id":"Q1922315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b55b224ba927c66dc387dd277fc7f606c5a7a47","datavalue":{"value":{"amount":"+0.7437964081764221","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":"Q393726$7933945F-7E76-41A3-B7AF-FA6B3BD562AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Helly-type theorem for semi-monotone sets and monotone maps","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Helly-type_theorem_for_semi-monotone_sets_and_monotone_maps"}}}}}