1Aest un ensemble infini.
Il contient en particulier une suite de points distincts (ai)i∈N. Consid´erons le sous-ensemble G
des fonctions ftelles que f(ai) = 0 `a partir d’un certain rang. On v´erifie facilement que Gest
un sous-espace vectoriel de F(A,E). En effet, si f(ai) s’annule pour i≥i1et si g(ais’annule
pour i≥i2, on a (f+g)(ai) = 0 pour i≥max(i1,i2), et (λf )(ai) = 0 pour i≥i1. De plus G
contient la fonction nulle.
On montre alors que ce sous-espace est de dimension infinie de la mˆeme mani`ere que l’on montre
que l’espace R[X] est de dimension infinie :
Supposons que Gsoit de dimension finie r, et soit (f1, . . . fr) une base de G. Il existe j1, . . . ,jrtels
que, si j≥jk, on ait fk(j) = 0. En prenant j≥j0= max1≤k≤rjk, et si fest une combinaison
lin´eaire des fj, alors f(aj) = 0. Mais alors la fonction hd´efinie par
h(x) = 1 si x=aj0+1
0 si x6=ji0+1
ne serait pas dans G, d’o`u une contradiction. Donc Gest de dimension infinie et F(A,E)
´egalement.
2Eest de dimension infinie.
Le sous-ensemble Hdes fonctions constantes est un sous-espace vectoriel de E.
Supposons qu’il soit de dimension finie r, et soit (f1, . . . ,fr) une base de H. Soit udans Eet
adans A. La fonction fconstante ´egale `a use d´ecompose comme combinaison lin´eaire des
fonctions fi. Mais alors use d´ecompose comme combinaison lin´eaire des vecteurs (fi(a)) et donc
ces vecteurs forment un syst`eme de g´en´erateurs de Equi serait alors de dimension finie, ce qui
est faux. Donc Hest de dimension infinie et F(A,E) ´egalement.
3Aest un ensemble fini et Eest de dimension finie
Notons A={a1, . . . ,ap}et soit (e1, . . . ,er) une base de E.
On d´efinit, si 1 ≤i≤pet 1 ≤j≤r, la fonction fij par
fij (ak) = ejsi k=i
0 sinon .
Si fest un ´el´ement de F(A,E), pour tout kcompris entre 1 et p, le vecteur f(ak) se d´ecompose
dans la base (e1, . . . ,er) sous la forme.
f(ak) =
r
X
j=1
λkj ej.
Mais ceci peut s’´ecrire ´egalement
f(ak) =
p
X
i=1
r
X
j=1
λkj fij (ak).
Il en r´esulte que
f=
p
X
i=1
r
X
j=1
λkj fij .
3