{"entities":{"Q2874618":{"pageid":2885338,"ns":120,"title":"Item:Q2874618","lastrevid":58039131,"modified":"2026-04-03T13:44:26Z","type":"item","id":"Q2874618","labels":{"en":{"language":"en","value":"Contractive families on compact spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6327863"}},"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":"Q2874618$D8E026CA-8F42-424E-B2AB-BB0C9F7D265E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f50ea800f29e4d7417a15e55801be15d245acaa","datavalue":{"value":"1296.54073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2874618$6EA5DE95-FB1F-470B-AF80-F89B7DEC07C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4c084a23ea9d7a28629d7c481da34621981375f","datavalue":{"value":"10.1112/S0025579313000296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2874618$443FF69D-0E44-4858-B636-E00368C6D6EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4b8f95b2a5069c174b653118f1288b3997f8c23","datavalue":{"value":{"entity-type":"item","numeric-id":1679320,"id":"Q1679320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2874618$67232C2B-BCF0-4D45-9819-268798A15FE2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"339026d43fac997dddeec93b4b99c7491af92082","datavalue":{"value":{"entity-type":"item","numeric-id":2810726,"id":"Q2810726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2874618$EC0C3EA2-3B9D-43F8-A194-5EA0AD729594","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e4c38f71acce3ef3ddbdbb0562f4d6caaf6f9d7","datavalue":{"value":{"time":"+2014-08-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2874618$D4990C9A-9B83-40EE-BDBC-1A2C133728F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"872441399274b1780e722afe1715c13eaabc0ccd","datavalue":{"value":"https://arxiv.org/abs/1312.0587","type":"string"},"datatype":"url"},"type":"statement","id":"Q2874618$410942B3-AC04-4833-88E4-8F3EF5D62166","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"be4cd99f0aaa2688661b2002577944d759906919","datavalue":{"value":"54H25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2874618$4C8538B4-CAAA-461B-A6DD-A38DCB9B2BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c15b9ebe4d1394e4ab1aab28035564cf52ec9d0","datavalue":{"value":"54E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2874618$B9B8F870-1301-4F13-8728-8330ADA2AF7A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88e623d562eaeb0664abb8568f9e489403ea8cf7","datavalue":{"value":"6327863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2874618$D9FE6C33-FDE9-43E6-AC84-919922655DFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19c5d1194c6cbc5bfa943d39143dae56b427cfc2","datavalue":{"value":"contractive family","type":"string"},"datatype":"string"},"type":"statement","id":"Q2874618$2BC0EF1D-8ABB-44D3-97B7-5757874626A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71de539d4fc332b0c446666e95869062fb148245","datavalue":{"value":"fixed poit","type":"string"},"datatype":"string"},"type":"statement","id":"Q2874618$F3C53760-F28F-4186-8114-24833923B4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdf97a36180a70f5580c26818f22fe1adef5ae59","datavalue":{"value":"compact space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2874618$2A98E63D-4C70-41A4-88CC-90D1C53C813D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c05856a3997f19c6bf4647ddbb8e793371e87ab6","datavalue":{"value":"diametrizable space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2874618$69F84D32-02AF-4FB6-B819-B2F533214305","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":"Q2874618$27C4A49C-58AA-4BAF-89A6-7DF7A05DD98D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca61e0b2a02f4dc1857841884394f22d66614ca","datavalue":{"value":{"entity-type":"item","numeric-id":2781236,"id":"Q2781236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2874618$68ECA5CB-199F-4246-B90B-973A4EC11289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef4c4fa85d93a259339e37df5863d9caf5ec2efb","datavalue":{"value":{"entity-type":"item","numeric-id":1856822,"id":"Q1856822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2874618$49460438-5804-4D74-A98E-46BE95A79249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b28dbb7c3e027f9053ecdd7febdbd02031b73ee5","datavalue":{"value":{"entity-type":"item","numeric-id":5928704,"id":"Q5928704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2874618$652AEB35-01A7-4121-B08E-EA537944D263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16d4bb273ea0ed09bcaad8da941612d128a6c9fe","datavalue":{"value":{"entity-type":"item","numeric-id":3410746,"id":"Q3410746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2874618$3E3A440D-7431-43D0-AD30-8B7FED67D36F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d60ba2233806753fce55ddf9a0705d924b903c05","datavalue":{"value":{"text":"Contractive families on compact spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2874618$4BE00E39-0A3E-4D69-B2D0-ABE2931E8EF2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ee3c02f6d04aeb68087b8e6729949bad39f5b70c","datavalue":{"value":"\\textit{J. D. Stein jun.} [Rocky Mt. J. Math. 30, No. 2, 735--754 (2000; Zbl 0977.54036)] stated the following conjecture: ``Let \\(\\mathcal{F}\\) be a finite set of selfmaps on a complete metric space \\((X,\\rho)\\) and let \\(0<\\lambda<1\\). Assume that, for every pair \\(x,y\\in X\\), there is an \\(T\\in\\mathcal{F}\\) such that \\(\\rho(Tx,Ty)\\leq\\lambda\\rho(x,y)\\). Then some composition of members of \\(\\mathcal{F}\\) has a fixed point.'' This conjecture was disproved by \\textit{T. D. Austin} [Mathematika 52, No. 1--2, 115--129 (2005; Zbl 1105.54020)] who asked if the conjecture is true for compact spaces. The present author shows that even for compact spaces the conjecture remains false. The construction of the counterexample is fairly complicated and the author remarks that instead of considering distances between points it is more convenient to consider diameters.NEWLINENEWLINELet \\(X\\) be non-empty set and \\(\\mathcal{D}\\) a collection of subsets of \\(X\\). Then the pair \\((X,\\mathcal{D})\\) is called a diametrizable space if any two points of \\(X\\) are contained in an element of \\(\\mathcal{D}\\) and if, for any two elements of \\(\\mathcal{D}\\) with non-empty intersection, the union belongs to \\(\\mathcal{D}\\). A diameter on \\(\\mathcal{D}\\) is a non-negative function \\(\\operatorname {diam}\\) on \\(\\mathcal{D}\\) such that \\(\\operatorname {diam} U+\\operatorname {diam}V\\geq\\operatorname {diam}(U\\cup V)\\) whenever \\(U\\cap V\\not=\\emptyset\\). If one defines a non-negative function \\(d\\) on \\(X\\times X\\) by \\(d(x,x):=0\\) and \\(d(x,y):=\\inf\\operatorname {diam}U\\) for \\(x\\not=y\\), where the infimum is taken over all \\(U\\in\\mathcal{D}\\) containing \\(x\\) and \\(y\\), then we get a pseudometric on \\(x\\). If, in addition, each point belongs to only finitely many members of \\(\\mathcal{D}\\), then \\(d\\) is indeed a metric.NEWLINENEWLINEThe counterexample is constructed by letting \\(X\\) be the set of finite words on \\(\\{a,b\\}\\) and considering maps \\(f,g: X\\to X\\) by prefixing \\(a\\) (resp., \\(b\\)) to a word \\(u\\in X\\). By a meticulous choice of \\(\\mathcal{D}\\), the author then constructs the required counterexample.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2874618$65E13B81-333A-454C-AD9D-77C6BBA474FC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4fea8c273f1a6845d0930057e5f06ed705673a6f","datavalue":{"value":{"entity-type":"item","numeric-id":1110853,"id":"Q1110853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2874618$C8D735AC-E025-4C3B-BC49-6228828231E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcca061e4708818fe6151d41046ce662ac455238","datavalue":{"value":{"entity-type":"item","numeric-id":3410746,"id":"Q3410746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f75c8b3d919b68e2873ba2184da44d665769089e","datavalue":{"value":{"amount":"+0.8679755330085754","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":"Q2874618$764CCE09-431F-4A2B-B266-880DC2652D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"580597b1a32d4e4c48d1bd2f76533a1c92fd8944","datavalue":{"value":{"entity-type":"item","numeric-id":3158784,"id":"Q3158784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e08a77c305784407a569c4744850a277d681e672","datavalue":{"value":{"amount":"+0.8164761662483215","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":"Q2874618$47E8FEA4-298E-4AE3-9262-1369177852EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2ef3932c30e83b3f0f7c1a452f93b66749d65bd","datavalue":{"value":{"entity-type":"item","numeric-id":2942817,"id":"Q2942817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50bc75e5c2055d5e4915609834810dd8cae7c127","datavalue":{"value":{"amount":"+0.7780632972717285","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":"Q2874618$B9F360A7-5B13-45A1-B5FA-20E215C0F8A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"632042244843aa451e0c0fa47995ec6c6de91b59","datavalue":{"value":{"entity-type":"item","numeric-id":884253,"id":"Q884253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03e04f5ebfd6822e798edf011f30b14c010d8bea","datavalue":{"value":{"amount":"+0.7739407420158386","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":"Q2874618$980F62E0-BACF-430F-812F-79744DBA222E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f0394344d04a57ec7e9284f95b844836a4c6818","datavalue":{"value":{"entity-type":"item","numeric-id":3219458,"id":"Q3219458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"199791dfc422980497500457c0030aa7fb3f080a","datavalue":{"value":{"amount":"+0.7651976943016052","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":"Q2874618$1BD7CC82-3861-488D-ABED-511DDD23AEAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2874618","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2874618"}}}}}