{"entities":{"Q790264":{"pageid":792112,"ns":120,"title":"Item:Q790264","lastrevid":48684811,"modified":"2026-01-05T14:51:40Z","type":"item","id":"Q790264","labels":{"en":{"language":"en","value":"On threading continuous functions through compact sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3847685"}},"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":"Q790264$6AFABC5C-BC1F-492F-AA16-22BDD11A3318","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9966ca521b536c494879982a0a7bd8100b2c4f8","datavalue":{"value":{"text":"On threading continuous functions through compact sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q790264$547EAC36-C104-4202-9BFB-7D7B9F9A5F03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66793521633629ca6b1c4ae53141094a3bee2544","datavalue":{"value":"0534.26002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790264$60564BB4-333E-4B98-AB5E-44EF4C856634","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cc44a233e5e8bd544c3e30852775af330b8fff3a","datavalue":{"value":{"entity-type":"item","numeric-id":178039,"id":"Q178039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790264$D80C8148-A8FB-4170-8664-B3D4E8C60483","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q790264$38C9AAA6-8E33-498D-B7E2-81A42C42A781","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0edb05c3f5220aed4b520346fa8a7ebecd177ad2","datavalue":{"value":"This paper deals with the following problem: Under what circumstances for a given compact set E of \\(<0,1>\\times<0,1>,\\) for every point \\((u,v)\\in E,\\) there exists a continuous function \\(f:<0,1>\\to<0,1>\\) such that \\(f(u)=v\\) and the graph g(f) of f is a subset of E? A compact subset E of \\(<0,1>\\times<0,1>\\) is called an admissible set iff the function \\(E^*\\) defined on \\(<0,1>\\) into the set of all non-empty compact subsets of \\(<0,1>\\), furnished with the Hausdorff metric, in the following way: \\(E^*(x)=E_ x\\) for each \\(x\\in<0,1>,\\) where \\(E_ x=\\{y\\in<0,1>:(x,y)\\in E\\},\\) is continuous. The problem has an affirmative solution only if E is an admissible set. For the admissible set  \\[  E=(<0,1>\\times \\{0,1\\})\\cup(\\{0\\}\\times<0,1>)\\cup(\\cup^{\\infty}_{k=1}g(g_ k)),  \\]  where \\(g_ k\\) is the function \\(y=kx\\) defined on \\(<0,1/k>\\) and for any \\((0,v)\\in \\{0\\}\\times(0,1)\\) does not exist a continuous function \\(f:<0,1>\\to<0,1>\\) for which \\(f(0)=v\\) and \\(g(f)\\subset E\\).    First, the author proved that there is an affirmative answer for the problem if E is an admissible set for which \\(E_ x\\) is a nowhere dense subset of \\(<0,1>\\) for each \\(x\\in<0,1>\\). The proof is constructive based on the limiting process of \\(\\epsilon\\)-functions. Let \\(\\epsilon>0\\). Then f is called an \\(\\epsilon\\)-function iff: there exist a and b such that \\(0\\leq a<b\\leq 1,\\) f is defined and right continuous on \\(<a,b)\\), the graph g(f) of f is a subset of E, for each \\(x\\in<a,b)\\) there exists \\(\\delta>0\\) such that \\(x+\\delta \\leq b\\) and f is continuous on \\((x,x+\\delta)\\) and \\(0\\leq f(x)- \\overline{\\lim}_{s\\to x-}f(s)<\\epsilon\\) for every \\(x\\in(a,b)\\). In the general case, for an admissible set E there is an affirmative answer iff E has the desired property locally; that is: for each \\((u,v)\\in E\\) there exists an open interval I containing u and a continuous function g defined on \\(I\\cap<0,1>\\) such that g(g)\\(\\subset E\\) and \\(g(u)=v\\). The proof of the theorem in the general case is based on an inductive process on R and on the notion of a mostly continuous E-function from (u,v). A mostly continuous E-function from (u,v) is a pair \\((f,\\Gamma_ f)\\), where f is a function defined on a non-degenerate interval \\(<u,t_ f>\\subset<u,1>, f(u)=v\\), \\(g(f)=E\\), \\(\\Gamma_ f\\) is a well-ordered, by the normal orderings on R, closed subset of \\(<u,t_ f>\\) not containing u, f is relatively continuous on \\(<u,t_ f>-\\Gamma_ f\\) and for every \\(t\\in\\Gamma_ f\\) it holds:  \\[  \\frac12 \\left(\\limsup_{s\\to t-}f(s) + \\liminf_{s\\to t-} f(s)\\right) = f(t) = \\lim_{s\\to t+} f(s)  \\]  (where the last equality is ignored if \\(t=t_ f)\\). The theorem in the general case says: ''Let E be an admissible subset of \\(<0,1>\\times<0,1>\\) having the local property and \\((u,v)\\in E\\). Then there is a continuous function \\(f:<0,1>\\to<0,1>\\) for which \\(f(u)=v\\) and g(f)\\(\\subset E.''\\)    In the general case, an admissible set E has local continuity property if each interior point of a vertical segment is a two-dimensional interior point of A and E has the last property if the function \\(E^{c^*}\\) defined on \\(<0,1>\\) by \\(E^{c^*}(x)=\\overline{E^ c_ x}\\) is continuous, where \\(\\overline{E^ c_ x}\\) is the closure of the set \\(<0,1>-E_ x.\\) An example shows that neither of these last conditions is necessary. At the end of the paper there are two notes - applications to path derivatives, and the following problem: Is it possible to phrase a sufficient condition in the general case in terms of local arc-wise connectedness of E? Does the local arc-wise connectedness at every point of E imply the local continuity property?","type":"string"},"datatype":"string"},"type":"statement","id":"Q790264$75985B3F-9DA8-4AC4-B7B9-19A0135B984B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a5d9781fec40247fb75d062cb4fcf1e1956cf1fb","datavalue":{"value":{"entity-type":"item","numeric-id":757624,"id":"Q757624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790264$75ED8D50-0135-46E8-91AF-774C31F5D371","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b822e7a8e3182eac90bd373b5db12c2ae0651c8d","datavalue":{"value":"26A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790264$5B25818D-F6AF-46DE-BACB-C21F3394D893","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef07cdce14f2fe07342c82d3bf7f462570ecbd98","datavalue":{"value":"3847685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790264$9B492E1D-0BE5-47F1-A2C0-52A5B1867E59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27c2e420b7a7dc3b2d33a778c4052dde05e3b536","datavalue":{"value":"continuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q790264$22E8E586-7C4F-4FE1-BB5F-E09200851CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c60fac9f4a42b6dc80c5bbac34e64dbd1b090258","datavalue":{"value":"Hausdorff metric","type":"string"},"datatype":"string"},"type":"statement","id":"Q790264$FF8BB63C-5461-4A5A-8867-E7ECA83E552F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13520136f7384b2fc8479cec399c14be15c9713e","datavalue":{"value":"admissible set","type":"string"},"datatype":"string"},"type":"statement","id":"Q790264$56792461-CBB9-4697-9089-AFBC3FE73E2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4861bfcf281c1879330ac6f203c47d52c72740a7","datavalue":{"value":{"entity-type":"item","numeric-id":592695,"id":"Q592695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790264$63D07B38-D082-47D0-AD2B-75DA1002AC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9caa979cb096b6770049023f082145cb380077a0","datavalue":{"value":{"entity-type":"item","numeric-id":917754,"id":"Q917754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790264$6110317E-1293-4A74-8995-270A25E864DC","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":"Q790264$28E89139-FE14-432D-B39C-B62F7753D011","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b378791ea48e85441e079ae9c73ea1c8edb33523","datavalue":{"value":{"entity-type":"item","numeric-id":2818979,"id":"Q2818979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b814401d1dd178633ccb3929b686a0407dfe570d","datavalue":{"value":{"amount":"+0.7524775862693787","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":"Q790264$08A07A79-F333-45B1-8582-22D25B04E957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1cfb4acffdba45f512edaa1d4eba82ca326a6b7","datavalue":{"value":{"entity-type":"item","numeric-id":1101561,"id":"Q1101561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"622fe2033c49acee485ae6214a88bb908a4596f1","datavalue":{"value":{"amount":"+0.7523710131645203","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":"Q790264$94DEC838-8C9C-41C2-88C2-D110B7D9223C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02ad6cd660e18f3385554e416963d27cf808a251","datavalue":{"value":{"entity-type":"item","numeric-id":3816683,"id":"Q3816683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8220078942aca35aae20c8442a03bb8d5ef731c0","datavalue":{"value":{"amount":"+0.7501521110534668","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":"Q790264$0C3D82D0-4016-4CDB-8B64-F36AF9AD1051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6479dfd566568f6da6cc6ac0b275fabb6de2fbca","datavalue":{"value":{"entity-type":"item","numeric-id":3204685,"id":"Q3204685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"694c89782af113399133df4c9db420f63bb23a79","datavalue":{"value":{"amount":"+0.7448663115501404","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":"Q790264$590AB963-764D-4919-9A89-FC0C3D8A896F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67b5c0ac16bea90697a97b49a45388d483237e75","datavalue":{"value":{"entity-type":"item","numeric-id":1803974,"id":"Q1803974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c16f64119ea092bde04cac08d7bd2a6ab0cb6db0","datavalue":{"value":{"amount":"+0.7443304657936096","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":"Q790264$39037DB5-959B-4964-B0FD-C0A05B0A6BAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:790264","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:790264"}}}}}