圓形函數

喺微分拓樸學入面，圓形函數係一個由流形打去實數集嘅函數，佢嘅臨界點形成一個個連通嘅集合，每一個都同圓形同胚，呢啲圓形又叫做臨界環。圓形函數係Morse-Bott函數嘅一種。

例子 

例如假設係一個環面，設

噉函數

係一個幾乎覆蓋嗮成個嘅參數化。依家考慮投影函數限制喺上面，噉就得到

呢個函數嘅臨界點可以用微分嚟搵：

，

即係當且僅當。

呢兩個對應住兩個臨界集，分別係

對應住兩個臨界環，一上一下。

留意，呢個函數嘅Hessian係

並唔係滿階嘅，顯示出啲臨界點係退化嘅，即係話，唔係孤立點。

圓形複雜度 
模仿返Lusternik–Schnirelmann範疇理論，可以定義「圓形複雜度」，睇下一個流形上面有冇圓形函數，同埋如果有嘅話最少有幾多個臨界圓。

微分幾何
幾何拓樸學