Chapitre IV

La notion de mesure linéaire est une généralisation de la notion de longueur d’un segment, une autre généralisation conduit à la définition de la longueur d’un arc de courbe. En étudiant les questions relatives à la rectification des courbes, nous aurons l’occasion d’appliquer quelques-uns des résultats que nous avons obtenus sur l’intégrale ; nous verrons, en même temps, l’importance d’une classe de fonctions définies par M. Jordan : les fonctions à variation bornée.

Soit une fonction f(x) bornée définie dans un intervalle positif fini (a,b). Partageons (a,b) à l’aide des points

a0=a≦a1≦a2≦…≦an=b ;

la somme

est ce que l’on appelle la variation de f(x) pour le système de points a0, a1, …, an. Si, quel que soit le système des points de division, v est bornée, la fonction est dite à variation totale finie ou, simplement, à variation bornée. La variation totale finie ou infinie est, par définition, la plus grande limite de v, quand le maximum λ de la longueur des intervalles partiels employés tend vers zéro. Il est à remarquer que si, entre les points de division choisis, on intercale de nouveaux points, on augmente v ou, du moins, on ne le diminue pas ; en intercalant ainsi indéfiniment de nouveaux points, de manière que λ tende vers zéro, on a une suite de nombres v tendant vers une limite, finie ou non, qui est au moins égale au nombre v dont on est parti. On peut donc dire que la variation totale de f est la limite supérieure de l’ensemble des nombres v.

On voit aussi très simplement que, dans les définitions précédentes, on peut remplacer v par

o=ω1+ω2+…+ωn,

où ωi est l’oscillation de f dans (ai−1,ai), les extrémités comprises.

Àcause de cette propriété, quelques auteurs appellent les fonctions qui nous occupent fonctions à oscillation totale finie ; l’oscillation totale étant la limite supérieure des o.

Une fonction à variation bornée est intégrable ; elle est, en effet, à oscillation moyenne nulle, puisque cette oscillation est la limite, quand λ tend vers zéro, de

∑(ai−ai−1)ωi≦∑λωi=λ∑ωi=λo≦λO,

Oétant l’oscillation totale de f(x).

L’intégrabilité résulte aussi de cette proposition évidente : les points en lesquels une fonction à variation bornée a une oscillation supérieure à α (α>0) sont en nombre fini et, par suite, forment bien un groupe intégrable.

Choisissons des nombres α1, α2, …, qui tendent vers zéro en décroissant. Les points en lesquels l’oscillation est supérieure à αn sans être supérieure à αn−1 sont en nombre fini, de sorte qu’une fonction à variation bornée a au plus une infinité dénombrable de points de discontinuité.

La réciproque n’est pas vraie ; il existe même des fonctions continues à variation non bornée.

L’oscillation d’une somme f1+f2 étant, dans un intervalle quelconque, au plus égale à la somme des oscillations de f1 et f2 dans cet intervalle, l’oscillation totale de f1+f2 est, au plus, la somme des oscillations totales de f1 et f2. Donc la somme de deux fonctions à variation bornée est une fonction à variation bornée.

Des raisonnements analogues permettraient de démontrer que les opérations effectuées aux pages 30, sur des fonctions intégrables, donnent des fonctions à variation bornée quand elles sont effectuées sur des fonctions à variation bornée.

Mais il n’est pas vrai qu’une série uniformément convergente de fonctions à variation bornée donne nécessairement une fonction à variation bornée. La propriété qui remplace celle-là est la suivante :

La limite vers laquelle tend (uniformément ou non) une suite de fonctions à variations totales au plus égales à M est une fonction dont la variation totale est au plus égale à M.

En effet, prenons une division de l’intervalle ; la variation correspondante pour les termes de la suite tend vers la variation relative à la fonction limite et à la division employée ; donc, cette variation est au plus égale à M et il en est de même de la variation totale de la fonction limite.

Ce qui précède nous permettrait de citer des fonctions à variation totale bornée. Une fonction croissante f(x) est, en effet, une fonction à variation totale finie et égale à f(b)−f(a) ; de même, une fonction décroissante est à variation bornée. Par suite, la différence de deux fonctions croissantes est une fonction à variation bornée. Nous allons démontrer maintenant la réciproque : toute fonction à variation bornée est la différence de deux fonctions jamais décroissantes.

Reprenons la variation

et soit p la somme de celles des quantités f(ai)−f(ai−1) qui sont positives et −n la somme de celles qui sont négatifs. On a évidemment

d’où

p est la variation positive pour la division choisie, n la variation négative. Les deux dernières égalités montrent que les limites supérieures V, P, N, de v, p, n, que l’on appelle variation totale, variation totale positive, variation totale négative, sont liées par les mêmes relations que v, p, n.

Ceci posé, soient V(x), P(x), N(x) les trois variations totales dans (a,x), (x>a), on a

f(x)=f(a)+P(x)−N(x).

Mais P(x) et N(x) ne peuvent pas décroître quand x croît, donc le théorème annoncé est démontré.

On a, de plus,

V(x)=P(x)+N(x).

Une fonction à variation bornée peut être mise d’une infinité de manières sous la forme d’une différence de deux fonctions croissantes. Si l’on ajoute à P(x) et N(x) une même fonction λ(x) non décroissante, on obtient deux fonctions non décroissantes P1(x) et N1(x) telles que l’on ait

f(x)=f(a)+P1(x)−N1(x).

On voit facilement que les fonctions non décroissantes P1 et N1 les plus générales satisfaisant à cette égalité sont celles qui viennent d’être construites.

Pour calculer la variation totale d’une fonction discontinue comme limite d’une suite de variations v, il faut choisir d’une manière très particulière les points de division ; par exemple, pour une fonction qui est partout nulle, sauf à l’origine, il faut que l’origine soit un point de division. Pour les fonctions continues, on a cette propriété : la variation d’une fonction continue, relative à une division quelconque, tend uniformément vers la variation totale de cette fonction quand le maximum λ de la longueur des intervalles employés tend vers zéro.

Soient, en effet, deux suites de divisions D1,D2,… ; Δ1,Δ2,… pour lesquelles les λ tendent vers zéro, et soit λj la valeur de λ pour Δj. Le maximum de l’oscillation de f(x) dans un intervalle d’étendue λj est un nombre εj qui tend vers zéro avec λj. Comparons les variations vi, v'j relatives à Di et Δj.

Les intervalles de Δj étant toujours partagés en deux classes, soient d′ ceux qui ne contiennent aucun des points de division de Di. Considérons tous ceux des d′ qui sont entre xi et xi+1, ils couvrent un intervalle dont l’origine est entre xi et xi+λj et dont l’extrémité est entre xi+1−λj et xi+1. Les valeurs de f(x) pour cette origine et cette extrémité diffèrent de εj au plus des nombres f(xi), f(xi+1). La contribution dans v'j des intervalles considérés est donc au moins

|f(xi+1)−f(xi)|−2εj,

et la contribution de tous les d′ dans v'j est au moins égale à

∑[|f(xi+i)−f(xi)|−2εj]=vi−2nεj,

si les points de division de Di sont en nombre n. On a, à plus forte raison,

et l’une quelconque des limites des v'j est au moins égale à l’une quelconque des limites des vi. Mais on peut permuter v'j et vi, donc les v'j et les vi tendent vers une même limite bien déterminée.

Voici une conséquence immédiate de cette propriété : les trois variations totales d’une fonction continue à variation bornée sont des fonctions continues. Il suffit de le démontrer pour V(x) puisque P(x) et N(x) s’expriment immédiatement à l’aide de f(x) et de V(x).

Pour calculer V(x0), j’emploie une division a1,x1,…,xn,x0 ; la variation v correspondant à cette division est égale à celle correspondant à a,x1,…,xn plus |f(x0)−f(xn)|, v est donc au plus égale à

et, puisque f(x0)−f(xn) tend vers zéro quand on fait tendre vers zéro le maximum des xi+1−xi, V(x0) est au plus égale à V(x0−0). Mais V(x) est une fonction croissante, donc on a

la fonction est continue à gauche.

Étudions la variation totale de f1(x)=f(−x) entre −b et −x, (x<b) ; cette variation totale est évidemment égale à

V(b)−V(x).

Considérée comme fonction de −x, elle est continue à gauche de −x0 ; donc, en tant que fonction de x, elle est continue à droite de x0. La fonction V(x) est donc continue.

La seconde partie de cette démonstration suppose essentiellement que la fonction est à variation bornée. Si V(x) devenait brusquement infinie pour x>x0, et nous verrons que cela est possible, le symbole V(b)−V(x) n’aurait aucun sens pour x>x0.

Puisque P(x) et N(x) sont des fonctions continues, toute fonction continue à variation bornée est la différence de deux fonctions continues non décroissantes.

La variation v, pour la division D, a été définie seulement dans le cas où D ne contient qu’un nombre fini d’intervalles ; pour la suite, il est utile d’étudier un cas où D comprend une infinité d’intervalles. C’est le cas où les points de division de D forment un ensemble fermé réductible E ; alors nous appellerons variation u, pour cette division, la somme de la série ∑|f(xi)−f(xi−1)|, étendue à tous les intervalles (xi1,xi) contigus à E.

Nous allons comparer l’ensemble des variations u qui viennent d’être définies à l’ensemble des variations v antérieurement définies.

L’ensemble des u contient l’ensemble des v, donc la limite supérieure de l’ensemble des u est au moins égale à la limite supérieure de l’ensemble des v. Il suffira de démontrer que u est toujours inférieure à la variation totale pour qu’il soit prouvé que la limite supérieure des u est la variation totale V.

Soit (α,β) un intervalle contigu à E′. Soient α1 et β1 deux points situés dans (α,β) ; la contribution de (α1,β1) dans 𝒰 est au plus égale à celle qu’elle fournit dans V, puisque E ne contient qu’un nombre fini de points dans (α1,β1). Faisons tendre les points α1 et β1 vers α et β, la proposition reste vraie et l’on trouve que (α,β) fournit dans V une contribution au moins égale à celle qu’il donne dans u.

On prouvera de même que la proposition est vraie dans un intervalle contigu à E″, ou E‴,… ; mais l’un des dérivés de E étant nul dans (a,b), la proposition est vraie pour (a,b).

Ainsi les u peuvent remplacer les v.

Lorsqu’il s’agit d’une fonction continue, le nombre u, comme le nombre v, tend uniformément vers la variation totale, quand le maximum λ de la longueur des intervalles contigus à E tend vers zéro.

La série u étant convergente, la série ∑[f(xi)−f(xi−1)], étendue à tous les intervalles contigus à E, est absolument convergente. On peut donc parler de la somme de ses termes positifs et de la somme de ses termes négatifs, ces deux sommes peuvent servir à définir P et −N quand λ.

Il est important de remarquer qu’on ne peut pas remplacer l’ensemble réductible E par un ensemble non dense quelconque sans que certaines des propriétés précédentes cessent d’être vraies. Soit, en effet, la fonction ξ(x) définie par

2ξ(x)=a12+a222+a323+…,

quand

où les a sont égaux à 0 ou à 2. x appartient alors à l’ensemble Z. On vérifie immédiatement que, pour les deux extrémités d’un intervalle contigu à Z, ξ prend la même valeur ; nous assujettissons ξ à rester constante dans un tel intervalle. ξ(x) est maintenant partout définie ; c’est une fonction non décroissante et, cependant, on trouvera zéro pour u, si, parmi les points de division employés, se trouvent les points de Z.

Je terminerai en donnant quelques exemples des diverses particularités qui ont été signalées.

La fonction xsin⁡1x est égale à (−1)K+11Kπ−π2 pour x=1Kπ−π2, donc, si l’on emploie ces valeurs de x pour calculer u dans l’intervalle (0,1π), on trouve

u=1Kπ−π2+22Kπ−π2+33Kπ−π2+…,

et la fonction est à variation non bornée bien qu’elle soit continue. Pour une fonction continue nulle pour x négatif, égale à xsin⁡1x

pour x positif, la variation totale de −1 à x saute brusquement de 0 à +∞ quand x dépasse la valeur 0. La fonction xsin⁡1x a une infinité de maxima et de minima, mais cette condition ne suffit pas pour qu’une fonction soit à variation non bornée. La fonction x2sin⁡1x43 admet un maximum ou un minimum, et un seul, dans chaque intervalle (1(Kπ)34,1[(K+1)π]34) ; si l’on remarque que la valeur absolue de ce maximum ou de ce minimum est au plus 1(Kπ)32 on voit que la fonction est à variation totale finie au plus égale à ∑1(Kπ)32. Les deux fonctions précédentes n’ont une infinité de maxima et de minima que dans le voisinage de l’origine ; si l’on veut qu’il en soit ainsi autour de tout point, il faut appliquer le principe de condensation des singularités. Il est nécessaire d’employer ce principe d’une façon assez particulière parce que la limite vers laquelle tendent uniformément des fonctions à variation bornée peut être à variation non bornée et parce que les maxima et minima ne se conservent pas dans l’addition. Considérons les deux fonctions, définies dans (−1, +1),

a(x)=xsin⁡πx,b(x)=x2sin⁡πx43 ;

l’une et l’autre s’annulent pour −1 et +1, la première est à variation totale V infinie, la seconde à variation totale V bornée. f1(x) désignera l’une ou l’autre de ces deux fonctions.

f1(x) a une infinité de maxima et de minima qui se présentent quand x appartient à un certain ensemble E1.

f2(x) est une fonction continue qui s’annule aux points de E1 et qui, dans l’intervalle (α,β) de deux points consécutifs de E1, est égale à

(β−α)2f1[2β−α(x−α+β2)].

f2(x) a même variation totale que f1(x) parce que, dans (α,β), la variation totale de f2(x) est β−α2V.

La fonction f1+122f2 a, dans chaque intervalle (α,β), une infinité de maxima et de minima ; en effet, si f1=a, elle est à variation non bornée dans (α,β) et si f1=b, f1 a une dérivée bornée dans (α,β), tandis que la dérivée de f2 prend toutes les valeurs positives et négatives. Soit E2 l’ensemble des valeurs de x pour lesquelles f1+122f2 est maximum ou minimum.

En opérant, à partir de E1+E2, comme à partir de E1, on formera f3, d’où f1+122f2+132f3 et E3.

En continuant ainsi, on définit les différents termes de la série

f(x)=f1(x)+122f2(x)+132f3(x)+…,

qui est uniformément convergente, car |fi| est inférieure à 1.

La fonction continue f(x) a des maxima et des minima dans tout intervalle. Dans un intervalle quelconque (l,m), en effet, pourvu que n soit assez grand, il y a plus de deux points de En. Supposons qu’il y ait les trois points consécutifs r, s, t de En, f étant égale à fn pour ces trois points, f aura un maximum ou un minimum, au moins, entre r et t, suivant que s correspond à un maximum ou à un minimum.

De là résulte aussi que la variation totale de f est au moins égale à celle de sn, donc f est à variation non bornée dans tout intervalle si f1=a. Au contraire si f1=b, la variation totale de sn=f1+122f2+…+1n2fn étant finie et inférieure à V(1+122+…+1n2), f est à variation bornée dans tout intervalle (voir p. 51).

Occupons-nous maintenant des fonctions discontinues à variation bornée.

Voici une propriété des points singuliers, qu’il était facile d’ailleurs de mettre directement en évidence, et qui résulte immédiatement de la construction de la fonction à variation bornée la plus générale à partir de deux fonctions croissantes : tous les points de discontinuité d’une fonction à variation bornée sont de première espèce.

Soit x0 un point de discontinuité ; la quantité

sg(x0)=f(x0)−f(x0−0)

est le saut de la fonction à gauche de x0 ;

sd(x0)=f(x0+0)−f(x0)

est le saut à droite de x0, enfin

s(x0)=f(x0+0)−f(x0−0)

est le saut au point x0.

Ceci posé, considérons la fonction des sauts de f(x)

φ(x)=∑a≦xi<xsd(xi)+∑a<xi≦xsg(xi),

où chacune des séries contient tous les xi qui satisfont à l’inégalité placée au-dessous du signe ∑ correspondant. On verra aisément que ces deux séries sont absolument convergentes et que, si l’on pose

f(x)=φ(x)+ψ(x),

ψ(x) est une fonction continue à variation bornée ; la variation totale de f étant la somme de celles de φ et de ψ.

La fonction discontinue la plus générale qui soit à variation bornée s’obtient donc, soit en faisant la différence de deux fonctions discontinues croissantes, soit en ajoutant à une fonction continue à variation bornée la fonction des sauts φ(x). Cette seconde méthode montre qu’on peut construire des fonctions à variation bornée en choisissant à volonté l’ensemble dénombrable des points de discontinuité, et même les sauts de droite et de gauche sd et sg, pourvu que les séries ∑sd(x), ∑sg(x) soient absolument convergentes.

Par exemple, l’ensemble des points de discontinuité pourra être l’ensemble des nombres rationnels, les sauts étant, quand x s’écrit ab sous forme irréductible,

sd=(−1)a1a2b2,sd=(−1)b1a3b3.

Soit une courbe C définie dans (a,b)

x=x(t),y=y(t),z=z(t).

Considérons un polygone P inscrit dans cette courbe et dont les sommets, dans l’ordre où ils se rencontrent sur P, correspondent à des valeurs croissantes de t, a,α1,α2,…,αp,b. On peut considérer P comme une courbe définie dans (a,b) à l’aide de fonctions ξ(t),η(t),ζ(t) égales à x(t),y(t),z(t) pour les valeurs a,t1,t2,…,tp,b de t.

Ceci posé, soient deux suites de polygones inscrits dans C, Pi et πj, choisis tels que le maximum des différences tk−tk−1 tende vers zéro avec 1i d’une part, avec 1j d’autre part. La longueur d’un polygone étant la somme des longueurs de ses côtés, nous allons comparer la longueur si de Pi à celle σj de πj.

Supposons que deux sommets consécutifs m1,m2 de Pi correspondent à t=θ1 et t=θ2. Les points de πj, μ1,μ2, qui correspondent à ces valeurs de t tendent, quand j augmente indéfiniment, vers m1,m2 ; la plus petite des limites, pour j infini, de la longueur de l’arc μ1μ2 est donc au moins égale à la longueur du côté m1m2. Mais ceci est vrai pour chaque côté, et la plus petite limite des σj est au moins égale à si. Par suite les longueurs si et σj tendent vers la même limite quand i et j augmentent indéfiniment, et elles sont toujours inférieures à leur limite.

Lorsque le maximum de la longueur des côtés d’un polygone inscrit dans une courbe tend vers zéro, la longueur de ce polygone tend vers la limite supérieure des longueurs des polygones inscrits dans la courbe. C’est cette limite que l’on appelle la longueur de la courbe.

Une courbe est dite rectifiable si elle est de longueur finie. L’étude des courbes rectifiables a été entreprise par Ludwig Scheeffer, puis continuée par Jordan à qui l’on doit le résultat suivant :

Pour qu’une courbe soit rectifiable, il faut et il suffit que les fonctions x(t),y(t),z(t) qui la définissent soient à variation bornée.

En effet, un côté quelconque d’un polygone inscrit dans la courbe est de longueur au moins égale à chacune des projections δx,δy,δz de ce côté sur les axes, et de longueur au plus égale à δx+δy+δz. Mais la somme des projections δx est la variation vx de la fonction x(t) pour les valeurs de t correspondant aux sommets. La longueur du polygone est donc supérieure à vx, vy et vz et inférieure à vx+vy+vz ; la propriété est démontrée.

De plus la longueur de l’arc de t0 à t (t>t0) d’une courbe rectifiable est une fonction continue non décroissante de t, puisque l’accroissement de cet arc, dans un intervalle quelconque, est compris entre les accroissements de vx et vx+vy+vz.

Pour calculer la longueur d’une courbe, on pourra se servir de polygones ayant une infinité de sommets correspondant à des valeurs de t formant un ensemble réductible ; car le raisonnement du début s’applique à ces polygones.

Une courbe rectifiable plane est quarrable, car si on la divise en n morceaux de longueur égale à sn, chacun d’eux peut être enfermé dans une circonférence de rayon s2n, et la sommet πs24n2 des aires de ces cercles tend vers zéro avec 1n.

Supposons que x(t),y(t),z(t) aient des dérivées intégrables ; alors |x′(t)|,|y′(t)|,|z′(t)| sont aussi intégrables, car on peut écrire

et si l’on élève au carré ou si l’on prend la racine carrée arithmétique d’une fonction intégrable, on ne cesse pas d’avoir des fonctions intégrables.

Si l,m,n, L,M,N sont les limites inférieures et supérieures de |x′|,|y′|,|z′| dans un intervalle (t1,t2), les sommes telles que ∑(t2−t1)(L−l), étendues à une division quelconque de (a,b) en intervalles partiels, tendent vers zéro quand les intervalles employés tendent vers zéro.

La corde (t1,t2) a une longueur δ qui vérifie les inégalités

a=(t2−t1)l2+m2+n2≦δ≦(t2−t1)L2+M2+N2=A.

Donc un polygone inscrit a une longueur comprise entre les sommes ∑a, ∑A correspondantes. Si l’on fait tendre vers zéro, les longueurs des côtés du polygone ∑A et ∑a tendent vers une même limite, car l’on a

∑A−∑a≦∑(t2−t1)(L−l)+∑(t2−t1)(M−m)+∑(t2−t1)(N−n).

La limite de ∑A et ∑a est la longueur de la courbe. Mais, puisque l’intégrale ∫abx′2+y′2+z′2dt, qui existe d’après nos hypothèses, est toujours comprise entre ∑a et ∑A, nous pouvons conclure que, si x′,y′,z′ existent et sont intégrables, la longueur de l’arc (a,b) est

∫abx′2+y′2+z′2dt.

Le raisonnement précédent montre aussi que si f′(x) existe sans être intégrable, et nous verrons que cela est possible, la longueur de la courbe y=f(x) est comprise entre les intégrales par défaut et par excès de 1+f′2.

Nous obtiendrons la généralisation de cette proposition, ainsi qu’un résultat relatif au cas où x′2+y′2+z′2 est une dérivée, à l’aide des considérations qui suivent.

On suppose que x′,y′,z′ existent ; alors, du point x0,y0,z0,t0, quel qu’il soit, comme origine, on peut tracer une corde dont la longueur δx02+δy02+δz02 diffère de εδt0, de la quantité δt0x'02+y'02+z'02 ; et nous pouvons même assujettir δt0 à être inférieur à une certaine quantité donnée à l’avance λ.

La courbe étant définie dans (a,b), du point a=t1 comme origine, nous pouvons tracer une corde remplissant les conditions indiquées ; elle correspond à (t1,t2). De t2 nous pouvons tracer une nouvelle corde qui correspond à (t2,t3) et ainsi de suite. Si après un nombre fini d’opérations on arrive en b, la construction est ainsi achevée. Sinon les tn ont un point limite tω à partir duquel, comme origine, on peut tracer une corde (tω,tω+1), puis de tω+1 on trace (tω+1,tω+2) et ainsi de suite. Si l’on n’atteint pas b, on se rapproche d’un point limite t2ω, à partir duquel on opère de même qu’à partir de tω.

On a ainsi des intervalles dont les origines tα ont pour indices les différents nombres finis et transfinis α. Il faut démontrer qu’on arrivera en b avant d’avoir épuisé la suite des nombres transfinis, c’est-à-dire à l’aide d’une infinité dénombrable d’intervalles (tα,tα+1). Cela est tout à fait évident, car il n’y a pas plus de b−aε intervalles de longueur supérieure à ε, et tous les intervalles, étant supérieurs en longueur à l’un des nombres ε,ε2,ε3,…, forment un ensemble fini ou dénombrable.

L’ensemble des valeurs t1,t2,… est réductible, puisqu’il est fermé et dénombrable ; donc on peut se servir des cordes tracées pour évaluer la longueur de la courbe. La somme des longueurs de ces cordes diffère de la somme

au plus de

ε∑(tα+1−tα)=ε(b−a).

Si nous faisons tendre simultanément ε et λ vers zéro, ε(b−a) tend vers zéro, la somme des longueurs des cordes tend vers la longueur s de la courbe, I tend donc vers s. Mais, d’après la forme de I, on peut écrire, si x′2+y′2+z′2 est bornée,

∫abx′2+y′2+z′2dt≦s≦∫abx′2+y′2+z′2dt‾.

Supposons maintenant que x′2+y′2+z′2, bornée ou non, soit la dérivée d’une fonction σ(t). Si nous avons choisi chaque intervalle (tα,tα+1) de manière qu’il satisfasse, non seulement aux conditions précédemment indiquées, mais encore, ce qui est possible, à l’inégalité

εδtα≧|δσ(tα)−δtαx′2(tα)+y′2(tα)+z′2(tα)|,

Itend vers l’accroissement σ(b)−σ(a) de σ(t) dans (a,b) quand ε et λ tendent simultanément vers zéro. On a donc

s=σ(b)−σ(a).

La longueur de l’arc est l’accroissement de la fonction σ.

J’appelle l’attention sur la construction employée dans la démonstration précédente.

Je suppose qu’un procédé, permettant de construire un ou plusieurs intervalles ayant pour origine un point quelconque t0, ait été indiqué. Je dirai qu’un intervalle (a,b) a été couvert, à partir de a, par une chaîne d’intervalles choisis parmi les intervalles définis par le procédé donné, lorsqu’on aura construit par ce procédé un intervalle (t1,t2) d’origine t1=a, puis un intervalle (t2,t3) d’origine t2, etc., puis, si cela est nécessaire, un intervalle (tω,tω+1) dont l’origine est la limite de t1,t2,…, et ainsi de suite. Il a été démontré qu’on arrive ainsi nécessairement à atteindre b au bout d’un nombre fini ou d’une infinité dénombrable d’opérations, de sorte que la chaîne construite couvrira bien tout (a,b).