Open Mapping Theorem (complex Analysis)
In complex analysis, the open mapping theorem states that if U is a 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) = x2 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 real line embedded in the complex plane. Images of holomorphic functions can be of real dimension zero (if constant) or two (if non-constant) but never of dimension 1.
Read more about Open Mapping Theorem (complex Analysis): Proof, Applications
Famous quotes containing the words open and/or theorem:
“Listen to me, as if I were Sybaris barking with all his heads, at the gates of Hell, I will tell you where to take it. But don’t ... don’t open the box!”
—A.I. (Albert Isaac)
“To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
—Albert Camus (1913–1960)