ler¶esultat¶etant¶evidentsix=k
nouk+1
ncar0<"estdoncvraisur£k
n;k+1
n¤pourtoutk2[[0;n¡1]] doncs
[0;1]=[n¡1
k=0£k
n;k+1
n¤8x2[0;1],jg(x)¡f(x)j·"
4.a)
²Áestlin¶eaire carpourtoutesfonctionsg1etg2,pourtoutscalaire¸etpourtoutentierk2[[0;n]] :
(g1+¸g2)µk
n¶=g1µk
n¶+¸g2µk
n¶
²Áestinjective carsiÁ(g)=0,pourtoutk2[[0;n]];g(k
n)=0lafonctionga±nesur£k
n;k+1
n¤yestnul . Elle e
doncnullesur[0;1]
²Áestsurjective:m^eme calculqu'au3.a:siÁ(g)=(ak)n
k=0onasur£k
n;k+1
n¤:g(x)=ak+x¡k
n
1
n
(ak+1¡ak)
Áestun isomorphismedeEn+1surRn+1
b)attention danslescalculsmatriciels, leslignesetcolonnesdesmatrices sontnot¶eesde1 µa n+1,alorsquel
(fk);(ak)::: lesontde0µan.D'oµu un d¶ecalagede1:
parexempledansXx1=a0;x2=a1¢¢¢
Lesujetproposedemontrerque(Á(fj))n
j=0estunebasedeRn+1.onen d¶eduitque(fj)n
j=0estunebasedeEn+1c
l'imaged'unebaseparun isomorphisme¡Á¡1ici¢estunebase
²pourj2[[0;n]] , lafonctionfjestbien dansEn+1:elle esta±ne¶egaleµa½t¡j
nsur£k
n;k+1
n¤sik¸j
j
n¡tsur£k
n;k+1
n¤sik<jdoncÁ(f
estbien d¶e¯ni.
²Rn+1estdedimensionn+1etlafamillepropos¶ee estde cardinaln+1
²Á(g)alamatrice
0
B
B
B
B
B
@
g(0)
g(1=n)
.
.
.
g((n¡1)=n)
g(1)
1
C
C
C
C
C
A
doncÁ(fj)=
0
B
B
B
B
B
B
B
B
B
B
@
j=n
.
.
.
1=n
0
1=n
.
.
.
(n¡j)=n
1
C
C
C
C
C
C
C
C
C
C
A
.ilsemblequeMatBc(Á(fj)) =1
nAn+1;
On peutv¶eri¯erqueletermeg¶en¶eraldeMatBc(Á(fj)) estmi;j=fj¡1¡i¡1
n¢=ji¡jj
n=ai;j
n
lamatrice depassage estinversibledonconabien unebase.
c)OnaunebasedeEn+1etg®est¶el¶ementdeEn+1.Doncg®estcombinaisonlin¶eairede(fk)n
k=0.
OnaÁ(g®)=
0
B
B
B
B
B
@
a0
a1
.
.
.
an¡1
an
1
C
C
C
C
C
A
.NotonsXcettematrice quiestlamatrice deÁ(g®)danslabase canoniqueBcdeRn+
Commelamatrice de changementdebase est1
nAn+1laformulede changementdebasedonne
Mat(Á(fj))(Á(g®)) =µ1
nAn+1¶¡1
X=nBn+1X
not¶ee Y.SoitÁ(g®)=Pn
k=0yk+1Á(fk).Etdonc commeÁestun isomorphisme:g®=Pn+1
k=0yk+1fk.
Onadonc
¸k¡1=nPn+1
i=1bk;iai¡1
¸k=8
<
:
(1¡n)
2a0+n
2a1+1
2ansik=0
n
2ak¡1¡nak+n
2ak+1sik2[[1;n]]
1
2a0+n
2an+(1¡n)
2an+1sik=n+1