Определение стратификации:
- подмногообразие гладкого многообразия
.
Разбиение
на подмногообразия
называется стратификацией, если
1) оно локально конечно;
2)
, где
;
3) если
, то для любой посл-ти точек
в
, такой что
и существует
, должно выполняться
.
Нужно придумать триангуляцию подмногообразия
, которая не будет стратификацией.
Для триангуляции первые два условия выполняются, значит нужна триангуляция, для которой не выполняется 3 условие.
Думается, что подмногообразие не должно быть сложным, а вот триангуляция возможно хитрая, чтобы хотя бы в одной точке нарушалось 3.
Я пробовал придумать поверхность в
, но не преуспел. Можете что-нибудь предложить?