În matematică , convergența punctual a unei secvențe de funcții pe o mulțime este un tip de convergență în care fiecare punct al mulțimii date este asociat cu limita șirului de valori ale elementelor secvenței în același punct.
O funcție definită în acest fel se numește funcție limită a secvenței date sau limita punctual a acesteia și se spune că secvența dată converge punctual către funcția limită.
O formă mai puternică de convergență este convergența uniformă : dacă o secvență funcțională converge uniform , atunci această secvență converge și punctual , dar nu invers. Pentru ca limita punctual a unei secvențe de funcții să fie uniformă, trebuie îndeplinit criteriul Cauchy .
Noțiunea de convergență punctuală se transferă în mod natural la familiile funcționale și la serii funcționale .
Fie o succesiune de funcții de forma ( ) unde este domeniul de definiție comun pentru toate funcțiile familiei.
Fixați un punct și luați în considerare o succesiune numerică de forma .
Dacă această secvență are o limită (finită), atunci un punct poate fi asociat cu limita acestei secvențe, notându-l :
.Dacă luăm în considerare toate punctele mulțimii la care există limita specificată, atunci putem defini funcția .
Funcția definită în acest fel se numește limita punctual a succesiunii de funcții ale familiei pe mulțime :
,în timp ce familia însăși se spune că converge punctual către o funcție de pe platou .
Conceptul de convergență punctual contrastează în anumite privințe cu noțiunea de convergență uniformă . Specific,
uniformeste echivalent cu
Această afirmație este mai puternică decât afirmația de convergență punctuală: fiecare secvență funcțională convergentă uniform converge punctual către aceeași funcție limită, dar inversul nu este adevărat în general. De exemplu,
punctual pe intervalul [0,1), dar nu uniform pe intervalul [0,1).Limita punctual a unei secvențe de funcții continue poate să nu fie o funcție continuă, ci numai dacă convergența nu este uniformă în același timp. De exemplu, funcția
ia valoarea 1 dacă x este un întreg și 0 dacă x nu este un întreg și, prin urmare, nu este continuu pentru numere întregi.
Valorile funcției f n nu trebuie să fie reale, dar pot aparține oricărui spațiu topologic, astfel încât conceptul de convergență punctual să aibă sens. Pe de altă parte, convergența uniformă nu are sens în general pentru funcțiile care iau valori în spații topologice, dar are sens în cazul particular când spațiul topologic este echipat cu metrica .
Convergența punctuală este aceeași cu convergența în topologia unui produs pe spațiul Y X . Dacă Y este compact , atunci, după teorema lui Tihonov , spațiul Y X este de asemenea compact.
În teoria măsurării, este introdus conceptul de convergență aproape peste tot al unei secvențe de funcții măsurabile definite pe un spațiu măsurabil , ceea ce înseamnă convergență aproape peste tot . Teorema lui Egorov afirmă că convergența punctuală aproape peste tot pe o mulțime de măsură finită implică o convergență uniformă pe o mulțime doar puțin mai mică.