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

uredi

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:

  1. Norma elementa identiteta G je nula:  
  2. Norma elementa neidentiteta bilo kojeg elementa je strogo pozitivna:  
  3. Za svakix u G,  
  4. 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

uredi

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

uredi

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

uredi

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

uredi

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:

  1. F integrabilna implicira |f| integrabilna
  2. 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

uredi

Reference

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