Open mapping theorem (complex analysis): Difference between revisions

Revision as of 10:19, 4 February 2013

Revision as of 10:21, 4 February 2013

Line 1:

In [[complex analysis]], the '''open mapping theorem''' states that if ''U'' is ana open subset___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''').

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''² is not an open map, as the image of the [[open interval]] (−1, 1) is the half-open interval [0, 1).