{"entities":{"Q1827451":{"pageid":1838193,"ns":120,"title":"Item:Q1827451","lastrevid":43351501,"modified":"2025-07-25T00:51:33Z","type":"item","id":"Q1827451","labels":{"en":{"language":"en","value":"An extension of the contraction principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2083454"}},"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":"Q1827451$C17AC8EB-A670-4F31-97BD-6203B4DDDBE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f835437c36f3c59ae6c97148c5791d3e7df3a0a5","datavalue":{"value":{"text":"An extension of the contraction principle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1827451$CAE34374-5F33-4990-8566-F0DAF6A3BFF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dfcabed72fb4208d97ace53137c302b15f400c7f","datavalue":{"value":"1082.60043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827451$8CD6F79D-2803-4BF6-B894-3AB9BDB4734F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827451$51F4D5D8-EDB1-4502-B804-6B775F18969D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0767dbe907f2b468d0869434c8ff22ebf5cc56e0","datavalue":{"value":{"entity-type":"item","numeric-id":189069,"id":"Q189069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827451$97225FE4-C451-40A4-832D-30A5668F0A2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-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":"Q1827451$4F7673B7-5875-42C5-844D-21065645AED6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"47943b256c470e21ea43ac80ba62c8a4e0bc929b","datavalue":{"value":"The ``contraction principle'' is about large deviations; the basic definitions figure in [\\textit{A. Dembo} and \\textit{O. Zeitouni}, ``Large deviation techniques and applications''. 2nd ed. (1998; Zbl 0896.60013)]. Its statement is (C). Let \\((X_{n})\\) satisfy the large deviation principle with good rate function \\(I\\) (defined on the metric space \\({\\mathcal X}\\)), \\(G:{\\mathcal X}\\rightarrow {\\mathcal Y}\\), \\({\\mathcal Y}\\) metric. Suppose that, for every \\(x\\) with \\(I(x)<\\infty\\): for every sequence \\(x_{n}\\rightarrow x\\), \\(\\lim_{k}\\, G(x_{n_{k}})\\) exists for some subsequence and, for every partial limit \\(y\\) of \\(G\\) in \\(x\\) (situation denoted \\(y\\in G^{x}\\)), there exists a sequence \\(x'_{n}\\rightarrow x\\) such that \\(G(x'_{n})\\rightarrow y\\), \\(I(x'_{n})\\rightarrow I(x)\\) and \\(G\\) is continuous at \\(x'_{n}\\). Then, defining \\(I_{0}(x,y)=I(x)\\) when \\(y\\in G^{x}\\) and \\(\\infty\\) otherwise, \\(((X_{n},G(X_{n})))\\) satisfies the large deviation principle with good rate function \\(I_{0}\\). The author proves a ``contraction principle'' in which \\({\\mathcal X}\\), \\({\\mathcal Y}\\) are topological spaces, in the first condition a net appears instead of the sequence \\(x_{n}\\) (and a subnet instead of \\(n_{k}\\); the condition on \\(G\\) is named ``almost compactness in \\(x\\)''), but with \\(I\\), \\(I_{0}\\) not necessarily good. This result is preceded by ones about lower and upper bound principles, respectively, proved in more general conditions, all in terms of \\(G,I\\). The fact that \\(I_{0}\\) is good is equivalent, when \\(I\\) is locally bounded on \\((I<\\infty )\\), to: \\(I\\) good and \\(G\\) is almost compact in all \\(x\\). The author proves then that the exponential tightness for \\((X_{n})\\) implies the same for \\((G(X_{n}))\\), if \\(G:{\\mathcal X}\\rightarrow {\\mathcal Y}\\), \\({\\mathcal Y}\\) metric and \\(G\\) is almost compact at all \\(x\\). As an application of (C): \\(((X_{n},Y_{n}))\\) (instead of \\((X_{n})\\)), \\(X_{n}\\), \\(Y_{n}\\) have values in the set of all continuous \\(f:[0,\\infty )\\rightarrow {\\mathbb R}^{d}\\), \\(f(0)= 0\\), \\(I(x,y)=\\int (\\| x'(t)\\|^{2}+\\| y'(t)\\|^{2})dt\\), \\(G(x,y)=(g(x_{j},y_{j}))_{j=1,...,d}\\), \\(g(u,v)(t)= \\sum u(\\tau_{i-1})(v(\\min(\\tau_{i},t))-v(\\min(\\tau_{i-1},t)))\\), \\(\\tau_{0}=0\\), \\(\\tau_{i}= \\min\\{t>\\tau_{i-1},| u(t)-u(\\tau_{i-1})| >\\varepsilon\\}\\) for some fixed \\(\\varepsilon > 0\\); it is proved that (C) applies. The paper concludes with a review of different variants of the contraction principle and has a paragraph with proofs of several facts about quasicontinuous functions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827451$C561C5E8-5834-4470-8512-514D57B39611","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da30627b99013aa4f6027a3ecc134350da7269ea","datavalue":{"value":"60H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827451$C06CE72A-699C-449A-B2E8-5D35C4EC7D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f69528cea35ad35a0f81b1419c5bdc2905d27952","datavalue":{"value":"60F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827451$82FA941D-3336-4598-BBDB-E942078F7714","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7b65af954f0d713566f4d5a368a5ee5883c3577","datavalue":{"value":"2083454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827451$279CDD09-8940-41AB-B23E-1D23605C2A68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ac0f750fe794806f88e3dbef9f0472a78ffed6a","datavalue":{"value":"Large deviations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827451$7A948AA3-55A9-4EA5-9A0B-8C7EAC4BB253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9291513e80e177cc68dce7f8a0e0cd534195544","datavalue":{"value":"quasi continuous function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827451$835D93CB-57C4-448A-AA1C-BB1CEAB21906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"483c9d870fca0d098fa2ca48eb2b08bd7cf24d5a","datavalue":{"value":"exponential tightness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827451$E336DDF2-8C7D-430D-AD23-0A28463CF6AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34a54c2dc7ff65f4f1d2073ebda294b7250df7d0","datavalue":{"value":"topological spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827451$A233DD49-5173-49EA-9068-0DE609782D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44ba0b1c242a8209ae71f716bf6fc040e22b728b","datavalue":{"value":"almost compact function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827451$8D46FA6C-B70B-43D9-843D-455E238CCC9D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"240665897b6aaa15b127c0c4fb4b9de94cd94446","datavalue":{"value":{"entity-type":"item","numeric-id":1400142,"id":"Q1400142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827451$94EE419F-E1D4-4E1C-BE63-D53C7A1B3275","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":"Q1827451$B30ECEA8-E158-40A3-9E0B-461985EE12AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a2547e08c210ea05c9f6b95c1edd29b0c4a8706","datavalue":{"value":"https://doi.org/10.1023/b:jotp.0000020701.20424.d8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1827451$3D6A99F2-AAE5-44AD-AEA1-A7BD8D64585D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9008e9af41b071ad90ced592a75da3a049521bee","datavalue":{"value":"W2031846144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827451$9C252915-BAB8-4946-9489-406A86519A44","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"375a6c0955e4c8adc2c14c62e4170d2d69d36c7f","datavalue":{"value":"10.1023/B:JOTP.0000020701.20424.D8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827451$E3EBA709-8D15-48EF-894E-88996765C00E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b94673525c427ab886991572c25a1661606630e","datavalue":{"value":{"entity-type":"item","numeric-id":2979399,"id":"Q2979399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dc81effcb79a75467eb0003c42118050d66f00d","datavalue":{"value":{"amount":"+0.948589","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":"Q1827451$9C4F29A5-20A6-4908-BC88-79189CF4A4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ff8840902cdb6d425c5f52f6623bbdcc9b81524","datavalue":{"value":{"entity-type":"item","numeric-id":5702204,"id":"Q5702204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5cc09e10ebfe065780ea63e09e6b0b82cd350df","datavalue":{"value":{"amount":"+0.94085795","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":"Q1827451$D52016D5-4CA3-4C7F-98B5-0CF4895620E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67fcd97f1e526a072810723a71b73f87e9e76752","datavalue":{"value":{"entity-type":"item","numeric-id":5710318,"id":"Q5710318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdbcc4fcdded022e8294a84fcce265d7f85047f3","datavalue":{"value":{"amount":"+0.93718415","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":"Q1827451$E9D2E7F9-20D9-4C96-AE7C-8A2AB08742EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ecd57b8cd64a6501df52027478ab172227b110a","datavalue":{"value":{"entity-type":"item","numeric-id":4233677,"id":"Q4233677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3210ade5c7b3f97bf2aad21b3052d9ca38829bf6","datavalue":{"value":{"amount":"+0.9235601","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":"Q1827451$135B4E98-88B8-4CAA-9D03-6F453F38653D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6ada7237c394e3770aeb1fc5b4c60bbbf7beaab","datavalue":{"value":{"entity-type":"item","numeric-id":3127200,"id":"Q3127200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f01542853a8d72d716e3690a19cfd684bd985c6","datavalue":{"value":{"amount":"+0.89010084","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":"Q1827451$44BD29F4-3694-422F-83EF-9022525847E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e48ddd48264d66514b550898520b685d1fbbcabe","datavalue":{"value":{"entity-type":"item","numeric-id":1822816,"id":"Q1822816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a4f5c40a9de7418c53b1424a7eda2c52007581d","datavalue":{"value":{"amount":"+0.88191587","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":"Q1827451$FFB1FE94-B824-4D46-B52A-D737E2B8A18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5288f3666be240c1e2ebe0d3464065f400cb34cd","datavalue":{"value":{"entity-type":"item","numeric-id":1092905,"id":"Q1092905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97243774f54e49475f3f996ed7dcd9a44da7af40","datavalue":{"value":{"amount":"+0.8645791","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":"Q1827451$CA7FCC03-F316-476C-87E5-45D70F55101E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ddf5f06b30ffc965b59e06916c88307603c8886","datavalue":{"value":{"entity-type":"item","numeric-id":1583965,"id":"Q1583965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5d9d711b1aec866c5b0083f31cab1d38afbc9a2","datavalue":{"value":{"amount":"+0.86293256","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":"Q1827451$44B37215-58E8-4BBE-BD6A-959534CA5949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be8c21817e94054240e483a7bdb4af60d5df0fe","datavalue":{"value":{"entity-type":"item","numeric-id":4871571,"id":"Q4871571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea3154b53db04b5e152d056688785f9832eaa72d","datavalue":{"value":{"amount":"+0.8625588","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":"Q1827451$A31431EC-CB0A-4D69-AF41-46218B0CE727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81fe6c60d699bc05bb94008eadcb43de3b2af5ae","datavalue":{"value":{"entity-type":"item","numeric-id":3590031,"id":"Q3590031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb01287ae6e9f1625b164487ab4fdbb7ed5338b1","datavalue":{"value":{"amount":"+0.86225075","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":"Q1827451$F17F5ABF-9388-4B87-A11C-5854396D6FD4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1827451","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1827451"}}}}}