Fungsi univalen

Untuk kegunaan lain, lihat Univalen

Dalam analisis kompleks, suatu fungsi holomorfik pada suatu himpunan bagian terbuka dari bidang kompleks disebut univalen jika fungsi tersebut adalah fungsi injektif.

Contoh

Misalkan $B_r(a)=\{z\in ℂ:|z-a|<r\}$ adalah cakram terbuka dari himpunan semua bilangan kompleks, maka fungsi $f:z\mapsto {(z+1)}^2$ adalah fungsi univalen pada $B_1(0)$, sebab persamaan $f(p)=f(q)$ (dengan $p,q\in B_1(0)$) mengakibatkan $$\begin{array}{cc}0& =f(q)-f(p)\\ & ={(q+1)}^2-{(p+1)}^2\\ & =(q+p+2)(q-p)\end{array}$$ Oleh karena $q+p+2\ne 0$, maka $q-p=0$, sehingga terbukti bahwa fungsi $f$ injektif pada $B_1(0)$.

Sifat dasar

Jika $D_1$ dan $D_2$ adalah dua himpunan terbuka terhubung pada bidang kompleks, dan $f:D_1\to D_2$ adalah fungsi univalen sedemikian sehingga $$f(D_1)=D_2$$ (atau dengan kata lain, fungsi $f$ bersifat surjektif), maka

• $f^{\prime }(a)\ne 0\mathrm{\forall }a\in D_1$
• fungsi $f$ memiliki invers
• $f^{-1}(z)$ juga merupakan fungsi holomorfik

Lebih lanjut, berdasarkan kaidah rantai, diperoleh $$(f^{-1}{)}^{\prime }(f(z))=\frac{1}{f^{\prime }(z)}\mathrm{\forall }z\in D_1$$

Perbandingan dengan fungsi riil

Dibandingkan fungsi kompleks holomorfik, pernyataan-pernyataan ini gagal terpenuhi oleh fungsi riil analitik. Sebagai contoh, diberikan fungsi $f:(-1,1)\to (-1,1)$ dengan $$f(x)=x^3$$ Terlihat jelas bahwa fungsi $f$ adalah fungsi injektif, namun turunannya bernilai $0$ saat $x=0$, dan inversnya tidak analitik, atau bahkan terdiferensialkan, pada seluruh interval $(-1,1)$. Akibatnya, saat domain fungsinya diperbesar menjadi himpunan terbuka $D_1\subset ℂ$, maka fungsinya gagal bersifat injektif, sebab $$f(k\omega )=f(k)\text{namun}k\omega \ne k$$ dengan $\omega =\{e^{\frac{2}{3}\pi i},e^{\frac{4}{3}\pi i}\}$ dan $k$ adalah bilangan riil positif yang kurang dari jari-jari $D_1$ sebagai persekitaran dari $0$.

Lihat juga

• Pemetaan biholomorfik
• Teorema De Branges
• Teorema Koebe perempat
• Teorema pemetaan Riemann
• Kriteria Nevanlinna

Referensi

• Templat:En iconTemplat:Cite book
• Templat:En iconTemplat:Cite book
• Templat:En iconTemplat:Cite book
• Templat:En iconTemplat:Cite book
• Templat:En iconTemplat:Cite journal
• Templat:En iconTemplat:Cite book