CALCUL INFINITÉSIMAL Calcul à une variable

Caractérisations des fonctions réglées

Soit f une fonction à valeurs réelles définie sur un intervalle X, et Y un intervalle (ou un ensemble) contenu dans X. Nous dirons que f est constante à 10^-^p près sur Y s'il existe un nombre c tel que l'on ait |f (x) − c| ≤ 10^-^p pour tout x ∈ Y.

Théorème 5. Soit f une fonction définie sur un intervalle compact X. Pour que f soit réglée dans X il faut et il suffit que pour tout entier p, on puisse partager l'intervalle X en un nombre fini d'intervalles partiels X₁, ..., X_n tels que f soit constante à 10^-^p près dans chaque X_i.

Fonction réglée - crédits : Encyclopædia Universalis France — Fonction réglée
Encyclopædia Universalis France

C'est presque la définition. Si en effet on peut trouver, pour chaque X_i, une constante c_i telle que |f (x) − c_i| ≤ 10^-^p pour tout x ∈ X_i, on peut immédiatement construire deux fonctions étagées ϕ′ et ϕ″ vérifiant ϕ′ ≤ f ≤ ϕ″ et ϕ″ (x) − ϕ′ (x) ≤ 2.10^-^p pour tout x ∈ X, à savoir les fonctions qui dans chaque X_i, sont respectivement égales à c_i − 10^-^p et à c_i + 10^-^p. Inversement, si f est réglée, il est possible de réaliser les conditions (8) ci-dessus, puis de partager X en intervalles sur chacun desquels ϕ′ et ϕ″ sont constantes, et sur chacun desquels f est, par suite, constante à 10^-^q près.

Dans la pratique, on a besoin de caractériser les fonctions réglées par un critère exprimant que leur comportement « au voisinage de chaque valeur de la variable » est assez simple pour que f (x) n'oscille pas d'une manière incontrôlable lorsque x se rapproche de plus en plus d'une « limite » donnée. Cela va nous obliger à développer quelques considérations sur les valeurs limites d'une fonction.

Soit f une fonction réglée sur un intervalle X, et soit a un point de X ; considérons les valeurs de f aux points x ∈ X tels que a < x (ce qui suppose a distinct de l'extrémité droite de X) ; nous allons montrer que lorsque x se « rapproche de plus en plus » de a, le nombre f (x) « se rapproche de plus en plus » lui aussi d'une certaine valeur b bien définie, que l'on appellera la valeur limite à droite de f au point a. Noter que cette propriété est évidente si f est une fonction étagée ; il y a en effet alors un a′ > a tel que f (x) soit constant dans l'intervalle a < x < a′ (car si l'on décompose X en intervalles partiels sur chacun desquels f est constante, le point a est soit intérieur à l'un de ces intervalles, soit l'extrémité gauche de l'un d'entre eux) ; il est alors clair que si x > a se rapproche de a, f (x), qui ne bouge pas, se rapproche de plus en plus d'une valeur limite (à savoir de sa valeur, constante, dans l'intervalle a < x < a′).

Dans le cas général, nous savons qu'il existe, pour chaque entier p, une partition de X en intervalles partiels sur chacun desquels f (x) est constant à 10^-^pprès. Pour chaque entier p, il y a donc dans X un point a_p> a tel que f (x) soit constant à 10^-^p-2près dans l'intervalle a < x < a_p, d'où un nombre réel b_p tel que :

on peut évidemment supposer, si on le désire, que a₁≥ a₂≥ a₃≥ ..., en remplaçant au besoin a_ppar a_p-1 pour chaque p tel que a_p> a_p-1. Cela dit, choisissons un entier p et considérons les nombres b_p, b_p+1, b_p+2, ... ; si m et n sont deux entiers supérieurs à p, tels par exemple que p ≤ m ≤ n, considérons un x tel que a < x < a_n ; on aura aussi les inégalités a < x < a_m, d'où, à la fois :

ce qui montre évidemment que l'on a :

dès que m et n dépassent p. D'après le critère de Cauchy (théorème 3), il existe donc un nombre réel b tel que l'on ait |b − b_n| ≤ 10^-^p-1pour tout n ≥ p, et en particulier pour[...]

La suite de cet article est accessible aux abonnés

Des contenus variés, complets et fiables
Accessible sur tous les écrans
Pas de publicité

Découvrez nos offres

Déjà abonné ? Se connecter

Écrit par

Roger GODEMENT : professeur à l'université de Paris-VII

Carte mentale
Élargissez votre recherche dans Universalis

Classification

Médias

Fonction étagée - crédits : Encyclopædia Universalis France — Fonction étagée

Encyclopædia Universalis France

Intervalles - crédits : Encyclopædia Universalis France — Intervalles

Encyclopædia Universalis France

Afficher les 6 médias de l'article CALCUL INFINITÉSIMAL - Calcul à une variable

Autres références

ABEL NIELS HENRIK (1802-1829)
- Écrit par Jean-Luc VERLEY
- 1 304 mots
À une époque où la Norvège était d'une extrême pauvreté par suite des guerres qui l'avaient ruinée, Niels Henrik Abel, second fils d'une famille de sept enfants, naquit le 5 août 1802 dans l'île de Finnøy, près de Stavanger. Dès sa quinzième année, il lut et assimila les travaux les plus difficiles d'Euler...
ARCHIMÈDE (287-212 av. J.-C.)
- Écrit par Jean ITARD
- 2 726 mots
- 2 médias
...volumes par excès et défaut en remplaçant chaque couche par un cylindre circonscrit ou inscrit. Il utilisera, pour conclure, le raisonnement appelé, depuis le xvii^e siècle, « par exhaustion », et qui remonte à Eudoxe. Apparaissent ainsi nos « sommes de Riemann » et nos intégrales définies.
BARROW ISAAC (1630-1677)
- Écrit par Encyclopædia Universalis
- 305 mots
Mathématicien et théologien anglais qui fut un des précurseurs du calcul infinitésimal. Ordonné ministre anglican en 1668, Isaac Barrow enseigna le grec à l'université de Cambridge (1660-1663) et fut nommé, en 1662, professeur de mathématiques au collège Gresham de Londres. En 1664, il devient professeur...
BERNOULLI LES
- Écrit par Encyclopædia Universalis
- 1 238 mots
- 1 média
– Systématisation du calcul infinitésimal. En 1687, Jacques écrit à Leibniz pour lui demander de lui préciser de nombreux points obscurs des premiers fondements du calcul infinitésimal parus dans les Acta eruditorum en 1684. Leibniz, absent de Hanovre, ne répondit qu'en 1690 et la tradition...
Afficher les 25 références

CALCUL INFINITÉSIMAL Calcul à une variable

Caractérisations des fonctions réglées

ABEL NIELS HENRIK (1802-1829)

ARCHIMÈDE (287-212 av. J.-C.)

BARROW ISAAC (1630-1677)

BERNOULLI LES