{"entities":{"Q2630682":{"pageid":2641425,"ns":120,"title":"Item:Q2630682","lastrevid":57971232,"modified":"2026-04-03T07:13:00Z","type":"item","id":"Q2630682","labels":{"en":{"language":"en","value":"Homotopy invariants of covers and KKM-type lemmas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6604837"}},"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":"Q2630682$9FF56FDC-0E0D-4957-9A81-407E8ACE25D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a45a838964a1989f0d1f2995fa52c9eb8bf436f","datavalue":{"value":{"text":"Homotopy invariants of covers and KKM-type lemmas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2630682$62F8001B-B395-4D0C-860E-F00343A843CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a315420e8de867757e73dec87aee56e2954edf1b","datavalue":{"value":"1350.55006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2630682$38D38F65-98B1-470D-9D00-9C2339508A98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c493287939436bc321ebf9d644ec74479e25cfa","datavalue":{"value":{"entity-type":"item","numeric-id":249460,"id":"Q249460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2630682$3F711318-B7AF-44E1-8F9B-E37EE6C15F62","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b4b9002cf27b8127c357783774cf1eb8e2902202","datavalue":{"value":{"entity-type":"item","numeric-id":166428,"id":"Q166428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2630682$3E7138C3-099C-41BC-B16E-929FF3FF8826","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"65b71113645b30f727dbb3f058c09e51e4656d25","datavalue":{"value":{"time":"+2016-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2630682$2ED45497-ECDD-4896-9E26-539F97C51CAB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b99ccb6b2a6fec6dd68011f9e86e593180270da","datavalue":{"value":"https://arxiv.org/abs/1505.07629","type":"string"},"datatype":"url"},"type":"statement","id":"Q2630682$955E992E-522A-459E-9CD5-08AB80F3A3A7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3b30146265e614d9a9f559ba8e213eb92d8bd390","datavalue":{"value":"The author denotes by \\(EP_n\\) the set of pairs of topological spaces \\((X,A)\\) (with \\(X\\) normal) such that there is a continuous map \\(f:A\\to S^n\\) which is nontrivial in \\([A,S^n]\\) that does not extend over \\(X\\). Let \\(K\\) be a finite simplicial complex with a labelling \\(L:\\text{Vert}(K)\\to\\{0,\\dotsc,m\\}\\) and denote by \\(\\Delta^m\\) an \\(m\\)-simplex with vertices \\(v_0,\\dotsc,v_m\\). Then there is a map \\(f_L:\\text{Vert}(K)\\to\\{v_0,\\dotsc,v_m\\}\\) defined by \\(f_L(u):=v_{L(u)}\\) which extends to a simplicial map \\(f_L:K\\to|\\Delta^m|\\). We have an open covering \\(\\mathcal{U}_K(K)=\\{U_0(K),\\dotsc,U_m(K)\\}\\) where \\(U_j(K)=\\bigcup_{\\{v\\in\\text{Vert}(K)|\\;L(v)=j\\}} \\text{St}(v)\\) where St denotes the open star. If no simplex in \\(K\\) has \\(m+1\\) distinct labels then \\(f_L\\) maps \\(K\\) into \\(\\partial|\\Delta^m|\\cong S^{m-1}\\). Denote then by \\([L]\\) the homotopy class of \\(f_L\\) in \\([|K|,S^{m-1}]\\). Now let \\(T\\) be a normal topological space \\(T\\) with a finite open cover \\(\\mathcal{U}\\) with nerve \\(N(\\mathcal{U})\\) and canonical map \\(c:T\\to N(\\mathcal{U})\\). Moreover, we have an embedding \\(\\alpha:|N(\\mathcal{U})|\\to|\\Delta^m|\\) and if \\(\\cap\\mathcal{U}=\\emptyset\\) this yields \\(\\alpha:|N(\\mathcal{U})|\\to S^{m-1}\\). Let then \\(\\rho_{\\mathcal{U},c}:=\\alpha\\circ c\\) and denote the homotopy class of \\(\\rho_{\\mathcal{U},c}\\) in \\([T,S^{m-1}]\\) by \\([\\mathcal{U}]\\). Choose a partition of unity \\(\\{\\phi_0,\\dotsc,\\phi_m\\}\\) subordinate to \\(\\mathcal{U}\\) and vertices \\(v_0,\\dotsc,v_m\\) of an \\(m\\)-dimensional simplex \\(V\\) and define \\(\\rho_{\\mathcal{U},\\Phi,V}(x):=\\sum_{i=0}^n\\phi_i(x)v_i\\). Choose a point \\(p\\in\\mathbb{R}^{n+1}\\setminus\\rho_{\\mathcal{U},\\Phi,V}(T)\\) and define \\(f_{\\mathcal{U},\\Phi,V,p}(x):=\\frac{\\rho_{\\mathcal{U},\\Phi,V}(x)-p}{\\|\\rho_{Cal{U},\\Phi,V}(x)-p\\|}\\). Finally, denote the homotopy class of \\(f_{\\mathcal{U},V,p}\\) in \\([T,S^n]\\) by \\(h(\\mathcal{U},V,p)\\) and for a simplicial complex with labelling \\(L\\) let \\(h(K,L,V,p):=h(\\mathcal{U}_L(K),V,p)\\). The author then proves the following theorem: Let \\(X\\) be a simplicial complex and \\(Q\\) a subcomplex, \\(X:=|K|\\), \\(A:=|Q|\\) and assume \\((X,A)\\in\\text{EP}_n\\). Let \\(L:\\text{Vert}\\to\\{0,\\dotsc,m\\}\\) be a labelling of \\(K\\), let \\(V\\) be as above and \\(p\\in\\mathbb{R}^{n+1}\\) and denote by \\(\\text{cov}(p)\\) the set \\(\\{J\\subset\\{0,\\dotsc,m\\}|\\;p\\in\\text{conv}\\{v_j|\\;j\\in J\\}\\}\\). Assume that there is no simplex in \\(Q\\) with vertex set labelled by \\(J\\in\\text{cov}(p)\\). Then there is a simplex \\(s\\) in \\(K\\) the vertices of which have labels in a set \\(J\\in\\text{cov}(p)\\). If \\(m=n+1\\) and \\(0\\not=[L]\\in[|Q|,S^n]\\) then there is a simplex in \\(K\\) with label set \\(\\{0,\\dotsc,n+1\\}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2630682$98F2EBB8-58EE-48D4-A397-D3F4A258A225","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8061410f8ec0c5df6639db10299e3613ee76eb9d","datavalue":{"value":"55M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2630682$70FC4212-D28F-442C-A1A8-2CC2FFD9635F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"94c42798c9d32eb64de019410c63dcd41ff0c58a","datavalue":{"value":"55M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2630682$BC375683-7699-488D-8CCE-45557D42CD51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bda066d9edc7276ff004a9eee191198bafd85969","datavalue":{"value":"6604837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2630682$A492DA8E-3021-4ACD-BD98-E907D9C1D3C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e55b55bf1c9fd0bf93f521d4025c18832cd4db50","datavalue":{"value":"KKM lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q2630682$BF8722C1-9782-49C7-A75B-A8CF1F7BE2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56359b9235dbff755baa36e69c7463cb6a0c3844","datavalue":{"value":"Sperner's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q2630682$5F5A53F9-1EE2-444E-BCC0-A65E6F42E96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc34f13108941d31f6ad0c542425486fbc560afc","datavalue":{"value":"homotopy class","type":"string"},"datatype":"string"},"type":"statement","id":"Q2630682$6BBA437D-E4C2-4776-A0FC-CA0F299684EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21d142027bf3153eebb876131ac5297907f4e838","datavalue":{"value":"covering","type":"string"},"datatype":"string"},"type":"statement","id":"Q2630682$A477C120-FD40-4AEA-AA30-721608377C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"697ea54bab1968cabfe19d5ba1aa3a80e51153b1","datavalue":{"value":"nerve","type":"string"},"datatype":"string"},"type":"statement","id":"Q2630682$C97D9FAF-6F11-4508-B4E6-A7021EBD6A59","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":"Q2630682$455CD7D5-01F4-4C43-A192-D79B3C58B511","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":"Q2630682$7B49847F-3CA8-4915-916C-656272B259E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2acbf79cac9f882db9332f8ee913dde21f6d4755","datavalue":{"value":"W3098580803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2630682$56ACA6A8-3160-4491-B93E-EF20F82A58D9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"39459ae0c9b7293f31fefb6aa3c72e465d36e046","datavalue":{"value":"Q29029603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2630682$351540A7-8D4A-4109-999A-FED3582EAEFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14f326a7772852810cc9849d709ea6cfd6eed1c7","datavalue":{"value":"10.2140/AGT.2016.16.1799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2630682$7A540F60-76A2-42CC-A500-8AF8DFDFAE8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73a7d723ac01836ad8af5e2b2613acfa2393e9ec","datavalue":{"value":{"entity-type":"item","numeric-id":1687173,"id":"Q1687173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"342e985493a0714c6a17bd68e0aa684bf9c995c3","datavalue":{"value":{"amount":"+0.75190669298172","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":"Q2630682$E089C869-10C0-4E9D-A9EF-E5DB717C9907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1172d085d3eba319a16de9c987cfb8a9cdf407b","datavalue":{"value":{"entity-type":"item","numeric-id":4346941,"id":"Q4346941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f75f777c0fbeaeca2b96c78992a3298ff0b08d24","datavalue":{"value":{"amount":"+0.7421550154685974","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":"Q2630682$5225EC25-9E98-4D9C-86E0-5C792839C0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9084d361a4256f0bc67626e47b538e32941af9b4","datavalue":{"value":{"entity-type":"item","numeric-id":1260889,"id":"Q1260889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a35a7050098b9b191eabeefc28ecba7f2d0fcd6b","datavalue":{"value":{"amount":"+0.7420782446861267","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":"Q2630682$00EDA5CD-F00B-42C9-8D96-6F78BE6D6104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaa1f01e345ee15450b6d0157faa0a6e34eb5ac4","datavalue":{"value":{"entity-type":"item","numeric-id":3731616,"id":"Q3731616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98784f1beafaad45341fc9782167b2129de22302","datavalue":{"value":{"amount":"+0.7240514755249023","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":"Q2630682$A132748F-072B-4863-BCD6-E84F29C4B77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b490463049c35b179c352268397b3c902b51bece","datavalue":{"value":{"entity-type":"item","numeric-id":1873814,"id":"Q1873814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e364af93e06b3cedc8b306a9b1c6b629746519e","datavalue":{"value":{"amount":"+0.7038257718086243","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":"Q2630682$AF5FA1EA-7E03-48B5-BBD5-64E90BDD3CA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2630682","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2630682"}}}}}