Vous êtes sur la page 1sur 19

INTRODUCTION.

A. L'tntegrale de Lebesgue-Stleltjes,
Nous admettons sure et de I'integrale que le lecteur connait la theorie de L e be s g u e 1). de la me-

§ I, Quelques theoremes de la theorie de l'iniegrale de Lebesgue 2).
Si les fonctions mesurables xn(t) sont bornees dans leur ensemble et la suite {Xn(t)} converge presque partout dans un intervalle ferme [a, b] vers la fonction x (t), on a
b

(1)

!~!JXn(t)
a

dt

=.f x
b

(t) dt •
tp

a

Plus generalement, telle que egalement

I xn(t) I -< 0/

s'il existe une fonction sommable
=

(t)

>- 0

(z) pour n sommable et satisfait

1, 2, ... , la fonction a l'egalite (1).

limite est

Si Ies fonctions xn(t) sont sommables dans [a, b] et forment une suite non decroissante, convergente vers la fonction x (z), on a l'egalite (1), lorsque la fonction x (t) est sommable,
b

et

n-+=

limf
a

xn(t) dt

=+

00

dans Ie cas contraire.

') cr. p. ex. C. del a Vall e e P 0 u s sin, Integrates de Lebesgue. Fanctions d'ensemble. Classes de Baire, Paris, Gauthier- Villars (1916), ou H. L e b e sg u e, Lecons sur l'integration, 2-me edition, Paris, Gauthier- Villars (1928).
2) Cf. p. ex. C. del a Vall

ee

Po u s sin,

I. cit., p. 49. 1

S. Banach. 'I'heorfe des operations Iineaires.

E. 1 1) Cf. Hob son. Hob son. E. b] sera designee par (DP». . la fonetion x (z) est egalement § 2. I. 2) Cf. p.... la fonetion x (t) . on a done pour p = 2: b fIx b a y dt 1 <. Y (t) est sommable et son integrate remplit I'inegalite IJ x y dt l -: (Ji x I a a b b j P dt) P . it p-ieme puissance La cla sse des fonctions a p-ieme (p > 1) puissance sornmable dans [a.2. a p-ieme puissance Quelques inegalites pour les fonctions sommable 2). Pour p le nom d'exposant = 2 on a done egalement q = 2..2 Introduction.. 2-nd Edition. W. il en est Si les fonetions x (z) et y (t) appartiennent de-mente de la fonction x (t) Y (t) et on a: + (fl x + yl a b 1 P dty <. . 588. (JI x I dt)" a b b + (JIY[P a dt y'. I. Si x (t) C a:» et y (t) C (Dq». c. (JI y I a b 2 b q dt r' 1 En particulier.(JY 1 a 1 P 1 dt )2. 300. . . p. t»> Si la suite {Xn(t)} 1) converge de f'onctions partout a p-ieme Il puissance sommable presque vers la fonction x (t) et si JI a b xn(t) I P dt <K pour tout = 1. (JX a 2 dt r. Au nombre p on fait correspondre tant Ie nombre q lie avec p par l'equation _! + _! = 1 et porp q conjugue avec p. The Theory oj Functions of a real variable . sommable 1). W. 1. vol. vol. a (Dp». Cambridge (1921/26).

II. p.Stieltjes. lorsqu'on a pour tout E >0 n-t= lim m E t (I Xn(t) . 3 arythmetiques Aces suivantes: inegalites correspondent Ies inegalites It aibil -: (t lai IP)~.. 1.cp Ip < E 1). 250. ct I bilq)~. a § 3. IP)f ~ l connue de S c h war z: 2 l'Inegalite Pour toute fonction x (t) a p-ieme ip > 1) puissance sommable et pour tout E 0 il existe une f'onction continue cp (t) telle que > JI b x . de t pour lesquellesse E. E. p. 1) 2) Cf. La suite {Xn(t)} de fonctions mesurables dans un certain ensemble est dite asymptotiquement convergente (ou conuergente en mesure) vers la fonction x (t) definie dans cet ensemble.x (t) I> E) = 02). W. ex. (II a. La convergence asymptotique. vol. + biIP)*< (tlai IP)f+ dont la premiere donne pour p = ct b.A. Ie symbole E () desigue d'une t presents la pro- la me sure de l'ensemble des va leurs Iacon gencrale l'ensemble prtete mise en (). L'Integrale de Lebesgue . Hob mE deslgue son. Une suite {xn(t)} asymptotiquement convergente vers la fonction x (t) contient toujours une suite partielleconvergente (dans Ie sens ordinaire) presque partout vers cette fonction. . c.

. Hob son. c. La convergence en moyenne. b] d'une facon univoque. p. H. 1. !~~fl Xi(t) . ex. p. Cf. En subdivisant I'intervalle [a. E. c. 4.244. II. § 5. b] en intervalles partiels it l'aide des nombres 1) 2) 3) Cf. b]. W. Etant donnee une suite {xn(t)} de fonctions it p-ieme puissance sommable (p 1) dans [a. sauf dans un ensemble de mesure nulle. Pour qu'une suite {Xn(t)} solt asymptotiquement Il faut et Il suffit que ron ait pour tout ilk~= lim m E ( I Xi(t) . La condition necessaire et suffisante pour qu'une telle fonction x (t) existe. b]. E.x (t) Ipdt = O. vol. E> 0 convergente. ex..In troduction. c. on dit que cette suite y est it p-ieme puissance conoergente en moyenne vers la fonction x (z) it p-ieme >- puissance sommable. vol. L'iniegrale de Stieltjes 3). L e b e s g u e. Hob s' 0 n.Xk(t) I t > E) = 01). I. p.Xk(t) a Ipdt = O. Soient x (t) une fonction continue et a (t) une fonction it variation bornee dans [a.. Une suite de fonctions qui converge en moyenne vers une fonction x (t) est aussi asymptotiquement convergente vers cette fonction 2) et contient par consequent (§ 3) nne suite partielle qui converge (dans le sens ordinaire) presque partout vers la meme fonction. p. II. La fonction x (t) est alors definie dans [a. Chapitre XI. 1. W. lorsque b n--+oo limfl a Xn(t) . p. est que ron ait b i. ex. 242 . Cf. 245..

:«. x (t) 1 et V . pourvu que leur intervalle partiel le plus grand tende vers 0. >. les semmes S ont une limite commune it toutes suites pareilles. b]. (ii-i)] oil ti> e.Jx (z)do.A. (t). b X (t) da (z) + f b x (i) do. (t) dans [a. On demontre que pour toute suite de subdivisions. b I b a [X1(t) + x2(i)] da (i) = I a b x1(t) do.t. I a ou M designs la borne superieure de la valeur absolue la variation totale de la fonction ex. a Le premier par l'inegalite theorems sur la valeur moyenne s'exprime ici II b x (z) dry_(t) 1<: M V. 5 et choisissant dans chacun de ces intervalles partiels un nombre arbitraire {}i. (i). cette limite est designee par f a B x (t) d« (t) et dite integra le de Stieltjes. (t) = Ix a (t) d« (i). par analogie avec la definition de l'Integrale de R i e man n. nous pouvons. Cette integrale ales b proprietes a suivantes: f J a bee X (i) d« (i) = . x ({}i) [ex. (t) + j'X2(i) a do. former la somme S= 2. L'Integrale de Lebesgue-Stieltjes.ex.. (ti) i=l n .

p. (3) La valeurs b fonction tous les elle Nous ~[o. (b)J. Nous avons Ii = -& ':__I r -&i x [~(s)] ds = (-&j - -&i-I) x (-&/) . p (-&.') et -&/-1 ~ -&/ -< -&i' Evidemment = 'i-l j3 (-&1-1) et d'une -< j3 (s. L e b e s g u e.6 Iutr oductiou. H. Par consequent donc 1) Cf.260. = to< (tJ = i = 1.) En de (3) on a j3 (-&1-1) = j3 [0.(t)]=t avons par definition de ~ (s): pour par de hypothese continue. Si la fonction a. d. . par Ies nombres 11.'(t) dt.. . (0) de [a.:. que comme et : I'Intervalle ou.a (t». a. (t) = Ix b a (t) (I.') == -&/ -< p (-3). = ~[0. (t) est une fonction croissante (c. t/1 = b < Considerons un e subdivision et posons 0. d'apres a = ~ (a)] [0.. OU -&/ = vertu p (s. c.(a) (s)] ds I). (ti-I)] Iacon analogue = ti. 258 . 2. (t) est absolument continue.. on peut exprimer l'integrale de S tie 1t j e spar celle de L e b e s g u e comme il suit: Ix b a (t) do. . fonction 11 en la fonction a x [~(s)J est egalerneut continue. < ~ (s) = a + borne (t) sup £(s t >. b] ~ (s) etant nombres est une et resulte admettant (3).: b) et si l'on pose pour tout nombre s de l'intervalle [a (a).. I. a (b)] < Si a.. a Demonstration. croissante [a. b] donnee -&. pour < t.(8) o. que l'on a toujours a (t') a (til) pour a t' til <. on obtient: (2) Ix b (t) d a =Jx [~ 0. < .

on a pour toute fonction (J. comme auparavant nous obtenons par ~l(S) et ~2(S) J b x (t) d« (t) = J a b x (z) d(J.(J. ds = JXn[~2(S)] ds .(b) [a'1 (s)] ds - Jx C<2(b) [0:2 (s)] ds.!!J [~2(S)] x suivant. q.l(t) - J a b x (t) da.(t) est une fonction que 1- con que a variation bornee.Stieltjes. = i=l i=l n n x (&/) [a (ti) - a (fi_1 a(a) Or.2.(b) C<2(b) f~!~JXIl[~1 (s)] ds = Ix § 6. (r) = J b x (t) d« (t). car C<J(b) a UJ(b) a a. theoreme de Lebesgue.2(t)= a = Ix a. f.2(t) sont croissantes. {Xll(t)} Notons encore Ie theoreme Pour qu'une suite de fonctions sommables remplisse l'egalite oil 0 <t <1 .l (t) .l(t) et (J. Le [~1(5)] ds et I~!. 7 f x [~(s)] ds = . Ceci etabli.(t) a variation bornee }~~I b xll(t) do.2(t) oil les fonctions (J. lorsque la longueur (4) donne de la subdivision (0) tend vers 0. cette derniere maximum des intervalles somme tendant vers fx a b (t) do: (t). . d.2. l'egalite l'egalite (3). L'integrale d'ou a(b) (4) de Lebesgue. en designant les fonctions correspondantes. on peut la representor toujours comme une difference (J.. Si les fonctions xn(t) sont continues et bornees dans leur ensemble et la suite {Xll(t)} converge partout vers une fonction continue x (z). t..A. si l'on admet que (J.

y) = 0 equiuaut x = y. Sur les espaces metriques. Les trois conditions 1) . Etant donne un ensemble non vide E. 211. -< + . Cf. x) (x. meiriques. z) -< (x. y) satisfaisant aux conditions 1): 1) 2) (x.y) + (y. lorsqu'a tout couple ordonne x. y de sea elements correspond un nombre (x. de ce genre. Annales de Toulouse 1909. Espaces § 7.. 3) ') ') (x. 2:") (x. Fundamenta Mathematicae VIII (1926). (x. p. = (y. > 0 tel que tout sousdonne lieu a I'inegalite n = 1. Ensembles et operations meserables (B) dans Ies espaees metriques. . Linden b au m.3) peuvent etre remplacees par les deux snivantes: 1*) (x.y) >0 lorsque x * y. z).8 Introduction. (t)Xn(t) dt =0 o pour toute fonction (t) mesurable et bornee dans [0.y). il faut et il suffit que les trois conditions suivantes se trouvent slmultanement satisfaites: (J. Nous connaitrons dans la suite d'autres theoremes B.oo 0 tout 0 -< u -< 1 1) .y) (z. z) (x. a H. u n-). on dit qu'il constitue un espace metrique on espace CD). H < '1). ..y) = 0. !~~J 1 (J.. x).2. A. un "Il 20 pour tout E > 0 il existe ensemble H de [0.1] de mesure If xnCt) dt I -< quel que soit 30 lim f xn(t) dt = 0 pour E. 1]. L e b e s g u e. l la O suite {fl o 1 Xn(t) I dt} est borneo.

y. L'espace (D) a propriete que to ute suite convergente y converge vel'S un certain point est dit complet. 1. lim (Xn. resp. resp. y) s'appelle distance des points (des elements) x. c. . Xq) = 0. n-+= lorsque (6) n-+= xo). constituentautant d'exemples des en allons enumerer ici une serie valle [0. a. 1) Lessuites convergentes dans notre sens sont appelees d'habitude . Le point Xo porte alors le nom de limite (ou de point-limite) de la suite {xn}. xn = xn (t) et Xo = Xo (r). 2) Nous posons: x = x (r) et y = y (t). bien entendu. precisement a la condition (5). sent des elements d'un ensemble de fonctions. car on a toujours Par consequent. dans tons les exemples OU x at y. Nous d'autres examples importants. Une suite de points {Xn} est dite conuergenie 1). q-700 (Xp. une suite convergente vel'S un point est par cela-meme une suite convergente. Il est' facile de voir que la relation (6) entraine (5). xn et xo. lorsque (5) lim p. y (x.1].B. = on l'appelle conoergente uers le point Xo (ce qu'on ecrit lim x.suites satisfaisant it Ia condition de Cauchy". Ensembles et operations mesurables (B) dans les espaces metriques. d. 9 Le nombre (x. L'espace (D) tel que toute suite infinie de ses points contient une suite convergente vers un point s'appelle compact. Les espaces euclidiens espaces (D) complets. xo) = O. la reciproque n'est pas toujours vraie. Faisons correspondre a tout d'elements de cet ensemble 2) le nombre 1 SoU (S) l'ensemble des fonctions mesurables dans I'intercouple ordonne x.y)=J ° 1 + I x (t) Ix(t)-y(t)1 ~ Y (t) I dt .

~n - L'ensemble (s) forme alors un espace (D) cornplet. x = { ~n} et y = {"'In} dans' tous les exemples des espa- .J -1 . -~---n=1 2 n s. resp. En effet. la convergence d'une suite de points {xm}. b: la+bl lal Ibl ~-~~-. des fonctions mesurables et bornees Soil (M) l'ensemble dans [0. quant aux conditions 1) et 2). 1+ I 'fJn I "fJn I . 1]. enoncees plus haut pour la distance. En effet.. Si l'on pose pour (x. l+la+bl l+lal l+lbl Ainsi "metrise". y) = 0<. y de ses elements vrai maximum Ix (t) .1 tout couple x.<-~---.+ ----. y signifie (en posant Xm = gn(m)} et Xo = gn}) que pour tout n naturel chacune des suites gn(m)} est convergente. 1) Nous posons ces· de suites. des fonctions {Xn(t)} (vers la fonction xo(t) SoU (s) l'ensemble de to utes les suites de nombres. l'ensemble (S) forme done un espace (D).y (t)1 . cet espace est complet. a mesure que m tend vers l'infini. sa convergence vers un point xo. ~n. converge vers 3. 1]. Posons pour tout couple or-donne x. y) = L. car la convergence d'une suite {Xn} de ses points (vers un point xo) s'y ramene a la convergence en mesure de la suite dans [0. se trouvent remplies. 2.10 Introduction. il suffit de remarquer que l'on a pour tout couple de nombres arbitraires a. On verifie facilement que les conditions 1) . resp.3). c'est evident (nous ne distinguons pas entre les fonctions qui ne different que sur un ensemble de mesure nulle) et pour se convaincre que la condition 3) est ega lement realisee. y de ses elements 1): ~ I (x.1<.

1]. 4.1] de Ia suite des fonctions {Xn(t)} (vers la fonction xo(t».1] (Ia premiere vers la fonction Xo(t) et Ia seconde vers la fonction Xo(P)(t». 11 on en obtient un espace (D) complet. convergent uniformement dans [0. L'ensernble (C) forme alors un espace (D) complet. Soil (C(p» l'ensemble En posant = des fonctions it p-ieme derioee conti- nue dans [0. 0<1<1 nous en obtenons un espace (D) complet.1] de la suite des Ionctions 6. posant (x. y de ses elements (x. Soit (C) l'ensemble des fonctions dans [0. {xn(t)} (vers Ia fonction xo(t». y) = max 0<1<1 1 x (z) . Ensembles et operations mesurables (B) dans les espaces metriques. En def'inissant pour tout couple x.B.1]. de-memo que celIe des fonctious {Xn(P)(t)}.y(p)(t) 1 . Po- sons pour tout couple x. 7. (x. y de ses elements leur distance (x. Soit (c) l'ensemble des suites convergentes de nombres. y) = borne on obtient 5. . En d'une faeon evidente de (m) un espace continues (D) complet.Y (z) I. La condition necessaire et suffisante pour qu'une suite de points {Xn} y soit convergente (vers un point xo) est que la suite des fonctions {Xn(t)}. de nombres.Y (t) 1 + max 1 x(p)(t) . y) tout comme nous l'avons fait dans l'ensemble (m). La convergence d'une suite de points {Xn} (vers un point xo) s'y traduit par la convergence uniforme presque partout dans [0. on voit facilement que l'ensemble (c) forme egalement un espace (D) complet. la convergence d'une suite de ses points {Xn} (vers un point xo) se ramene it la convergence uniforme dans [0. y) max 0<1<1 1 x (z) .'In 1. 1<n<= SoU (m) l'ensemble des suites sup 1 bornees an .

>. 2. 1 nous voyons que I'ensemble (Up» devient un espace (D) Pour qu'une suite {Xn} de ses points soit convergente (vers le point xo). Ensembles dans les espaces metriques. Soit (l(p» OU p n=l >. .12 8.y (t) IPY-. que la suite des fonctions {xnCt)} soit dans [0. 1]. 7 et 8. 1] it p-ieme puissance convergente en moyenne (vers la fonction xo(t».p (z) I. Iorsqu'on definit la distance de deux Ionctions j (z) et r. complet. 9. Soit (L(P» OU p Introduction. Soient E un espace (D) quelconque et 0 un ensemble arbitraire d'elements (de points) de E. lorsqu'il pour existe une suite de points {Xn} telle tout n et que lim Xn = Xo. n § 8. En posant (x. it faut et il suffit. L'ensemble n-->= que Xo =f= Xn C 0 de tous les points .y) = [fiX o 1 (t. 10. L'ensemble des fonctions analytiques j (z) uniformement continues dans le cerele Iz I -<: 1 forme un espace (D) complet. est it rernarquer que ron peut definir les ensembles des fonciions it n variables correspondant aux exemples 3. I an Ip est conuergente.1 l'ensemble des fonctions it p-ieme puis- sance sommable dans [0.p (z) comme max 1 Izl<l j (z) - r.1 l'ensemble des suites de nombres tels que la serie X. Un point Xo est dit point d'accumulation de I'ensemble 0. En posant pour les elements Y de (l(P» on en obtient un espace (D) complet. 5.

Si un ensemble a Pour la demonstration de premiere categoric. xo) ro s'appelle une sphere ouoerte. Ban a e h. 395. Etant donne un point Xo C E et un nombre ro 0. l'ensemble E . resp. B. lorsque a = E et qu'il est non dense. p. lorsque a ne contient aucune sphere. lorsqu'il contient un ensemble dense denombrable. on dit que l'ensemble a est de II-e categoric au point xo' On peut demontrer le suivant sitae dans un espace metrique quelconque E est de Il-e categorie. a d. L'ensemble son ensemble derive et on le desi- 0= 0+ A' porte Ie nom de fermeture de l'ensemble 0. Fundamenta voir S.0) est un ensemble ferme. 13 d'accumulation de a s'appelle gne par a'. On dit d'un ensemble 0. qu'il est dense. dont toute suite infinie de points contient une suite convergente. lorsque son complementaire (co it d. Il est facile de voir que tout espace metrique < -< > compact (c. L'espace E est dit separable. Tout ensemble ouvert s'appelle aussi entourage (ou voisinage) de chacun de ses points. On dit d'un ensemble a qu'il est ouuert. Un ensemble O· est de J-e categoric dans un point xo. de cette sphere ouverte. cf. xo) ro s'appelle une sphere et celui des x tels que (x. p. Iorsqu'il existe un entourage V de Xo tel que l'ensemble O· Vest de l-e categoric. dans le cas contraire il est dit de II-e categoric. l'ensemble de taus les points x tels que (x. . Ensembles et operations mesurables (B) dans les espaces metrfques. Theoreme sur les ensembles Mathematicae XVI (1930). si tous les entourages du point Xo sont depourvus de cette propriete. 9) est separable. Iorsqu'll est une somme denombrable d'ensembles non denses. Un ensemble a est dit de J-e categoric. I'ensemble a s'appelle [erme. lorsque A' C 0 et il s'appelle parfait.. Iorsque 0' = O. if existe dans E une sphere K telle que l'ensemble 0 est de II-e categoric en tout point de O· K 1). Ie point Xo est dit centre et le nombre ro rayon de cette sphere. 1) Theoreme 1.

Or. 1 et Kn+1 C Kn+1' On+1 = 0. C «. on a pour p q se~ Ion (7) (xp. rn+l 12+1 En vertu du lemme.= 0. . Introduction. Demonstration. contrairement a (8). d'ou (xp. a present que E soit un espace (D) complet. le centre de la sphere K».14 Admettons Lemme.+ n--+= < <- «. . q. xo).. ce point ne peut appartenir a aucun En. comme Kn' On = 0 pour tout 12 = 1.. 2. xo) (x X'q) (Xq. Une simple consequence de ee lemme est le Theoreme 2. . c. xo) fp (xq. " et lim r. SoH maintenant E un espace (D) quelcorique et E* un ensemble arbitraire de points de E. Nous de allons demontrer le Etant donnee dans E une suite {Kn} de spheres n--+= rayons r« telles que Kn+1 C Kn pour tout 12 = 1. il existe dono un point Xo qui appartient a toutes ces spheres. < ---. En posant (I'espace E etant complet) lim Xn = xo. Or. ou chacun des ensembles On est non dense. on obtient de E* egalement un certain espace (D). le point Xo appartient a toutes les spheres pour p <q naturels Xq C «. une suite de spheres {Kn} de rayons {fn} n existe < «. Tout espace metrique et complet E est de Il-e Supposons par centre que categoric. it existe un point commun a to utes ces spheres. d'ou <- + <.2. par consequent a proprietes suivantes: 1 K1· 01 = 01 r. -to) rp. On a par hypothese (7) Il en resulte que la suite de points {Xn} est convergente. d. f. SoH x.. Demonstration. Si l'on conserve pour les elements de E* la meme definition de la distance que celle adoptee dans l'espace E. petant arbitraire.

On dit d'un ensemble 0 lorsque tout ensemble parfait qu'au moins un des ensembles: dans le point Xo par rapport it On a Ie Theoreme de Baire 1). c.0 est de I-e categoric P. 398. D'unef'aeon analogue. 15 Considerons un ensemble 0 C £*. p. le theorems 2 implique que lorsque l'espace metrique E est complet et l'ensemble E" est Ierme. 1. la condition 3. 3) tout complement d'un tient it K. lorsqu'il s'agit des autres definitions qui ont Me introduites au debut de ce §. on dit qu'il est non dense par rapport a (I 'ensemble) E". ce n'est que dans lecas ou E* = E que nous omettons d'habitude les mots "par rapport (I'ensemble) Er". S. cet ensemble est de H-e categoric par rapport it lui-meme. non dense. On fait de-meme. Considerons dans un e space (D) arbitraire E la plus petite classe K d'ensembles de cet espace satisfaisant aux conditions suivantes: 1) tout ensemble terme appartient it K. 1) . S'il est p. ensemble appartenant a it K appar- Ks'appeUent "ensembles mesurables qu'il remplit la condition de Baire. Ban a c h.. Les ensembles de la classe (B)". § 9. Operations Scient E et £1 des ensembles non vides arbitraires. il est de l-e categorie par rapport it E". Ensembles et operations mesurables (B) dans les e spaces metr iques.B. P (=t= 0) contient un point Xo tel Pi G et P . Le theorems 1 implique que si l'ensemble 0 est de l-e categorie dans tous ses points par rapport it £*. Tout ensemble mesurable (B) remplit dans les espaces metriques. 2) toute somme denombrable d'ensembles appartenant it K appartient it K. Si l'on fait correspondre it tout element x C E un certain element de £1 Pour la demonstration cf. ex. lorsqu'on l'envisage dans l'espace £*.

admettons que l'ensemble E constitue un espace (D) et soit V (x) une operation ayant E pour domaine et un certain espace (D) pour contredomaine. on ditplus court "operation continue". on a lim V (xn) n-t= = V (xo). d'operations qui qui aux conditions: toute operation to ute limite continue appartient suite it K. SoH Kia plus petite classe d'operations (ayant pour domaine commun un espace (D) donne E et pour contredomaines respectifs des ensembles satistait 1) 2) situes egalement dans un certain espace (D» it K. on dit que cette suite d'operations est convergente au point Xo vers l'operation Vo(x). la suite d'operations {Vn(X)} est convergente dans Evers l'operation U. (x). L'operation V (x) s'appelle continue au point xo. Dans le cas particulier ou les valeurs de I'operation donnee sont des nombres. d'une convergente appartiennent it K appartient Les operations de cette classe portent le nom d' "operations mesurables (8)". Si la suite d'operations {Vn(X)} est convergente dans Evers l'operation Vo(x). lorsqu'il est entendu de quel espace il s'agit: on fait de-meme pour les autres termes. lorsque. lorsqu'elle l'est en tout point de cet espace. pour toute suite de points {xn} convergente vers le point xo. lorsqu'elle l'est en tout point de E. Au lieu de dire "operation continue dans E". Ceci dit. lorsque la suite des valeurs Vn(xo) converge vers Vo (xo). l'ensemble E porte le nom de domaine et l'ensemble des valeurs celui de contredomaine de l'operation consideree. Etant donnee une suite d'operations {Vn(X)} et une operation Vo(x) definies dans E et les contredomaines de toutes ces operations faisant partie d'un meme espace (D). I'operation V (x) s'appelle continue dans E. cette derniere operation s'appelle limite de {Vn(X)} dans E. . on dit qu'une operation est definie dans l'ensemble E. L'element correspondant it x s'appelle valeur de cette operation en x. on l'appelle d'habitude une fonctionnelle.16 Introduction.

Sur une propriete de l'operaiion A. it existe dans E un ensemble a de I-e categoric tel que l'operation U (x) est continue en chaque point de l'ensemble E . 2 . est continue dans cet espace. pour tout ensemble 01 C E1 mesurable (8) l'ensemble a des points x tels que U (x) C 01 est mesurable (8) 2). dition de Baire 1). La demonstration Pour Ia demonstration d. 195.O.. 179. Sf l'operation U (x) definie dans l'espace E y est une limite d'operations continues. H au s d 0 r f f. 149-154. II. 208 et 209. 4) Cf. p. Si les espaces E et E1 sont separables et Poperation U (x) est continue dans E.U (x'). F. Mengentehre. O. 397. Banach. p.p. 17 On dit d'uneoperation U (x) a domaine E et a contredomaine etant egalement un espaee (D) qu'elle remplit fa condition de Baire. la demonstration pour les espaces eucll1) 2) S. x =I=. Theoreme 7. e. p. N i k 0 d y m. 3) cr. en outre. S. Toute operation mesurable (B) remplit la conegalement Ie On peut demontrer Theorerne 5. p. La premiere partie continue d'un ensemble du theorems resulte du fait que l'image mesurable (8) est toujours un ensemble analytique remplit de Ia deuxieme ainsi dit "analytique" 3) et que tout ensemble la condition de B air e 4). On a le a Theoreme 4. 1. les images des ensembles mesurables (8) sont aussi mesurables (8). consideree dans I'espace P . Iorsque dans tout ensemble parfait non vide peE il existe un ensemble de l-e categorie par rapport a Pet tel que l'operation U (x). Le theoreme suivant etablit une relation entre les ensembles mesurables (B) et les operations mesurables (B). Ensembles et operations mesurables (B) dans Ies espaces metriq'ues. Si. ·11.a. F. Theoreme 6. Hausdorff.x' entraine toujours U (x) =I=.B. Fundamenta Mathematicae VII (1925). ex. soient E l'espace (D) ou elles sont definies et E1 l'espace qui contient leurs valeurs. c. L'operation U (x) etant mesurable (8). Ban a e h. 'I'h eorfe des operations Iineaires. I. alors les images des ensembles aCE mesurables (8) remplissent la condition de Baire.. Berlin und Leipzig 1927.

Demonstration. la fonctionnelle (U'(x). La demonstration resulte du fait que si les operations U'(x) et U"(x) sont continues. U"(x» est aussi continue et que pour tout point Yo (Yo. 208.. Si les operations U'(x) et U"(x) soni mesurables (8). st pour tout x La fonctionnelie n~"" CE etant des suites d'operaon a lim (U'n(x). r.= pour tout x: = lim (U'n(x). q=p q. {U'n(X)} et {U"n(x)} lions mesurables (8). 1. la fonctionnelle (U'(x). Po sons pour tout couple de nombres naturels p. y) est continue dans E1• C E1 la fonctionelle (y. Or. q. Theorerne S.. s'appltque facilement au cas general. n~c>o lim (U'n(x). qui s'v trouve. r En vertu des the(8). = 7=1 p=l n 1: n O». lorsqu'on tient compte du theor erne pre cite sur les ensembles de l-e categorie (S. II. se trouve aussi dans le livre de F.18 partie du theorems Introduction. {Un(x)} etant une suite d'operations mesurables (8). Ban a c h. U"n(x» est mesurable (8). H au s- do r f I '). done Gest Theorerne 10. . 395). Yo) = Theorerne 9. p. q. q et r naturels Uq(x» Gp. r I'ensem- ble des points x tels que (Up(x). l'ensemble des points oil cette suite est conuergente est un ensemble mesurable (8). Soit pour p. q-+= diens. q et pour tout point x: On a evidemment n. r sont mesurables mesurable (8). I) 1. U"(x» l'est egalemeni. U"fI(X» p~oo lim lim Fp. p.. U"n(x» < oo. Demonstration. Gp. c. c. cremes on a G 6 et 8 les ensembles -<-!_. q (x).Jp.

q(x) sont mesurables (B). sont evldemment Iermes et on a 0 C 2: Gr. Demonstration. 19 Il suffit done de montrer que chacune des fonetionnelles Fp. it existe une sphere K C E et un nombre N tel que Fn(x) -: N pour tout x C K et pour tout n = 1. . 1=1 H existe done un indice N tel que ON est de II-e categorie. (Xl 8. Les ensembles G." 13. me ensemble ferme. Ensembles et operations mesurables (13)dans les espaces metriques. que toutes les fonctionnelles en appllquant encore le theorems Fp. . l(X) = (U'p(x). Or. 2.. ComK en . chaeune des f'onctionnelles Fp... Etant donnee une suite de fonctionnelles continues et non-negatives {Fn(x)} telles que l'on a lim Fn(x) < pour tout element x d'un ensemble 0 CEde II-e categorie. 2. Theoreme 11.. q(x) est mesurable (8). des points x tels que Fn(x) -< i pour n = 1. d'apres le theoreme 8. U"p(x» on a pour tout q > 1: est mesurable (B) et comme on en conclut par induction. il contient par consequent une sphere question.