В математической теории функций одной или более сложных переменных, а также в сложной алгебраической геометрии, биголоморфизм или биголом орфическая функция является биективной голоморфной функцией, обратная которой также голоморфна.
Формально биголоморфная функция - это функция определено на открытом подмножестве U -мерного комплексного пространства C со значениями в C, который голоморфен и взаимно однозначно, так что его изображение является открытым множеством в C и обратное также является голоморфный. В более общем смысле U и V могут быть комплексными многообразиями. Как и в случае функций одной комплексной переменной, достаточным условием для того, чтобы голоморфное отображение было биголоморфным своему образу, является то, что отображение является инъективным, и в этом случае обратное также голоморфно (например, см. Ганнинг 1990, теорема I. 11).
Если существует биголоморфизм , мы говорим, что U и V биголоморфно эквивалентны или что они биголоморфны .
Если каждые односвязное открытое множество, отличное от всей комплексной плоскости, биголоморфно единичному кругу (это теорема об отображении Римана ). В высших измерениях ситуация совсем иная. Например, открытые единичные шары и открытые единичные полидиски не являются биголоморфно эквивалентными для На самом деле не существует даже правильной голоморфной функции от одного к другому.
В случае карт f: U → C, определенный на открытом подмножестве U комплексной плоскости C, некоторые авторы (например, Freitag 2009, определение IV.4.1) определяют конформное отображение быть инъективным отображением с ненулевой производной, т. Е. F '(z) ≠ 0 для любого z в U. Согласно этому определению отображение f: U → C конформно тогда и только тогда, когда f : U → f (U) является биголоморфным. Другие авторы (например, Conway 1978) определяют конформное отображение как отображение с ненулевой производной, не требуя, чтобы отображение было инъективным. Согласно этому более слабому определению конформности, конформное отображение не обязательно биголоморфна, даже если она локально биголоморфна. Например, если f: U → U определяется как f (z) = z с U = C - {0}, то f конформна на U, поскольку ее производная f ’(z) = 2z ≠ 0, но не биголоморфна, поскольку она равна 2-1.
. Эта статья включает в себя материал из биоголоморфного эквивалента на PlanetMath, который находится под лицензией Creative Commons Attribution / Share- Аналогичная лицензия.