Теорема Рімана — Роха — твердження в комплексному аналізі, що визначає розмірність векторного простору мероморфних функцій ріманової поверхні з нулями і полюсами визначених порядків в заданих точках поверхні. Названа на честь німецьких математиків Бернхарда Рімана і Ґустава Роха.
Допоміжні визначення
Нехай X — компактна ріманова поверхня роду g. Групою дивізорів цієї поверхні називається вільна абелева група породжена точками X. Елементами є скінченні суми . Дивізор називається додатним (позначається ), якщо всі . Також використовується позначення якщо . Порядок дивізора визначається як . Для мероморфної функції f визначеної в X можна визначити дивізор , де — нулі і полюси функції f і , якщо — нуль порядку a і , якщо — полюс порядку a. Дивізори D для яких існує мероморфна функція f така, що називаються головними. Два дивізори називаються лінійно еквівалентними, якщо їх різниця є головним дивізором. Оскільки порядок довільного головного дивізора рівний нулю то можна говорити також про порядок класу лінійної еквівалентності дивізорів. Якщо — диференційна мероморфна 1-форма на ній подібно до мероморфної функції можна задати дивізор. Оскільки то всі такі дивізори (канонічні дивізори) належать одному класу. Такі дивізори найчастіше позначаються K. Позначимо тепер
- .
Дана множина є векторним простором над полем комплексних чисел. Його розмірність позначається .
Твердження теореми
З використанням введених вище позначень твердження теореми для X — компактної ріманової поверхні роду g запишеться:
Література
- Jost, Jürgen (2006), Compact Riemann Surfaces, Berlin, New York: Springer-Verlag,
- Shigeru Mukai; William Oxbury (translator) (2003). An Introduction to Invariants and Moduli. Cambridge studies in advanced mathematics. 81. New York: Cambridge University Press. .
- Misha Kapovich [ 8 серпня 2009 у Wayback Machine.], The Riemann-Roch Theorem [ 7 жовтня 2008 у Wayback Machine.]
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Teorema Rimana Roha tverdzhennya v kompleksnomu analizi sho viznachaye rozmirnist vektornogo prostoru meromorfnih funkcij rimanovoyi poverhni z nulyami i polyusami viznachenih poryadkiv v zadanih tochkah poverhni Nazvana na chest nimeckih matematikiv Bernharda Rimana i Gustava Roha Dopomizhni viznachennyaNehaj X kompaktna rimanova poverhnya rodu g Grupoyu divizoriv div X displaystyle operatorname div X ciyeyi poverhni nazivayetsya vilna abeleva grupa porodzhena tochkami X Elementami div X displaystyle operatorname div X ye skinchenni sumi niPi n1 Z Pi X displaystyle sum n i P i n 1 in mathbb Z P i in X Divizor D niPi displaystyle D sum n i P i nazivayetsya dodatnim poznachayetsya D 0 displaystyle D geq 0 yaksho vsi ni 0 displaystyle n i geq 0 Takozh vikoristovuyetsya poznachennya D D1 displaystyle D geq D 1 yaksho D D1 0 displaystyle D D 1 geq 0 Poryadok divizora deg D displaystyle deg D viznachayetsya yak deg D ni displaystyle deg D sum n i Dlya meromorfnoyi funkciyi f viznachenoyi v X mozhna viznachiti divizor div f niPi displaystyle operatorname div f sum n i P i de Pi displaystyle P i nuli i polyusi funkciyi f i ni a displaystyle n i a yaksho Pi displaystyle P i nul poryadku a i ni a displaystyle n i a yaksho Pi displaystyle P i polyus poryadku a Divizori D dlya yakih isnuye meromorfna funkciya f taka sho D div f displaystyle D operatorname div f nazivayutsya golovnimi Dva divizori nazivayutsya linijno ekvivalentnimi yaksho yih riznicya ye golovnim divizorom Oskilki poryadok dovilnogo golovnogo divizora rivnij nulyu to mozhna govoriti takozh pro poryadok klasu linijnoyi ekvivalentnosti divizoriv Yaksho w displaystyle omega diferencijna meromorfna 1 forma na nij podibno do meromorfnoyi funkciyi mozhna zadati divizor Oskilki div fw div f div w displaystyle operatorname div f omega operatorname div f operatorname div omega to vsi taki divizori kanonichni divizori nalezhat odnomu klasu Taki divizori najchastishe poznachayutsya K Poznachimo teper L D f M X div f D 0 displaystyle L D left f in M X operatorname div f D geq 0 right Dana mnozhina ye vektornim prostorom nad polem kompleksnih chisel Jogo rozmirnist poznachayetsya ℓ D displaystyle ell D Tverdzhennya teoremiZ vikoristannyam vvedenih vishe poznachen tverdzhennya teoremi dlya X kompaktnoyi rimanovoyi poverhni rodu g zapishetsya ℓ D ℓ K D deg D 1 g displaystyle ell D ell K D deg D 1 g LiteraturaJost Jurgen 2006 Compact Riemann Surfaces Berlin New York Springer Verlag ISBN 978 3 540 33065 3 Shigeru Mukai William Oxbury translator 2003 An Introduction to Invariants and Moduli Cambridge studies in advanced mathematics 81 New York Cambridge University Press ISBN 0 521 80906 1 Misha Kapovich 8 serpnya 2009 u Wayback Machine The Riemann Roch Theorem 7 zhovtnya 2008 u Wayback Machine