Simplicité de SOn(R)

Théorèmes de Kakutani et Massera

Théorème du point fixe de Brouwer

Théorème de Jordan C1

Décomposition Polaire C infini difféomorphisme

Le caractère $C^\infty$ de la décomposition est fait dans Calcul Différentiel, mais de manière très elliptique. Le reste est plus développé dans (par exemple) le H2G2.

Théorème du point fixe de Brouwer

D'après moi pour les leçons : 203, 204, 214 et 215.

Je n'ai jamais pu mettre la main sur le livre de M. Gonnord et Tosel, donc ma version provient de celle de Mathieu Dutour que je remercie grandement.

Le développement est excessivement long, voir mes remarques à la fin du document pour le faire tenir en 15 minutes.

NB : tous mes développements sont généralement très détaillés car j'ai besoin de bien comprendre toutes les étapes. En l'état ils sont donc généralement trop longs pour tenir en 15 mins, et les parties "faciles" ne sont donc pas à mentionner ou juste à l'oral.
J'écris assez mal également, toutes mes excuses.

Théorème de Jordan C1

Recasage: 204, 267, pas 245

Gonnord/Tosel p95
Attention, le livre donne plus des indications qu'une preuve détaillée. Il y a beaucoup de trous à combler !
Commentaires en fin de document. La partie sur l'indice est à savoir faire, mais il ne faut pas la présenter.

Rekasator alternatif (test exhaustif cherchant la plus petite quantité sans prendre en compte la qualité) + tableur pour le suivi des leçons: https://sites.google.com/view/ospoam/accueil

Théorème du point fixe de Brouwer

Équations différentielles linéaires. Systèmes d'équations différentielles linéaires. Exemples et applications.

Théorème d'inversion locale, théorème des fonctions implicites. Exemples et applications en analyse et en géométrie.

Connexité. Exemples et applications.

Plan éprouvé par une présentation en oral blanc.

La combinaison de Gourdon et Dantzer est très efficace et permet de composer le début du plan très rapidement.
Peut-être un peu court, ce plan conviendra aux écritures un peu grosses.

Théorème d’inversion locale, théorème des fonctions implicites. Exemples et applications en analyse et en géométrie.

Plan de leçon éprouvé par une présentation durant l'année. Le plan est très dense ; on peut tout à fait ne pas faire la troisième partie si on n'est pas à l'aise avec les sous-variétés. On se rangera à l'avis du jury, qui considère qu'il est inutile de présenter les résultats en dimension infinie si les seuls exemples que l'on en sort ne relèvent que de la dimension finie (cf. Rouvière, Chp 5).