Identication du

dual topologique de C[a, b]

Louis Fauchier-Magnan, SMA - EPFL
Prof. Antoine Derighetti - IACS
juin 2005
Table des mati`eres
Le dual topologique des fonctions continues 5
1. Notions preliminaires 5
2. Lintegrale de Stieltjes 8
3. Le Theor`eme de Riesz 12
4. Identication de C[a, b]

14
5. Conclusion 24
Bibliographie 25
3
Le dual topologique des fonctions continues
1. Notions preliminaires
D efinition 1.1. Soient a, b R, a < b. On pose
C[a, b] := f : [a, b] R : f est continue sur [a, b].
Remarque 1.2. On munit C[a, b] dune structure de R-espace vectoriel
en denissant : f, g C[a, b], R
(f +g)(x) := f(x) +g(x)
(f)(x) := f(x), x R
On munit C[a, b] dune structure despace vectoriel norme grace `a lapplica-
tion :
| | : C[a, b] [0, )
|f| := max
x[a,b]
_
[f(x)[
_
D efinition 1.3. On denit :
le dual algebrique de C[a, b] comme lensemble des formes lineaires sur
C[a, b], note C[a, b]

.
le dual topologique de C[a, b] comme lensemble des formes lineaires
continues sur C[a, b], note C[a, b]

.
Remarque 1.4. C[a, b]

C[a, b]

Remarque 1.5. Lanalyse fonctionnelle nous assure que la propriete de

continuite peut-etre remplacee par le fait detre borne, mais nous repren-
drons ce point plus en detail.
D efinition 1.6. Soit f R
[a,b]
.
f est dite monotone croissante si : x, y [a, b], x < y f(x) f(y)
f est dite monotone decroissante si : x, y [a, b], x < y f(x) f(y)
D efinition 1.7. Soit un intervalle compact [a, b] R et n N. Un
ensemble de points x
0
, . . . , x
n
[a, b] veriant :
x
0
= a, x
n
= b, x
i
< x
i+1
0 i n 1
est appele une subdivision (dordre n) de [a, b]
D efinition 1.8. Soient a, b R, avec a < b et f R
[a,b]
.
On dit que f est `a variation bornee sur [a, b] si K > 0 tel que pour toute
5
6 LE DUAL TOPOLOGIQUE DES FONCTIONS CONTINUES
subdivision x
0
, . . . , x
n
dordre n de [a, b]
n

j=1
[f(x
j
) f(x
j1
)[ K
D efinition 1.9. Lensemble des fonctions `a variation bornee sur [a, b]
est note BV [a, b]
Proposition 1.1. BV [a, b] est un R-sous espace vectoriel de R
[a,b]
Preuve :
Soient f, g BV [a, b] et , R.
Soit n N et x
0
, . . . , x
n
une subdivision dordre n de [a, b].
Alors
n

j=1
[(f +g)(x
i
) (f +g)(x
i1
)[
[[
n

i=1
[f(x
i
) f(x
i1
)[ + [[
n

i=1
[g(x
i
) g(x
i1
)[ <
car f, g BV [a, b].
Proposition 1.2. Toute fonction f R
[a,b]
monotone croissante ou
decroissante est `a variation bornee.
Preuve : Soit n N et x
0
, . . . , x
n
une subdivision dordre n de [a, b].
Supposons f croissante. Alors :
n

j=1
[f(x
j
) f(x
j1
)[ =
n

j=1
f(x
j
) f(x
j1
) = f(x
n
) f(x
0
) = f(b) f(a)
Supposons f decroissante. Alors :
n

j=1
[f(x
j
) f(x
j1
)[ =
n

j=1
f(x
j1
) f(x
j
) = f(x
0
) f(x
n
) = f(a) f(b)
D efinition 1.10. Soit f BV [a, b].
On appelle variation totale de f sur [a, b] le nombre :
V
b
a
(f) := sup
_
n

j=1
[f(x
j
) f(x
j1
)[ : n N, x
0
, . . . , x
n
subdivision de [a, b]
_
Proposition 1.3. Soit f BV [a, b] et a c < d b.
Alors f
|[c,d]
BV [c, d].
Preuve :
Soit K > 0 tel que f BV [a, b].
Soit x
0
, . . . , x
n
une subdivision de [c, d].
Ainsi a, x
0
, . . . , x
n
, b est une subdivision de [a, b] et donc :
[f(c) f(a)[ +
n

j=1
[f(x
j
) f(x
j1
)[ +[f(b) f(d)[ K
1. NOTIONS PRELIMINAIRES 7
et donc
n

j=1
[f(x
j
) f(x
j1
)[ K
Remarque 1.11. Nous enoncons ci-dessous quelques resultats utilises
dans certaines demonstrations au chapitre suivant :
Proposition 1.4. Soit f R
[a,c]
Si f BV [a, c] et a < b < c, alors : V
c
a
(f) = V
b
a
(f) +V
c
b
(f)
Si f
|[a,b]
BV [a, b] et f
|[b,c]
BV [b, c], alors f BV [a, c]
Proposition 1.5. Soit f BV [a, b]. On denit :
(a) = 0 et (x) := V
x
a
(f), x (a.b]
Alors :
0 sur [a, b]
est croissante sur [a, b]
Soit c [a, b], alors f est continue en c est continue en c
Th eor` eme 1.12. Jordan
Toute fonction continue `a variation bornee peut secrire comme dierence
de deux fonctions continues monotones croissantes.
Th eor` eme 1.13. Premier Theor`eme dHelly
Soit une collection quelconque de fonctions F R
[a,b]
.
Si K > 0 tel que
[f[ K et V
b
a
(f) K , f F
alors il existe une suite f
n

nN
F qui converge en chaque point de [a, b]
vers une fonction BV [a, b].
D efinition 1.14. Soit f R
[0,1]
. On appelle polynome de Bernstein de
degre n de la fonction f la fonction :
B
n
(x) :=
n

i=0
f
_
i
n
_
C
i
n
x
i
(1 x)
ni
, x [0, 1]
o` u
C
i
n
:=
n!
(n i)! i!
, i = 0, . . . , n
Th eor` eme 1.15. Bernstein
Si f C[0, 1], alors |B
n
f| 0 quand n
8 LE DUAL TOPOLOGIQUE DES FONCTIONS CONTINUES
2. Lintegrale de Stieltjes
D efinition 2.1. Soient f, g R
[a,b]
Soit x
0
, . . . , x
n
une subdivision
dordre n N de [a, b]. On choisit un point
k
[x
k
, x
k+1
], 0 k n 1.
On forme ensuite la somme
:=
n1

k=0
f(
k
)
_
g(x
k+1
) g(x
k
)
_
et on denit le pas := maxx
k+1
x
k
: 0 k n 1.
Si la somme tend vers une limite nie lorsque 0 independamment
du choix de la subdivision et des
k
, on appelle lintegrale de Stieltjes de
f par rapport `a g
Plus techniquement, est lintegrale de Stieltjes de f par rapport `a g si :
> 0, > 0 tel que pour toute subdivision veriant < , [ [<
pour tout choix des points
k
. On la note
_
b
a
f(x)dg(x)
Proposition 2.1. Quelques proprietes fondamentales :

_
b
a
(f +g)(x)dh(x) =
_
b
a
f(x)dh(x) +
_
b
a
g(x)dh(x)

_
b
a
f(x)d(g +h)(x) =
_
b
a
f(x)dg(x) +
_
b
a
f(x)dh(x)

_
b
a
f(x)d(g)(x) =
_
b
a
f(x)dg(x)

_
b
a
f(x)d(g +C)(x) =
_
b
a
f(x)dg(x) , , C R

_
b
a
f(x)dg(x) =
_
c
a
f(x)dg(x) +
_
b
c
f(x)dg(x),
a < c < b, f, g, h R
[a,b]
(On suppose ici que toutes ces integrales existent.)
De plus, lexistence dune des deux integrales
_
b
a
f(x)dg(x) et
_
b
a
g(x)df(x)
implique celle de lautre et dans ce cas, on a la formule dintegration par
parties :
_
b
a
f(x)dg(x) +
_
b
a
g(x)df(x) = f(b)g(b) f(a)g(a)
Th eor` eme 2.2. Lintegrale de Stieltjes
_
b
a
f(x)dg(x) existe si f C[a, b]
et g BV [a, b].
Preuve :
Supposons tout dabord que g est monotone croissante sur [a, b]. Soit x
0
, . . . , x
n

une subdivision dordre n de [a, b].

0 k n 1, on denit
m
k
:= min
_
f(x) : x [x
k
, x
k+1
]
_
et
M
k
:= max
_
f(x) : x [x
k
, x
k+1
]
_
2. LINTEGRALE DE STIELTJES 9
Ces nombres existent, car f C[a, b]. on forme les sommes inferieures de f
et (respectivement) superieures de f associees `a cette subdivision :
s =
n1

k=0
m
k
_
g(x
k+1
) g(x
k
)
_
et S =
n1

k=0
M
k
_
g(x
k+1
) g(x
k
)
_
Il est clair que s S pour tout choix des points
k
[x
k
, x
k+1
].
De plus, on constate que si on rajoute des points `a la subdivision, s ne
decrot pas et S ne crot pas. Par consequent, si on choisit deux subdivisions
de [a, b], et on note s
1
, s
2
les sommes inferieures et respectivement S
1
, S
2
les sommes superieures associees `a ces subdivisions, on peut obtenir une
troisi`eme subdivision de [a, b] en combinant les deux premi`eres. On note
comme precedemment s
3
et S
3
les sommes obtenues. Ainsi, par la remarque
ci-dessus, on observe que s
1
s
3
S
3
S
2
, et donc que s
1
S
2
. On
observe que lensemble des sommes inferieures de f est borne, car S
2
< .
On peut alors considerer I := sups. Ainsi, pour toute subdivision de [a, b],
on aura s I S et que [ I[ S s.
f est continue sur [a, b] qui est compact, elle est donc uniformement conti-
nue, ie > 0, > 0 tel que x, x

[a, b], [x x

[ < [f(x) f(x

)[.
Ainsi, on constate que M
k
m
k
< , 0 k n 1 pour < (rappel :
est le pas de la subdivision).
Ainsi, Ss < (g(b)g(a)). On arrive par consequent au resultat suivant :
< [ I [< (g(b) g(a))
ce qui signie
lim
0
= I
On voit donc que
I =
_
b
a
f(x)dg(x)
En ce qui concerne le cas plus general o` u g est `a variation bornee, selon le
theor`eme 1.1.1, on peut ecrire g = g
1
g
2
o` u g
1
, g
2
R
[a,b]
sont monotones
croissantes sur [a, b]. On aura alors
_
b
a
f(x)dg(x) =
_
b
a
f(x)dg
1
(x)
_
b
a
f(x)dg
2
(x)
Th eor` eme 2.3. Si f C[a, b] et g est derivable sur [a, b] avec une
derivee Riemann-integrable sur [a, b], alors :
_
b
a
f(x)dg(x) =
_
b
a
f(x)g

(x)dx
o` u le membre de droite est lintegrale classique de Riemann.
Preuve :
Il decoule des hypoth`eses que g

est bornee sur [a, b] et donc, selon le

theor`eme des accroissements nis, g BV [a, b]. Ainsi on sait que lintegrale
de gauche existe. De plus, on admet un resultat de theorie de lintegration qui
nous dit que, sous les hypoth`eses ci-dessus, la fonction f(x)g(x) est continue
10 LE DUAL TOPOLOGIQUE DES FONCTIONS CONTINUES
presque partout, et donc quelle est integrable. Les deux membres de legalite
existent donc, il reste `a voir quils sont egaux. On suppose, comme dans le
theor`eme precedent, que g est monotone croissante sur [a, b]. Considerons
une subdivision dordre n x
0
, . . . , x
n
de [a, b]. On applique `a chaque sous-
intervalle [x
k
, x
k+1
] le theor`eme des accroissements nis qui nous dit que
0 k n1,
k
(x
k
, x
k+1
) tel que g(x
k+1
)g(x
k
) = g

(
k
)
_
x
k+1
x
k
_
En formant la somme donnee par la construction de lintegrale de Stieltjes,
on peut choisir
k
=
k
, 0 k n 1, car la convergence de lintegrale,
par denition, ne depend pas du choix des
k
. On arrive donc au resultat :
=
n1

i=0
f(
k
)g

(
k
)
_
x
k+1
x
k
_
Cest une somme de Riemman pour la fonction f(x)g(x). En redenissant
la subdivision et en prenant la limite, on obtient que
_
b
a
f(x)dg(x) = lim
0
=
_
b
a
f(x)g

(x)dx
Le resultat pour g BV [a, b] se deduit comme dans la n de la preuve du
theor`eme precedent.
Th eor` eme 2.4. Second Theor`eme dHelly (sans preuve)
Soient f C[a, b] et g
n

nN
R
[a,b]
convergent point par point vers une
fonction g R
[a,b]
. Si K > 0 tel que
V
b
a
(g
n
) < K, n N
alors
lim
n
_
b
a
f(x)dg
n
(x) =
_
b
a
f(x)dg(x)
Th eor` eme 2.5. Soient f, g R
[a,b]
.
Soient a < c
1
< c
2
< < c
m
< b, alors si g est constante sur tous les
sous-intervalles (a, c
1
), (c
1
, c
2
), . . . , (c
m
, b), on a :
_
b
a
f(x)dg(x) = f(a)(g(a + 0) g(a)) +
m

i=1
f(c
i
)(g(c
i
+ 0) g(c
i
0)) +f(b)(g(b) g(b 0))
o` u
g(x + 0) := lim
0
g(x +), > 0
g(x 0) := lim
0
g(x +), < 0
Preuve :
Il est facile de voir que
V
b
a
(g) = [g(a + 0) g(a)[ +
n

i=1
_
[g(c
i
) g(c
i
0)[ +[g(c
i
+ 0) g(c
i
)[
_
+[g(b) g(b 0)[
2. LINTEGRALE DE STIELTJES 11
On constate donc que g BV [a, b], et par consequent que g est `a variation
bornee sur tout sous-intervalle de [a, b]. Ainsi :
(1)
_
b
a
f(x)dg(x) =
m

i=0
_
c
i+1
c
i
f(x)dg(x)
o` u nous avons pose c
0
:= a et c
m+1
= b. Etudions `a present
_
c
i+1
c
i
f(x)dg(x).
En subdivisant lintervalle [c
i
, c
i+1
], et en formant la somme pour cet
intervalle, on obtient :
= f(
0
)(g(c
i
+ 0) g(c
i
)) + f(
n1
)(g(c
i+1
) g(c
i+1
0))
car les autres termes se compensent. Par consequent, en passant `a la limite,
on obtient
_
c
i+1
c
i
f(x)dg(x) = f(c
i
)(g(c
i
+ 0) g(c
i
)) + f(c
i+1
)(g(c
i+1
) g(c
i+1
0))
Le resultat suit immediatement en remplacant terme `a terme dans lequation
(1.1)
Th eor` eme 2.6. Si f C[a, b] et g BV [a, b], alors

_
b
a
f(x)dg(x)

|f| V
b
a
(g)
Preuve :
Soit un n N et une subdivision quelconque x
0
, . . . , x
n
de [a, b] dordre n.
On choisit les
k
[x
k
, x
k+1
] de mani`ere arbitraire. Soit la somme dans la
construction de lintegrale de Stieltjes associee `a cette subdivision et `a ces

k
. On a alors
[[ =

n1

i=0
f(
k
)(g(x
k+1
) g(x
k
))

|f|
n1

i=0
[g(x
k+1
)g(x
k
)[ |f| V
b
a
(g)
Le resultat suit par passage `a la limite.
Lemme 2.1. Soit g BV [a, b] et f
n

nN
C[a, b] qui converge uni-
formement vers f, ie |f
n
f| 0. Alors
lim
n
_
b
a
f
n
(x)dg(x) =
_
b
a
f(x)dg(x)
Preuve :
Notons tout dabord que f C[a, b] `a cause de la convergence uniforme.
On aura alors

_
b
a
f
n
(x)dg(x)
_
b
a
f(x)dg(x)

|f
n
f| V
b
a
(g)
et on sait que
lim
n
|f
n
f| = 0
par la convergence uniforme.
12 LE DUAL TOPOLOGIQUE DES FONCTIONS CONTINUES
Remarque 2.7. Ce lemme peut etre reformule de la mani`ere suivante :
Si on xe g BV [a, b], alors lapplication
S
g
: C[a, b] R : f
_
b
a
f(x)dg(x)
est une forme lineaire continue sur (C[a, b], | |), ie S
g
C[a, b]

et de plus,
on peut noter que S
g
est Lipschitz de constante V
b
a
g.
3. Le Theor`eme de Riesz
Comme explique au debut du chapitre, nous nous interessons `a identier
C[a, b]

, cest-`a-dire lensemble des formes lineaires continues sur C[a, b].

Le theor`eme suivant, classique en analyse fonctionnelle, nous sera tr`es utile :
Une forme lineaire est continue sur un domaine, si et seulement si elle
est bornee sur ce domaine.
Nous donnons ici `a borne la signication suivante :
K > 0 tel que [(f)[ K |f|, f C[a, b]
Par consequent, lorsque nous etudierons une forme lineaire sur C[a, b], sa
bornitude sera equivalente `a sa continuite.
Le point capital de ce chapitre est le theor`eme de Frederic Riesz (1880-
1956) qui dit la chose suivante :
Soit C[a, b]

. Alors g BV [a, b] telle que

(f) =
_
b
a
f(x) dg(x), f C[a, b]
Preuve :
Tout dabord, on remarque quon peut restreindre letude `a lintervalle [0,1]
sans perte de generalite. En utilisant les notations de Bernstein, on admet
le resultat elementaire de combinatoire
n

i=1
C
i
n
x
i
(1 x)
ni
= 1
Ainsi, en posant
i
= 1 (i = 0, 1, . . . , n), alors
(2)

i=1

i
C
i
n
x
i
(1 x)
ni

1
On sait, par continuite de , que K > 0 tel que
(3) [(f)[ K |f|
De ces deux derni`eres equations, on arrive au resultat :
(4)

i=1

i
(C
i
n
x
i
(1 x)
ni
)

K
3. LE THeOR`eME DE RIESZ 13
On denit par morceaux une fonction g
n
de la facon suivante :
g
n
(0) = 0
g
n
(x) = (C
0
n
x
0
(1 x)
n0
) , x (0,
1
n
)
g
n
(x) = (C
0
n
x
0
(1 x)
n0
) + (C
1
n
x
1
(1 x)
n1
), x [
1
n
,
2
n
)
. . .
g
n
(x) =
n1

i=0
(C
k
n
x
i
(1 x)
ni
), x [
n1
n
, 1)
g
n
(1) =
n

i=0
(C
k
n
x
i
(1 x)
ni
)
Par lequation (1.3), on sait que les fonctions g
n
et leurs variations totales
sont bornees par un seul nombre. Elles sont donc de variation bornee. Par
le premier theor`eme de Helly, on sait quil existe une sous-suite g
n
i

iN

g
n

nN
qui converge vers une fonction g BV [0, 1].
Soit f C[0, 1], on sait par le theor`eme (2.5) que
_
1
0
f(x) dg
n
(x) =
n

i=0
f
_
i
n
_

_
C
k
n
x
k
(1 x)
nk
_
et en posant
B
n
(x) :=
n

i=0
f
_
i
n
_
C
k
n
x
k
(1 x)
nk
on obtient
_
1
0
f(x)dg
n
(x) =
_
B
n
(x)
_
Par le theor`eme de Bernstein,
|B
n
f| 0
Par linearite, on sait que
[
_
B
n
_

_
f
_
[ = [
_
B
n
f
_
[ K |B
n
f|
et par consequent :

_
B
n
_

_
f
_
quand n
En reformulant ce resultat, on obtient
lim
n
_
1
0
f(x) dg
n
(x) =
_
f
_
Cependant, par le deuxi`eme theor`eme de Helly, on sait que
lim
n
_
1
0
f(x) dg
n
(x) =
_
1
0
f(x) dg(x)
Par consequent

_
f
_
=
_
1
0
f(x) dg(x)
14 LE DUAL TOPOLOGIQUE DES FONCTIONS CONTINUES
4. Identication de C[a, b]

Grace aux resultats obtenus dans les paragraphes precedents, nous al-
lons pouvoir etudier en detail lespace C[a, b]

. Tout dabord nous pouvons

considerer lapplication suivante :
S : BV [a, b] C[a, b]

: g S
g
o` u S
g
(f) :=
_
b
a
f(x)dg(x), f C[a, b]
Nous savons dapr`es la remarque (2.7) que lapplication S est bien denie,
et, par le theor`eme de Riesz, quelle est surjective. Il est cependant facile de
constater quelle nest pas injective.
Nous introduisons les ensembles suivants :
L := L C[a, b]

: L(f) 0 si f 0
/:= p : [a, b] R : p continue `a droite, monotone croissante et p(a) = 0
Nous allons etudier plus precisement ces deux ensembles an darriver `a une
decomposition de C[a, b]

4.1. Lensemble L.
Proposition 4.1. Soit L C[a, b]

telle que f 0 L(f) 0

Alors L est continue.
Preuve : Soit f C[a, b] On denit :
f
+
:=
|f|+f
2
f

:=
|f|f
2
On constate clairement que :
f
+
, f

C[a, b]
f
+
f

= f
f
+
+f

= [f[
f
+
, f

0
Ensuite, [L(f)[ = [L(f
+
f

)[ = [L(f
+
)L(f

)[ [L(f
+
)[+[L(f

)[ =
L(f
+
) +L(f

) = L(f
+
+f

) = L([f[)
Par consequent,
[L(f)[ L([f[)
On sait egalement que g h L(g) L(h).
En eet, h g 0 L(h) L(g) = L(h g) 0.
De plus, on voit facilement que, si f ,= 0, 0
|f|
f
1, car 0 [f[ |f|
Par consequent,
1
f
[L(f)[ =

L(
f
f
)

L(

f
f

) = L(
|f|
f
) L(1)
et donc,
[L(f)[ L(1) |f|
4. IDENTIFICATION DE C[a, b]

15
et donc L est continue, car elle est bornee.
De plus, on peut calculer la norme de L qui est denie comme :
|L| := sup
_
[L(f)[ : |f| = 1
_
On a montre que
|L| L(1)
Considerons la fonction f 1. f C[a, b] et |f| = 1. Par denition,
|L| [L(1)[ = L(1). Ainsi,
|L| = L(1)
Proposition 4.2. On pose C[a, b]
+
:= f C[a, b] : f 0
Soit l : C[a, b]
+
[0, ) telle que :
l(f +g) = l(f) +l(g) additive
l(f) = l(f) f, g C[a, b]
+
, 0 homog`ene
Alors L C[a, b]

telle que L(f) = l(f), f C[a, b]

+
, ie L prolonge l.
Preuve :
Soit f C[a, b]. On denit comme dans la proposition precedente f
+
et f

.
On pose :
L(f) := l(f
+
) l(f

)
qui est bien denie. Verions maintenant que L C[a, b]

:
Additive :
Soient f, g C[a, b].
On sait alors que (f +g)
+
(f +g)

= f +g = (f
+
f

) +(g
+
g

). Par
consequent, (f + g)
+
+ f

+ g

= (f + g)

+ f
+
+ g
+
. En applicant l, on
voit que
l((f +g)
+
) +l(f

) +l(g

) = l((f +g)

) +l(f
+
) +l(g
+
)
et donc
L(f+g) = l((f+g)
+
)l((f+g)

) = (l(f
+
)l(f

))+(l(g
+
)l(g

)) = L(f)+L(g)
ie
L(f +g) = L(f) +L(g)
Homog`ene :
Soient R et f C[a, b].
(1) Si 0, alors (f)
+
= (f)
+
et (f)

= (f)

. Par consequent,
L(f) = l((f)
+
) l((f)

) = l(f
+
) l(f

) = (l(f
+
)
l(f

)) = L(f)
(2) (f)
+
= f

et (f)

= f
+
. Par consequent, L(f) = l((f)
+
)
l((f)

) = l(f

) l(f
+
) = L(f)
(3) Si < 0, alors > 0 et donc L(f) = L(()f) = L(()f) =
()L(f) = L(f)
16 LE DUAL TOPOLOGIQUE DES FONCTIONS CONTINUES
Par consequent,
L(f) = L(f), R, f C[a, b]
On voit donc que L C[a, b]

. Reste `a prouver la continuite. On utilise

pour cela la proposition precedente :
Soit f C[a, b]
+
, alors f
+
= f et f

= 0. Or, l(0) = 0 (clairement),

ainsi, L(f) = l(f
+
) l(f

) = l(f) 0, car f 0. Ainsi, L est continue, ie

L C[a, b]

.
Proposition 4.3. Soit L C[a, b]

. On appelle valeur absolue de L

l application [L[ denie par :
[L[ : C[a, b]
+
R
[L[ (f) := sup
_
[L(g)[ : [g[ f, g C[a, b]
_
Alors [L[ est additive et homog`ene.
Preuve :
On a tout dabord besoin de prouver un petit lemme intermediaire :
Lemme 4.1. Soient x, y R, alors 1, 1 tel que [x+y[ = [x[+[y[
Preuve :
Il faut distinguer tous les cas possibles :
si x, y 0, alors [x[ +[y[ = x +y = [x + 1 y[
si x 0 et y < 0, alors [x[ +[y[ = x + (y)
. .
0
= [x + (1) y[
si x < 0 et y 0, alors [x[ + [y[ = x + y = (x y)
. .
0
= [x y[ =
[x + (1) y[
si x, y < 0, alors [x[ +[y[ = x y = (x +y)
. .
0
= [x + 1 y[
On revient `a notre proposition. Remarquons tout dabord que notre
denition est bien posee. En eet, lensemble g C[a, b] : [g[ f est
borne, car f est continue sur lintervalle [a, b] et donc bornee. Par consequent,
lensemble
_
[L(g)[ : [g[ f, g C[a, b]
_
est borne par continuite de L. Son
sup existe donc et la denition est bien posee.
Remarque 4.1. Si f g, alors [L[ (f) [L[ (g), car
_
[L(u)[ : [u[ f, u C[a, b]
_

_
[L(v)[ : [v[ f, v C[a, b]
_
Par consequent, comme [L[ (0) = 0, f 0 =[L[ (f) 0,
Homogeneite :
Soit > 0 et f C[a, b], alors :
[L[ (f) := sup
_
[L(g)[ : [g[ f, g C[a, b]
_
=
4. IDENTIFICATION DE C[a, b]

17
sup
_
[L(g)[ :
1

[g[ f, g C[a, b]
_
= sup
_
[L(g)[ :

f, g C[a, b]
_
=
sup
_

L(

g)

f, g C[a, b]
_
=
sup
_

L(
g

f, g C[a, b]
_
= sup
_
[[ [L(h)[ : [h[ f, h C[a, b]
_
=
sup
_
[L(h)[ : [h[ f, h C[a, b]
_
= [L[ (f)
Ensuite :
[L[ (0 f) = sup
_
[L(g)[ : [g[ 0, g C[a, b]
_
=
sup
_
[L(0)[ = [L(0)[ = 0 = 0 [L[ (f)
car L est lineaire.
Par consequent,
[L[ (f) = [L[ (f), 0, f C[a, b]
Additivite :
Soient f
1
, f
2
C[a, b]
+
et g
1
, g
2
C[a, b] telle que [g
1
[ f
1
et [g
2
[ f
2
.
Alors pour 1, 1, [g
1
+ g
2
[ [g
1
[ +[g
2
[ f
1
+f
2
Ainsi,
[L(g
1
) + L(g
2
)[ = [L(g
1
+ g
2
)[ [L[ (f
1
+f
2
)
Cependant, dapr`es le lemme 4.1, 1, 1 tel que
[L(g
1
)[ +[L(g
2
)[ = [L(g
1
) + L(g
2
)[
Ainsi,
[L(g
1
)[ +[L(g
2
)[ [L[ (f
1
+f
2
)
Comme on a pris [g
1
[ f
1
et [g
2
[ f
2
quelconques, on peut passer au sup
ce qui nous donne le resultat suivant :
[L[ (f
1
) +[L[ (f
2
) [L[ (f
1
+f
2
)
Ensuite, soit g C[a, b] telle que g f
1
+f
2
. On denit x [a, b] :
g
i
(x) :=
_
g(x)
f
i
(x)
f
1
(x)+f
2
(x)
si f
1
(x) +f
2
(x) ,= 0
0 sinon
i = 1, 2
On observe que f
1
(x) +f
2
(x) = 0 g(x) = 0 et par consequent,
[g
i
(x)[ [g(x)[, x [a, b], i = 1, 2
Ainsi,
g
i
C[a, b], i = 1, 2
[g
i
[

g
f
i
f
1
+f
2

[g[ [f
i
[
[f
1
+f
2
[
[f
i
[ = f
i
, i = 1, 2
et
g
1
+g
2
= g
Par consequent :
[L(g)[ = [L(g
1
+g
2
)[ = [L(g
1
) +L(g
2
)[ [L(g
1
)[+[L(g
2
)[ [L[ (f
1
)+[L[ (f
2
)
18 LE DUAL TOPOLOGIQUE DES FONCTIONS CONTINUES
En passant au sup, on trouve que
[L[ (f
1
+f
2
) [L[ (f
1
) +[L[ (f
2
)
On arrive par consequent au resultat nal :
[L[ (f
1
+f
2
) = [L[ (f
1
) +[L[ (f
2
), f
1
, f
2
C[a, b]
+
Th eor` eme 4.2. Soit L C[a, b]

, alors L
1
, L
2
C[a, b]

telles que :
L = L
1
L
2
f C[a, b]
+
, L
i
(f) 0, i = 1, 2
Preuve :
On reprend lapplication [L[ : C[a, b]
+
R denie `a la proposition 4.3.
Par la proposition 4.2, on peut la prolonger en une forme lineaire continue

[L[ denie sur C[a, b]. On pose alors

L
1
: C[a, b] R : f
1
2

_

[L[(f) +L(f)
_
L
2
: C[a, b] R : f
1
2

_

[L[(f) L(f)
_
Il est clair que L
1
, L
2
C[a, b]

, car ce sont des combinaisons lineaires

delements de C[a, b]

.
De plus, on remarque que L = L
1
L
2
Finalement, soit f C[a, b]
+
.
On sait donc que

[L[(f) = [L[ (f). De plus, comme [f[ = f f, alors
[L(f)[ [L[ (f)
cest-`a-dire
[L[ (f) L(f) [L[ (f)
Par consequent
L
1
(f) =
1
2

_

[L[(f) +L(f)
_
=
1
2

_
[L[ (f) +L(f)
_
0
et
L
2
(f) =
1
2

_

[L[(f) L(f)
_
=
1
2

_
[L[ (f) L(f)
_
0
f C[a, b]
Th eor` eme 4.3.
C[a, b]

= L L := f g : f, g L
Preuve :
Nous allons demontrer la double inclusion :
:
Soit L C[a, b]

Alors, par le theor`eme 4.3, L

1
, L
2
L telles que
L = L
1
L
2
L L
:
Soient L
1
, L
2
L Alors L
1
, L
2
C[a, b]

et donc L
1
L
2
C[a, b]

4. IDENTIFICATION DE C[a, b]

19
4.2. Lensemble /.
D efinition 4.4. On denit lensemble
BV [a, b]
0
:= f BV [a, b] : f continue `a droite et f(a) = 0
Proposition 4.4.
BV [a, b]
0
= //:= p q : p, q /
On proc`ede de nouveau par double inclusion :
:
Soit f BV [a, b]
0
, dapr`es le theor`eme de Jordan, p, q R
[a,b]
continues `a
droites et monotones croissantes. On remarque que p(a) q(a) = f(a) = 0,
par consequent, p(a) = q(a) On pose alors p

:= p p(a) et q

:= q q(a).
Alors p

, q

/ et donc f = p

//
:
Soient p, q /, alors p q est continue `a droite et est `a variation bornee,
car toute fonction monotone croissante est `a variation bornee (prop. 1.2)
et BV [a, b] est un R-espace vectoriel (prop. 1.1). Finalement, (p q)(a) :=
p(a) q(a) = 0 ainsi, p q BV [a, b]
0
20 LE DUAL TOPOLOGIQUE DES FONCTIONS CONTINUES
4.3. Bijection entre L et /.
Proposition 4.5. Soit p R
[a,b]
monotone croissante. On denit
p

: [a, b] R : x lim
yx
+
p(y) = infp(y) : y > x
Alors p

est une fonction monotone croissante, continue `a droite, et qui est

egale `a p en tout point de continuite `a droite de p.
Preuve :
Remarquons dabord que p

est bien denie, car p est monotone crois-

sante. Ensuite, soit x [a, b] un point de continuite `a droite de p. Alors
p

( x) = lim
y x
+
= p( x) par denition.
Ensuite soient x, y [a, b] tels que x < y. Alors
p

(x) = infp(w) : w > x p(y)

De plus, soit z > y, alors p(z) p(y) et donc, en passant `a linf, p

(y) p(y),
par consequent p

(x) p

(y). Ainsi p

est monotone croissante.

Finalement, p

est continue `a droite par denition.

Proposition 4.6. Soient p et p

comme dans la proposition precedente.

Alors
_
b
a
f(x) dp(x) =
_
b
a
f(x) dp

(x), f C[a, b]
Preuve :
Soit > 0 et f C[a, b]. On veut montrer que

_
b
a
f(x) dp(x)
_
b
a
f(x) dp

(x)

<
Tout dabord, pour cet > 0, > 0 tel que pour toute subdivision
dordre n N x
0
, . . . , x
n
de [a, b] avec
:= maxx
k+1
x
k
[ 0 k n 1 <
et

k
[x
k
, x
k+1
], 0 k n 1 arbitraires
on a, par le theor`eme de Stieltjes :

_
b
a
f(x) dp(x)
n1

k=0
f(
k
)(p(x
k+1
) p(x
k
))

<

3

_
b
a
f(x) dp

(x)
n1

k=0
f(
k
)(p

(x
k+1
) p

(x
k
))

<

3
Cependant, par denition de p

, i 1, . . . , n 1, y
i
> x
i
tel que :
p(y
i
) p(x
i
) <

6n (1 + maxf(
k
) : 1 k n)
4. IDENTIFICATION DE C[a, b]

21
et tel que le pas de la subdivision y
o
, y
1
, . . . , y
n1
, y
n
soit < , o` u on a
pose y
0
:= a et y
n
:= b
Ainsi,

_
b
a
f(x)dp(x)
_
b
a
f(x)dp

(x)

_
b
a
f(x)dp(x) +
n1

k=0
f(
k
)(p(y
k+1
) p(y
k
))
n1

k=0
f(
k
)(p(y
k+1
) p(y
k
))
_
b
a
f(x)dp

(x)

_
b
a
f(x)dp(x)
n1

k=0
f(
k
)(p(y
k+1
) p(y
k
))

_
b
a
f(x)dp

(x)
n1

k=0
f(
k
)(p(y
k+1
) p(y
k
))

Comme le pas de y
0
, . . . , y
n
est < , on sait que

_
b
a
f(x)dp(x)
n1

k=0
f(
k
)
_
p(y
k+1
) p(y
k
)
_

<

3
De plus,

_
b
a
f(x)dp

(x)
n1

k=0
f(
k
)
_
p(y
k+1
) p(y
k
)
_

_
b
a
f(x)dp

(x)
n1

k=0
f(
k
)
_
p

(x
k+1
) p

(x
k
)
_

n1

k=0
f(
k
)
_
p

(x
k+1
) p

(x
k
)
_

n1

k=0
f(
k
)
_
p(y
k+1
) p(y
k
)
_

Or

_
b
a
f(x)dp

(x)
n1

k=0
f(
k
)
_
p

(x
k+1
) p

(x
k
)
_

<

3
Par consequent,

n1

k=0
f(
k
)
_
p

(x
k+1
) p

(x
k
)
_

n1

k=0
f(
k
)
_
p(y
k+1
) p(y
k
)
_

n1

k=0
f(
k
)
_
p

(x
k+1
) p

(x
k
) p(y
k+1
) +p(y
k
)
_

n1

k=0
f(
k
)
_
(p

(x
k+1
) p(y
k+1
)) (p(y
k
) p

(x
k
))
_

n1

k=0
[f(
k
)[
_
[p

(x
k+1
) p(y
k+1
)[ +[p(y
k
) p

(x
k
)[
_

n1

k=0
[f(
k
)[
_

6n (1 + maxf(
k
) : 1 k n)
+

6n (1 + maxf(
k
) : 1 k n)
_

3
Par consequent

_
b
a
f(x) dp(x)
_
b
a
f(x) dp

(x)

<

3
+

3
+

3
=
22 LE DUAL TOPOLOGIQUE DES FONCTIONS CONTINUES
et donc
_
b
a
f(x) dp(x) =
_
b
a
f(x) dp

(x)
Th eor` eme 4.5. Il existe une bijection
: /L
:
Soit p /. On peut alors construire
S
p
: C[a, b] R : f
_
b
a
f(x)dp(x)
car p est monotone croissante. On sait que S
p
C[a, b]

.
Soit f C[a, b]
+
et x
0
, . . . , x
n
une subdivision dordre n N de [a, b].
Soit
k
[x
k
, x
k+1
], 0 k n 1 arbitraires.
On sait que, lorsque
:= maxx
k+1
x
k
[ 0 k n 1 0
n1

k=0
f(
k
)
_
g(x
k+1
) g(x
k
)
_

_
b
a
f(x)dp(x)
Or f(
k
) 0, 0 k n 1, car f C[a, b]
+
et g(x
k+1
) g(x
k
) 0, 0 k n 1, car g est monotone croissante.
Ainsi, en passant `a la limite, S
p
(f) =
_
b
a
f(x)dp(x) 0.
Par consequent S
p
L
On denit alors lapplication
S : /L : p S
p
:
Soit L L. Par le theor`eme de Riesz, on sait que q BV [a, b] telle
que L = S
q
. Soit f C[a, b]
+
on sait donc que S
q
(f) = L(f) 0. Ce-
pendant, en examinant la construction de lintegrale de Stieljes, on voit que
f 0 implique forcement que q(x
k+1
) q(x
k
) 0 pour toute subdivision
x
0
, . . . , x
n
de [a, b] susamment ne. Ainsi, on voit quil est necessaire que
q(y) q(x) 0, x y, ce qui signie en fait que q est monotone croissante.
On consid`ere ensuite la fonction q

denie `a la prop. 4.5. On sait quelle

est monotone croissante et continue `a droite. De plus, par la prop. 4.6, on
sait que S
q
= S
q
.
Finalement, on denit r := q

(a). Alors on sait que r / et que

S
r
= S
q
= L. On pose alors
R : L /: L r
Reste maintenant `a voir si R est bien denie. En eet, on se base sur
le theor`eme de Riesz qui assure lexistence de la fonction generatrice de
4. IDENTIFICATION DE C[a, b]

23
lintegrale de Stieljes, mais rien ne nous garanti que le choix de cette fonction
est bien deni.
Supposons alors que r
1
, r
2
/telles que S
r
1
= S
r
2
. Si nous montrons
que r
1
= r
2
, nous saurons alors que lapplication R est bien denie.
Soient x, y [a, b], x y. On pose

r
1
_
(x, y]
_
:= r
1
(y) r
1
(x)

r
2
_
(x, y]
_
:= r
2
(y) r
2
(x)
qui denissent deux mesures nies sur la tribu des boreliens de [a, b]. On ad-
met `a ce stade la construction de lintegrale de Lebesgue-Stieltjes, expliquee
dans [1] et [3] qui generalise celle de Stieljes, car elle permet dintegrer une
plus grande classe de fonctions, comme par exemple les fonctions etagees
(cest-`a-dire des fonctions mesurables admettant un nombre ni de valeurs).
Soient alors c, d [a, b], c d. On consid`ere la fonction etagee :

|[c,d]
(x) :=
_
1 , si x [c, d]
0 , si x / [c, d]
Ainsi,
_
d
c
dr
1
(x) = S
r
1
(
|[c,d]
) = S
r
2
(
|[c,d]
) =
_
d
c
dr
2
(x)
cependant, on sait, dapr`es la construction de lintegrale de Stieltjes, que
_
d
c
dr
1
(x) = r
1
(d) r
1
(c)
et que
_
d
c
dr
2
(x) = r
2
(d) r
2
(c)
Par consequent, on arrive au resultat :
r
1
(d) r
1
(c) = r
2
(d) r
2
(c), c, d [a, b] c d
et donc
(r
1
r
2
)(c) = (r
1
r
2
)(d), c, d [a, b] c d
par consequent,
r
1
r
2
= cte
Or
(r
1
r
2
)(a) = r
1
(a) r
2
(a) = 0
ainsi,
r
1
= r
2
Par consequent, on sait que
R S = id
M
S R = id
L
/ et L sont donc bien en bijection.
24 LE DUAL TOPOLOGIQUE DES FONCTIONS CONTINUES
4.4. Bijection entre C[a, b]

et BV [a, b]
0
.
Remarque 4.6. On rappelle les resultats obtenus :
BV [a, b]
0
= //
C[a, b]

= L L
o` u
BV [a, b]
0
:= f BV [a, b] : f continue `a droite et f(a) = 0
L := L C[a, b]

: L(f) 0 si f 0
/:= p : [a, b] R : p continue `a droite, monotone croissante et p(a) = 0
Th eor` eme 4.7. Il existe une bijection
S : BV [a, b]
0
C[a, b]

Preuve :
Lapplication
S : BV [a, b]
0
C[a, b]

: p S
p
sera une bijection par les proprietes enoncees dans la remarque precedente et
le theor`eme (4.5). De plus, on sait par la proposition 2.1 que S est lineaire.
Par consequent, il sagit dun isomorphisme canonique.
Remarque 4.8. On a donc la representation suivante :
Le dual topologique des fonctions continues sur un intervalle compact I
est canoniquement isomorphe avec le R-espace vectoriel des fonctions `a va-
riation bornee, continues `a droite, sannulant sur la borne inferieure de I.
5. Conclusion
Il est interessant de remarquer que notre etude a porte sur un espace
vectoriel avec lequel nous sommes habitues `a travailler, mais dont le dual
topologique se rev`ele etre beaucoup moins courant.
Je tiens `a remercier le Prof. Antoine Derighetti pour son soutien durant
tout ce travail.
Bibliographie
[1] I. P. Natanson Theory of functions of a real variable vol 1, Frederick
Ungar Publishing, New York, 1955
[2] H. L. Royden Real analysis, second edition The Macmilan Company,
Londres, 1970
[3] N. Bourbaki Livre VI, integration Hermann, Paris, 1963
[4] Antoine Derighetti Cours Series Trigonometriques I, EPFL, 2004-
2005
[5] Marc Troyanov Cours Mesure et Integration, EPFL, 2004-2005
25