הצגת המקור של הדף "גבול (טופולוגיה)"

{{להשלים|כל הערך=כן|נושא=מדעי הטבע}}
מושג ה'''גבול''' ב[[טופולוגיה]] מרחיב את מושג ה[[גבול (מתמטיקה)|גבול]] ב[[חשבון אינפיניטסימלי|חשבון אינפיניטיסמלי]] בפרט וב[[מרחב מטרי|מרחבים מטריים בכלל]].

'''נקודת גבול''' של [[קבוצה (מתמטיקה)|קבוצה]] במרחב טופולוגי היא אבר (נקודה) במרחב הטופולוגי שבכל סביבה פתוחה שלה נמצאת נקודה אחרת השייכת לקבוצה. נקודת גבול של קבוצה נקראת גם [[נקודת הצטברות]] של הקבוצה.

מושג חשוב נוסף הוא '''גבול''' של [[סדרה (מתמטיקה)|סדרה]], שהוא נקודה במרחב שה[[סדרה מתכנסת]] אליה (הגדרה מדויקת מופיעה בהמשך). מושג זה מכליל את מושג ה[[גבול של סדרה]] מן החשבון האינפיניטסימלי.

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

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

== גבול של סדרה ==
יהא <math>X</math> [[מרחב טופולוגי]] ותהא <math> (x_n) </math> סדרה של נקודות ב-<math>X</math>. נקודה <math>x \in X</math> היא '''גבול''' של הסדרה <math>{x_n}</math> אם בכל [[סביבה (טופולוגיה)|סביבה]] של x נמצאים כל אברי הסדרה למעט מספר סופי. ב[[מרחב מטרי]] אפשר לנסח את ההתכנסות במונחי המטריקה: הסדרה <math>{x_n}</math> מתכנסת ל-<math>x</math> אם
לכל <math>\ \varepsilon > 0</math> מתקיים ממקום מסוים ואילך <math>d({x_k},x)<\varepsilon</math>.

== גבול של רשת ==

'''קבוצה מכוונת''' היא קבוצה סדורה חלקית שבה לכל שני איברים <math>\ \delta,\delta'</math> קיים איבר <math> \delta'' </math> שגדול משניהם. '''רשת''' במרחב X היא מערכת של נקודות <math>\ x_\delta</math> במרחב, כאשר קבוצת האינדקסים היא [[קבוצה מכוונת]]. נקודה y היא '''גבול''' של הרשת אם לכל סביבה <math>\ y \in U</math>, אברי הרשת שייכים אליה לבסוף (כלומר קיים <math>\ \delta_0</math> כך שאם <math>\ \delta>\delta_0</math> אז <math>\ x_{\delta} \in U</math>). בניגוד לגבולות של סדרות, הכרת כל הגבולות של רשתות מאפשרת לשחזר את הטופולוגיה במלואה (כלומר, שתי טופולוגיות על X שעבורן לכל רשת יש אותן נקודות גבול, מוכרחות להיות שוות זו לזו).

== דוגמאות ==
*במרחב טריוויאלי <math>\{ X,\phi \} </math>, כל סדרה שהיא מתכנסת לכל נקודה שהיא. אכן, לכל סדרה, עבור נקודה מסוימת הסביבה היחידה שלה היא X עצמה, ו־X אכן מכילה (כמעט) את כל איברי הסדרה. זו דוגמה לכך שלא כל מרחב טופולוגי הוא [[מרחב האוסדורף]], שכן סדרות לא מתכנסות לגבול יחיד.
* בכל מרחב טופולוגי, סדרה קבועה מתכנסת לערך הקבוע.
* במרחב דיסקרטי, כלומר ב-<math>(X,p(X))</math>, סדרה תתכנס ל-x אם ורק אם היא קבועה החל ממקום מסוים, שכן כמעט כל איבריה צריכים להיות מוכלים בקבוצה הפתוחה <math>\{x\}</math>.
* ב[[מרחב מטריזבילי]], סדרה מתכנסת אם ורק אם היא מתכנסת לפי המטריקה במרחב המטרי המתאים.
* ב[[מרחב סירפינסקי]], שנתון מעל הקבוצה <math>X=\{ a,b\} </math>, עם הטופולוגיה <math>\{ \{ a,b\},\phi,\{ a\} \} </math>, כל סדרה תתכנס ל-b (שכן סביבתו היחידה היא X כולה), וסדרה תתכנס ל-a אם ורק אם כל איבריה הם a החל ממקום מסוים (שכן כמעט כל איבריה צריכים להיות מוכלים בסביבה <math>\{a\}</math> של a).
* אם מרחב אחד מוכל במרחב אחר, אזי התכנסות סדרה במרחב הגדול, תגרור התכנסותה במרחב הקטן ולאותו הגבול. ההפך לא בהכרח נכון (למשל - ב[[הישר של סורגנפריי|ישר של סורגנפריי]], הסדרה <math>{ \{ - \frac { 1 }{ n } \} }_{ n\in N }</math> לא מתכנסת, אך היא מתכנסת בממשיים).

== רשתות ומסננים ==

רשתות ומסננים הם כלים חזקים יותר מסדרות (סדרה היא רשת על [[מספר טבעי|המספרים הטבעיים]]). הם שקולים זה לזה (לכל רשת יש מסנן הנגזר ממנה, ולכל מסנן יש רשתות הנגזרות ממנו, וכולם מתכנסים יחד), ולכן נסתפק בהמשך בתיאור התוצאות בשפת הרשתות:
* בכל מרחב טופולוגי, נקודה שייכת לסגור של קבוצה A אם ורק אם יש רשת ב-A המתכנסת אליה;
* מרחב טופולוגי הוא [[מרחב האוסדורף|האוסדורף]] אם ורק אם כל רשת מתכנסת לנקודה אחת לכל היותר;
* פונקציה בין מרחבים טופולוגיים היא רציפה אם ורק אם היא שומרת על גבולות של רשתות מתכנסות;
* מרחב הוא [[מרחב קומפקטי|קומפקטי]] אם ורק אם לכל רשת יש תת-רשת מתכנסת;
* שתי טופולוגיות על מרחב X הן שוות אם ורק אם כל רשת המתכנסת באחת מהן מתכנסת גם בשנייה.
אף אחד מהמשפטים האלה אינו נכון באופן כללי עבור סדרות.

== ראו גם ==
* [[גבול של סדרה]]
* [[נקודת הצטברות]]

== מקורות ==
* [https://www.math.utoronto.ca/ivan/mat327/docs/other/nets.pdf Nets and Filters (are better than sequences)]

[[קטגוריה:טופולוגיה]]
[[en:Net (mathematics)]]
[[de:Netz (Topologie)]]
[[es:Red (matemática)]]
[[fr:Suite généralisée]]
[[it:Rete (matematica)]]
[[ja:有向点族]]
[[pl:Ciąg uogólniony]]
[[pt:Sequência generalizada]]
[[sv:Nät (matematik)]]
[[zh:網 (數學)]]