{"entities":{"Q1124589":{"pageid":1135338,"ns":120,"title":"Item:Q1124589","lastrevid":42896521,"modified":"2025-07-15T19:59:00Z","type":"item","id":"Q1124589","labels":{"en":{"language":"en","value":"The intermediate value theorem: Preimages of compact sets under uniformly continuous functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4112584"}},"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":"Q1124589$12F58BD6-EE38-4444-BBD8-95178F6903CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f9587983f0e5e5bf69a8453fcc0373ad843d4d3","datavalue":{"value":{"text":"The intermediate value theorem: Preimages of compact sets under uniformly continuous functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1124589$C2FCB1F9-4304-4E2E-A398-9C5F14F3CAA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71e463e2b170dfeb59b10f9334704bcd80a8d7a1","datavalue":{"value":"0679.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124589$F30E2698-1C8F-462A-83DD-9715CBB2A109","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92a2998b553041f1e4bd8c3cf0870686a1edc3c1","datavalue":{"value":"10.1216/RMJ-1988-18-1-25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124589$DE249090-ED1F-48AD-A6C2-9206F85CCBD3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52219f245984c68b0868c2e95250683bc6199f83","datavalue":{"value":{"entity-type":"item","numeric-id":1107306,"id":"Q1107306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124589$E18C0015-5AA9-4F3D-9B43-698DE583A3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7a59dc1828332765db1470be3fe0c199d74ad57","datavalue":{"value":{"entity-type":"item","numeric-id":800424,"id":"Q800424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124589$55A189B3-DA5B-4E76-A164-868A7B23E08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fac2d97fc871faeeb1062a08181f0f0cc5094b16","datavalue":{"value":{"entity-type":"item","numeric-id":173439,"id":"Q173439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124589$A3FDFDCD-C166-4015-AEA6-D2173724409A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3c56016573ce7bfe3075a77ec18be101169a3439","datavalue":{"value":{"entity-type":"item","numeric-id":168778,"id":"Q168778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124589$D263357F-E30B-4778-A14D-B4575A8976A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1124589$09029840-D267-4C49-9322-7FDC91190270","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"48d068814f974a48b88ad984bd623634774cbe63","datavalue":{"value":"The authors prove a strong version of the Intermediate Value Theorem within the confines of constructive mathematics. Theorem. Let X be a compact, connected, locally connected metric space and f: \\(X\\to T\\) (T is the unit circle) be uniformly continuous. Then there is a countable subset S of T so that if t is S-admissible (i.e. for each \\(s\\in S\\), there is \\(\\delta (s)>0\\) such that \\(d(s,t)>\\delta (s))\\) then \\(f^{-1}(t)\\) is compact. Furthermore, the restriction of \\(f^{-1}\\) to the S-admissible points of T is pointwise continuous. Finally, if t is f-admissible (long definition!) and \\(f^{-1}(t)\\) is empty, then there is \\(\\delta >0\\) such that \\(f^{-1}N_{\\delta}(t)\\) is empty. Corollary. Let X be a connected, locally connected, compact metric space and let f: \\(X\\to {\\mathbb{R}}\\) be uniformly continuous. Suppose that \\(\\alpha <\\beta\\) are in fX. Then, for all but countably many t with \\(\\alpha <t<\\beta\\), the set \\(f^{-1}(t)\\) is non-empty and compact.    These results lead to a constructive proof of the Schoenflies Theorem that the interior of a Jordan curve in the plane is homeomorphic to a disk.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124589$5D70FCC8-A15D-4EAA-A565-3B5A51F7A76A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124589$1EFC9C57-EFE0-4E66-83BC-742CAC48F599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c15b9ebe4d1394e4ab1aab28035564cf52ec9d0","datavalue":{"value":"54E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124589$BCC7D90A-6EC4-4059-AB34-318EBEEE914A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"166e4a51e7ace285a8ef92be39da2625c5914749","datavalue":{"value":"54C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124589$E78A7485-A734-462B-930B-8E79A32BFA90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5454a95e669ad17eb899a1eacc6563542248143e","datavalue":{"value":"4112584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124589$B881778A-09C8-40D9-984F-68E2EDD88903","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a74a7995792f2abd9531ce60e0ff8910231728b","datavalue":{"value":"strong version of the Intermediate Value Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124589$053DDC49-1ECA-4494-9A3F-A13915A0BDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124589$2DA05AC9-ADB0-4D3D-915D-5E0CF17D9AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c35831bc14105ccac84b71727a424ffaf6fcb0e0","datavalue":{"value":"constructive proof of the Schoenflies Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124589$CB1A6863-57AA-4CCC-B566-45889C95551C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e88f6d1e8242658072eaf4e15ccbd17f1a87ff02","datavalue":{"value":"Jordan curve","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124589$19E32158-9DE0-45B0-BB0E-BF64769FFA0A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d2eb087a847f94966f885b1e0621b725b87de514","datavalue":{"value":{"entity-type":"item","numeric-id":1379776,"id":"Q1379776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124589$05D5BB6E-F809-4BCE-A94E-A7415AAE69B2","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":"Q1124589$CD6E2154-290A-4B39-8F3E-A2AAE691B9BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29f9274580096e2734564d7da4a3db798297942e","datavalue":{"value":"https://doi.org/10.1216/rmj-1988-18-1-25","type":"string"},"datatype":"url"},"type":"statement","id":"Q1124589$32CC300A-CCCA-4563-A99C-FD78CA5DC7F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24f284250164384e4cdc41dcca29abd2a4252eb9","datavalue":{"value":"W1973099861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124589$A7101879-37CC-4C92-A3DC-63D00D4737EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2508eaec4470c8ef38153feded80cf474f4bf12","datavalue":{"value":{"entity-type":"item","numeric-id":4845935,"id":"Q4845935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4b1abcdd3fc893363ec26c8d008f15156ce4ccb","datavalue":{"value":{"amount":"+0.87191665","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":"Q1124589$503A1BF2-1F9D-452D-B161-1571EAFBBFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d9aa739f5ec1d48de30237ade98a9a89c5dadc5","datavalue":{"value":{"entity-type":"item","numeric-id":3407137,"id":"Q3407137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d688aff3457805d6b8f691c9c797c9b1ffdc7b4","datavalue":{"value":{"amount":"+0.8650755","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":"Q1124589$6BCF39CB-0E4D-40FB-8C87-44A7E6519734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9472f81ec4c144216902aea33a2c8b609f5886c","datavalue":{"value":{"entity-type":"item","numeric-id":4389746,"id":"Q4389746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48120f40a9351d7f6ebeff8fa22e0fff82dd6ab7","datavalue":{"value":{"amount":"+0.8636106","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":"Q1124589$891484D2-32FE-4A3F-A511-BFB6E12FD2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3a745dcde545d88c80fe44901aa2afef5901d32","datavalue":{"value":{"entity-type":"item","numeric-id":424547,"id":"Q424547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6a88ad3ef5cb595bfc7404fbd5300c91c72378d","datavalue":{"value":{"amount":"+0.86115474","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":"Q1124589$F7167B5C-71D5-426F-8375-984E88E7B987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"180a10a139fbdd54c29e89ebcd7a38a8fbad4bea","datavalue":{"value":{"entity-type":"item","numeric-id":1086872,"id":"Q1086872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aaee08f56ec9567fc2f82db4c2bfe1e8c578e72","datavalue":{"value":{"amount":"+0.85887706","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":"Q1124589$0D040295-797D-4836-80B1-D9B9D8AA5DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e07e585804bdd9421484fe2476616804cd04d365","datavalue":{"value":{"entity-type":"item","numeric-id":3553269,"id":"Q3553269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0064afc34deea198b04da7613e1424cd38137986","datavalue":{"value":{"amount":"+0.85823965","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":"Q1124589$AF257726-2EFF-4508-873C-F8D3B5095232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aebe1c6615a210d62fc3f6e462f71b6e9de289f8","datavalue":{"value":{"entity-type":"item","numeric-id":1952426,"id":"Q1952426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a1b6218378a2dc0926fe15140c51be3c9a3b217","datavalue":{"value":{"amount":"+0.85793746","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":"Q1124589$E2068B74-6531-4DA2-A69F-56E8A5FFD42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa78812ed5e00f083ddb3bafc02540449594c91","datavalue":{"value":{"entity-type":"item","numeric-id":2973517,"id":"Q2973517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3607943d25557541361faf6a6697ed11816a9773","datavalue":{"value":{"amount":"+0.85723436","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":"Q1124589$8C96AAA8-17D5-4784-B70D-2F122CF0AC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bf399109112ce8df90b75e1b29c99a12972793b","datavalue":{"value":{"entity-type":"item","numeric-id":1607742,"id":"Q1607742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"728f1d059fa4ac0057c50801a80f6dc46c2e71ac","datavalue":{"value":{"amount":"+0.85682046","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":"Q1124589$27E974AF-8321-4B54-A2E4-C4CA86C5FC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af08d96ef05f980f05c0abc6442b3c5be31f8555","datavalue":{"value":{"entity-type":"item","numeric-id":5310875,"id":"Q5310875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"895231a9142986a4c8e2d7e8fbaca3e73fcde6c7","datavalue":{"value":{"amount":"+0.8561153","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":"Q1124589$09872698-818D-49D0-BF3D-4516563640A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1124589","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1124589"}}}}}