משפט האינטגרל של קושי – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
מ הסרת הכתובת "כיתוב תמונה"
אנליטית -> הולומורפית
שורה 1:
ב[[אנליזה מרוכבת]], '''משפט אינטגרל קושי''' הוא משפט מרכזי ובעל השלכות רבות, העוסק בחישוב [[אינטגרל קווי]] של [[פונקציה|פונקציות]] [[פונקציה מרוכבת|מרוכבות]] [[פונקציה הולומורפית|הולומורפיות]]. בבסיסו, המשפט אומר כי אינטגרל קווי של פונקציה על מסלול סגור שווה לאפס אם הפונקציה רציפה על המסלול והולומורפית ב[[ציקלוס]] [[הומולוגי לאפס]] (נקרא גם תחום קושי) (ובפרט בתחום שסגור על ידי המסלול, אם תחום זה הוא [[תחום פשוט קשר|פשוט קשר]], כלומר אין בו "חורים"). הרחבה של המשפט עוסקת גם במקרה שבו יש חורים בתחום, או נקודות בתוכו שבהן הפונקציה אינה אנליטיתהולומורפית.
 
בין התוצאות של משפט זה ניתן למנות תוצאות חשובות רבות, כגון [[נוסחת האינטגרל של קושי]], [[משפט ליוביל (אנליזה מרוכבת)|משפט ליוביל]], [[המשפט היסודי של האלגברה]], [[משפט השאריות|משפט השארית]] ועוד. מהמשפט ניתן גם להסיק כי פונקציות הולומורפיות הן [[פונקציה אנליטית|אנליטיות]] - כלומר, ניתן לפתח אותן ל[[טור טיילור]].