5. Produits infinis
Soit G un groupe commutatif topologique séparé. Lorsque la loi de G est notée multiplicativement, les séries et les familles sommables d'éléments de G prennent respectivement les noms de produits infinis et de familles multipliables.
Cependant, lorsque le groupe G est le groupe multiplicatif d'un corps commutatif topologique séparé K, une suite d'éléments de G ne converge au sens de G que si elle converge vers un élément non nul de K. Cette remarque conduit à modifier légèrement les définitions.
On appelle produit infini d'éléments de K un couple A = ((un), (pn)) constitué de deux suites d'éléments de K telles que, pour tout entier naturel n, on ait :
l'élément pn s'appelle produit à l'ordre n de A, et la suite (un) s'appelle terme général de A.
On dit que le produit infini A est convergent dans K si un est non nul à partir d'un certain rang n0 et si le produit infini de terme général (un), n ≥ n0, est convergent dans G = K*. Il est immédiat que le terme général d'un produit infini convergeant dans K converge vers 1.
On dit de même qu'une famille (ui), i ∈ I, d'éléments de K est multipliable dans K si le support I0 de cette famille, c'est-à-dire l'ensemble des indices i tels que ui ≠ 0, est le complémentaire d'une partie finie de I et si la famille (ui), i ∈ I0, est multipliable dans K*.
Les produits infinis ayant leurs principales applications dans la théorie des fonctions analytiques, nous nous plaçons désormais dans le cas du corps des nombres complexes.
Le critère de Cauchy devient ici : Pour que le produit infini A converge, il faut et il suffit que, pour tout voisinage V de 1, il existe un entier naturel n0 tel que, pour tout coupl […]
… pour nos abonnés, l'article se prolonge sur 4 pages…
