Идеальная карта - Perfect map

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

Формальное определение

Позволять и быть топологические пространства и разреши быть картой из к то есть непрерывный, закрыто, сюръективный и такой, что каждый волокно является компактный относительно для каждого в . потом известна как идеальная карта.

Примеры и свойства

1. Если идеальная карта и является компактный, тогда компактный.

2. Если идеальная карта и является обычный, тогда регулярно. (Если просто непрерывно, то даже если регулярно, не обязательно быть регулярным. Пример этого: если это обычное пространство и - бесконечное множество в недискретной топологии.)

3. Если идеальная карта, и если является локально компактный, тогда локально компактно.

4. Если идеальная карта, и если второй счетный, то является второй счетный.

5. Каждые инъективный идеальная карта - это гомеоморфизм. Это следует из того, что биективное замкнутое отображение имеет непрерывное обратное.

6. Если идеальная карта, и если является связаны, тогда не нужно подключать. Например, постоянная карта из компактного несвязного пространства в одноэлементное пространство является идеальной картой.

7. Совершенная карта не обязательно должна быть открытой. Действительно, рассмотрим карту данный если и если Это отображение замкнутое, непрерывное (по вставка леммы ), сюръективно и поэтому является совершенным отображением (другое условие выполняется тривиально). Тем не мение, п не открыто, для изображения [1, 2] под п является [1, 2] который не открыт относительно [1, 3] (диапазон п). Обратите внимание, что эта карта факторная карта и операция факторного "склеивания" двух интервалов вместе.

8. Обратите внимание, как сохранить такие свойства, как локальная связанность, вторая счетность, локальная компактность и т.д. ... карта должна быть не только непрерывной, но и открытой. Совершенная карта не обязательно должна быть открыта (см. Предыдущий пример), но эти свойства по-прежнему сохраняются в идеальных картах.

9. Каждый гомеоморфизм - совершенное отображение. Это следует из того, что биективный открытое отображение замкнуто и, поскольку гомеоморфизм инъективен, обратный к каждому элементу диапазона должен быть конечным в области (фактически, обратный должен иметь ровно один элемент).

10. Каждая совершенная карта является факторной картой. Это следует из того факта, что замкнутое непрерывное сюръективное отображение всегда является фактор-отображением.

11. Пусть грамм - компактная топологическая группа, непрерывно действующая на Икс. Тогда фактор-карта из Икс к Икс/грамм идеальная карта.

Смотрите также

Рекомендации

  • Мункрес, Джеймс (1999). Топология (2-е изд.). Prentice Hall. ISBN  0-13-181629-2.