Smooth approximations Differential topology mathematics