В математической области комплексного анализа мероморфная функция на открытом подмножестве D комплексной плоскости — это функция , голоморфная на всем D , за исключением набора изолированных точек , которые являются полюсами функции. [1] Этот термин происходит от греческого слова мерос (μέρος), что означает «часть». [а]
Каждую мероморфную функцию на D можно выразить как отношение двух голоморфных функций (со знаменателем, отличным от постоянного 0), определенных на D : любой полюс должен совпадать с нулем знаменателя.
Интуитивно понятно, что мероморфная функция представляет собой отношение двух корректных (голоморфных) функций. Такая функция по-прежнему будет вести себя хорошо, за исключением, возможно, тех точек, где знаменатель дроби равен нулю. Если в знаменателе есть ноль в точке z , а в числителе нет, то значение функции будет стремиться к бесконечности; если обе части имеют нуль в точке z , то надо сравнить кратность этих нулей.
С алгебраической точки зрения, если область определения функции связна , то множество мероморфных функций представляет собой поле частных области определения целого множества голоморфных функций. Это аналогично взаимосвязи между рациональными числами и целыми числами .
И область исследования, в которой используется этот термин, и точное значение этого термина изменились в 20 веке. В 1930-х годах в теории групп мероморфная функция (или мероморф ) представляла собой функцию из группы G в себя, сохраняющую произведение на группе. Образ этой функции был назван автоморфизмом G . [2] Точно так же гомоморфная функция (или гомоморф ) была функцией между группами, которая сохраняла произведение, а гомоморфизм был образом гомоморфа. Эта форма термина сейчас устарела, и родственный термин «мероморф» больше не используется в теории групп. Термин эндоморфизм теперь используется для самой функции, без специального названия, присвоенного образу функции.
Мероморфная функция не обязательно является эндоморфизмом, поскольку комплексные точки на ее полюсах не находятся в ее области определения, но могут находиться в ее диапазоне.
Поскольку полюса изолированы, у мероморфной функции их не более счетного числа. [3] Множество полюсов может быть бесконечным, примером чего является функция
Используя аналитическое продолжение для устранения устранимых особенностей , мероморфные функции можно складывать, вычитать , умножать, а частное можно формировать разве что на компоненте связности D. Таким образом, если D связен, мероморфные функции образуют поле , фактически расширение поля комплексных чисел .
В нескольких комплексных переменных мероморфная функция определяется как локальное частное двух голоморфных функций. Например, — мероморфная функция в двумерном комплексном аффинном пространстве. Здесь уже неверно, что всякую мероморфную функцию можно рассматривать как голоморфную функцию со значениями в сфере Римана : существует множество «неопределённостей» коразмерности два (в данном примере это множество состоит из начала координат ).
В отличие от размерности один, в более высоких измерениях существуют компактные комплексные многообразия , на которых нет непостоянных мероморфных функций, например, сложнейшие торы .
На римановой поверхности каждая точка допускает открытую окрестность, биголоморфную открытому подмножеству комплексной плоскости. Тем самым понятие мероморфной функции можно определить для любой римановой поверхности.
Когда D — вся сфера Римана , поле мероморфных функций — это просто поле рациональных функций от одной переменной над комплексным полем, поскольку можно доказать, что любая мероморфная функция на сфере рациональна. (Это частный случай так называемого принципа GAGA .)
Для каждой римановой поверхности мероморфная функция — это то же самое, что голоморфная функция, которая отображается в сферу Римана и не является постоянной функцией, равной ∞. Полюса соответствуют тем комплексным числам, которые отображаются в ∞.
На некомпактной римановой поверхности каждая мероморфная функция может быть реализована как фактор двух (глобально определенных) голоморфных функций. Напротив, на компактной римановой поверхности каждая голоморфная функция постоянна, тогда как всегда существуют непостоянные мероморфные функции.
