Continuité (mathématiques)

Modèle:Voir homonymes En mathématiques, la continuité est une propriété topologique d'une fonction. En première approche, une fonction Modèle:Mvar est continue si, à des variations infinitésimales de la variable Modèle:Mvar, correspondent des variations infinitésimales de la valeur Modèle:Math.

La continuité est associée à la notion de continuum dont l'origine est géométrique. Dans un continuum géométrique, comme le plan ou l'espace, un point peut se déplacer continument pour s'approcher à une précision arbitraire d'un autre point. La notion de continuité est définie de manière rigoureuse en mathématiques.

Le premier exemple de fonctions continues concerne des fonctions réelles définies sur un intervalle et dont le graphe peut se tracer sans lever le crayon. Cette première approche donne une idée de la notion (la fonction ne saute pas) mais n'est pas suffisante pour la définir, d'autant plus que certains graphes de fonctions pourtant continues ne peuvent pas se tracer de cette manière, telles par exemple des courbes ayant des propriétés fractales comme l'escalier de Cantor.

Historiquement définie pour des fonctions de la variable réelle, la notion de continuité se généralise à des fonctions entre espaces métriques ou entre espaces topologiques, sous une forme locale et sous une forme globale.

L'étude des fonctions continues se révèle fructueuse pour les propriétés qu'elles possèdent (propriété de convergence au sens où « Modèle:Math », théorème des valeurs intermédiaires, théorème des bornes, intégrabilité…).

Définition pour les fonctions réelles

Fichier:Exemple fonction continue.png

Exemple d'une fonction continue sur un intervalle.

Fichier:Exemple fonction non continue.png

Exemple d'une fonction non continue en 2 :
<math>\lim_{x\to 2 \atop x<2}f(x) = 2 \ne f(2)</math>
Modèle:Mvar n'est pas continue à gauche en 2.
<math>\lim_{x\to 2 \atop x>2}f(x) = 3 = f(2)</math>
Modèle:Mvar est continue à droite en 2.

Ainsi [[Limite (mathématiques)#Limite de fonction|Modèle:Mvar est continue en Modèle:Mvar si et seulement si la limite de Modèle:Mvar en Modèle:Mvar existe (elle vaut alors nécessairement Modèle:Math)]]. De même, dans la définition formelle de la limite, une définition équivalente<ref>Voir par exemple Modèle:Ouvrage, définition 36.2.</ref> est obtenue en remplaçant <math>|x-a|<\eta</math> par <math>|x-a|\le\eta</math> ou <math>|f(x)-f(a)|<\varepsilon</math> par <math>|f(x)-f(a)|\le\varepsilon</math>.

Cela veut dire qu'en fixant un seuil ε, on peut trouver un intervalle autour de Modèle:Mvar tel que Modèle:Math soit à une distance inférieure à ε de Modèle:Math.

• Si la continuité est valable uniquement à droite (pour Modèle:Math), on dit que Modèle:Mvar est continue à droite en Modèle:Mvar. De même à gauche pour Modèle:Mvar.
  Dire que Modèle:Mvar est continue en Modèle:Mvar revient à dire qu'elle l'est à droite et à gauche en Modèle:Mvar.
• La fonction Modèle:Mvar est dite continue (sur Modèle:Mvar) si elle est continue en tout point Modèle:Mvar de Modèle:Mvar.
  Une fonction qui présente des « sauts » est discontinue. La notion de saut est illustrée sur la figure ci-contre, elle correspond à l'existence d'une limite à droite et d'une limite à gauche qui n'ont pas toutes les deux la même valeur que Modèle:Math.

Commentaire

Une fonction qui n'est pas continue est dite discontinue.

C'est l'idée du seuil ε fixé à l'avance qui est importante. Cette définition est le fruit des efforts des mathématiciens du Modèle:S mini- siècleModèle:Vérification siècle pour rendre rigoureuse la notion intuitive de continuité. En analyse non standard, une approche plus intuitive est possible : on dira que Modèle:Mvar est continue en Modèle:Mvar si Modèle:Math est infiniment petit quand Modèle:Mvar est infiniment petit. Tout repose alors sur une définition rigoureuse des infiniment petits et cette définition ne s'applique qu'aux fonctions dites standards.

La définition globale de la continuité dans le cadre des espaces topologiques (voir plus bas) permet elle aussi de s'affranchir des ε, mais ceci au prix du formalisme de la topologie générale.

Exemples

• Une grande partie des fonctions usuelles sont continues sur leur domaine de définition : fonctions polynomiales, rationnelles, exponentielles, logarithmes, hyperboliques, trigonométriques, racine n-ième, puissance n-ième, valeur absolue.
• La fonction partie entière sur les réels est discontinue : on « lève le crayon » en arrivant à chaque entier.
• Une fonction réelle dérivable en un point est continue en ce point. (La réciproque est fausse : cf. § « Des erreurs à éviter ».)
• Il existe des fonctions définies sur ℝ qui ne sont continues en aucun point : c'est le cas de la fonction indicatrice de ℚ, appelée la fonction de Dirichlet, qui vaut 1 en tout point rationnel et 0 ailleurs. Intuitivement, on voit bien que, pour tracer cette fonction, il faudrait « lever le crayon » une infinité de fois par intervalle, et surtout aucune ligne de longueur non nulle ne peut être tracée.
• Cet exemple « pathologique » se généralise : pour tout ensemble F_σ (c'est-à-dire toute réunion d'une suite de fermés) d'un intervalle fermé non trivial Modèle:Mvar de ℝ, il existe une application de Modèle:Mvar dans ℝ dont les points de discontinuité sont exactement les éléments de cet ensemble (c'est en fait une caractérisation des F_σ)<ref>Modèle:Ouvrage.</ref>.

Propriétés

La notion de continuité sur un intervalle pour les fonctions réelles :

• est utile pour prouver l'existence de solutions à des équations de la forme Modèle:Math (voir théorème des valeurs intermédiaires) ;
• simplifie le calcul de limites car <math>\lim_{x\to a} f(x) = f(a)</math>.

La composée de fonctions continues est une fonction continue. La composée d'une fonction continue et d'une suite convergente est une suite convergente.

Les propriétés de stabilité de la continuité par combinaison linéaire (i.e. pour tous Modèle:Math réels et Modèle:Mvar, Modèle:Mvar fonctions réelles continues, la fonction Modèle:Math est continue) et par produit de deux fonctions font de l'ensemble des fonctions continues une algèbre sur le corps des réels.

Des erreurs à éviter

• Une fonction dérivable en un point est continue en ce point mais la réciproque est fausse. Par exemple les fonctions racine carrée et valeur absolue sont continues en 0 mais non dérivables en ce point (voir l'article « Dérivabilité »).
• Une fonction telle que Modèle:Math est bel et bien continue. L'erreur consistant à dire que Modèle:Mvar n'est pas continue en 0 est renforcée par l'absence de précision sur son domaine de définition : la continuité en un point situé hors du domaine de définition n'a pas de sens. Dans le cas de Modèle:Mvar, tant qu'une valeur n'est pas précisée pour Modèle:Math, on doit supposer que le domaine de définition considéré est ℝ*. Ainsi, dire que Modèle:Mvar est ou n'est pas continue en 0 n'a aucun sens ; on peut seulement dire qu'elle n'est pas prolongeable en une fonction continue en 0.
• Dans l'histoire, la continuité d'une fonction était pensée comme « ne pouvant pas passer d'une valeur à une autre sans passer par toutes les valeurs intermédiaires » (propriété souvent appelée PVI pour « propriété des valeurs intermédiaires ») mais on sait aujourd'hui qu'il n'y a pas équivalence entre les deux ; la propriété des valeurs intermédiaires est nécessaire pour qu'il y ait continuité (c'est le théorème des valeurs intermédiaires), mais pas suffisante (la fonction Modèle:Math prolongée par 1 en 0 vérifie bien la propriété des valeurs intermédiaires et est pourtant discontinue en zéro).

Définition dans le cas des espaces métriques

La droite réelle est un espace métrique, la distance usuelle sur R étant celle qui à deux nombres associe la valeur absolue de leur différence. La définition ci-dessus se généralise donc naturellement :

Définition

À nouveau, Modèle:Mvar est ainsi continue en Modèle:Mvar si et seulement si la limite de Modèle:Mvar en Modèle:Mvar existe (elle vaut alors nécessairement Modèle:Math).

Exemples

• Toute application uniformément continue entre deux espaces métriques — en particulier toute application lipschitzienne — est continue.
• Une application linéaire d'un espace vectoriel normé vers un autre est continue si et seulement si elle est bornée sur la boule unité (et elle est alors lipschitzienne).

Définition générale (espaces topologiques)

On donne deux définitions équivalentes dans le cas des espaces topologiques.

Définition locale

On peut faire reposer la définition locale (c'est-à-dire pour un point) de la continuité sur la notion de limite :

Modèle:Théorème Si Modèle:Mvar est séparé (ou même seulement T₁) comme tout espace métrisable, il suffit pour cela qu'il existe une limite de Modèle:Mvar en ce point.

Caractérisation séquentielle

Si Modèle:Mvar est métrisable (ou plus généralement : héréditairement séquentiel), Modèle:Mvar est continue en Modèle:Mvar si (et seulement si) pour toute suite (x_n) convergeant vers Modèle:Mvar, la suite Modèle:Math converge vers Modèle:Math ; et lorsque de plus Modèle:Mvar est T₁ (ou même seulement à unique limite séquentielle), il suffit que pour toute suite Modèle:Math convergeant vers Modèle:Mvar, la suite Modèle:Math admette une limite.

La notion de seuil utilisée pour les fonctions réelles est généralisée par la notion de voisinage : <math>\mathcal{V}(a)</math> désigne l'ensemble des voisinages de Modèle:Mvar, et <math>\mathcal{V}\left(f(a)\right)</math> ceux de Modèle:Math. On démontre alors : Modèle:Théorème

La fonction Modèle:Mvar est dite continue sur Modèle:Mvar (ou simplement : continue) si elle est continue en tout point de Modèle:Mvar. Elle est dite continue sur une partie Modèle:Mvar de Modèle:Mvar si sa restriction à Modèle:Mvar (muni de la topologie induite) est continue (il suffit pour cela que Modèle:Mvar soit continue en tout point de Modèle:Mvar).

Caractérisations globales

On peut déduire de la définition locale trois caractérisations équivalentes des applications qui sont continues (en tout point de l'espace de départ).

La première d'entre elles est qu'une application est continue si et seulement si l'image réciproque de tout ouvert de l'espace d'arrivée est un ouvert de l'espace de départ. La suivante, analogue, s'écrit en termes de fermés. La quatrième utilise les notions d'adhérence et d'image directe et les deux dernières, celles d'adhérence ou de frontière et d'image réciproque.

Le lien avec la notion intuitive est le suivant : quand une fonction « saute », cela signifie que des points très proches de l'espace de départ, se retrouvent sur des points très éloignés à l'arrivée. Or pour une application continue, ces sauts sont impossibles, d'après le théorème précédent.

• Les caractérisations 2 et 3 sont souvent utilisées, a contrario, pour montrer qu'un certain ensemble est ouvert (ou fermé) en faisant intervenir une application qu'on sait déjà être continue. Par exemple :
  • dans R², l'hyperbole d'équation Modèle:Math est fermée, comme image réciproque du singleton {1} par l'application continue « produit » : Modèle:Math ;
  • le graphe d'une application continue Modèle:Math est fermé dans [[Topologie produit|Modèle:Math]] dès que Modèle:Mvar est séparé ;
  • deux applications continues à valeurs dans un espace séparé qui coïncident sur une partie dense sont égales. Ceci permet par exemple de montrer que l'ensemble des fonctions continues de R dans R n'a que la puissance du continu donc que son cardinal est strictement plus petit que |R^R| = |P(R)|.
• Dans les caractérisations 4 et 5, les inclusions réciproques sont fausses en général. Par exemple si Modèle:Mvar est l'application continue de R dans R qui à Modèle:Mvar associe 1 si Modèle:Math et Modèle:Math si Modèle:Math, 0 n'appartient pas à Modèle:Math alors qu'il appartient à Modèle:Math, et n'appartient pas à Modèle:Math alors qu'il appartient à Modèle:Math.
• D'après ce théorème, toute restriction-corestriction d'une application continue est continue (pour les topologies induites).
• Modèle:Ancre Ce théorème permet aussi de montrer que si Modèle:Mvar est une réunion d'ouverts tels que la restriction de Modèle:Mvar à chacun de ces ouverts soit continue alors Modèle:Mvar est continue, et de même si Modèle:Mvar est réunion d'un nombre fini de fermés tels que la restriction de Modèle:Mvar à chacun de ces fermés soit continue. Pour une réunion (même finie) de « parties quelconques », on n'a aucun résultat de ce genre (Modèle:Cf. « Fonction de Dirichlet »).
• Si Modèle:Mvar est séquentiel alors Modèle:Mvar est continue sur Modèle:Mvar si (et seulement si) pour tout point Modèle:Mvar de Modèle:Mvar et toute suite Modèle:Math convergeant vers Modèle:Mvar, la suite Modèle:Math converge vers Modèle:Math.

Exemples

• Une application constante d'un espace topologique dans un autre est continue. En effet, l'image réciproque de toute partie est soit l'ensemble vide, soit l'ensemble de départ tout entier.
• Toute application dont l'espace de départ est muni de la topologie discrète, ou l'espace d'arrivée de la topologie grossière, est continue.
• L'application identité, d'un ensemble muni d'une certaine topologie vers le même ensemble muni d'une autre topologie, est continue si et seulement si la topologie sur l'ensemble de départ est plus fine que celle sur l'ensemble d'arrivée. La bijection réciproque n'est alors pas continue, sauf si les deux topologies sont égales.
• Soient Modèle:Mvar une partie d'un espace topologique X, et 1_A sa fonction caractéristique :
  • de Modèle:Mvar dans ℝ (ou, par corestriction, de Modèle:Mvar dans la paire {0, 1} munie de la topologie discrète), les points de Modèle:Mvar en lesquels 1_A est discontinue sont les points de la frontière de Modèle:Mvar ;
  • de Modèle:Mvar dans l'espace de Sierpiński (la paire {0, 1} munie de la topologie { ∅, {1}, {0, 1} }), les points de Modèle:Mvar en lesquels 1_A est discontinue sont alors seulement les points de A non intérieurs à Modèle:Mvar.

Équivalence de la définition métrique et topologique

Un espace métrique (E, d) possède une topologie associée Modèle:Math. Pour tout point Modèle:Mvar de Modèle:Mvar, les boules ouvertes de centre Modèle:Mvar et de rayons strictement positifs forment une base de voisinages de Modèle:Mvar pour cette topologie. Si Modèle:Math désigne la topologie associée à un espace métrique (E', d'), alors :

En effet, la fonction est continue en Modèle:Mvar du point de vue topologique si et seulement si (en utilisant les d'-boules formant une base de voisinages de Modèle:Math : Modèle:Retrait En utilisant les Modèle:Mvar-boules formant une base de voisinages de Modèle:Mvar, cette condition se réécrit : Modèle:Retrait ou encore : Modèle:Retrait ce qui correspond exactement à la définition de la continuité formalisée par les distances.

Notion de continuité dans l'histoire

La continuité n'a pas toujours été définie de la façon précédente.

Euler dans son Introductio in analysin infinitorum définit la fonction continue comme une fonction définie par une seule expression analytique finie ou infinie (série entière) et appelle fonctions discontinues ou mixtes celles possédant plusieurs expressions analytiques suivant les intervalles<ref>Modèle:DahanPeiffer, Modèle:P..</ref>. Sylvestre Lacroix (1810) appelle fonction continue une fonction dont toutes les valeurs sont définies à partir d'une même loi ou dépendent d'une même équation<ref>Modèle:BouvItardSallé, Modèle:P..</ref>. Cette notion de continuité s'appelle la continuité eulérienne et est plus restrictive que la définition actuelle. Par exemple, la fonction définie pour tout réel négatif par Modèle:Math et tout réel positif par Modèle:Math est continue au sens actuel et mixte (discontinue) au sens d'Euler.

La définition que nous utilisons aujourd'hui est celle donné par Bernard Bolzano dans sa théorie des fonctions : « La fonction Modèle:Math varie suivant la loi de continuité pour la valeur Modèle:Mvar si la différence Modèle:Math peut-être rendue plus petite que toute valeur donnée. » (Prague 1816).

Augustin Louis Cauchy dans son Cours d'analyse de l'école royale polytechnique, définit la continuité en Modèle:Mvar par : Modèle:Mvar est continue en Modèle:Mvar si la valeur numérique de la différence Modèle:Math décroit indéfiniment avec celle de Modèle:Mvar, utilisant ainsi les notions des infiniment petits<ref name="Guillemot">Michel Guillemot, « Bolzano et la démonstration du théorème des valeurs intermédiaires », La démonstration mathématique dans l'histoire, IREM de Lyon.</ref>.

Une autre définition de la continuité, inspirée de celle de Cauchy est la caractérisation séquentielle Modèle:Supra. La définition séquentielle de la continuité globale n'est équivalente à la définition moderne que sur un espace séquentiel.

Malgré cette définition formelle, l'utilisation de la continuité reste au début du Modèle:S mini- siècleModèle:Vérification siècle grandement intuitive quand on voit Cauchy tenir le raisonnement suivant, pour démontrer le théorème des valeurs intermédiaires : « La fonction Modèle:Mvar étant continue entre les points Modèle:Math et Modèle:Mvar, la courbe qui a pour équation Modèle:Math sera continue entre les points Modèle:Math et Modèle:Math et la droite d'équation Modèle:Mvar qui passera entre les ordonnées Modèle:Math et Modèle:Math ne peut que rencontrer dans l'intervalle la courbe mentionnée<ref name="Guillemot"/>. »

Il existe aussi une notion de continuité plus forte : la continuité uniforme dans laquelle la distance Modèle:Math peut être rendue aussi petite que l'on veut pour n'importe quel couple Modèle:Math tels que la distance Modèle:Math soit suffisamment faible. Contrairement à la continuité classique (continuité en un point Modèle:Mvar fixé), la continuité uniforme assure que la majoration est vraie sans avoir besoin de fixer Modèle:Mvar. Cette notion fut précisée par Eduard Heine en 1872.