Si tu veux un exemple de suite de fonctions qui converge dans L^2 mais pas presque surement tu peux imaginer une suite de fonctions sur [0,1] comme ça :
f_0 = 1 sur [0,1]
f_1 = 1 sur [0, 1/2] et 0 sur ]1/2 ,1]
f_2 = 0 sur [0, 1/2] et 1 sur ]1/2 ,1]
f_3 = 1 sur [0, 1/4] et 0 sur ]1/4 ,1]
f_4 = 1 sur ]1/4, 2/4] et 0 sur le reste
f_5 = 1 sur ]2/4, 3/4] et 0 sur le reste
f_6 = 1 sur ]3/4,1] et 0 sur le reste
Fais un dessin pour te convaincre, tu verras que les aires sous la courbe tendent vers 0 mais la fonction tend vers 0 en aucun point puisque si on attend suffisamment longtemps on a un créneau qui va repasser par un point donné.
Il ne faut pas oublier aussi qu'une convergence L^2 est toujours définie pour une classe de fonctions ; si tu changes ta fonction sur un nombre dénombrable de points tu ne modifies pas sa convergence dans L^2.
D'autre part, tu as le théorème de Riesz-Fisher qui te dit que si tu as une convergence L^2 alors tu as une sous suite qui converge presque surement (tu peux essayer de retrouver une telle sous suite sur l'exemple que je t'ai donné pour bien comprendre).
L'intérêt de la convergence L^2 c'est qu'on l'a toujours pour les séries de Fourier (avec Parseval si tu veux) alors que la convergence simple n'est pas toujours présente.
Message édité le 10 avril 2019 à 09:52:32 par Sureminence