{"entities":{"Q1407405":{"pageid":1418145,"ns":120,"title":"Item:Q1407405","lastrevid":68631090,"modified":"2026-04-13T01:03:21Z","type":"item","id":"Q1407405","labels":{"en":{"language":"en","value":"An extension of Dini's lemma to nets of functions into uniform spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1982101"}},"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":"Q1407405$869EE88F-C933-4D82-A64B-AB83721F815A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4b39c8d2f92d5bca0e05cf647612416c145197e","datavalue":{"value":{"text":"An extension of Dini's lemma to nets of functions into uniform spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1407405$61BDDDF6-89EE-4E7D-9E3F-282695518CDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e3ed7b821d8ec36b9657bec78f1b8db5043734c","datavalue":{"value":"1029.54501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407405$B7DCAF38-475B-4C5D-A708-1BD7BC8123D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9407f8010deab5a9d10705db017f4e21bb16600c","datavalue":{"value":{"entity-type":"item","numeric-id":1187585,"id":"Q1187585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407405$3F0C6FEE-A86C-4BD7-8687-67B73936986D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"11040e6d9564b2fa557d4b6c4737e7e4b5ba84e6","datavalue":{"value":{"entity-type":"item","numeric-id":257169,"id":"Q257169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407405$B45FA577-93BA-4A11-9740-FAE629AFF82E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90f9531aea2ff67f2ad60a47f2412a1f7827bd33","datavalue":{"value":{"time":"+2004-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1407405$B77F5070-38C5-410E-8722-5653FE4AB4CD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"78622778f1bfd884483f9c9ccbc8112459cd3b28","datavalue":{"value":"A classical and important lemma of Dini in analysis states: Theorem D. If \\(\\{f_n\\}\\) is a sequence of real-valued continuous functions on \\([0,1]\\) such that \\(\\{f_n(x)\\}\\) is a non-increasing sequence converging to \\(0\\) for each \\(x\\in [0,1]\\) then \\(f_n\\to 0\\) uniformly.   In this note we extend this lemma to nets of functions mapping into uniform spaces.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407405$B1279EB5-F578-4602-9A30-C34FDD1F5B0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"166e4a51e7ace285a8ef92be39da2625c5914749","datavalue":{"value":"54C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407405$826374C9-FB97-49E8-B67D-9BDBCD138DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e4c1cc9378437fd1253d940eccfbf945674db1b","datavalue":{"value":"26A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407405$7D452E6B-CFEF-44EB-9CA4-83AE558184B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e88091f3299bc49922edc3e77e6554e5bceb24cd","datavalue":{"value":"54A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407405$8BD32999-742E-4F7F-A602-4A76BD7CB837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"96c026e90fe97f1c38b63ad94f319bcae54b2e36","datavalue":{"value":"46A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407405$2A339247-C1C7-463F-9805-68BE822193D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88ae07a69d972d84abf75148677becfc152cd2f0","datavalue":{"value":"1982101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407405$F21FB1D1-E0DE-4253-956D-250C30BE2B3B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2e99922c09a11e7995f4e55a119c3d7c76a4745","datavalue":{"value":"real-valued functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407405$D67DB649-C7E0-48F9-B5EE-1552B387B2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71c356ef7753d886759a8281e98b0f8b99befc31","datavalue":{"value":"sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407405$5AD9D406-6ADC-4C3E-ABB2-0AB43A0F5FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03ee0109af41ad406ecd743518061baaa9e5e3ff","datavalue":{"value":"convergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407405$044F97D2-CF65-43BA-B01F-F4AB3DFBF863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa0ae6dbcb204efe31c63d110290780a00b15a26","datavalue":{"value":"uniform spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407405$F51312B2-EF58-454F-8468-36A16E0A6DF7","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":"Q1407405$06DA4DF1-C69D-4BCD-A466-E5E60673F09B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c20216b31d01cdb33ce4c82373b528ad03f2f467","datavalue":{"value":{"entity-type":"item","numeric-id":259807,"id":"Q259807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69ac3f6ab876123928ca1160c4e49ba42a8cc3f1","datavalue":{"value":{"amount":"+0.9035161","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":"Q1407405$D4430B43-E63A-4A64-BC71-16ACB0C996AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f93de28948180bf69b076db22ffeb7004e34369","datavalue":{"value":{"entity-type":"item","numeric-id":3070689,"id":"Q3070689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59afcd7d475c4b9d5884d44e0e71aa3ac03e1f77","datavalue":{"value":{"amount":"+0.8932663","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":"Q1407405$03D725CF-309C-4B75-ADCD-FC6505B139DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f08e77eee7356017892fee0a68167ed64238afb4","datavalue":{"value":{"entity-type":"item","numeric-id":5226512,"id":"Q5226512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"132758ee1b10912b0ca8748ed5e50e46de1aa75d","datavalue":{"value":{"amount":"+0.88313174","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":"Q1407405$88990EDE-79B3-4B8C-B2BE-6BDD0A386EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f522984a8f2139cddff1ec924bab3b063901bd29","datavalue":{"value":{"entity-type":"item","numeric-id":1072128,"id":"Q1072128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b32b6d9851ecaf017a30549bd379d5bd93428ca7","datavalue":{"value":{"amount":"+0.88138485","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":"Q1407405$B5AAB686-1884-4DFD-A302-9872A3399D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6201a9024ccf1aa7606b219c931539f6e56e1bf2","datavalue":{"value":{"entity-type":"item","numeric-id":3606761,"id":"Q3606761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e2ccb0214f015cf76dd995d4ef415ddc0f1c81a","datavalue":{"value":{"amount":"+0.88079745","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":"Q1407405$97224DAD-FBB5-422E-A98D-588ED2A67FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"397756a7170bd63301f1d79dcd128876212c06eb","datavalue":{"value":{"entity-type":"item","numeric-id":3721392,"id":"Q3721392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dbcdc0f609a3538d2c8c74079cd700882c4dbfe","datavalue":{"value":{"amount":"+0.87983084","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":"Q1407405$19C08B06-F391-4829-BEEA-424499EAA6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddcef1ad7f3aec77f14f899eebfe4e80adceb060","datavalue":{"value":{"entity-type":"item","numeric-id":5023092,"id":"Q5023092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6fd430a4c1c98637e52c7dec5c8956ce08bed1d","datavalue":{"value":{"amount":"+0.87893677","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":"Q1407405$4422F827-6C2F-49AF-9A5B-BE5E694D70E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df2455f760bf6c7fbd5e3ad98284dc38430636b3","datavalue":{"value":{"entity-type":"item","numeric-id":3729643,"id":"Q3729643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2819771ef48150adb0ae56a1942e8d4dffbbd72","datavalue":{"value":{"amount":"+0.8777486","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":"Q1407405$4BFE0E85-2D97-4718-8D1D-5D72BCCA88DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ad899d79b326a6422759352e7db91aad46e23aa","datavalue":{"value":{"entity-type":"item","numeric-id":5492356,"id":"Q5492356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d1204c3a01c0d846ee0600315e7c7346f7d5198","datavalue":{"value":{"amount":"+0.8765203","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":"Q1407405$7EB0B553-7878-4E61-9357-6A143C72479A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83e59b8102720c493bb972928f97a418bf2fad2c","datavalue":{"value":{"entity-type":"item","numeric-id":6049684,"id":"Q6049684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a2227102e62cf15dd2880052f612c078fa44048","datavalue":{"value":{"amount":"+0.876156","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":"Q1407405$95172739-0418-47D7-B9B5-8506951CA6F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An extension of Dini's lemma to nets of functions into uniform spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_extension_of_Dini%27s_lemma_to_nets_of_functions_into_uniform_spaces"}}}}}