Loading AI tools
De Wikipédia, l'encyclopédie libre
En analyse, un ensemble de fonctions définies sur un espace topologique et à valeurs dans un espace uniforme est dit équicontinu en un point de l'espace de départ si ces fonctions non seulement sont toutes continues en ce point, mais le sont d'une façon semblable en un sens explicité plus loin. L'ensemble de fonctions sera dit équicontinu tout court s'il est équicontinu en tout point de l'espace de départ.
On parle souvent non d'ensemble, mais de famille de fonctions équicontinues ; ce qui importe cependant reste l'ensemble des fonctions de la famille.
Les familles de fonctions équicontinues possèdent certaines propriétés intéressantes. Par exemple, si une suite de fonctions continues converge simplement vers une fonction, cette fonction n'est pas forcément continue (un contre-exemple est donné par la famille de fonctions définies sur [0, 1] par x ↦ xn). Cependant, si cette suite est équicontinue, alors la limite est continue.
Soit (fi)i∈I une famille de fonctions d'un espace topologique E dans un espace uniforme F[1]. L'ensemble d'indices I peut être quelconque (fini ou infini dénombrable ou non).
La famille (fi)i∈I est dite :
Dans tout ce qui précède, on peut remplacer la famille (fi)i∈I par l'ensemble {fi | i ∈ I}. On parlera donc d'un ensemble d'applications équicontinu en un point, ou équicontinu, ou uniformément continu[2].
Étant donné la famille (fi)i∈I, on peut considérer l'application de l'espace E dans l'ensemble FI qui à tout x ∈ E associe la famille (fi(x))i∈I.
L'équicontinuité (respectivement l'équicontinuité uniforme) de la famille (fi)i∈I équivaut à la continuité (resp. à la continuité uniforme) de cette application de E dans FI lorsqu'on munit FI de la topologie (resp. de la structure uniforme) de la convergence uniforme sur I.
Lorsque E est un espace métrique, cette structure uniforme sur FI est définie par une distance δ donnée par
La continuité de chacune des fi équivaut à la continuité de cette application de E dans FI lorsqu'on munit FI de la topologie de la convergence simple sur I, qui n'est autre que la topologie produit.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.