Funcția Morse este o funcție lină pe varietatea având puncte critice nedegenerate .
Funcțiile Morse apar și sunt utilizate în teoria Morse , unul dintre instrumentele principale ale topologiei diferențiale .
Fie o varietate netedă a cărei graniță este uniunea disjunsă a varietăților (posibil goale) și . Funcția Morse a unei triade este o funcție de clasă atât de netedă , (sau ) pentru , încât:
Funcțiile Morse se generalizează în mod natural pentru a netezi varietăți complete Hilbert (în ceea ce privește un tensor metric ) . Acest lucru necesită o condiție suplimentară:
Această condiție este îndeplinită automat în cazul cu dimensiuni finite.
În acest caz, setul de funcții Morse nu formează un set deschis, ci este un set din categoria a 2-a Baer