On finiteness theorems of polynomial functions

Abstract

AbstractLet d be a positive integer. We show a finiteness theorem for semialgebraic $$\mathscr {RL}$$ RL triviality of a Nash family of Nash functions defined on a Nash manifold, generalising Benedetti–Shiota’s finiteness theorem for semialgebraic $$\mathscr {RL}$$ RL equivalence classes appearing in the space of real polynomial functions of degree not exceeding d. We also prove Fukuda’s claim, Theorem 1.3, and its semialgebraic version Theorem 1.4, on the finiteness of the local $${\mathscr {R}}$$ R types appearing in the space of real polynomial functions of degree not exceeding d.