Открытое инъективное отображение является вложением (в смысле индуцированной топологии)
Как доказать такого рода утверждение?
Мои рассуждения:
Пусть заданы топологические пространства

и

,

открыто и инъективно, необходимо доказать что

гомеоморфизм. То что это отображение биективно очевидно, в силу инъективности, поэтому существует и обратное отображение, в свою очередь в силу открытости отображения

обратное к нему будет непрерывным.
Теперь собственно вопросы, нет идей как доказать что само

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

индуцированна в

. Логично что тут как то его нужно использовать, но кроме того что индуцированная топология является самой грубой из всех топологий, таких что

непрерывно я не знаю больше свойств индуцированных топологий.
-- 10.02.2015, 22:44 --Пересмотрел записки лекции, все отображения подразумевались непрерывными, поэтому не нужно доказывать непрерывность

т.к. оно по условию непрерывно, поэтому это и гомеоморфизм.