# Convergenza assoluta The answer is that because S is not absolutely convergent, rearranging its terms changes the value of the sum. This means {stile di visualizzazione S_{1}} e {stile di visualizzazione S_{2}} are not equal. Infatti, the series {stile di visualizzazione 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, Quello {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: {stile di visualizzazione S_{1}=(1-1)+....+(1-1)=0+....+0=0} {stile di visualizzazione S_{2}=1+(-1+1)+....+(-1+1)-1=1+0+....+0-1=1-1=0} e nel secondo caso: {stile di visualizzazione S_{1}=(1-1)+....+(1-1)+1=0+....+0+1=1} {stile di visualizzazione 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 {stile di visualizzazione S_{1}=0} but positive when evaluating {stile di visualizzazione 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}^{infty }un_{n}} is absolutely convergent if the sum of the absolute values of the terms {textstyle sum _{n=0}^{infty }|un_{n}|} converge.

Sums of more general elements The same definition can be used for series {textstyle sum _{n=0}^{infty }un_{n}} whose terms {stile di visualizzazione a_{n}} are not numbers but rather elements of an arbitrary abelian topological group. In quel caso, instead of using the absolute value, the definition requires the group to have a norm, which is a positive real-valued function {stile di testo |cdot |:Gto matematicabb {R} _{+}} on an abelian group {stile di visualizzazione G} (written additively, with identity element 0) tale che: The norm of the identity element of {stile di visualizzazione G} è zero: {stile di visualizzazione |0|=0.} Per ogni {displaystyle xin G,} {stile di visualizzazione |X|=0} implica {displaystyle x=0.} Per ogni {displaystyle xin G,} {stile di visualizzazione |-X|=|X|.} Per ogni {stile di visualizzazione x,yin G,} {stile di visualizzazione |x+y|leq |X|+|y|.} In questo caso, the function {stile di visualizzazione d(X,y)=|x-y|} induces the structure of a metric space (a type of topology) Su {displaystyle G.} Quindi, un {stile di visualizzazione G} -valued series is absolutely convergent if {textstyle sum _{n=0}^{infty }|un_{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}^{infty }|un_{n}|<{tfrac {varepsilon }{2}}\{text{ for all }}N>lambda _{varepsilon }&quad left|somma _{n=1}^{N}un_{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 }} permettere {stile di visualizzazione {inizio{allineato}IO_{sigma ,varepsilon }&=left{1,ldot ,Nright}setminus sigma ^{-1}sinistra(sinistra{1,ldot ,N_{varepsilon }Giusto}Giusto)\S_{sigma ,varepsilon }&=min sigma left(IO_{sigma ,varepsilon }Giusto)=min left{sigma (K) : kin I_{sigma ,varepsilon }Giusto}\L_{sigma ,varepsilon }&=max sigma left(IO_{sigma ,varepsilon }Giusto)=max left{sigma (K) : kin I_{sigma ,varepsilon }Giusto}\fine{allineato}}} affinché {stile di visualizzazione {inizio{allineato}sinistra|somma _{iin I_{sigma ,varepsilon }}un_{sigma (io)}Giusto|&leq sum _{iin I_{sigma ,varepsilon }}sinistra|un_{sigma (io)}Giusto|\&leq sum _{j=S_{sigma ,varepsilon }}^{L_{sigma ,varepsilon }}sinistra|un_{j}Giusto|&&{testo{ da }}IO_{sigma ,varepsilon }subseteq left{S_{sigma ,varepsilon },S_{sigma ,varepsilon }+1,ldot ,L_{sigma ,varepsilon }Giusto}\&leq sum _{j=N_{varepsilon }+1}^{infty }sinistra|un_{j}Giusto|&&{testo{ da }}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,{testo{ lì esiste }}M_{sigma ,varepsilon },{testo{ per tutti }}N>M_{sigma ,varepsilon }quadrilatero a sinistra|somma _{io=1}^{N}un_{sigma (io)}-Aright|

Se vuoi conoscere altri articoli simili a Convergenza assoluta puoi visitare la categoria Integral calculus.

Vai su

Utilizziamo cookie propri e di terze parti per migliorare l'esperienza dell'utente Maggiori informazioni