Topologie générale, IV, p. 61
Soit (1+ut)t∈I une famille multipliable dans R. Pour toute partie non vide H de I, on pose vH=∏t∈Hut. Montrer que la famille (vH)H∈G(I) est sommable dans R et que l’on a
1+H∑vH=t∈I∏(1+ut).
Réciproque.
En déduire que pour −1<x<1, ∏n=0∞(1+x2n)=1/(1−x).