פונקציה מרומורפית

פונקציה מֵרוֹמורפית היא פונקציה שהיא הולומורפית בכל המישור המרוכב מלבד בקבוצה של קטבים מבודדים. כל פונקציה כזו יכולה להירשם כמנה של שתי פונקציות הולומורפיות כאשר הפונקציה שבמכנה היא לא הקבוע אפס. בצורת הצגה זו של פונקציה מרומורפית הקטבים הם חלק מקבוצת הנקודות שבהן מתאפסת הפונקציה ההולומורפית שבמכנה.

הגדרה מתמטית
עבור תת-תחום  של המספרים המרוכבים (משמע ) הפונקציה  תיקרא מרומורפית ב- אם יש קבוצה בדידה של נקודות  כך ש- אנליטית בקבוצה  וכל הנקודות בקבוצה  הן או נקודות סינגולריות סליקות או קטבים של הפונקציה.

בניסוח שונה, פונקציה מרומורפית בקבוצה  היא פונקציה מ- לתוך הספירה של רימן שהיא הולומורפית בכל נקודה - גם בנקודות שתמונתן היא  ושהיא אינה הפונקציה הקבועה המקבלת את הערך .

דוגמאות

פונקציות רציונליות הן מרומורפיות במישור המרוכב.

הפונקציה  היא מרומורפית בכל המישור המרוכב. לפונקציה זו יש אינסוף קטבים.

פונקציית זטא של רימן ופונקציית גמא הן מרומורפיות בכל המישור המרוכב.

הפונקציה  איננה מרומורפית בכל המישור המרוכב משום שיש לה סינגולריות עיקרית ב-0.

תכונות

אוסף הפונקציות המרומורפיות בתחום  מהווה שדה, כלומר הוא סגור לחיבור, חיסור, כפל וחילוק. זהו שדה השברים של חוג הפונקציות ההולומורפיות. שדה זה הוא הרחבה של שדה המספרים המרוכבים (שמוכל בשדה הפונקציות המרומורפיות כפונקציות הקבועות).

את ההגדרה של פונקציה מרומורפית ניתן להרחיב לפונקציות מרוכבות המוגדרות על משטח רימן (לדוגמה, הספירה של רימן או עקום אליפטי). אם העקום הוא קומפקטי, שדה הפונקציות המרומורפיות עליו הוא הרחבת שדות מדרגת טרנסצנדנטיות 1 של המרוכבים.

ממדים גבוהים

עבור יריעות מרוכבות בממד גבוה, מגדירים פונקציה מרומורפית בתור מנה של שתי פונקציות הולומורפיות.

קישורים חיצוניים



קטגוריה:ערכים שבהם תבנית בריטניקה אינה מתאימה
קטגוריה:אנליזה מרוכבת
מרומורפית