Определение стратификации:

- подмногообразие гладкого многообразия

.
Разбиение

на подмногообразия

называется стратификацией, если
1) оно локально конечно;
2)

, где

;
3) если

, то для любой посл-ти точек

в

, такой что

и существует

, должно выполняться

.
Нужно придумать триангуляцию подмногообразия

, которая не будет стратификацией.
Для триангуляции первые два условия выполняются, значит нужна триангуляция, для которой не выполняется 3 условие.
Думается, что подмногообразие не должно быть сложным, а вот триангуляция возможно хитрая, чтобы хотя бы в одной точке нарушалось 3.
Я пробовал придумать поверхность в

, но не преуспел. Можете что-нибудь предложить?