В дифференциальной топологии , области математики, аккуратное Подмногообразие из многообразия с краем является своим родом «хорошо себя» подмногообразия . Точнее, пусть - многообразие с краем, а подмногообразие . A называется аккуратным подмногообразием весли он соответствует следующим двум условиям: [1]
- Граница подмногообразия - это подмножество границы большего многообразия. Это,.
- Каждая точка подмногообразия имеет окрестность, внутри которой вложение подмногообразия эквивалентно вложению гиперплоскости в многомерное евклидово пространство. Более формальнодолжны быть покрыты с помощью диаграмм из такой, что где размерность из. Например, в категории гладких многообразий это означает, что вложение тоже должен быть гладким.
Смотрите также
Рекомендации
- ^ Ли, Котик К. (1992), Лекции по динамическим системам, структурной устойчивости и их применениям , World Scientific, стр. 109, ISBN 9789971509651.