安定な性質

滑らかな写像 $X\to Y$ についての性質 $P$ が安定であるとは、$f_0$ が $P$ を満たすとき、$f_0$ から始まる任意の滑らかなホモトピー $f_t$（$t\in[0,1]$）に対し、ある $\varepsilon>0$ があって $t<\varepsilon$ のすべての $f_t$ が $P$ を満たすことをいう。