Submission date: 22 May 2011.

Abstract:

Let G be a compact affine definable C^r group and let r be \infty or \omega. We prove that the representative definable C^r functions on G is dense in the space of continuous functions on G.

Mathematics Subject Classification: 57S15, 03C64.

Keywords and phrases: O-minimal, definable C^r groups, definable C^r G manifolds.

Full text: pdf, dvi.