Exo 3
Commencez par chercher à résoudre l'exercice par vous-même.
Si vous manquez d'idée pour débuter, consultez l'indice fourni et recommencez à chercher.
Une solution détaillée vous est ensuite proposée.
Soit
l'ensemble des séries complexes absolument convergentes.
Pour tout
, on définit :
,
et
.
Pour tout entier
, on note
la série définie par :
.
Question
Calculer
,
et
.
C'est une série absolument convergente puisque les sommes sont finies.
, donc :
.
, donc :
.
Et
, donc :
.
Conclusion :
,
et
.
Question
Montrer que les applications
,
et
sont des normes sur
.
Pour chaque application, démontrez les trois axiomes.
L'ensemble
des séries absolument convergentes est un espace vectoriel sur
.
Toute série absolument convergente est bornée et de carré sommable car
, et donc à partir d'un certain rang :
.
Donc les applications
,
et
sont bien définies et sont à valeurs dans
.
Pour toute série
:
,
et
.
Donc :
,
et
.
Soit
et
. On a :
.
Donc par passage à la limite :
.
De même :
, donc par passage à la limite :
.
Donc :
.
Et :
, donc
.
Soient
et
deux éléments de
:
.
Donc :
.
Donc par passage à la limite :
.
Et :
, donc :
.
Et :
.
Donc :
.
Or d'après l'inégalité de Cauchy-Schwarz :
.
Donc :
.
Donc :
.
Donc, par passage à la limite :
. Donc :
.
Conclusion : Les applications
,
et
sont des normes sur
.
Question
Comparer ces trois normes. Sont-elles équivalentes ?
Utilisez la série
.
Pour toute série
:
et
.
Donc :
et
.
De plus :
, donc :
.
Donc :
.
Reprenons la série définie par :
.
On a vu que :
,
et
.
Donc :
.
Donc aucun de ces trois quotients n'est borné.
Conclusion : Les normes
,
et
ne sont pas équivalentes, mais
.