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

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

טור <math>\sum_{n=1}^\infty a_n</math> מתכנס בתנאי אם <math>\sum_{n=1}^\infty a_n</math> מתכנס אך <math>\sum_{n=1}^\infty |a_n|</math> מתבדר. 

דוגמה ידועה לטור מתכנס בתנאי היא הסדרה ההרמונית המתחלפת (או טור לייבניץ), אשר מוגדרת על ידי:
:<math>\sum_{k=1}^\infty \frac{(-1)^{k-1}}{k} = 1-\frac{1}{2}+\frac{1}{3}-\frac{1}{4}+\frac{1}{5}-\dots</math> 
טור זה מתכנס ל-<math>\ \ln 2</math>. טור זה מתכנס בתנאי כי "הערך המוחלט של הטור" - סכום הערכים המוחלטים של כל איבר בטור נותן לנו את הטור ההרמוני, שאיננו מתכנס. 
משפט רימן קובע כי בטורים מתכנסים בתנאי, חיבור אינה פעולה קומוטטיבית, וכי על ידי החלפת סדר האיברים ניתן להגיע לכל ערך אחר (אפילו לטורים שלא מתכנסים), דבר שאינו אפשרי בטור שמתכנס בהחלט, כי שינוי הסדר אינו משפיע על הסכום. תוצאה ידועה בתורת הטורים היא שטור שמתכנס בהחלט הוא גם מתכנס (במובן הרגיל), אך התוצאה ההפוכה איננה נכונה תמיד, כפי שניתן לראות במקרה של טור לייבניץ שמתכנס, איך איננו "מתכנס בהחלט".

תוצאה חשובה נוספת היא משפט לייבניץ, שאומר כי אם<math>\!\, a_n </math> היא סדרה חיובית היורדת מונוטונית ושואפת לאפס, אזי הטור שנוצר על ידה באופן הבא <math> \sum_{n=1}^\infty (-1)^n \cdot a_n </math> הוא טור מתכנס. זנב הטור, <math>r_m = \sum_{n=m}^\infty (-1)^n \cdot a_n</math>, קטן תמיד בערכו המוחלט מגודל האיבר הראשון בו. כלומר: <math>| \sum_{n=m}^\infty (-1)^n \cdot a_n | \le a_m</math>. כמו כן מתקיים <math> (-1)^n \cdot r_n \geq 0 </math>. מבחן זה נותן דרך לדעת אילו טורים מתכנסים בתנאי על בסיס סדרות ידועות. משפט לייבניץ הוא מקרה פרטי של מבחן דיריכלה, שמתחליף את הסדרה של 1 ו 1-, עבור כל סדרה -<math>\{b_n\}</math> היא סדרה של מספרים מרוכבים שמקיימת <math>\left|\sum^{N}_{n=1}b_n\right|\leq M</math> לכל מספר טבעי N, אז הטור <math>\sum^{\infty}_{n=1}a_n b_n</math> מתכנס. שני מבחני ההתכנסות הללו הם מאוד חשובים בתורת הטורים, כי רוב מבחני התכנסות לטורים אינם עובדים על טורים שמתכנסים בתנאי, מכיוון שהם דורשים שהסדרה המדוברת תהיה חיובית, ואם הסדרה החיובית הזו יוצרת טור מתכנס, הרי שזה יהיה גם טור שמתכנס בהחלט, היות שהערך המוחלט לא ישנה דבר. 
ניתן באותה דרך להגדיר גם אינטגרל שמתכנס בתנאי, ודוגמה לאינטגרל שמתכנס בתנאי הוא האינטגרל של הפונקציה <math>\sin (x^2)</math> בחלק הלא שלילי של הציר הממשי (ראו אינטגרל פרנל).

==התכנסות לא בתנאי==
נאמר כי טור מתכנס לא בתנאי אם הוא אינו מתכנס בהחלט אך כל שינוי של סדר האיברים שלו נותן את הסכום המקורי, זאת אומרת שאינו מקיים את משפט רימן.
ניתן לראות כי טורים כאלו אינם יכולים להיות ממשים, אך קיימים טורים כאלו במרחבים אחרים, לדוגמה הטור <math>\sum_{n=1}^\infty \tfrac{1}{n} e_n</math> כאשר <math>\{e_n\}_{n=1}^{\infty}</math> הוא בסיס אורתוגונלי של מרחב בנך.
בצורה יותר כללית, אריה דבורצקי וקלאוד אמברוס רוג'רס הוכיחו את המשפט הבא:

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

הוכחה:
לכל ε > 0 נבחר <math>\kappa_\varepsilon,\lambda_\varepsilon \in \mathbf{N}</math> כל שמתקיים:
:<math>\begin{align}
\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{align}</math>
יהי 
:<math>\begin{align}
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{align}</math>
לכן לכל מספר שלם <math> N > M_{\sigma,\varepsilon}</math> יהי
:<math>\begin{align}
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{align}</math>
לכן
:<math>\begin{align}
\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{align}</math>
ולכן <math> \forall\varepsilon > 0, \exists M_{\sigma,\varepsilon}, \forall N > M_{\sigma,\varepsilon} \quad \left\|\sum_{i=1}^N a_{\sigma(i)}-A \right\|< \varepsilon, </math>, וזה מוכיח כי <math>\sum_{i=1}^\infty a_{\sigma(i)}=A</math> ולכן הטור מתכנס לא בתנאי ולא בהחלט. מש"ל.

==קישורים חיצוניים==
* 

קטגוריה:תורת הטורים
קטגוריה:טורים מתמטיים