התכנסות בתנאי

במתמטיקה, נאמר כי אינטגרל או טור מתכנס בתנאי, אם הוא מתכנס אבל לא מתכנס בהחלט, או במילים אחרות:

טור $\sum _{n=1}^{\infty }a_{n}$ מתכנס בתנאי אם $\sum _{n=1}^{\infty }a_{n}$ מתכנס אך $\sum _{n=1}^{\infty }|a_{n}|$ מתבדר.

דוגמה ידועה לטור מתכנס בתנאי היא הסדרה ההרמונית המתחלפת (או טור לייבניץ), אשר מוגדרת על ידי:

\sum _{k=1}^{\infty }{\frac {(-1)^{k-1}}{k}}=1-{\frac {1}{2}}+{\frac {1}{3}}-{\frac {1}{4}}+{\frac {1}{5}}-\dots

טור זה מתכנס ל- $\ \ln 2$ . טור זה מתכנס בתנאי כי "הערך המוחלט של הטור" - סכום הערכים המוחלטים של כל איבר בטור נותן לנו את הסדרה ההרמונית, שאיננה מתכנסת. משפט רימן קובע כי בטורים מתכנסים בתנאי, חיבור אינה פעולה קומוטטיבית, וכי על ידי החלפת סדר האיברים ניתן להגיע לכל ערך אחר (אפילו לטורים שלא מתכנסים), דבר שאינו אפשרי בטור שמתכנס בהחלט, כי שינוי הסדר אינו משפיע על הסכום. תוצאה ידועה בתורת הטורים היא שטור שמתכנס בהחלט הוא גם מתכנס (במובן הרגיל), אך התוצאה ההפוכה איננה נכונה תמיד, כפי שניתן לראות במקרה של טור לייבניץ שמתכנס, איך איננו "מתכנס בהחלט". תוצאה חשובה נוספת היא משפט לייבניץ, שאומר כי אם $\!\,a_{n}$ היא סדרה חיובית היורדת מונוטונית ולכן שואפת לאפס, אזי הטור שנוצר על ידה באופן הבא $\sum _{n=1}^{\infty }(-1)^{n}\cdot a_{n}$ הוא טור מתכנס. זנב הטור, $r_{m}=\sum _{n=m}^{\infty }(-1)^{n}\cdot a_{n}$ , קטן תמיד בערכו המוחלט מגודל האיבר הראשון בו. כלומר: $|\sum _{n=m}^{\infty }(-1)^{n}\cdot a_{n}|\leq a_{m}$ . כמו כן מתקיים $(-1)^{n}\cdot r_{n}\geq 0$ . מבחן זה נותן לנו דרך לדעת אילו טורים מתכנסים בתנאי על בסיס סדרות ידועות. משפט לייבניץ הוא מקרה פרטי של מבחן דיריכלה, שמתחליף את הסדרה של 1 ו 1-, עבור כל סדרה - $\{b_{n}\}$ היא סדרה של מספרים מרוכבים שמקיימת $\left|\sum _{n=1}^{N}b_{n}\right|\leq M$ לכל מספר טבעי N, אז הטור $\sum _{n=1}^{\infty }a_{n}b_{n}$ מתכנס. שני מבחני ההתכנסות הללו הם מאוד חשובים בתורת הטורים, כי רוב מבחני התכנסות לטורים אינם עובדים על טורים שמתכנסים בתנאי, מכיוון שהם דורשים שהסדרה המדוברת תהיה חיובית, ואם הסדרה החיובית הזו יוצרת טור מתכנס, הרי שזה יהיה גם טור שמתכנס בהחלט, היות שהערך המוחלט לא ישנה דבר. ניתן באותה דרך להגדיר גם אינטגרל שמתכנס בתנאי, ודוגמה לאינטגרל שמתכנס בתנאי הוא האינטגרל של הפונקציה $\sin(x^{2})$ בחלק הלא שלילי של הציר הממשי (ראו אינטגרל פרנל).

התכנסות לא בתנאי

נאמר כי טור מתכנס לא בתנאי אם הוא אינו מתכנס בהחלט אך כל שינוי של סדר האיברים שלו נותן את הסכום המקורי, זאת אומרת שאינו מקיים את משפט רימן. ניתן לראות כי טורים כאלו אינם יכולים להיות ממשים, אך קיימים טורים כאלו במרחבים אחרים, לדוגמה הטור $\sum _{n=1}^{\infty }{\tfrac {1}{n}}e_{n}$ כאשר $\{e_{n}\}_{n=1}^{\infty }$ הוא בסיס אורתוגונלי של מרחב בנך. בצורה יותר כללית, אריה דבורצקי וקלאוד אמברוס רוג'רס (אנ') הוכיחו את המשפט הבא:

כל מרחב בנך מממד אינסופי מכיל סדרה שמתכנסת לא בתנאי ולא בהחלט.

הוכחה: לכל ε > 0 נבחר $\kappa _{\varepsilon },\lambda _{\varepsilon }\in \mathbf {N}$ כל שמתקיים:

{\begin{aligned}\forall N>\kappa _{\varepsilon }&\quad \sum _{n=N}^{\infty }\|a_{n}\|<{\tfrac {\varepsilon }{2}}\\\forall N>\lambda _{\varepsilon }&\quad \left\|\sum _{n=1}^{N}a_{n}-A\right\|<{\tfrac {\varepsilon }{2}}\end{aligned}}

יהי

{\begin{aligned}N_{\varepsilon }&=\max \left\{\kappa _{\varepsilon },\lambda _{\varepsilon }\right\}\\M_{\sigma ,\varepsilon }&=\max \left\{\sigma ^{-1}\left(\left\{1,\dots ,N_{\varepsilon }\right\}\right)\right\}\end{aligned}}

לכן לכל מספר שלם $N>M_{\sigma ,\varepsilon }$ יהי

{\begin{aligned}I_{\sigma ,\varepsilon }&=\left\{1,\ldots ,N\right\}\setminus \sigma ^{-1}\left(\left\{1,\dots ,N_{\varepsilon }\right\}\right)\\S_{\sigma ,\varepsilon }&=\min \left\{\sigma (k)\ :\ k\in I_{\sigma ,\varepsilon }\right\}\\L_{\sigma ,\varepsilon }&=\max \left\{\sigma (k)\ :\ k\in I_{\sigma ,\varepsilon }\right\}\end{aligned}}

לכן

{\begin{aligned}\left\|\sum _{i=1}^{N}a_{\sigma (i)}-A\right\|&=\left\|\sum _{i\in \sigma ^{-1}\left(\{1,\dots ,N_{\varepsilon }\}\right)}a_{\sigma (i)}-A+\sum _{i\in I_{\sigma ,\varepsilon }}a_{\sigma (i)}\right\|\\&\leq \left\|\sum _{j=1}^{N_{\varepsilon }}a_{j}-A\right\|+\left\|\sum _{i\in I_{\sigma ,\varepsilon }}a_{\sigma (i)}\right\|\\&\leq \left\|\sum _{j=1}^{N_{\varepsilon }}a_{j}-A\right\|+\sum _{i\in I_{\sigma ,\varepsilon }}\left\|a_{\sigma (i)}\right\|\\&\leq \left\|\sum _{j=1}^{N_{\varepsilon }}a_{j}-A\right\|+\sum _{j=S_{\sigma ,\varepsilon }}^{L_{\sigma ,\varepsilon }}\left\|a_{j}\right\|\\&\leq \left\|\sum _{j=1}^{N_{\varepsilon }}a_{j}-A\right\|+\sum _{j=N_{\varepsilon }+1}^{\infty }\left\|a_{j}\right\|&&S_{\sigma ,\varepsilon }\geq N_{\varepsilon }+1\\&<\varepsilon \end{aligned}}

ולכן $\forall \varepsilon >0,\exists M_{\sigma ,\varepsilon },\forall N>M_{\sigma ,\varepsilon }\quad \left\|\sum _{i=1}^{N}a_{\sigma (i)}-A\right\|<\varepsilon ,$ , וזה מוכיח כי $\sum _{i=1}^{\infty }a_{\sigma (i)}=A$ ולכן הטור מתכנס לא בתנאי ולא בהחלט. מש"ל.