Cтраница 3
Для завершения доказательства нам остается установить, что М обладает хотя бы одним максимальным элементом. [31]
Для завершения доказательства теперь достаточно воспользоваться теоремой 9.44 и тем фактом, что рК: Im - Tn ( G) является вложением. Последний факт следует ( аналогично доказательству теоремы 9.44) из представления леммы 9.60 и из того, что предельные множества групп G и G ( r) f r ( G) симметричны относительно сфер dS; и dS ( r), il, -, m, соответственно. [32]
Для завершения доказательства мы установим, что каждый из них обладает плоскостью симметрии. [33]
Для завершения доказательства покажем, что множество WQ n ( t / o) удовлетворяет требованиям теоремы. Так как л; - открытое отображение, то множество WQ открыто в W. Требуется показать, что для любого w W ( k) ( напомним, что k - ks) множество a - l ( w) обладает плотным множеством сепарабельных точек. [34]
Для завершения доказательства достаточно убедиться, что отображение ( dy) e: j - r ( F) ( 0 сюръективно. [35]
Для завершения доказательства теперь достаточно проверить, что отображение ф замкнуто. [36]
Для завершения доказательства нам нужно рассмотреть по следовательности четвертой группы. [37]
Для завершения доказательства применим метод, который будет нам полезен и в следующих главах. [38]
Для завершения доказательства ( Ь) заметим, что разложение в ряд Тейлора х () в точке t 0 есть целая функция, которая должна совпадать с х ( t) на 0 t оо. [39]
Для завершения доказательства остается установить ( предоставляем это читателю) ограниченность последовательности г - тогда последовательность г, а вместе с ней и последовательность х содержит сходящуюся по и - норме подпоследовательность, откуда вытекает ее сходимость. [40]
Для завершения доказательства остается применить утверждение Сдв. [41]
Для завершения доказательства остается воспользоваться равенством аи, х - ОУ, х ои, v, установленным в ( 4), и тем, что все гомоморфизмы а - мономорфизмы. [42]
Для завершения доказательства покажем, что коцепное отображение fg гомотопно тождественному. [43]
Для завершения доказательства используем - тот факт, что К является абсолютным окрестностным рет-рактом. [44]
Для завершения доказательства остается заметить, что поскольку А содержит все - мерные клетки нз Х Л, пара ( X1, А) клеточно - связна. [45]