Absolute Konvergenz

Absolute Konvergenz (Redirected from Absolute convergence theorem) Jump to navigation Jump to search This article includes a list of general references, aber es fehlen genügend entsprechende Inline-Zitate. Bitte helfen Sie mit, diesen Artikel zu verbessern, indem Sie genauere Zitate einfügen. (Februar 2013) (Erfahren Sie, wie und wann Sie diese Vorlagennachricht entfernen können) In Mathematik, an infinite series of numbers is said to converge absolutely (or to be absolutely convergent) if the sum of the absolute values of the summands is finite. Etwas präziser, a real or complex series {displaystyle textstyle sum _{n=0}^{unendlich }a_{n}} is said to converge absolutely if {displaystyle textstyle sum _{n=0}^{unendlich }links|a_{n}Rechts|=L} for some real number {displaystyle textstyle L.} Ähnlich, an improper integral of a function, {displaystyle textstyle int _{0}^{unendlich }f(x),dx,} is said to converge absolutely if the integral of the absolute value of the integrand is finite—that is, wenn {displaystyle textstyle int _{0}^{unendlich }|f(x)|dx=L.} Absolute convergence is important for the study of infinite series because its definition is strong enough to have properties of finite sums that not all convergent series possess - a convergent series that is not absolutely convergent is called conditionally convergent, while absolutely convergent series behave "nicely". Zum Beispiel, rearrangements do not change the value of the sum. This is not true for conditionally convergent series: The alternating harmonic series {textstyle 1-{frac {1}{2}}+{frac {1}{3}}-{frac {1}{4}}+{frac {1}{5}}-{frac {1}{6}}+cdots } konvergiert zu {Anzeigestil ln 2,} while its rearrangement {textstyle 1+{frac {1}{3}}-{frac {1}{2}}+{frac {1}{5}}+{frac {1}{7}}-{frac {1}{4}}+cdots } (in which the repeating pattern of signs is two positive terms followed by one negative term) konvergiert zu {textstyle {frac {3}{2}}ln 2.} Inhalt 1 Hintergrund 1.1 Erläuterung 2 Definition for real and complex numbers 3 Sums of more general elements 3.1 In topological vector spaces 4 Relation to convergence 4.1 Proof that any absolutely convergent series of complex numbers is convergent 4.1.1 Alternative proof using the Cauchy criterion and triangle inequality 4.2 Proof that any absolutely convergent series in a Banach space is convergent 5 Rearrangements and unconditional convergence 5.1 Real and complex numbers 5.2 Series with coefficients in more general space 5.3 Beweis des Satzes 6 Products of series 7 Absolute convergence over sets 8 Absolute convergence of integrals 9 Siehe auch 10 Anmerkungen 11 Verweise 11.1 Works cited 11.2 General references Background In finite sums, the order in which terms are added does not matter. 1 + 2 + 3 is the same as 3 + 2 + 1. Jedoch, this is not true when adding infinitely many numbers, and wrongly assuming that it is true can lead to apparent paradoxes. One classic example is the alternating sum {displaystyle S=1-1+1-1+1-1...} whose terms alternate between +1 und -1. What is the value of S? One way to evaluate S is to group the first and second term, the third and fourth, usw: {Anzeigestil S_{1}=(1-1)+(1-1)+(1-1)....=0+0+0...=0} But another way to evaluate S is to leave the first term alone and group the second and third term, then the fourth and fifth term, usw: {Anzeigestil S_{2}=1+(-1+1)+(-1+1)+(-1+1)....=1+0+0+0...=1} This leads to an apparent paradox: does {displaystyle S=0} oder {displaystyle S=1} ?

The answer is that because S is not absolutely convergent, rearranging its terms changes the value of the sum. This means {Anzeigestil S_{1}} und {Anzeigestil S_{2}} are not equal. In der Tat, the series {Anzeigestil 1-1+1-1+...} does not converge, so S does not have a value to find in the first place. A series that is absolutely convergent does not have this problem: rearranging its terms does not change the value of the sum.

Explanation This is an example of a mathematical sleight of hand. If the terms of S are rearranged in such a way that every term remains in its original position, one finds that S is either the infinite series {displaystyle S=1-1+1-1+...+1-1+1-1} or with equal possibility, das {displaystyle S=1-1+1-1+...+1-1+1} Evaluating S as before, by grouping every -1 with the +1 preceding it or by grouping every +1 except the first with the -1 preceding it, gives in the first case: {Anzeigestil S_{1}=(1-1)+....+(1-1)=0+....+0=0} {Anzeigestil S_{2}=1+(-1+1)+....+(-1+1)-1=1+0+....+0-1=1-1=0} und im zweiten Fall: {Anzeigestil S_{1}=(1-1)+....+(1-1)+1=0+....+0+1=1} {Anzeigestil S_{2}=1+(-1+1)+....+(-1+1)=1+0+...+0=1} This reveals the trick: the definition of S was interpreted as defining its last term as negative when evaluating {Anzeigestil S_{1}=0} but positive when evaluating {Anzeigestil S_{2}=1} when in fact the definition of S didn't define (and the rearrangement was independent of) either option.

Definition for real and complex numbers A sum of real numbers or complex numbers {textstyle sum _{n=0}^{unendlich }a_{n}} is absolutely convergent if the sum of the absolute values of the terms {textstyle sum _{n=0}^{unendlich }|a_{n}|} konvergiert.

Sums of more general elements The same definition can be used for series {textstyle sum _{n=0}^{unendlich }a_{n}} whose terms {Anzeigestil a_{n}} are not numbers but rather elements of an arbitrary abelian topological group. In diesem Fall, instead of using the absolute value, the definition requires the group to have a norm, which is a positive real-valued function {textstyle |cdot |:Gto mathbb {R} _{+}} on an abelian group {Anzeigestil G} (written additively, with identity element 0) so dass: The norm of the identity element of {Anzeigestil G} ist Null: {Anzeigestil |0|=0.} Für jeden {displaystyle xin G,} {Anzeigestil |x|=0} impliziert {displaystyle x=0.} Für jeden {displaystyle xin G,} {Anzeigestil |-x|=|x|.} Für jeden {Anzeigestil x,yin G,} {Anzeigestil |x+y|leq |x|+|j|.} In diesem Fall, die Funktion {Anzeigestil d(x,j)=|x-y|} induces the structure of a metric space (a type of topology) an {Anzeigestil G.} Dann, a {Anzeigestil G} -valued series is absolutely convergent if {textstyle sum _{n=0}^{unendlich }|a_{n}|0,} there exists {displaystyle N} such {textstyle left|sum _{i=m}^{n}left|a_{i}right|right| =sum _{i=m}^{n}|a_{i}|mgeq N.} But {textstyle {big |}sum _{i=m}^{n}a_{i}{big |}leq _{i=m}^{n}|a_{i}|,} so {textstyle left|sum _{i=m}^{n}a_{i}right|mgeq N,} exactly {textstyle sum a_{i}.} above result easily generalized {displaystyle (X,|,cdot ,|).} {textstyle sum x_{n}} {displaystyle X.} As {textstyle sum _{k=1}^{n}|x_{k}|} numbers, {displaystyle varepsilon >0} large enough natural {displaystyle m>n} holds: {displaystyle left|sum _{k=1}^{m}|x_{k}|-sum _{k=1}^{n}|x_{k}|right| =sum _{k=n+1}^{m}|x_{k}|kappa _{varepsilon }&quad sum _{n=N}^{unendlich }|a_{n}|<{tfrac {varepsilon }{2}}\{text{ for all }}N>Lambda _{varepsilon }&quad left|Summe _{n=1}^{N}a_{n}-Aright|<{tfrac {varepsilon }{2}}end{aligned}}} Let {displaystyle {begin{aligned}N_{varepsilon }&=max left{kappa _{varepsilon },lambda _{varepsilon }right}\M_{sigma ,varepsilon }&=max left{sigma ^{-1}left(left{1,ldots ,N_{varepsilon }right}right)right}end{aligned}}} where {displaystyle sigma ^{-1}left(left{1,ldots ,N_{varepsilon }right}right)=left{sigma ^{-1}(1),ldots ,sigma ^{-1}left(N_{varepsilon }right)right}} so that {displaystyle M_{sigma ,varepsilon }} is the smallest natural number such that the list {displaystyle a_{sigma (0)},ldots ,a_{sigma left(M_{sigma ,varepsilon }right)}} includes all of the terms {displaystyle a_{0},ldots ,a_{N_{varepsilon }}} (and possibly others). Finally for any integer {displaystyle N>M_{Sigma ,varepsilon }} Lassen {Anzeigestil {Start{ausgerichtet}ICH_{Sigma ,varepsilon }&=left{1,Punkte ,Nright}setminus sigma ^{-1}links(links{1,Punkte ,N_{varepsilon }Rechts}Rechts)\S_{Sigma ,varepsilon }&=min sigma left(ICH_{Sigma ,varepsilon }Rechts)=min left{Sigma (k) : kin I_{Sigma ,varepsilon }Rechts}\L_{Sigma ,varepsilon }&=max sigma left(ICH_{Sigma ,varepsilon }Rechts)=max left{Sigma (k) : kin I_{Sigma ,varepsilon }Rechts}\Ende{ausgerichtet}}} so dass {Anzeigestil {Start{ausgerichtet}links|Summe _{iin I_{Sigma ,varepsilon }}a_{Sigma (ich)}Rechts|&leq sum _{iin I_{Sigma ,varepsilon }}links|a_{Sigma (ich)}Rechts|\&leq sum _{j=S_{Sigma ,varepsilon }}^{L_{Sigma ,varepsilon }}links|a_{j}Rechts|&&{Text{ seit }}ICH_{Sigma ,varepsilon }subseteq left{S_{Sigma ,varepsilon },S_{Sigma ,varepsilon }+1,Punkte ,L_{Sigma ,varepsilon }Rechts}\&leq sum _{j=N_{varepsilon }+1}^{unendlich }links|a_{j}Rechts|&&{Text{ seit }}S_{Sigma ,varepsilon }geq N_{varepsilon }+1\&<{frac {varepsilon }{2}}end{aligned}}} and thus {displaystyle {begin{aligned}left|sum _{i=1}^{N}a_{sigma (i)}-Aright|&=left|sum _{iin sigma ^{-1}left({1,dots ,N_{varepsilon }}right)}a_{sigma (i)}-A+sum _{iin I_{sigma ,varepsilon }}a_{sigma (i)}right|\&leq left|sum _{j=1}^{N_{varepsilon }}a_{j}-Aright|+left|sum _{iin I_{sigma ,varepsilon }}a_{sigma (i)}right|\&0,{Text{ es existiert }}M_{Sigma ,varepsilon },{Text{ für alle }}N>M_{Sigma ,varepsilon }quad left|Summe _{i=1}^{N}a_{Sigma (ich)}-Aright|

Wenn Sie andere ähnliche Artikel wissen möchten Absolute Konvergenz Sie können die Kategorie besuchen Integral calculus.