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:
“All of the valuable qualities ... like helping in the development of others—will not get you to the top at General Motors, were that path open to women.... The characteristics most highly developed in women and perhaps most essential to human beings are the very characteristics that are specifically dysfunctional for success in the world as it is.... They may, however, be the important ones for making the world different.”
—Jean Baker Miller (20th century)
“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)