We present a criterion of local normal embedding of a semialgebraic (or definable in a polynomially bounded o-minimal structure) germ contained in R n in terms of orders of contact of arcs. Namely, we prove that a semialgebraic germ is normally embedded if and only if for any pair of arcs, coming to this point the inner order of contact is equal to the outer order of contact.the anonymous referee for his patience and extremely useful comments and corrections.
Normally embedded setsLet X ⊂ R n be a connected semialgebraic set. We define an inner metric on X as follows: Let x, y ∈ X. The inner distance d X (x, y) is defined as the infimum of lengths of rectifiable arcs γ : [0, 1] → X such that γ(0) = x and γ(1) = y. Notice that for connected semialgebraic sets the inner metric is well-defined.1991 Mathematics Subject Classification. 14B05; 32S50 .