RT Journal Article T1 On Nash images of Euclidean spaces A1 Fernando Galván, José Francisco AB In this work we characterize the subsets of Rn that are images of Nash maps f : Rm → Rn. We prove Shiota’s conjecture and show that a subset S ⊂ Rn is the image of a Nash map f : Rm → Rn if and only if S is semialgebraic, pure dimensional of dimension d ≤ m and there exists an analytic path α : [0, 1] → S whose image meets all the connected components of the set of regular points of S. Two remarkable consequences are the following: (1) pure dimensional irreducible semialgebraic sets of dimension d with arc-symmetric closure are Nash images of Rd; and (2) semialgebraic sets are projections of irreducible algebraic sets whose connected components are Nash diffeomorphic to Euclidean spaces. PB Elsevier YR 2018 FD 2018 LK https://hdl.handle.net/20.500.14352/94908 UL https://hdl.handle.net/20.500.14352/94908 LA eng NO Ministerio de Economía, Comercio y Empresa (España) DS Docta Complutense RD 4 abr 2025