Morphisme
Posté le 19 avril 2012 à 11:21:44
Il suffit de bien être au point sur les termes, pour avoir convergence normale il faut pouvoir majorer la série des normes par une même série convergente, ce qui est évidemment impossible dans certains cas.
Dans le cas de l'intervalle ]-R;R[ c'est valable sur tout compact en fait, par contre pour la variable complexe c'est peut-être vrai mais ça ne me paraît pas évident de tête.
En fait, si.
En variable complexe, tu as CVN sur tout disque fermé de rayon < R. Or, la distance d'un compact à un fermé est atteinte, d'où le fait que tout compact de D(0,R) (ouvert) soit inclus dans un disque D(0,r) (fermé) r<R.
Il y a donc équivalence entre la CVN sur tout disque plus petit et le CVN sur tout compact. 