The Quarterly Journal of Mathematics Advance Access published online on March 17, 2009
The Quarterly Journal of Mathematics, doi:10.1093/qmath/hap011
ON O-MINIMAL HOMOTOPY GROUPS


Departamento de Matemáticas, Universidad Autónoma de Madrid, 28049 Madrid, Spain
Corresponding author. E-mail: elias.baro{at}uam.es
Received 15 August 2008;
revised 28 January 2009
| Abstract |
|---|
We work over an o-minimal expansion of a real closed field. The o-minimal homotopy groups of a definable set are defined naturally using definable continuous maps. We prove that any two semialgebraic maps which are definably homotopic are also semialgebraically homotopic. This result together with known results on semialgebraic homotopy allows us to develop an o-minimal homotopy theory. In particular, we obtain o-minimal versions of the Hurewicz theorems and the Whitehead theorem.
E-mail: