{"entities":{"Q689709":{"pageid":691558,"ns":120,"title":"Item:Q689709","lastrevid":42641932,"modified":"2025-07-07T15:02:59Z","type":"item","id":"Q689709","labels":{"en":{"language":"en","value":"A short proof of the Tietze-Urysohn extension theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 446312"}},"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":"Q689709$57F5C8D6-916B-4622-930E-13D44336CEEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1011f98189b575b9dc272d7b26ef2b6e3e188721","datavalue":{"value":{"text":"A short proof of the Tietze-Urysohn extension theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q689709$B9DBB853-B5A5-4C64-A681-22C7BB8763BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08ed49340b6092c69319f691c3aad18b3fb9675b","datavalue":{"value":"0778.54005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689709$168590EF-3EFF-42D0-91B3-1654BB9E9A82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"911356e76749f8aade39efca5de1b17e742f0e30","datavalue":{"value":"10.1007/BF01207193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689709$091C3196-E10D-4B4C-B881-1A330D6E6F73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9425ba7bd9c0fe83aa8078496af34aeec2c057ef","datavalue":{"value":{"entity-type":"item","numeric-id":265602,"id":"Q265602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689709$23970B50-6147-4189-9111-D96FD198D826","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"db22232807c795272dc3a83fabf3be514df44f25","datavalue":{"value":{"entity-type":"item","numeric-id":166039,"id":"Q166039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689709$430D9879-1733-4B9A-991D-DDC6669473F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a041ac255fcd8e6d725677dd2f4aa6770323c3e","datavalue":{"value":{"time":"+1993-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q689709$324BF079-7F34-4755-8B40-A496DB781260","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dec5d05910f173e10987547d485a1d0c99ad1960","datavalue":{"value":"Tietze proved the extension theorem for metric spaces, and Urysohn for normal topological spaces. Urysohn first proves his Lemma, which is a special case of the theorem. The proof of the lemma uses a set-theoretic argument which constructs a family of sets indexed by the rationals, and defines a continuous real-valued function using infima of subsets of the indices. In rather surprising contrast, the full extension theorem then makes use of infinite series, the Weierstrass \\(M\\)-test, and uniform convergence. This paper extends the method of Urysohn's Lemma so as to obtain the extension theorem directly, without the use of uniform convergence, and without first proving the lemma. Urysohn's Lemma itself is then no longer required, being an immediate corollary of the theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q689709$7CC7BE54-2268-4965-9099-10D83B90B721","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8216ebaa29894f2da1fbbb2fdf6457d9d8310f0c","datavalue":{"value":{"entity-type":"item","numeric-id":265602,"id":"Q265602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689709$50DBE986-9671-42DB-96EF-FDC0C9C3CD06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"166e4a51e7ace285a8ef92be39da2625c5914749","datavalue":{"value":"54C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689709$D9E0AA43-65A8-4C02-B8EF-8687BBFBE944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d594712b08c5b078d82458af9336fcf91cce9154","datavalue":{"value":"54C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689709$5FAF2A45-4AAD-4FC1-8440-64E08F2DC940","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9762359d41e0e49eb40e12c2049e4faa8348146","datavalue":{"value":"446312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689709$94A47BAF-2089-4714-86FC-E7105117A08F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e27eddd0b746d5eb1598b1e36227a331acf5265c","datavalue":{"value":"normal space","type":"string"},"datatype":"string"},"type":"statement","id":"Q689709$8DC3E574-C6B1-4799-8B11-0583597B8732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cb257e5b300098a649bfcba4c1480ef55b4481b","datavalue":{"value":"extension theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q689709$A837E720-96CF-40FD-9BD4-93F28F0D07CC","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":"Q689709$828DE036-E6E9-4F58-A677-37DF8578B75E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"368949caa0d20f905d8d285ee60b49f35583136b","datavalue":{"value":{"entity-type":"item","numeric-id":4403441,"id":"Q4403441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689709$DC7E3747-513D-4F7C-91A2-7113E52B2579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0aa0fb91cb7f45a51efb60627f5e62acaf78b69","datavalue":{"value":{"entity-type":"item","numeric-id":5589072,"id":"Q5589072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689709$543F5698-B254-4663-BF7B-58423CB4DA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"280cb041983147434982a90ad7bd2e3a18336983","datavalue":{"value":{"entity-type":"item","numeric-id":3778470,"id":"Q3778470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689709$BB19A35C-4EB1-43FA-82F1-2D35C7368BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b3b880cf6cc7f3f4cb3652614bd1fa5e36b101d","datavalue":{"value":{"entity-type":"item","numeric-id":5810343,"id":"Q5810343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689709$80466E5C-A849-4133-A9F3-72DE24E970CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f7fde603a7afe70e0a746110b66d1d0cccae8b","datavalue":{"value":{"entity-type":"item","numeric-id":4153315,"id":"Q4153315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689709$74534DBF-38B9-4AC8-B870-0FE1AA989B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f30f519689dc7bab8b9c29ee9ebf0f38652e7e43","datavalue":{"value":{"entity-type":"item","numeric-id":2649835,"id":"Q2649835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689709$D3B11A2D-803F-46F8-A8DB-ADACCC2AF525","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48065a43f9a708063be58c61bd0d307f2781ee33","datavalue":{"value":"https://doi.org/10.1007/bf01207193","type":"string"},"datatype":"url"},"type":"statement","id":"Q689709$C6314F24-7AD4-44FC-A042-680AE9365E77","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"780b39aecc29730c8cd2d5e5588a5c051bdc9588","datavalue":{"value":"W2093162951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689709$337A0142-FD05-4D8C-BF93-BF287CF011F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6feba74cc3e113326c7782cd6165940ccadaba36","datavalue":{"value":{"entity-type":"item","numeric-id":1273233,"id":"Q1273233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fd2e4d8c2039ca9e9872f591ba84463ae36a154","datavalue":{"value":{"amount":"+0.9694007","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":"Q689709$107458DE-CCC6-4676-B57B-EC81CF7782AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b281f50b197a0aac61cc1f755ac878c41a27da12","datavalue":{"value":{"entity-type":"item","numeric-id":4700906,"id":"Q4700906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c57312e7ee363d7f65160da8a9dd2e66d8764f7a","datavalue":{"value":{"amount":"+0.92443454","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":"Q689709$ECA8614C-696D-4BC5-A667-5E41A7CAE09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a47a7fd6ae5bae18ac85dda7cebb07427caa9653","datavalue":{"value":{"entity-type":"item","numeric-id":5857600,"id":"Q5857600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"643b93b9d41af5ad85eeb616525da58fd219e7ae","datavalue":{"value":{"amount":"+0.9074941","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":"Q689709$38C43174-354D-46ED-A70D-F3FDA4CCBE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47b313682b02220c7482cca97b06592848817b7","datavalue":{"value":{"entity-type":"item","numeric-id":3130916,"id":"Q3130916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc0f2f0e90c24c900053f32b30e22c0aa4f42e87","datavalue":{"value":{"amount":"+0.8872673","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":"Q689709$30B3E564-E344-440C-BFAE-8E5095CA3E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4e37aa44fb6e8e43ded1f28a6668bde46600503","datavalue":{"value":{"entity-type":"item","numeric-id":2487964,"id":"Q2487964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf6a0b83aae3cedc6d5879ad547db3610f2ed8e4","datavalue":{"value":{"amount":"+0.880357","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":"Q689709$14AA7F95-AB57-4FC0-B27C-FE3CF987B67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"029d0c50ba8b7221f9afb9aae1466841cf1cc565","datavalue":{"value":{"entity-type":"item","numeric-id":4018809,"id":"Q4018809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eae38f33be1346d0b0af5bcddf771507eade055","datavalue":{"value":{"amount":"+0.87987065","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":"Q689709$48618D9B-68B3-46D2-B1D4-9AC91EEAA3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97d59c4f6321b8b20d5c429a8dd3533f57c27042","datavalue":{"value":{"entity-type":"item","numeric-id":3776910,"id":"Q3776910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15f3aaf51c6f8de129f6f5656f1ead4f92bc7aac","datavalue":{"value":{"amount":"+0.8792309","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":"Q689709$9DB9FD7A-38A5-4BD4-AEBC-C511408D4A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f1f43fd58c84ad2d206f7a3f64fa6ad1ef2e4e8","datavalue":{"value":{"entity-type":"item","numeric-id":3147858,"id":"Q3147858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73c5f1084780a2587fa8a081c6d5d52c2f42084f","datavalue":{"value":{"amount":"+0.877394","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":"Q689709$7D7F0801-44FD-45EA-A33B-30017ACDCADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ea93033157a6ee540ae5ee4a16709ba6e949d43","datavalue":{"value":{"entity-type":"item","numeric-id":4911908,"id":"Q4911908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cebf5980fe6bc18b154e86afc4b2b78677b98eff","datavalue":{"value":{"amount":"+0.8764818","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":"Q689709$5B687EF4-1659-431F-804F-4832A5C52A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7530ca972c664e4d0927f1954b030e568dfdb3d","datavalue":{"value":{"entity-type":"item","numeric-id":5298213,"id":"Q5298213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1caab964ccd78640c11f13f51cf4d58d0c6bdf70","datavalue":{"value":{"amount":"+0.87610316","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":"Q689709$66C08512-2D4D-4774-870E-801EC1BE6076","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:689709","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:689709"}}}}}