單葉函數

單葉函數（univalent function）是數學領域中的複分析對函數的一種分類，若一全純函數的定義域為複數平面中的一開集，而函數為單射函數，此函數即為單葉函數。

若$f$為一全純函數，且滿足下式

$\forall x_{1},x_{2}:x_{1}\neq x_{2}\Rightarrow f(x_{1})\neq f(x_{2})$

則$f$為單葉函數。

舉例

任何由開集單位圓盤映射到本身的映射$\phi _{a}(z)={\frac {z-a}{1-{\bar {a}}z}}$（其中$|a|\leq 1$）為單葉函數。

基本性質

若$G$及$\Omega$為二個複數平面中的開集連通空間，且

$f:G\to \Omega$

是一個滿足$f(G)=\Omega$的單葉函數（有一對一的對應關係），則$f$導數恆不為0，$f$可逆，而且其逆元素$f^{-1}$也是全純函數。依鏈式法則可得到下式：

$(f^{-1})'(f(z))={\frac {1}{f'(z)}}$

對所有$G.$中的複數$z$皆成立。

和實函數的比較

實解析函數和全純函數不同，上述的性質在實解析函數中不成立，考慮以下的函數：

$f:(-1,1)\to (-1,1)\,$

由ƒ(x) = x³。此函數也是單射函數，但在x = 0處其導數為0，其逆元素在 (−1, 1)區間中也不完全是解析函數，也不完全可微。

參考資料

• John B. Conway. Functions of One Complex Variable I. Springer-Verlag, New York, 1978. ISBN 0-387-90328-3.
• John B. Conway. Functions of One Complex Variable II. Springer-Verlag, New York, 1996. ISBN 0-387-94460-5.