La convergence simple ou ponctuelle est un critère de convergence dans un espace fonctionnel, c’est-à-dire dans un ensemble de fonctions. C'est un critère peu exigeant, en conséquence, en cas de convergence la convergence simple est souvent vérifiée. En revanche, le passage à la limite offre beaucoup moins de propriétés qu'une convergence plus forte comme la convergence uniforme.
Soit une suite de fonctions définies sur à valeurs dans . Enfin, soit une partie de . On dit que la suite de fonctions converge simplement sur si :
Dans cette définition, on a supposé l'espace topologique séparé. On peut justifier un tel choix par le fait que dans un espace séparé, si une suite d'éléments de cet espace converge alors nécessairement sa limite est unique (ce qui n'est pas le cas dans un espace topologique non-séparé).
L'unicité de la limite est donc une condition indispensable pour pouvoir définir la convergence simple d'une suite de fonctions vers une fonction.
Il existe une topologie associée à la convergence simple, on l'appelle en général topologie faible. Cette topologie est souvent définie à l'aide d'une base de voisinages. On la définit de la manière suivante:
Soit une fonction de dans deux espaces topologiques tel que soit séparé. Soit un élément de tel que soit définie en . On considère alors une base de voisinage de pour la topologie de . À chaque élément de on associe le sous ensemble des fonctions de dans définies en et tel que soit élément de . L'union de tous les ensembles de type quand parcourt l'ensemble des fonctions et parcourt le domaine de définition de forment une base de voisinage. La topologie associée est appelée la topologie faible.
Il est relativement simple de démontrer que la convergence simple d'une suite de fonctions est équivalent à la convergence pour la topologie faible de la suite.
Si n'est pas un ensemble fini, alors il n'existe pas de distance associée à cette topologie. Nous savons en effet que tout espace métrique est muni d'une topologie déduite. Cette topologie ne peut jamais être la topologie faible.
La topologie faible est un critère de convergence peu contraignant comme son nom l'indique. Il existe donc moins de propriétés que dans le cas de la convergence uniforme par exemple.
On suppose maintenant que est un espace métrique, c'est-à-dire que est muni d'une distance et de la topologie qui lui est associée. On sait d'abord qu'un espace métrique est toujours séparé. On peut alors traduire la notion de convergence simple en termes de " epsilon ":
Une suite de fonctions converge simplement sur vers une fonction si et seulement si :