- Convergence ponctuelle
-
Convergence simple
En mathématiques, la convergence simple ou ponctuelle est une notion de convergence dans un espace fonctionnel, c’est-à-dire dans un ensemble de fonctions entre deux espaces topologiques. C'est une définition peu exigeante : elle est plus facile à établir que d'autres formes de convergence, notamment la convergence uniforme et le passage à la limite possède donc moins de propriétés : une suite de fonctions continues peut ainsi converger simplement vers une fonction qui ne l'est pas.
Sommaire
Définition
Convergence simple
- Soient
et
deux espaces topologiques, soit
une suite de fonctions définies sur
à valeurs dans
. On dit que la suite de fonctions
converge simplement si :
-
, la suite
converge dans
- Si l'application
est telle que
on dit que la suite de fonctions
converge simplement vers la fonction
, ou que f est 'limite simple' de la suite
.
Remarque
Si l'espace Y est supposé séparé, l'éventuelle limite simple d'une suite de fonctions à valeurs dans Y est toujours unique.
Il convient également de remarquer que la topologie de l'espace de départ X n'intervient pas du tout dans la définition : on peut donc se passer de structure topologique sur celui-ci, et définir cette notion pour tout ensemble X.
Topologie faible
Définition
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
forme une base de voisinage. La topologie associée est appelée la topologie faible.
Remarques
On peut 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.
Propriétés
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.
- La convergence uniforme implique la convergence simple. La démonstration découle directement des définitions. En revanche la réciproque est fausse comme le montre le contre-exemple illustré graphiquement en début d'article.
- La convergence simple ne conserve pas la continuité, comme le montre le contre-exemple illustré graphiquement en début d'article.
- Dans le cas où l'ensemble de départ est un espace mesurable et où l'ensemble d'arrivée est le corps des réels alors la convergence simple peut indiquer la convergence pour la norme L1 avec l'ajout de certaines hypothèses décrites dans les articles Théorème de convergence monotone et Théorème de convergence dominée.
- Le passage à la limite pour l'intégrale des limites simples a contribué à motiver l'introduction par Henri Lebesgue de sa notion de fonction mesurable. La préservation de l'intégrabilité locale n'est en effet pas vrai au sens de Riemann employé dans le cadre de la théorie de l'intégrale de Riemann.
Convergence simple dans un espace métrique
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 :
0, \exists N_{\epsilon,x}, \forall n \in \N, n \ge N_{\epsilon,x} \Rightarrow d(f_{n}(x),f(x))<\epsilon" style="max-width : 98%; height: auto; width: auto;" src="/pictures/frwiki/101/ea810370fc4bf594e8ab717814fea573.png" border="0">
Voir aussi
- convergence uniforme
- limite (mathématiques)
- Théorème d'Egoroff
- Théorème de la limite simple de Baire
- Portail des mathématiques
Catégories : Analyse fonctionnelle | Espace topologique remarquable | Analyse réelle - Soient
Wikimedia Foundation. 2010.