開写像定理 (複素解析)
複素解析において，開写像定理（かいしゃぞうていり，英: open mapping theorem）は次のような定理である．U が複素平面 C の領域であり，f: U → C が定数でない正則関数であれば，f は開写像である（すなわち U の開集合を C の開集合に送る。また、領域不変性定理もある）．
開写像定理は正則性と実微分可能性の間のはっきりした違いを示している．例えば実数直線では可微分関数 f(x) = x² は開写像ではない，なぜならば開区間 (−1, 1) の像は半開区間 [0, 1) だからである．
定理は例えば定数でない正則関数は開円板を複素平面内の直線の一部の上へと写すことはできないことを意味している．正則関数の像は実次元 0（定数関数のとき）あるいは 2（定数でないとき）になりうるが，1 には決してならない．
証明
f: U → C を定数でない正則関数とし，U を複素平面の領域とする．f(U) に属するすべての点が f(U) の内点であること，すなわち f(U) のすべての点が f(U) に含まれる近傍（開円板）を持つことを示さなければならない．
f(U) 内の任意の w₀ を考える．すると U 内のある点 z₀ が存在して w₀ = f(z₀) となる．U は開だから，ある d > 0 が存在して，z₀ のまわりの半径 d の閉円板 B は U に完全に含まれる．関数 g(z) = f(z) − w₀ を考える．z₀ はその零点であることに注意．
g(z) は定数でない正則関数である．g の零点は一致の定理により孤立しており，必要ならば d を小さく取り直すことによって，g(z) は B 内に零点をただ1つしか持たないようにできる（がその重複度は 1 よりも大きいかもしれない）．
B の境界は円周でありしたがってコンパクトで，またその上で |g(z)| は正値連続関数なので，最大値の定理により正の最小値 e の存在が保証される，つまり，e は B の境界上の z に対する |g(z)| の最小値であり，e > 0 である．
D を w₀ のまわりの半径 e の開円板とする．ルーシェの定理により，関数 g(z) = f(z) − w₀ は，D 内の任意の w₁に対して h(z) := f(z) − w₁ と，B 内で（重複を込めて）同じ個数の零点を持つ．なぜならば，h(z) = g(z) + (w₀ − w₁) であり，B の境界上の z に対して |g(z)| ≥ e > |w₀ - w₁| だからである．したがって，D 内のすべての w₁ に対して，f(z₁) = w₁ なる z₁ ∈ B が少なくとも1つ存在する．これは円板 D が f(B) に含まれることを意味する．
B の像 f(B) は U の像 f(U) の部分集合である．したがって w₀ は f(U) の内点である．w₀ は f(U) の任意の点だったから，f(U) は開集合である．U は任意だったから，関数 f は開写像である．