Polydisque
# Polydisque

Dans la théorie des fonctions de plusieurs variables complexes, une branche des mathématiques, un polydisque est un produit cartésien de disques.

Plus précisément, si l'on désigne par $D(z,r)$ le disque ouvert de centre z et de rayon r dans le plan complexe, alors un polydisque ouvert est un ensemble de la forme

    $D(z_{1},r_{1})\times \dots \times D(z_{n},r_{n}).$

Il peut être écrit de manière équivalente comme

    $\{w=(w_{1},w_{2},\dots ,w_{n})\in {\mathbf {C} }^{n}:\vert z_{k}-w_{k}\vert <r_{k},{\mbox{ for all }}k=1,\dots ,n\}.$

Il ne faut pas confondre le polydisque avec la boule ouverte dans C $^n,$ qui est définie comme

    $\{w\in \mathbf {C} ^{n}:\lVert z-w\rVert <r\}.$

Ici, la norme est la distance euclidienne dans C $^n$ .

Pour $n>1$, les boules ouvertes et les polydisques ouverts ne sont pas biholomorphiquement équivalents, c'est-à-dire qu'il n'y a pas de cartographie biholomorphe entre les deux. Ce résultat a été prouvé par Poincaré en 1907 en montrant que leurs groupes d'automorphismes ont des dimensions différentes de celles des groupes de Lie.

Lorsque $n=2$ le terme bidisque est parfois utilisé.

Le polydisque est un exemple de domaine de Reinhardt logarithmiquement convexe.

