הצגת המקור של הדף "פונקציות מרוכבות/טופולוגיה במישור"

{{פונקציות מרוכבות}}
''הערה: בפרק זה אין הבדל בין <math>\R^2</math> ל־<math>\Complex</math> , לכן ארשה לעצמי להחליף ביניהם כשיהיה צורך כדי להקל הגדרות מסוימות.''

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

==קבוצות פתוחות וסגורות==
{{הגדרה|מספר=|שם=כדור פתוח|תוכן=
הכדור הפתוח סביב המספר המרוכב <math>z_0</math> ברדיוס <math>r</math> הוא קבוצת המספרים המרוכבים
:<math>B(z_0,r)=\{z\in\Complex:\|z-z_0\|<r\}</math>
}}

באופן מתאים, ניתן להגדיר:
{{הגדרה|מספר=|שם=כדור סגור|תוכן=
הכדור הסגור סביב המספר המרוכב <math>z_0</math> ברדיוס <math>r</math> הוא קבוצת המספרים המרוכבים
:<math>\bar B(z_0,r)=\{z\in\Complex:\|z-z_0\|\le r\}</math>
}}
קל לראות מאיפה מגיעה האינטואיציה להגדרה הנ"ל. הכדור הפתוח, הוא אוסף כל הנקודות שמרחקן מהנקודה <math>z_0</math> קטן יותר מ־<math>r</math> , לא כולל. הכדור הסגור הוא האיחוד של הכדור הפתוח עם השפה של הכדור. נגדיר מתמטית את הכוונה שלנו ב"שפת הכדור":
{{הגדרה|מספר=|שם=שפת כדור|תוכן=
שפת הכדור סביב המספר המרוכב <math>z_0</math> ברדיוס <math>r</math> היא קבוצת המספרים המרוכבים
:<math>\partial B(z_0,r)=\{z\in\Complex:\|z-z_0\|=r\}</math>
}}
זהו בעצם המעגל סביב <math>z_0</math> שרדיוסו <math>r</math> . 

הקשר בין ההגדרות הנ"ל הוא כדלהלן:
:<math>\bar B(z_0,r)=B(z_0,r)\cup\partial B(z_0,r)</math>
כעת נגיע להגדרות המרכזיות של הפרק הזה:
{{הגדרה|מספר=|שם=קבוצה פתוחה|תוכן=
קבוצה <math>A\sube\Complex</math> תקרא '''פתוחה''' אם לכל <math>z\in A</math> קיים <math>r>0</math> עבורו
:<math>B(z,r)\sube A</math>
}}

'''שים לב''': הקבוצה הריקה היא פתוחה. למרות שאפשר לנמק זאת לוגית, אפשר לראות בזה גם כסוג של קונוונציה.

קל להבחין בעובדות הבאות בנוגע לקבוצות פתוחות:
{{טענה|מספר=|שם=תכונות יסודיות של קבוצות פתוחות|תוכן=
#הקבוצה <math>\Complex</math> היא קבוצה פתוחה.
#אם <math>\{U_j\}_{j\in J}</math> אוסף כלשהו של קבוצות פתוחות, אזי <math>\bigcup_{j\in J}U_j</math> קבוצה פתוחה.
#אם <math>U,V</math> קבוצות פתוחות, אזי <math>U\cap V</math> קבוצה פתוחה.
}}
למרות שתינתן ההוכחה לכך בספר זה, הקורא מתבקש לנסות להוכיח את התכונות האלו בעצמו כדי לוודא שהוא הבין את ההגדרות כראוי.

קודם הגדרנו "כדור פתוח", השאלה האם השם שנתנו לו באמת מוצדק ביחס להגדרה החדשה? הטענה הבאה תראה שכן.
{{טענה|מספר=|שם=כדור פתוח הוא קבוצה פתוחה|תוכן=
לכל <math>a\in\Complex,r>0</math> הקבוצה <math>B(a,r)</math> היא קבוצה פתוחה.
}}

האינטואיציה האנושית אומרת שאם יש משהו פתוח, אז יש גם משהו סגור. ההגדרה הבאה תראה זאת:
{{הגדרה|מספר=|שם=קבוצה סגורה|תוכן=
קבוצה <math>A\sube\Complex</math> תקרא '''סגורה''' אם המשלים שלה הוא קבוצה פתוחה.
}}
שים לב! קבוצות הן לא דלתות, קבוצה סגורה היא '''לא''' ההפך מקבוצה פתוחה. למשל, הקבוצה הריקה היא קבוצה פתוחה וסגורה.

==הסגור, הפנים והשפה==
{{הגדרה|שם=סגור|תוכן=תהי <math>S\subseteq\C</math> קבוצה במישור המרוכב. '''הסגור''' של <math>S</math>, המסומן <math>\overline S</math> או <math>\text{Cl}(S)</math>, הוא הקבוצה הסגורה המינימלית המכילה את <math>S</math>. כלומר אם <math>\{U_i\}_{i\in I}</math> הוא אוסף הקבוצות הסגורות כך ש<math>S\subseteq U_i</math> לכל <math>i\in I</math>, אז <math>\overline A=\bigcap_{i\in I}U_i</math>.}}
{{הגדרה|שם=פנים|תוכן=תהי <math>S\subseteq\C</math> קבוצה במישור המרוכב. '''הפנים''' של <math>S</math>, המסומן <math>S^\circ</math> או <math>\text{Int}(S)</math>, הוא הקבוצה הפתוחה המקסימלית המוכלת ב<math>S</math>. נגדיר אותה על פי <math>S^\circ=\{z|z\in S\land\exist r>0(r\in\R),B(z,r)\subseteq S\}</math>.}}
{{הגדרה|שם=שפה|תוכן=תהי <math>S\subseteq\C</math> קבוצה במישור המרוכב. '''השפה''' של <math>S</math>, המסמונת <math>\partial S</math>, מוגדרת על פי <math>\partial S=\overline S\setminus S^\circ</math>, כלומר היא אוסף הנקודות המפרידות בין <math>S</math> לשאר המישור המרוכב.}}

==סדרות וטורים==
==פונקציות רציפות ומסילות==
==קשירות וקשירות מסילתית==
==קבוצות קומפקטיות ומשפט היינה–בורל==
{{פונקציות מרוכבות|מוגבל}}

[[קטגוריה:פונקציות מרוכבות]]