text: По предположению открытый слой с коразмерностью 0 пространства Func ⁡ ( M ) {\displaystyle \operatorname {Func} (M)} является Morse ⁡ ( M ) {\displaystyle \operatorname {Morse} (M)} , то есть Func ⁡ ( M ) 0 = Morse ⁡ ( M ) {\displaystyle \operatorname {Func} (M)^{0}=\operatorname {Morse} (M)} .