滑らかな関数や写像自体が無限次元なので、多様体の構造は入りません。
写像に制限をして、多項式で表せるものにしないとダメです。