{"entities":{"Q4037347":{"pageid":6067065,"ns":120,"title":"Item:Q4037347","lastrevid":108776105,"modified":"2026-11-10T05:56:25Z","type":"item","id":"Q4037347","labels":{"en":{"language":"en","value":"A Hopf fixed point theorem for semi-algebraic maps"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177477"}},"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":"Q4037347$9B515E66-591A-45F0-84C5-6F0C3B9E31E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce669694dada9c82c6501f93d0c199d593e363d6","datavalue":{"value":"0791.55003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037347$8C7AB4C7-22B1-48C8-9120-57A85EFF4EEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4037347$4EAF346A-7196-4830-8F02-D577EA0C348F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"94c42798c9d32eb64de019410c63dcd41ff0c58a","datavalue":{"value":"55M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037347$56E105F1-7D2C-44B4-A8C5-464F092A8577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"94a258fd6e09d2d582bb6c52c7992ac55d0da749","datavalue":{"value":"14P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037347$0762ECBE-CDC5-4A83-B3D1-F89DEF273399","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c282cf74c483cfcbe728c881fe58182038df9b0","datavalue":{"value":"177477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037347$241A22E4-56A5-48D3-BA2B-F0AADDE5671F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b420d01976cedec8bf23623047274e77d209b7de","datavalue":{"value":"Hopf fixed point theorem for a semi-algebraic map over a real closed field","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037347$9401E60C-62B4-4C59-B67F-2E76A7BE0607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d708177e55a6d628c0e2f3de3e4d550c75734fe","datavalue":{"value":"constructible subset","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037347$A5DC6FD6-7AFF-429E-9B4E-6E278CC9DBD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b39eb3ac30b1782614df7b2f670583ce6a278c51","datavalue":{"value":{"entity-type":"item","numeric-id":1232716,"id":"Q1232716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037347$59C227BA-CB62-4D5D-89EF-B440B3F092F6","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":"Q4037347$1315F97D-A303-42BE-91D7-B315A2A573CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d0923ac1a360ccba5ce4f24bdae24797bbb912d","datavalue":{"value":{"entity-type":"item","numeric-id":4835110,"id":"Q4835110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb5e150c2bc550e12a5c1d654c7cb0481b664b06","datavalue":{"value":{"amount":"+0.9034418","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":"Q4037347$3477285C-3B4F-4961-A8A9-8C93633322D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4d0994b17b1a4c9d2ba6819e78fbb3f0b2f8df3","datavalue":{"value":{"entity-type":"item","numeric-id":317577,"id":"Q317577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9588091adc2b31dca67129f5bd275a43a0695cb","datavalue":{"value":{"amount":"+0.8928917","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":"Q4037347$54FD9A0D-6E93-42EF-A051-7EC0FBE3159C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02642e5b07815c4cafb985b6aa4d9552a69fad0b","datavalue":{"value":{"entity-type":"item","numeric-id":2899843,"id":"Q2899843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"142f7745276631359c26001175befb6f732a6a4f","datavalue":{"value":{"amount":"+0.89071745","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":"Q4037347$C2700F53-06B4-483E-AEBA-0E458EB5095E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97833a8d2d03bfa5929857d54833379c9eb00426","datavalue":{"value":{"entity-type":"item","numeric-id":3469896,"id":"Q3469896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e28a75f0aa80a346fa0efea3a51d027f4b696c22","datavalue":{"value":{"amount":"+0.8906093","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":"Q4037347$9FAE1256-E697-4BD8-B3ED-39076AE52D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbcaf30347b5466a365c97c10cec0f1cda80590d","datavalue":{"value":{"entity-type":"item","numeric-id":4213725,"id":"Q4213725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab33bd625745731e6635a632fe912e144069c5fe","datavalue":{"value":{"amount":"+0.88492095","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":"Q4037347$A0B51881-7D46-4F1E-9451-3566059E2981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66a9f975c99a37ecd77b1ba5d629c706873163f0","datavalue":{"value":{"entity-type":"item","numeric-id":4304894,"id":"Q4304894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1832695a84b9a9c35108a43a9e21497d0decce61","datavalue":{"value":{"amount":"+0.8847178","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":"Q4037347$2D699090-0C40-41EB-805D-808E9BF73139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70afdc8916c354608e269a793ae165f9ffef60bd","datavalue":{"value":{"entity-type":"item","numeric-id":4468906,"id":"Q4468906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1832695a84b9a9c35108a43a9e21497d0decce61","datavalue":{"value":{"amount":"+0.8847178","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":"Q4037347$6C1909F6-1662-4902-A7DD-2DE69B6223E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed71f18b7ff8e6eb66151e10d50443b8137fc102","datavalue":{"value":{"entity-type":"item","numeric-id":3333037,"id":"Q3333037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4435b7c2af4a2fe0745af8bd127d1691fb995849","datavalue":{"value":{"amount":"+0.8830329","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":"Q4037347$CA871F83-6BD5-4181-BE75-145B8473A23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f8580b73e0240d51aa10e46c600aaed77fcf581","datavalue":{"value":{"entity-type":"item","numeric-id":1210803,"id":"Q1210803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"294b2344e746c3260e655ab0ff118de4118ddfa1","datavalue":{"value":{"amount":"+0.88284224","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":"Q4037347$94638B2D-DDE4-4EFB-A988-6867ADA54863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c822cb3667cdd0337cacf81035e51b78d7973589","datavalue":{"value":{"entity-type":"item","numeric-id":583647,"id":"Q583647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e655a6f1cfc7adb4b93ff33bad92b6b8bb5c0c4","datavalue":{"value":{"amount":"+0.8828062","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":"Q4037347$C94EF8C8-0906-478B-9F8C-E1B1E70E5880","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"244cb034b213d815ca92219820b128ddff1aaca4","datavalue":{"value":{"text":"A Hopf fixed point theorem for semi-algebraic maps","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4037347$A16590FC-5264-44FD-8F89-89E797145691","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c36d672bdf15b2d8ce16ed4dfe4e0dfc99db73c1","datavalue":{"value":"The article deals with the Hopf fixed point theorem for a semi-algebraic map over a real closed field \\(K\\). Let \\(X\\subset K^ n\\) be a semi- algebraic set and \\(\\widetilde X \\subseteq \\text{Spec}_ R K[x_ 1,\\dots,x_ n]\\) be the corresponding constructible set. Any semialgebraic map \\(\\varphi : X \\to X\\) extends to a continuous map \\(\\widetilde{\\varphi}: \\widetilde{X} \\to \\widetilde{X}\\). One can define the Lefschetz number of \\(\\varphi\\) as \\[ \\text{tr }\\varphi_ * = \\sum(- 1)^ i \\text{trace }(\\varphi_ *: H_ i(X,\\mathbb{Q}) \\to H_ i(X,\\mathbb{Q})). \\] The author gets the following results: The fixed point set \\(\\text{Fix }\\widetilde{\\varphi}\\) is closed in \\(\\widetilde{X}\\). For \\(X\\) complete (i.e. \\(X\\) closed and bounded), \\(\\text{tr }\\varphi_ * \\neq 0 \\implies \\varphi\\) has a fixed point. Define \\(\\text{Fringe}(\\widetilde{X})\\) as the set of points in \\(\\widetilde{X}\\) which do not belong to any constructible subset \\(\\widetilde C \\subset \\widetilde X\\) such that \\(C\\) is complete in \\(X\\). Then: \\(\\text{tr }\\varphi_ * \\neq 0 \\implies \\) either \\(\\varphi\\) has a fixed point in \\(X\\) or \\(\\widetilde{\\varphi}\\) has a fixed point in \\(\\text{Fringe }(\\widetilde{X})\\). In any case \\(\\widetilde{\\varphi}\\) has a closed fixed point, and this fixed point can be taken in \\(\\text{Fringe }(\\widetilde{X})\\cup X\\) if \\(X\\) is locally closed or \\(K = \\mathbb{R}\\). The proofs are purely algebraic. For the entire collection see [Zbl 0756.00007].","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037347$4E4EC828-2FE0-4C11-B4D4-B79751491DC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Hopf fixed point theorem for semi-algebraic maps","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Hopf_fixed_point_theorem_for_semi-algebraic_maps"}}}}}