Continue

Continuité

En mathématiques, la continuité est une propriété topologique d'une fonction. En première approche, une fonction est continue si, à des variations infinitésimales de la variable x, correspondent des variations infinitésimales de la valeur f(x).

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, telle par exemple la fractale.

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, théorème des valeurs intermédiaires, théorème des bornes, application lipschitzienne, intégrabilité).

Sommaire

1 Définition pour les fonctions réelles
2 Définition dans le cas des espaces métriques
- 2.1 Définition
- 2.2 Exemples
3 Définition générale (espaces topologiques)
4 Notion de continuité dans l'histoire
5 Notes et références
6 Voir aussi
- 6.1 Articles connexes

Définition pour les fonctions réelles

Exemple d'une fonction continue

Exemple d'une fonction non continue
$\lim_{x\to 2 \atop x<2}f(x) = 2 \ne f(2)$

f

n'est pas continue à gauche en 2.
$\lim_{x\to 2 \atop x>2}f(x) = 3 = f(2)$

f

est continue à droite en 2.

Définition — Soient $I$ un intervalle réel, $f : I \to \R$ et $a \in I$ .

La fonction $f$ est dite continue en $a$ si :

$\forall \varepsilon > 0 \quad \exists \eta > 0 \quad \forall x \in I \quad \Big[|x - a| \leq \eta \implies |f(x) - f(a)| \leq \varepsilon\Big]$

Ainsi $f$ est continue en $a$ si et seulement si la limite de $f$ en $a$ existe et vaut $f (a)$ .

Cela veut dire que si l'on se fixe un seuil ε, on peut trouver un intervalle autour de a tel que ƒ(x) soit à une distance inférieure à ε de ƒ(a).

Si la continuité est valable uniquement à droite (pour x>a), on dit que f est continue à droite en a. De même à gauche pour a.
Dire que f est continue en a revient à dire qu'elle l'est à droite et à gauche en a.

La fonction ƒ est dite continue (sur I) si elle est continue en tout point a de I.
Une fonction discontinue présente des « sauts ».

Commentaire

C'est l'idée du seuil, ε, fixé à l'avance qui est importante. Cette définition, fruit des efforts des mathématiciens du XIX^e siècle pour rendre rigoureuse la notion intuitive de continuité, peut sembler à bon droit violente. En analyse non standard, une approche plus intuitive est possible : on dira que $f$ est continue en $a\,$ si $f(x)-f(a)\,$ est infiniment petit quand $x-a\,$ est infiniment petit. Tout repose alors sur une définition rigoureuse des infiniment petits.

La définition globale de la continuité dans le cadre des espaces topologiques(voir plus bas) permet elle aussi de se débarrasser des $\epsilon\,$ , au prix du formalisme de la topologie générale.

Exemples

Une grande partie des fonctions usuelles sont continues sur leur intervalle de définition : fonctions polynômes, rationnelles, exponentielles, logarithmes, hyperboliques, trigonométriques, racine carrée, racine cubique, valeur absolue.
La fonction carré : $\R \to \R, x\mapsto x^2$ est continue.
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. Par contre la réciproque est fausse (par exemple la fonction racine carrée est continue en 0, mais n'y est pas dérivable).
Une fonction réelle peut n'être continue en aucun point : c'est le cas de $1_\mathbb{Q}$ , la fonction indicatrice de $\mathbb{Q}$ qui vaut 1 en tout point rationnel et 0 ailleurs. Intuitivement, on voit bien que pour tracer cette fonction, d'une part il faudrait « lever le crayon » une infinité de fois par intervalle, et surtout, pas une seule fois on ne pourrait tracer de ligne de longueur non nulle.

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 f(x) = m (voir théorème des valeurs intermédiaires)
simplifie le calcul de limites car $\lim_{x\to a} f(x) = f(a)$

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 α, β réels et f, g fonctions réelles continues, on a que α.f + β.g 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 sur ce point, la réciproque est fausse.

Contre exemple : la fonction $f(x)=\sqrt[]{x}$ est continue en 0 mais non dérivable en 0 (voir dérivabilité).

Contrairement à ce qui en est parfois dit, des fonctions telles que $f : x \mapsto 1/x$ ou $tan$ sont bel et bien continues. L'erreur est généralement renforcée par l'absence de précision sur le domaine de définition des fonctions manipulées. Dans le cas de $f$ , on peut supposer que le domaine considéré est $\mathbb{R}^*$ . La question de la continuité en 0 n'a donc a priori pas de sens puisque $0 \not\in \mathbb{R}^*$ . Affirmer que $f$ n'est pas continue en 0 est un abus de langage pour indiquer que $f$ n'est pas continument prolongeable en 0 (aucun des prolongements possibles ne conserve la continuité).

Définition dans le cas des espaces métriques

Définition

Définition — Soient $(E,\,d)$ et $(E',\,d')$ deux espaces métriques, $f : E \to E'$ et $a \in E$ .

On dit que l'application $f$ est continue en $a$ si :

$\forall \varepsilon > 0 \quad \exists \eta > 0 \quad \forall x \in E \quad \Big[d(x,a) \leq \eta \implies d'(f(x),f(a)) \leq \varepsilon\Big]$

Ainsi $f$ est continue en $a$ si et seulement si la limite de $f$ en $a$ existe et vaut $f (a)$ .

Exemples

Une application linéaire d'un espace vectoriel normé de dimension finie vers un autre espace vectoriel normé 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 en effet, le cas non borné se présente en dimension infinie : considérons comme application linéaire la dérivation sur $\R[X]$ , l'espace des polynômes réels, où la norme d'un polynôme est la somme des valeurs absolues de ses coefficients. Prenons la famille de polynômes $\{X^n|n\in\N\}$ . Tous ces polynômes sont de norme 1. Pourtant leurs dérivées sont de la forme

n X n - 1

, donc de norme

n

avec

n

arbitrairement grand. Donc la famille des dérivées n'est pas bornée, et la dérivation n'est pas une application continue.

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

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

Définition locale

La définition locale (c'est-à-dire pour un point) de la continuité repose sur la notion mathématique de limite. Une fonction sera dite continue en un point a si sa limite en a est égale à sa valeur en a.

La notion de seuil utilisée pour les fonctions réelles est généralisée par la notion de voisinage : $\mathcal{V}(a)$ désigne l'ensemble des voisinages de $a$ , et $\mathcal{V}\left(f(a)\right)$ ceux de $f (a)$ .

Définition — Soient $E$ et $F$ deux espaces topologiques, $f : E\to F$ et $a\in E$ .

La fonction $f$ est dite continue en $a$ si :

$\forall W\in\mathcal{V}\left(f(a)\right) \quad \exists V\in\mathcal{V}(a) \quad \forall x\in V \quad f(x)\in W$

Ainsi $f$ est continue au point $a\,$ si et seulement si :

$\lim_{x \to a} f(x) = f(a) \,$

La fonction $f$ est dite continue (tout court, ou continue sur $E\,$ ) si et seulement si elle est continue en tout point de $E\,$ .

La fonction $f$ est dite continue sur une partie $A\,$ de $E\,$ si et seulement si elle est continue en tout point de $A\,$ .

Définition globale

Contrairement à la définition locale, la définition globale ne permet pas de caractériser les fonctions continues en un point particulier, mais seulement celles qui sont continues sur l'espace entier. On peut la considérer comme une propriété découlant de la première définition.

Une application continue d'un espace topologique $E$ dans un espace topologique $E'$ est une application telle que l'image réciproque de tout ouvert (resp. fermé) de l'espace d'arrivée soit un ouvert (resp. un fermé) de l'espace de départ.

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, car si on considère un point du départ et son image à l'arrivée, on sait que tout un voisinage de ce point de départ doit arriver au voisinage du point d'arrivée !

Démonstration

$f:\left(E,\Tau\right)\to\left(F,\Upsilon\right)$ est une fonction continue.
$\forall O\in\Upsilon\quad f^{-1}(O)\in\Tau$

1 ⇒ 2 :
On considère un ouvert $O$ de $F$ .
Si $f^{-1}(O) = \varnothing$ alors c'est une ouvert de $E$
Sinon quel que soit $a\in f^{-1}(O)$ , $O$ est un ouvert de $F$ qui contient $f (a)$ , donc d'après (1), il existe un ouvert $U a$ de $E$ tel que $f(U_a) \subset O$ .
$f - 1 (O)$ est la réunion des $U a$ , c'est donc un ouvert de $E$
2 ⇒ 1 :
On considère $a\in F$ .
Quel que soit l'ouvert $W$ de $F$ contenant $f (a)$ , d'après (2), $V = f - 1 (W)$ est un ouvert de $E$ vérifiant $a\in V$ et $f(V)\subset W$ .

Cette définition est souvent utilisée comme propriété pour montrer qu'un ensemble est ouvert (ou fermé). Par exemple l'hyperbole $\mathcal{H} = \left\{ (x,y)\in\R^2 \, | \, xy=1 \right\} \,\!$ peut être vue comme l'image réciproque de $\{ 1 \} \,\!$ par l'application produit :

$\begin{array}{cccc}\Pi : & \R^2 & \rightarrow & \R \\ & (x,y) & \mapsto & xy\end{array}$

L'hyperbole $\mathcal{H} = \Pi^{-1} \left( \{ 1 \} \right) \,\!$ est fermée car elle est l'image réciproque du singleton $\{ 1 \} \,\!$ par l'application continue $\Pi \,\!$ .

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

Un espace métrique $(E,\,d)$ possède une topologie associée $\tau \;$ . Un ouvert de $\tau \;$ est un ensemble tel que pour tout point de l'ouvert, il existe une boule ouverte non vide et de centre le point incluse dans l'ouvert :

$\forall \mathcal O \in \tau,\, \forall x \in \mathcal O,\, \exists \epsilon >0 \quad \mathcal B(x,\,\epsilon) \subset \mathcal O$

Un voisinage $\mathcal V(a)$ de $a\,$ est un sous-ensemble contenant un ouvert contenant $a\,$ . Par conséquent il existe une boule ouverte non vide de centre $a\,$ et incluse dans $\mathcal V(a)$

Les deux définitions de la continuité d'une fonction par la topologie sont équivalentes. Si $\tau'\;$ désigne la topologie associée à un espace métrique $(E',\,d')$ , alors :

Propriété — La fonction $\ f$ de $(E,\,d)$ dans $(E',\,d')$ est continue en un point $\ a$ de $\ E$ si et seulement si elle est continue en ce point, considérée comme une fonction de $(E,\,\tau)$ dans $(E',\,\tau')$ .

En effet, la fonction est continue en $\ a$ du point de vue topologique si et seulement si :

$\forall W\in\mathcal{V}\left(f(a)\right) \quad \exists V\in\mathcal{V}(a) \quad \forall x\in V \quad f(x)\in W$

Par construction de la topologie, cette condition s'exprime :

$\forall \varepsilon > 0 \quad \exists \eta > 0 \quad \forall x\in \mathcal B(a,\eta) \quad f(x)\in \mathcal B(f(a),\varepsilon)$

$\forall \varepsilon > 0 \quad \exists \eta > 0 \quad \forall x \in E \quad d(x,a) \leq \eta \Rightarrow d'(f(x),f(a)) \leq \varepsilon$

La dernière définition correspond exactement à celle 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 ^[1]. 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 ^[2]. Cette notion de continuité s'appelle la continuité eulérienne et est plus restrictive que la la définition actuelle. Par exemple, la fonction définie pour tout réel négatif par $f (x) = x$ et tout réel positif par $f (x) = x 2$ 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 f(x) varie suivant la loi de continuité pour la valeur x si la différence |f(x + w) - f(x)| 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 x par f est continue en x si la valeur numérique de la différence f(x + a) - f(x) décroit indéfiniment avec celle de a, utilisant ainsi les notions des infiniment petits^[3].

Une autre définition de la continuité, inspirée de celle de Cauchy est de dire que f est continue en a si pour tout suite $(x n)$ convergeant vers a, la suite $f (x n)$ converge vers f(a). Cette définition de la continuité par les suites n'est équivalente à celle actuellement en vigueur que si l'on admet l'axiome du choix.

Malgré cette définition formelle, l'utilisation de la continuité reste au début du XIX^e 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 f étant continue entre les points x0 et X, la courbe qui a pour équation y=f(x) sera continue entre les points (x0, f(x0) et (X,f(X)) et la droite d'équation y=b qui passera entre les ordonnées f(x0) et f(X) ne peut que rencontrer dans l'intervalle la courbe mentionnée. »^[4]

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

Notes et références

↑ Amy Dahan-Dalmedico, Jeanne Peiffer, Une Histoire des mathématiques - Routes et dédales, Seuil, coll. « Points Sciences », 1986 (ISBN 2020092380) [détail des éditions], p 222
↑ Jacques Bouveresse, Jean Itard, Émile Sallé, Histoire des mathématiques [détail des éditions] , p 34
↑ Michel Guillemot,Bolzano et la démonstration du théorème des valeurs intermédiaires, in La démonstration mathématique dans l'histoire, Irem de Lyon.
↑ id.

Voir aussi

Voir « continuité » sur le Wiktionnaire.

Regardez d'autres dictionnaires:

continue — ● continue nom féminin Consonne dont l émission s accompagne d un écoulement ininterrompu du flux d air phonatoire. (Les constrictives, les approximantes, les latérales, les glides et les nasales sont des continues.) ● continu, continue adjectif… … Encyclopédie Universelle
continue — con·tin·ue vt tin·ued, tinu·ing: to postpone (a legal proceeding) to a future day Merriam Webster’s Dictionary of Law. Merriam Webster. 1996. continue I … Law dictionary
Continue — Con*tin ue, v. i. [imp. & p. p. {Continued}; p. pr. & vb. n. {Continuing}.] [F. continuer, L. continuare, tinuatum, to connect, continue, fr. continuus. See {Continuous}, and cf. {Continuate}.] 1. To remain in a given place or condition; to… … The Collaborative International Dictionary of English
Continue — may refer to: Continue (video gaming), an option to continue a video game after all the player s lives have been lost Continue (album), a 2008 Cantopop album by Pakho Chau Continue (keyword), a programming language keyword See also Continuity… … Wikipedia
continue — [kən tin′yo͞o] vi. continued, continuing [ME continuen < OFr continuer < L continuare, to join, make continuous < continuus, continuous < continere: see CONTAIN] 1. to remain in existence or effect; last; endure [the war continued for … English World dictionary
Continue — Con*tin ue, v. t. 1. To unite; to connect. [Obs.] [1913 Webster] the use of the navel is to continue the infant unto the mother. Sir T. browne. [1913 Webster] 2. To protract or extend in duration; to preserve or persist in; to cease not. [1913… … The Collaborative International Dictionary of English
continue — CONTINUE. s. f. Durée sans interruption. Il ne s emploie qu adverbialement. A la continue, pour dire, A la longue, à force de continuer. Il travaille d abord avec ardeur, mais à la continue il se ralentit. A la continue il se lasse … Dictionnaire de l'Académie Française 1798
continue — Continue. s. f. Durée sans interruption. Travaillez y sans cesse, la continus l emporte. A la continue, adverbial. A la longue. Il travaille d abord avec ardeur, mais à la continuë il se ralentit. à la continuë il se lasse … Dictionnaire de l'Académie française
continué — continué, ée (kon ti nu é, ée) part. passé. L expédition continuée malgré les obstacles. Un magistrat continué dans ses fonctions. Un ouvrage resté longtemps inachevé et enfin continué … Dictionnaire de la Langue Française d'Émile Littré
continue — continue, last, endure, abide, persist are comparable when meaning to remain indefinitely in existence or in a given condition or course. Continue distinctively refers to the process and stresses its lack of an end rather than the duration of or… … New Dictionary of Synonyms
continue — should not be followed by on (adverb), although this is sometimes found in informal writing: • I continued on down the street A. Bergman, 1975. Use either continue (without on) or a verb of motion (such as go, move, etc.) with on. This use of the … Modern English usage

Dictionnaires et Encyclopédies sur 'Academic'

Continue

Continuité

Sommaire