Talk:Open mapping theorem

Shouldn't these two theorems have a disambiguation page? Yuliya 18:41, 11 April 2007 (UTC)

I agree. Besides that the two topics are not related, we should give a proof, if sketchy, of the open mapping theorem in functional analysis, and the current structure makes it clumsy (right word?) to do so. I am going to split the article in a near future, (or anyone with free time can do it), since I don't see opposition. -- Taku 00:06, 15 May 2007 (UTC)

Another important open mapping theorem is that a continuous map with a finite dimensional target is open at a point if its differential at that point exists and is surjective. E.g., it can be used to show quite generally (without derivatives being continuous) that Lagrange multiplier methods work. Cf., http://www.math.rutgers.edu/~sussmann/papers/paper-lindquist-Festschrift-2002.pdf. I might be a little biased about its importance, though, since one of my I guess weird opinions is that I am inclined to think it can and should be used to make the proof of inverse function theorem easier. Stephen A. Meigs 16:17, 22 July 2007 (UTC)

shall we continue to exclude invariance of domain/dimension?
i notice the 'see also' here https://en.wikipedia.org/wiki/Invariance_of_domain has 'Open mapping theorem for other conditions that ensure that a given continuous map is open.' i find it fun to think of invariance of domain as part of a category of theorems that conclude that a continuous map is open

Thewriter006 (talk) 03:12, 28 April 2021 (UTC)