2
$\begingroup$

I'm wondering what open mappings are actually good for (except for inverse becomes continuous)???

My irritation came since, people stress that an open mapping not necessarily preserves closed sets (well, sure, I mean closed maps are some totally different subject since they don't describe neigbborhoods).

I cannot imagine any other purpose despite quotient maps or homeomorphisms but thats again about some continuity issues; maybe you know some problem where this becomes really important...

$\endgroup$
9
  • $\begingroup$ Open Mapping Theorem in functional analysis? The fact that a continuous and open bijection is a homeomorphism? $\endgroup$
    – Asaf Karagila
    Commented Feb 2, 2014 at 5:31
  • 6
    $\begingroup$ Open maps are very useful for finding directions in a strange place. $\endgroup$
    – copper.hat
    Commented Feb 2, 2014 at 5:33
  • $\begingroup$ Well, yes, but why would you consider then closed maps in general! as well? $\endgroup$ Commented Feb 2, 2014 at 5:34
  • $\begingroup$ What directions? $\endgroup$ Commented Feb 2, 2014 at 5:35
  • 1
    $\begingroup$ @Freeze_S: Sorry, I was having a little fun at your question's expense! $\endgroup$
    – copper.hat
    Commented Feb 2, 2014 at 5:37

3 Answers 3

8
$\begingroup$

How about this: as soon as you know a mapping is open, you know that maxima can't be achieved on the interior of sets (if our codomain is $\mathbb{R}$ or $\mathbb{C}$ for example): consider $f: X \rightarrow Y$ an open map. Then $f(\Omega)$ is open in $Y$, so $f(\Omega)$ cannot contain an element with maximal norm.

$\endgroup$
1
  • $\begingroup$ That is a really nice idea ...turning the argument around a closed but not necessarily open nor continuous real valued map either achieves its maximum and minimum or is unbounded ...and the nice thing is this does not need compactness as in the extreme value theorem ...oups, that is trivially true oO $\endgroup$ Commented Feb 2, 2014 at 7:19
0
$\begingroup$

Open and closed maps become useful when combined with continuity!

Open/Closed Maps:

For a continuous and open/closed map we have:

If it is injective then it is an embedding.
If it is surjective then it is a quotient map.
If it is bijective then it is a homeomorphism.

Note: Neither embeddings nor quotient maps are necessarily open/closed
but homeomorphisms are necessarily open/closed.

Closed Map Lemma:

Continuous maps from compact spaces to Hausdorff spaces are closed.

$\endgroup$
0
$\begingroup$

A result in complex analysis says that all (non-constant) holomorphic functions are open maps. This allows for all sorts of nifty results, such as this one: an injective holomorphic function can never have zero derivative.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .