{"entities":{"Q799747":{"pageid":801595,"ns":120,"title":"Item:Q799747","lastrevid":64427547,"modified":"2026-04-11T19:47:52Z","type":"item","id":"Q799747","labels":{"en":{"language":"en","value":"Separation, retractions and homotopy extension in semialgebraic spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3873482"}},"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":"Q799747$44A15AC1-7A47-4141-8656-A197F07A3B15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2747f8ec2568a257b5c3b47b71a658714c55455d","datavalue":{"value":{"text":"Separation, retractions and homotopy extension in semialgebraic spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q799747$29C8EF9C-C5FB-4F9C-81E0-F9114E87168F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3a909b04244389937c4cff8fd23ed21a2ed6555","datavalue":{"value":"0548.14008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799747$6816DF9B-40A5-4314-A0AF-2C429E83BB94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e05ca863eae861986f9831acfc3240179e6a25","datavalue":{"value":{"entity-type":"item","numeric-id":213230,"id":"Q213230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799747$0E45996A-535E-497D-853D-74661689DB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde023e972d27ba84e294058f7e4b29ffb9c23d9","datavalue":{"value":{"entity-type":"item","numeric-id":306476,"id":"Q306476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799747$6843C4A3-8AD2-4379-8DED-D2F557919726","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"edf18db5439a683e98eaf3205ba65f05cfd68a4d","datavalue":{"value":{"entity-type":"item","numeric-id":161301,"id":"Q161301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799747$18B1AEBA-AEC9-4BFF-85C7-1CE6DD297048","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q799747$F45159C6-E4E0-4EFD-ABDB-BC0C502577E0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6b8bc43fe27d88c60cbeb9527c4a391077a46284","datavalue":{"value":"Let M be an affine semialgebraic space over a real closed field R [cf. the authors, Math. Z. 178, 175-213 (1981; Zbl 0447.14003)]. The central result in this paper says that every closed semialgebraic subset A of M has an open semialgebraic neighbourhood U in M such that A is a (semialgebraic) strong deformation retract of both U and of the closure \\(\\bar U\\) of U in M. If A is locally complete then U may be chosen as the mapping cylinder of a retraction \\(r:\\bar U\\backslash U\\to A.\\) By use of this theorem it is shown that (M,A) has the homotopy extension property, and that Tietze's extension theorem holds in M. - The proof of the main result is based on the fact that the pair (M,A) can be triangulated [cf. the authors, J. Reine Angew. Math. 335, 122-163 (1981; Zbl 0484.14006)]. If M is a finite (not necessarily complete) simplicial complex over R and A is a closed subcomplex of M, then U may be chosen as the star neighbourhood of A in the second barycentric subdivision of M. In this case a strong deformation retraction \\(\\phi:\\bar U\\times [0,1]\\to\\bar U\\) is given by an explicit formula. It restricts to a strong deformation retraction \\(U\\times [0,1]\\to U\\) from U to A.","type":"string"},"datatype":"string"},"type":"statement","id":"Q799747$9591BAFB-B090-4ED1-8497-E046217FB918","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"80619583a343f6ab8e0090f36b890511a86ef408","datavalue":{"value":"14Pxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799747$0DFEBFD0-35E6-4B92-BF40-D1BCE9EC9D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fe8fba2d1ba5eaee60758c0e18e38bd1e983fb1","datavalue":{"value":"55P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799747$B1FF19A4-D5DD-4914-9B3B-A75819D75266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8ef6af789c709021a0b21c96373c0739cc33599","datavalue":{"value":"54C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799747$6C6E74F9-93C0-4E8B-A1FB-8C82193C2BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48b7b628cf88b184f0666b88aa5aa6c86ac6aa72","datavalue":{"value":"14F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799747$5D150F99-7D15-46B6-9D53-F8D095B49339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cd55e37faed400f27c01e5bfb5d6bb41ead1f10","datavalue":{"value":"57Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799747$9C98CCA4-C43D-4E53-8356-48546221B649","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08e6ba86f3fea0bb52a6089f5811c4b01bacc44d","datavalue":{"value":"3873482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799747$35DD3925-54AA-4376-8B69-2B338A0EF7A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bd3b97137fc5cddeb53bb49b8b441b42d47d65a","datavalue":{"value":"triangulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q799747$83C7D9F0-270C-479C-98FD-E80891004423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb0f7c8029dd18f1618794c8978fa0f270188a6c","datavalue":{"value":"affine semialgebraic space","type":"string"},"datatype":"string"},"type":"statement","id":"Q799747$E305DA85-E446-4E54-A6DC-97DF34383874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39596c8e0e8ad1079f24c13bde5fd89bc14951fe","datavalue":{"value":"semialgebraic strong deformation retract","type":"string"},"datatype":"string"},"type":"statement","id":"Q799747$13C7BE2D-FE4B-4F9E-AA0A-07A3D6B6B2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c6eead3d65be611992f5c0c9cf4bbd70357765c","datavalue":{"value":"Tietze extension theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q799747$AF11C5E6-681D-4C0E-A084-DD8720C3A5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"438e0732b2ace2d4eb083dfedf45bc85add9d3ac","datavalue":{"value":"closed semialgebraic subset","type":"string"},"datatype":"string"},"type":"statement","id":"Q799747$47729973-90B4-4206-B98A-5CF3B9AB3036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6213d532693d5372ae92a9e51b8823e645e5b06a","datavalue":{"value":"homotopy extension property","type":"string"},"datatype":"string"},"type":"statement","id":"Q799747$B8C10D73-24FC-4459-8FBA-232EB8427BB1","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":"Q799747$F3F5C7A0-16D6-434B-96C2-87E7C22EC51E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2a6e3aefd7fe8bf4eaca57dee78fb967d633479","datavalue":{"value":"https://doi.org/10.2140/pjm.1984.114.47","type":"string"},"datatype":"url"},"type":"statement","id":"Q799747$4395B32F-A709-4647-8F76-A1FB3151FC7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f155dacbab502b5424b4f5356b75840073374bd","datavalue":{"value":"W2024538944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799747$828876F1-BB54-4830-813A-68CC3262F50E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b085ed5278f7fe7e7b3197cf0fe989d4a80591ec","datavalue":{"value":"10.2140/PJM.1984.114.47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799747$28D51E0C-704C-4457-97B4-B2A240959C9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a14984a84fef74691dd89d1012e0825ef006de7","datavalue":{"value":{"entity-type":"item","numeric-id":3331915,"id":"Q3331915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16ce5d8555809512c9584de661ac6cfb1d913925","datavalue":{"value":{"amount":"+0.7559898495674133","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":"Q799747$E779127F-2637-48D2-9456-4E974D8B08B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af4d1a2f0d1fdf3ee6c0221c14263c60c9bc0efa","datavalue":{"value":{"entity-type":"item","numeric-id":1071834,"id":"Q1071834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1190a6b8125030e402cebf182b58fc6a9e22683","datavalue":{"value":{"amount":"+0.7484397292137146","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":"Q799747$19D725DA-10D5-4028-8955-8392CBA6409C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0f2a0ce66fa0edb683afedd112a96c608d48c37","datavalue":{"value":{"entity-type":"item","numeric-id":1010980,"id":"Q1010980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"522f03b7ba2dfd2dac41793947a10681e6a3a98e","datavalue":{"value":{"amount":"+0.7268549203872681","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":"Q799747$6E0A0493-C761-4DBC-84A4-B04315988C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d590465d602805208abfcd5621256515c478ae64","datavalue":{"value":{"entity-type":"item","numeric-id":1061799,"id":"Q1061799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf992b2b39b74dde1ea0c7e8b69b9aecc4111ce3","datavalue":{"value":{"amount":"+0.7180357575416565","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":"Q799747$55B6DA53-FFF2-4CCD-A63F-2287A206608D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ea877edc2fc8ef5eceed33b06784e7dd4dffd30","datavalue":{"value":{"entity-type":"item","numeric-id":1188538,"id":"Q1188538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28a4c079d062408544c4d229962dacd23ba0daa9","datavalue":{"value":{"amount":"+0.7137486338615417","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":"Q799747$F31A29E5-9BA5-415F-8481-DE8E8E28ED7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Separation, retractions and homotopy extension in semialgebraic spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Separation,_retractions_and_homotopy_extension_in_semialgebraic_spaces"}}}}}