Apsolutna konvergencija

U matematici, za red (ili ponekad i integral) brojeva se kaže da konvergira apsolutno ako je zbir (ili integral) apsolutne vrijednosti sabirka ili integranda konačan.

Tačnije, za red realane ili kompleksne vrijednosti  kaže se da konvergira apsolutno ako vrijedi 

Apsolutna konvergencija je od vitalne važnosti za proučavanje beskonačnih redova, jer je, s jedne strane, dovoljno jaka da se zadrže određene osnovne osobine konačnih suma - najvažnije su premještanje članova i konvergencija proizvoda od dva beskonačna reda - koje, nažalost, ne posjeduju svi konvergentni redovi. S druge strane, apsolutna konvergencija je dovoljno slaba da često pojavi u praksi. Doista, u nekim (iako ne u svim) granama matematike u kojima se primjenjuju redovi, postojanje konvergentnog, ali ne i apsolutno konvergentnog niza je nešto više od znatiželje.

 Općenitija postavka za apsolutnu konvergenciju 

Može se proučavati konvergencija reda  čiju su članovi  elementi proizvoljnog topološke abelovske grupe. Pojam apsolutne konvergencije zahtijeva više strukture, odnosno normi:

Norma za abelovsku grupu G (napisano dodatno, s elementom identiteta 0) je funkcija realne vrijednosti  na G, tako da je:

 Norma elementa identiteta G je nula: 
 Norma elementa neidentiteta bilo kojeg elementa je strogo pozitivna: 
 Za svakix u G, 
 Za svakix, y u G, 

Tada funkcija  indukuje naG strukturu metričkog prostora (i posebno, topologiju). Možemo stoga razmotriti red G vrijednosti i definisati takav red da bude apsolutno konvergentan ako je 

 Odnosi s konvergencijom 

Ako je metrik d na G je potpun, onda svaki apsolutno konvergentan red je konvergentan. Dokaz je isti kao i za redove kompleksne vrijednosti: iskoristimo potpunost za dobijanje Cauchyjevog kriterija konvergencije - red je konvergentan ako i samo ako se njegov kraj može učiniti proizvoljno malim u normi - te primjenjujući nejednakost trougla.

Konkretno, za redove sa vrijednostima u bilo kojem Banachovom prostoru, apsolutna konvergencija podrazumijeva konvergenciju. Obrnuto je, također, tačno: ako apsolutna konvergencija podrazumijeva konvergenciju u normiranom prostoru, onda je prostor potpun, tj. Banachov prostor.

Tačno je da red može biti konvergentan, a da nije apsolutno konvergentan, gdje je standardni primjer alternativni harmonijski red. Međutim, mnogi standardni testovi koji pokazuju da je red konvergentan, u stvari pokazuju apsolutnu konvergenciju, posebno omjeri općih članovi i korjeni testovi. Ovo je važna posljedica koja govori da su potencijalni redovi apsolutno konvergentni unutar svoje oblasti konvergencije (radijus konvergencije).

Standardno je na predavanjima iz kalkulusa da je realni red, koji je konvergentan, ali ne i apsolutno konvergentan, uslovno konvergentan. Međutim, u općenitijem kontekstu redova G vrijednosti, postoji razlika između apsolutne i bezuslovne konvergencije, a tvrdnja da je realni ili kompleksni red, koji nije apsolutno konvergentan, nužno uslovno konvergentan (tj. ne bezuslovno konvergentan) je onda teorem, a ne definicija. Ovo je detaljnije objašnjeno u nastavku.

 Preraspodjela i bezuslovna konvergencija 

Za dati red  s vrijednostima u normiranoj abelovskoj grupi G i permutacija  prirodnih brojeva, moguće je napraviti nove redove , takve da oni budu preraspodjela originalnog reda. Za red se kaže da je bezuslovno konvergentan ako su sve preraspodjele reda konvergentne za istu vrijednost.

Kada je G potpuna, apsolutna konvergencija podrazumijeva bezuslovnu konvergenciju. (Opet, dokaz zahtijeva više od primjene Cauchyjevog kriterija, a zatim nejednakosti trouglova).

Problem da li važi obrnuto mnogo je interesantniji. Za realne redove slijedi, iz Riemannovog teorema preuređivanje, da bezuslovna konvergencija implicira apsolutnu konvergenciju. Pošto je red, sa vrijednostima u konačno dimenzijalnom normiranom prostoru, apsolutno konvergentan ako i samo ako svaka od njegovih jednodimenzionalnih projekcija apsolutno konvergentna, lagano se uočava da se apsolutna i bezuslovna konvergencija poklapaju za redove  vrijednosti.

Međutim, postoji i bezuslovno i neapsolutno konvergentni redovi s vrijednostima u Hilbertovom prostoru : ako je  ortonormalna baza, za, recimo, .

Izvanredno, Dvoretzky-Rogersov teorem tvrdi da je svaki beskonačno-dimenzionalan Banachov prostor priznaje bezuslovno, ali neapsolutno konvergentne redove.

 Proizvodi redova 

Cauchyjev proizvod dva reda konvergira u proizvod suma, ako barem jedan od redova konvergira apsolutno. To je, recimo:

Cauchyjev proizvod definisan je kao zbir uslova  gdje je:

Zatim, ako ili suma  ili suma  konvergira apsolutno, tada je

 Apsolutna konvergencija integrala 

Za integral  funkcije realne ili kompleksne vrijednosti se kaže da konvergira apsolutno ako vrijedi  Također se može reći da je  apsolutno integrabilna.

Kada je  zatvoreni ograničeni interval, svaka neprekidna funkcija je integrabilna, a pošto je  neprekidna, to implicira da je  neprekidna, te slično ovome pokazujemo da je svaka neprekidna funkcija apsolutno integrabilna. U općem slučaju, nije istina da su apsolutno integrabilne funkcije na  integrabilne: neka  bude nemjerljivi podskup i neka je , gdje je  karakteristična funkcija od S. Tada  nije Lebesgue mjerljiva, ali je |f| konstantna. Međutim, to je standardni rezultat da ako je f Riemann integrabilna, onda je i |f|. To vrijedi i za Lebesgueov integral, pogledajte ispod. S druge strane, funkcija f može biti Kurzweil-Henstock integrabilna, dok |f| nije. Ovo uključuje slučaj nepravilnosti Riemann integrabilnih funkcija.

Slično tome, kad je interval beskonačne dužine dobro je poznato da postoje nepravilne Riemann integrabilne funkcije f koje nisu apsolutno integrabilne. Doista, za bilo koji red  može se razmatrati i stepena funkcija  definisan sa . Tada  konvergira apsolutno, konvergira uslovno ili divergira prema odgovarajućem ponašanju reda 

Drugi primjer konvergentnog, ali ne apsolutno konvergentanog nepravog Riemann integrala, je .

Za svaku mjeru prostora A Lebesgueov integral funkcija realne vrijednosti definisan je u pogledu svojih pozitivnih i negativnih dijelova, tako da činjenice:

 F integrabilna implicira |f| integrabilna
 F mjerljiva, |f| integrabilna, implicira f integrabilna

su, u suštini, ugrađene u definiciju Lebesgueovog integrala. Pojedinačno, primjenom teorije prebrojavanja mjera na skup S, jedan oporavlja pojma neuređen sabiranje serije developed by Moore-Smith koristi (što su sada zove) mrežama. Kada je  skup prirodnih brojeva, Lebesgueova integrabilnost, i neuređena sumabilnost i apsolutna konvergencija se poklopaju.

Konačno, sve gore navedeno vrijedi za integrale s vrijednostima u Banachovom prostoru. Definicija Riemannovog integrala banachove vrijednosti je očito modifikacija uobičajene definicije. Za Lebesgueov integral mora se "prevariti" razgradnja na pozitivne i negativne dijelove sa Daniellovim funkcionalnijim analitičkim pristupom, gdje se dobija Bochnerov integral.

 Također pogledajte 

 Konvergencija Fourierovog reda
 Uslovna konvergencija
 Načini konvergencije (spisak sa komentarima)
 Cauchyjeva glavna vrijednost
 Protuprijmer vezan za Fubinijev teorem
 1/2 − 1/4 + 1/8 − 1/16 + · · ·
 1/2 + 1/4 + 1/8 + 1/16 + · · ·

 Reference 

 Vanjski linkovi 
 Walter Rudin, Principles of Mathematical Analysis (McGraw-Hill: New York, 1964).

Kategorija:Matematički redovi
Kategorija:Integralni račun
Kategorija:Matematička analiza