素人のコピペより、AIの解説のほうがマシ（笑）

多変数複素関数論における openness theorem（開性定理） は、
複素多様体や複素解析空間の文脈で重要な結果で、
特に 正則関数の像に関する性質 を述べるものです。
以下にその概要を簡潔に説明します。

開性定理とは
開性定理は、多変数の正則関数（holomorphic function）の像が「開集合」になるという性質を保証する定理です。
具体的には、次のように述べられます：

定理（開性定理）：
複素数空間 C^n の開集合 U⊂C^n から C^m への正則関数 f:U→C^mが与えられたとき、
もし f が 局所的に単射（locally injective）であるか、
またはヤコビ行列のランクがある点で最大である場合、
f の像 f(U) は C^m において開集合となる。