• 대한수학회보
• /
• 제40권1호
• /
• pp.149-157
• /
• 2003

Let M be an exponentially bounded o-minimal expansion of the standard structure R = (R ,＋,.,<) of the field of real numbers. We prove that if r is a non-negative integer, then every definable $C^{r}$ manifold is affine. Let f : X ${\longrightarrow}$ Y be a definable $C^1$ map between definable $C^1$ manifolds. We show that the set S of critical points of f and f(S) are definable and dim f(S) < dim Y. Moreover we prove that if 1 < s < ${\gamma}$ < $\infty$, then every definable $C^{s}$ manifold admits a unique definable $C^{r}$ manifold structure up to definable $C^{r}$ diffeomorphism.