ある多様体から多様体への滑らかな写像全体の集合に多様体の構造って入る?