Utilisateur : Maé Miachon Lemeulle

Développement un peu long, j'ai dû admettre le lemme 3 (existence d'une suite de polynômes convergeant uniformément vers |.| sur [-1,1]).

Réf : Gourdon Analyse p.38 (exercice 8) Attention ne rentre en fait pas dans la 159 car on parle du dual d'un ev de dimension infinie

existe aussi dans le Mbekhta-Queffélec, et dans le Bernis.

Attention à la subtilité des sous-corps premiers des F_q^d qui sont isomorphes au corps de départ F_q mais pas égaux

Développement long mais sympa Attention : caractère d'une représentation =/= caractère d'un groupe (donc la notation \"∀χ ∈Ĝ\" à l'étape 5 est erronée et j'aurais dû écrire \"si χ est le caractère d'une représentation irréductible de G\" à la place). En application la table du groupe symétrique est à valeurs entières.

Version complexe

Avec application : il n'existe pas de mesure de probabilité \"uniforme\" sur l'ensemble des entiers naturels.

Application : il existe un automorphisme extérieur de S_6

pas de référence ! mais pas très dur à apprendre et fait toutes les leçons de proba pour le produit de Cauchy, il faut justifier que la série définissant Q converge sur ]-1,1[ ce qui est fait à l'étape d'après (Q(1) = P(T fini)) pour l'étape 3, ce n'est pas de la continuité croissante comme je l'ai écris mais une simple union d'évènements disjoints ; et le passage à la limite pour Q peut se justifier par de la convergence monotone

bien pour 204, 245, 209 un peu moyen pour 203 ,243

Développement un peu long