巴拿赫流形是有限维流形的无穷维推广，巴拿赫流形一般均指巴拿赫微分流形，光滑流形一般是指C∞流形。