On generic G-prevalent properties and a quantitative K-S theorem for Cr diffeomorphisms of the circle

We will consider a convex subset of a metric linear space and a certain group of actions G on this set, that allow us to define the notion of Haar zero measure on sets that have zero Haar measure for the translation (by adding) invariant HSY prevalence theory. In this way, we will be able to define the meaning of G-prevalent set according to the pioneering work of Christensen. Our setting considers problems which take into account the convex structure and this is quite different from the previous results on prevalence which consider basically the linear additive structure. In this setting, we will show a kind of quantitative Kupka–Smale theorem, and also we generalize a result about rotation numbers which was first considered by J.-C. Yoccoz (and, also by M. Tsujii). Among other things we present an estimation of the amount of hyperbolicity in a setting that we believe was not considered before.