Content deleted Content added
Osmium2356 (talk | contribs) m Clarified some wording in the proof. |
Osmium2356 (talk | contribs) m Fleshed out introduction. |
||
Line 1:
In [[complex analysis]], the '''open mapping theorem''' states that if ''U'' is a [[Domain (mathematical analysis)|___domain]] of the [[complex plane]] '''C''' and ''f'' : ''U'' → '''C''' is a non-constant [[holomorphic function]], then ''f'' is an [[open map]] (i.e. it sends open subsets of ''U'' to open subsets of '''C''', and we have [[Invariance of ___domain|invariance of ___domain]].).
The open mapping theorem points to the sharp difference between holomorphy and real-differentiability. On the [[real line]], for example, the differentiable function ''f''(''x'') = ''x''<sup>2</sup> is not an open map, as the image of the [[open interval]] (−1, 1) is the half-open interval [0, 1).
The theorem for example implies that a non-constant [[holomorphic function]] cannot map an open disk ''[[onto]]'' a portion of any
==Proof==
| |||