Proposition 3.1. Si la suite de fonctions (fn)nconverge localement uniformément
vers fet si les fonctions fnsont continues, alors fest continue.
Proposition 3.2. 1. La convergence localement uniforme implique la convercence
uniforme sur les compacts.
2. La réciproque est vraie si les fonctions sont définies sur un espace Xlocalement
compact.
Proposition 3.3. (Critère de Cauchy) Soit (fn)nune suite de foctions complexes
définies sur un ensemble A. Sont équivalentes:
1. (fn)nest uniformément convergente sur A.
2. (fn)nest une suite de Cauchy sur A.
Critére de Cauchy pour les séries de fonctions.
Critére des majorantes de Weierstrass.
Série normalement convergente, série localement normalement convergente.
Proposition 3.4. Si Pnfnconverge localement normalement sur Xvers une fonction
fet si τ:N→Nest une bijection, alors Pn∈Nfτ(n)converge localement normalement
vers f.
4 Séries entières
Série entière centrée en z0, série entière convergente.
Lemme 4.1. (Lemme d’Abel) Si pour une série entière Pnan(z−z0)nil existe des
nombres réels s > 0et Mtels que |an|sn≤M, alors la série converge localement
normalement sur le disque ouvert D(z0, s).
Corollaire 4.2. Si la série entière Pnanznconverge en un point w6= 0, alors elle
converge localement normalement sur D(0,|w|).
Rayon de convergence R:= sup{s≥0| ∃M∀n|an|sn≤M}.
Proposition 4.3. Si Rest le rayon de convergence de la série entière Pnan(z−z0)n,
alors la série converge localement normalement sur D(z0, R)et diverge en tout point
de C\D(z0, R).
Formule de Cauchy (-Hadamard).
Critère de d’Alembert.
Série exponentielle, sin,cos, série logarithmique.
Formules d’Euler: exp(iz) = cos z+isin z,cos z=1
2(exp(iz) + exp(−iz)),sin z=
1
2i(exp(iz)−exp(−iz)).
3