Cтраница 2
Заметим, что прием микрорасширения не работает для субмерсий, поскольку сужение субмерсии, вообще говоря, не является субмерсией. В действительности / г-принцип неверен для погружений замкнутых многообразий. [16]
На самом деле мы докажем, что ц - субмерсия, так что в приводимых ниже рассуждениях Q никак не участвует. [17]
Остается проверить, что для этой метрики пректирование п является субмерсией. [18]
Для того чтобы морфизм f из X в Y был субмерсией, достаточно, чтобы он был трансверсален к каждой точке из V, и необходимо, чтобы он был грансверсален ко всякому подмногообразию многообразия У. [19]
Пусть S - многообразие и р: X - S - субмерсия. [20]
Rm называется регулярной точкой отображения /, а само / - субмерсией в точке х, если D / ( х) - сюръекция. R, что всякая точка х из области определения /, удовлетворяющая условию / ( х) с, регулярна. [21]
![]() |
Погружение S х ( - е, е - R2, не допускающее продолжения до погружения D2 - R2, но допускающее формальное продолжение на D2. [22] |
Заметим, что прием микрорасширения не работает для субмерсий, поскольку сужение субмерсии, вообще говоря, не является субмерсией. В действительности / г-принцип неверен для погружений замкнутых многообразий. [23]
Если f: X - У и f: X - У - субмерсии, то f X f: X X X X - F X Y есть субмерсия. [24]
Пусть А - такой кусок многообразия X, что ограничение отображения я на дА есть субмерсия. [25]
Для многообразий, моделями для которых являются банаховы пространства, имеются обычные критерии иммерсии и субмерсии в терминах производной. [26]
Докажем теперь несколько полезных следствий, которые будут использованы в дальнейшем при изучении иммерсий и субмерсий. [27]
Если d F / dt2 ( t0, x0) / 0, то G - субмерсия в точке ( t0, х0), так что 2 G 1 ( 0) локально является параметризованным ( г - ) - мерным многообразием. [28]
Фза, и 4a ( v) - Обратно, если М покрыто областями Ua и заданы субмерсий ф: Ua - - R4, согласованные в том же смысле, что и выше, то путем подходящего склеивания ф - 1 ( с) между собой получается такое С. [29]
Отображение а rco oevi Эдо X V0: ц0 X Xl / o - - R9 является субмерсией. [30]