גבול עליון וגבול תחתון

במתמטיקה, **גבול עליון** ו**גבול תחתון** הם שני מושגים הקשורים למושג הגבול. הגבול העליון מסומן לרוב ב-\limsup או ב-\overline{\lim}, והגבול התחתון מסומן לרוב ב-\liminf או ב-\underline{\lim}.

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

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

## מבוא ומוטיבציה
מושג הגבול הוא מושג מרכזי וחשוב במתמטיקה עם שימושים רבים בכל תחומי המתמטיקה השונים. עם זאת, עבור סדרות למשל, הגבול לא תמיד קיים. כך למשל הסדרה a_n:=(-1)^n\left(\frac{1}{2}-\frac{1}{n}\right) איננה מתכנסת ולכן הגבול אינו מוגדר עבורה. עם זאת, אפשר לנתח את התנהגותה של הפונקציה ככל ש-n שואף לאינסוף. בפרט, אפשר להראות שהערכים החיוביים של הסדרה שואפים ל-\frac{1}{2} והערכים השליליים שלה שואפים -\frac{1}{2}. הגבול העליון והגבול התחתון יכולים לייצג תובנה זו.

מעבר לכך, בניגוד למונח הגבול שאינו מוגדר היטב תמיד לכל סדרה שהיא, הגבול העליון והגבול התחתון מוגדרים תמיד כאשר הסדרה נמצאת על הישר הממשי המורחב (כלומר: כולל \pm \infty).

## סימונים
בערך זה נסמן ב-\N, \R ו-\overline\R את קבוצת המספרים הטבעיים, הממשיים והממשיים המורחבים (קבוצת הממשיים בתוספת אינסוף ומינוס אינסוף).

הסימונים \sup ו-\inf מייצגים סופרמום ואינפימום בהתאמה.

## סדרות ממשיות
### הגדרות
#### גבול עליון
תהי \left\{a_n\right\}_{n=1}^\infty סדרה של מספרים ממשיים ויהי S\in\overline\R. אזי, התנאים הבאים שקולים:

# S=\inf_n\sup_{m\ge n}a_m
# S=\lim_{n\to\infty}\sup_{m\ge n}a_m
# S הוא הגבול החלקי הגדול ביותר.

אם S מקיים את אחד התנאים השקולים הללו, אזי אומרים ש-S **הוא הגבול העליון של** \left\{a_n\right\}_{n=1}^\infty ומסמנים אותו ב-\limsup_{n\to \infty}{a_n}. ניתן להוכיח כי הגבול העליון קיים תמיד במובן הרחב (כלומר, הוא יכול להיות גם אינסוף או מינוס אינסוף) וכי הוא יחיד.

#### גבול תחתון
תהי \left\{a_n\right\}_{n=1}^\infty סדרה של מספרים ממשיים ויהי I\in\overline\R. אזי, התנאים הבאים שקולים:

# I=\sup_n\inf_{m\ge n}a_m
# I=\lim_{n\to\infty}\inf_{m\ge n}a_m
# I הוא הגבול החלקי הקטן ביותר.

אם I מקיים את אחד התנאים השקולים הללו, אזי אומרים ש-I **הוא הגבול התחתון של** \left\{a_n\right\}_{n=1}^\infty ומסמנים אותו ב-\liminf_{n\to \infty}{a_n}. ניתן להוכיח כי הגבול התחתון קיים תמיד במובן הרחב וכי הוא יחיד.

### קשר למושג הגבול
ניתן להשתמש בגבול העליון והגבול התחתון כדי לספק הגדרה אלטרנטיבית למושג הגבול:

עבור סדרה כלשהי \left\{a_n\right\}_{n=1}^\infty הסדרה מתכנסת אם ורק אם \liminf_{n\to \infty}{a_n}=\limsup_{n\to \infty}{a_n}. במקרה זה מגדירים את הגבול של הסדרה להיות \lim_{n\to \infty}{a_n}:=\liminf_{n\to \infty}{a_n}=\limsup_{n\to \infty}{a_n}.

### תכונות

#### השוואה עם מספר כללי
יהי \left\{a_n\right\}_{n=1}^\infty ויהי S:=\limsup_{n\to\infty}a_n ו-I:=\liminf_{n\to\infty}a_n. כמו כן, יהי r\in\R מספר ממשי כלשהו. אזי:

* אם r>S אז קיים N\in\N כך שלכל n>N מתקיים ש-a_n.
* אם r  אז לכל N\in\N קיים n>N כך ש-a_n>r.
* אם r  אז קיים N\in\N כך שלכל n>N מתקיים ש-a_n>r.
* אם r > I אז לכל N\in\N קיים n>N כך ש-a_n.

#### אריתמטיקה
יהי \left\{a_n\right\}_{n=1}^\infty ו-\left\{b_n\right\}_{n=1}^\infty סדרות של מספרים ממשיים. אזי, מתקיימות התכונות הבאות:
* \inf_na_n\le\liminf_{n\to\infty}a_n\le\limsup_{n\to\infty}a_n\le\sup_na_n
* \limsup_{n\to\infty}(-a_n)=-\liminf_{n\to\infty}a_n
* \limsup_{n\to\infty}(a_n+b_n)\le\limsup_{n\to\infty}a_n+\limsup_{n\to\infty}b_n
* \liminf_{n\to\infty}(a_n+b_n)\ge\liminf_{n\to\infty}a_n+\liminf_{n\to\infty}b_n
* אם \left\{a_n\right\}_{n=1}^\infty ו-\left\{b_n\right\}_{n=1}^\infty הן סדרות אי-שליליות, מתקיים ש-\limsup_{n\to\infty}(a_nb_n)\le\left(\limsup_{n\to\infty}a_n\right)\cdot\left(\limsup_{n\to\infty}b_n\right) ו-\liminf_{n\to\infty}(a_nb_n)\ge\left(\liminf_{n\to\infty}a_n\right)\cdot\left(\liminf_{n\to\infty}b_n\right).

#### סדרות מתכנסות
יהי \left\{a_n\right\}_{n=1}^\infty ו-\left\{b_n\right\}_{n=1}^\infty סדרות של מספרים ממשיים כך ש-\lim_{n\to\infty}b_n קיים ושווה ל-B\in\R. אזי:
* \limsup_{n\to\infty}(a_n+b_n)=\limsup_{n\to\infty}a_n+B ו-\liminf_{n\to\infty}(a_n+b_n)=\liminf_{n\to\infty}a_n+B.
* אם B>0, מתקיים ש-\limsup_{n\to\infty}(a_nb_n)=B\cdot\limsup_{n\to\infty}a_n ו-\liminf_{n\to\infty}(a_nb_n)=B\cdot\liminf_{n\to\infty}a_n.

### דוגמאות
* עבור הסדרה מההקדמה a_n:=(-1)^n\left(\frac{1}{2}-\frac{1}{n}\right), מתקיים ש-\limsup_{n\to \infty}{a_n}=1/2 ו-\liminf_{n\to \infty}{a_n}=-1/2.
* בהינתן שני מספרים טבעיים p,q זרים זה לזה, ניתן להסתכל על הסדרה a_n:=q^n(\operatorname{mod} p). משפט אוילר מוכיח כי \liminf_{n\to \infty}{a_n}=1.

## פונקציות ממשיות
### הגדרות
תהי קבוצה פתוחה U\subseteq\R ופונקציה f:U\to\R. כמו כן, יהי x_0\in U. אזי מגדירים:

\limsup_{x\to x_0}f(x):=\inf_{\delta> 0}\sup_{|x-x_0|

\liminf_{x\to x_0}f(x):=\sup_{\delta> 0}\inf_{|x-x_0|

כמו כן, ניתן להגדיר את הגבול העליון והגבול כאשר הפונקציה שואפת לאינסוף או למינוס אינסוף:

\limsup_{x\to \infty}f(x):=\lim_{M\to\infty}\sup_{x\ge M}f(x)

\liminf_{x\to \infty}f(x):=\lim_{M\to\infty}\inf_{x\ge M}f(x)

\limsup_{x\to -\infty}f(x):=\lim_{M\to\infty}\sup_{x\le -M}f(x)

\liminf_{x\to -\infty}f(x):=\lim_{M\to\infty}\inf_{x\le -M}f(x)

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

### קשר למושג הרציפות
ניתן להשתמש במושגים של גבול עליון וגבול תחתון של פונקציה בנקודה כדי לספר הגדרה אלטרנטיבית למושג הרציפות:

עבור קבוצה פתוחה U\subseteq\R, פונקציה f:U\to\R ו-x_0\in U, ניתן להראות ש-f רציפה ב-x_0 אם ורק אם \limsup_{x\to x_0}f(x)=\liminf_{x\to x_0}f(x)=f(x_0).

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

* f תקרא רציפה למחצה מלמעלה ב-x_0 אם ורק אם \limsup_{x\to x_0}f(x)\le f(x_0).
* f תקרא רציפה למחצה מלמטה ב-x_0 אם ורק אם \liminf_{x\to x_0}f(x)\ge f(x_0).

### דוגמאות
* עבור הפונקציה f:\R\to\R המוגדרת על-ידי f(x)=e^\frac{1}{x} מתקיים כי \limsup_{x\to 0}f(x)=\infty ו-\liminf_{x\to 0}f(x)=0.
* עבור הפונקציה f:(0,\infty)\to\R המוגדרת על-ידי f(x)=\sin\left(\frac{1}{x}\right) מתקיים כי \limsup_{x\to 0^+}f(x)=1 ו-\liminf_{x\to 0^+}f(x)=-1.

## סדרות של פונקציות
יהי תחום כלשהו \Omega ותהי סדרה של פונקציות \left\{f_n\right\}_{n=1}^\infty כך ש-f_n:\Omega\to\R לכל n\in\N. מגדירים זוג פונקציות \limsup_{n\to\infty}f_n:\Omega\to\R ו-\liminf_{n\to\infty}f_n:\Omega\to\R כך שלכל x\in \Omega:

(\limsup_{n\to\infty}f_n)(x):=\limsup_{n\to\infty}f_n(x)

(\liminf_{n\to\infty}f_n)(x):=\liminf_{n\to\infty}f_n(x)

הפונקציות \limsup_{n\to\infty}f_n ו-\liminf_{n\to\infty}f_n נקראות **הגבול העליון של** \left\{f_n\right\}_{n=1}^\infty ו**הגבול התחתון של** \left\{f_n\right\}_{n=1}^\inftyבהתאמה.

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

תכונה חשובה נוספת של סדרות של פונקציות נוגעת למרחבי מידה:

אם \Sigma היא סיגמא-אלגברה על \Omega, \mu היא מידה ביחס לסיגמא אלגברה זו, וכל הפונקציות f_n מדידות לפי \mu, אזי גם \limsup_{n\to\infty}f_n ו-\liminf_{n\to\infty}f_n הן פונקציות מדידות לפי \mu.

### דוגמה
נתונה סדרת פונקציות f_n:[0,1]\to\R כך שלכל n\in\N ולכל x\in [0,1] מתקיים ש:

f_n(x):=\frac{n\cdot(-1)^n+1}{n}x

ניתן להראות כי:

(\limsup_{n\to\infty}f_n)(x)=x

(\liminf_{n\to\infty}f_n)(x)=-x

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

## סדרות של קבוצות
### הגדרות
תהי קבוצה כלשהי \Omega וסדרה של תתי-קבוצות שלה \left\{A_n\right\}_{n=1}^\infty. אזי, מגדירים את הגבול העליון והגבול התחתון של הסדרה באופן הבא:

\limsup_{n\to\infty}{A_n}:=\bigcap_{n=1}^\infty\bigcup_{m=n}^\infty{A_m}

\liminf_{n\to\infty}{A_n}:=\bigcup_{n=1}^\infty\bigcap_{m=n}^\infty{A_m}

ניתן גם להגדיר את הגבול העליון והגבול התחתון של סדרת קבוצות באופן השקול הבא:
* a\in\limsup_{n\to\infty}A_n אם ורק אם לכל n\in\N קיים m>n כך ש-a\in A_m.
* a\in\liminf_{n\to\infty}A_n אם ורק אם קיים n\in\N כך שלכל m>n מתקיים ש-a\in A_m.

אם מתקיים ש\limsup_{n\to\infty}A_n=\liminf_{n\to\infty}A_n=:L אז אומרים שהסדרה \left\{A_n\right\}_{n=1}^\infty מתכנסת וש-\lim_{n\to\infty}A_n=L.

### תכונות
יהי \left\{A_n\right\}_{n=1}^\infty ו-\left\{B_n\right\}_{n=1}^\infty סדרות של קבוצות תחת קבוצה \Omega כלשהי. אזי, מתקיימות התכונות הבאות:
* \inf_nA_n\subseteq\liminf_{n\to\infty}A_n\subseteq\limsup_{n\to\infty}A_n\subseteq\sup_nA_n
* \limsup_{n\to\infty}(A_n)^\complement=\left(\liminf_{n\to\infty}A_n\right)^\complement (A^\complement מייצג את המשלים ל-A, כלומר \Omega\backslash A)
* \limsup_{n\to\infty}(A_n\cup B_n)=\limsup_{n\to\infty}A_n\cup\limsup_{n\to\infty}B_n
* \liminf_{n\to\infty}(A_n\cap B_n)=\liminf_{n\to\infty}A_n\cap\liminf_{n\to\infty}B_n
* \limsup_{n\to\infty}(A_n\cap B_n)\subseteq\limsup_{n\to\infty}A_n\cap\limsup_{n\to\infty}B_n
* \liminf_{n\to\infty}(A_n\cup B_n)\supseteq\liminf_{n\to\infty}A_n\cup\liminf_{n\to\infty}B_n
* עבור B\subseteq\Omega, אם הגבול \lim_{n\to\infty}B_n קיים ושווה ל-B, אזי \limsup_{n\to\infty}(A_n\cap B_n)=\limsup_{n\to\infty}A_n\cap B ו-\liminf_{n\to\infty}(A_n\cup B_n)=\liminf_{n\to\infty}A_n\cup B.
* בפרט, עבור A,B\subseteq\Omega, אם הגבולות \lim_{n\to\infty}A_n ו-\lim_{n\to\infty}B_n קיימים ושווים ל-A ול-B בהתאמה, אזי גם הגבולות \lim_{n\to\infty}(A_n\cap B_n) ו-\lim_{n\to\infty}(A_n\cup B_n) קיימים ושווים ל-A\cap B ו-A\cup B בהתאמה.

### דוגמה
נתונה סדרת הקטעים הסגורים A_n:=\left[1+\frac{2\cdot(-1)^n}{n}, 2+\frac{(-1)^{n+1}}{n}\right]. קצות הקטעים הללו מתכנסים ל-1 ול-2, אך מבצעים תנודות למעלה ולמטה לסירוגין סביב כל קצה שכזה.

עבור כל 1 אפשר להראות כי a\in\limsup_{n\to\infty}A_n וגם a\in\liminf_{n\to\infty}A_n. עם זאת, הדבר איננו נכון עבור הקצוות 1 ו-2. למעשה, \liminf_{n\to\infty}A_n הוא הקטע הפתוח (1,2) בעוד \limsup_{n\to\infty}A_n הוא הקטע הסגור [1,2].

## שימושים
הגבול העליון והגבול התחתון באים לידי שימוש במגוון רחב של למות ומשפטים בתחומים מתמטיים רבים.

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

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

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

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

* 

## הערות שוליים

קטגוריה:גבולות (מתמטיקה)