Utilisateur : Paviet

Dév pas costaud, il faut néanmoins bien poser les choses. Dessinez c'est gagné ! J'ai fais le dessin à la fin, j'aimais bien dessiner aussi les inégalités triangulaires.'

Dév assez costaud. Non corrigé dans la référence donc il faut bien le connaître. Cependant les indications du livre permettent de retrouver l'essentiel des astuces à utiliser. J'ai aussi utilisé la version de Pierron pour faire la mienne. Notamment le choix dans l'étape 2 de prendre uniquement les p congrus à 1 mod 4, ça évite d'avoir w et w' comme le livre et donne directement p comme un carré. G. & M-N. GRAS Exercice page 347'

DEV costaud parmi les costaud ! Les versions existantes sont extrêmement bien tapés, je poste ma version juste pour avoir un compte \"complet\".'

Dev pas costaud. J'ai pris dans le AUDIN car je voulais faire comme ça l'existence d'un sous-espace stable de dimension 2. '

Dév pas si costaud, il demande néanmoins un investissement sur la théorie des sous-variétés. Je conseille de prendre du recul sur ce qui est fait dans le AVEZ et de vous préparer à des exercices d'application du théorème.'

Dév pas costaud. Suivre la réf.'

Dév pas costaud.'

Dév pas costaud. Page 131 du oraux X-ENS algèbre 3. Possibilité d'ajouter une des applications qui suivent si trop court'

Dév pas costaud, un peu calculatoire. La fin n'est qu'en remarque dans le livre mais rien de sorcier.'

Dév pas très costaud. Je ne fais pas plus que ça, pas de lemme en plus mais on peut ajouter le lemme sur le rayon spectral ou le lemme de convergence d'une suite ayant une seule valeur d'adhérence dans un compact. Dév éprouvé à l'oral le jour J, voir mon retour d'oral de la leçon 206.'

Dev assez costaud. Je le faisais dans 105 avec le point noté 3 à la place des cardinaux en points 1 et 2. Le lemme n'est pas très dur et se fait soit avec des techniques de corps (dans le livre) pour les leçons de corps, soit avec des techniques de groupes (dans la tête) pour les leçons de groupe. '

Dév assez costaud. J'enlèverais la première proposition pour être sûr de pouvoir finir, quitte à le faire à la fin. '

Ma version ressemble à celle de Méthivier. Je le recasais aussi finalement de façon abusive dans série de Fourier (246) avec l'expression des coefficients de série de Fourier dans la preuve de Hadamard. '

Dev costaud et assez complet. J'ai peiné à trouver une réf qui me convenait et à écrire le dév, mais j'ai fini par choisir le Queffélec^2 qui fait ça vite et bien. J'ai fait le dév en oral blanc dans l'année, c'est passé du lemme jusqu'au noyau reproduisant. J'ai aussi rajouté certains des résultats utilisés sur mon document. J'ai dû compresser le fichier, je le scannerai en deux partie dès que possible.'

Dev pas très costaud. Je n'ai pas beaucoup chargé le dév pour pouvoir y aller tranquillement et dessiner le graphique.'

Dev pas costaud. Pas obligé de tout faire sur mon document. N'hesitez pas à dessiner plutôt que de speeder, ca peut valoir le coup je pense.'

Dev archi pas costaud. Je l'ai recasé dans des leçons dont le sujet est assez simple pour combler. Évitez de mettre ce genre de dévs dans des leçons que vous aimez bien... Cela pourrait vous pousser à ne pas choisir une leçon que vous aimez à cause d'un dév pourri...'

Dev pas très costaud. Je le fais avec le Berhuy pour changer.'

Dév plutôt costaud. Il est sûrement trop long, on peut enlever le premier point.'

Dév pas costaud, attention aux notations.'

Dev pas costaud.'

Dév récurrent mais pas costaud. '

Dev non costaud.'

Dév un peu costaud par sa technicité. Je prends dans Berhuy pour changer.'

Dév pas très costaud.'

Dév non costaud. J'ai fais simple avec Hadamard et Gerschgörin avant de faire une application à un polynôme. '

Dév pas costaud, il suffit de bien poser les choses et il se fait bien. Je fais d'abord le théorème de Cauchy, puis un théorème d'existence de groupes dont l'ordre est une puissance de p que j'ai appelé premier théorème de Sylow. Cela peut faire peur car Sylow est hors programme, mais ce résultat n'est pas le théorème de Sylow dans son intégralité...'

Dev plutôt costaud car il demande une certaine rigueur d'écriture. Résultats classiques, il est bon de les avoir dans sa palette, quitte à l'apprendre autant en faire un dév ! '

Dév pas costaud. Un peu court sûrement. Bien rédigé dans la source.'

Dév pas costaud. Dans les Caldero avec une matrice sur la première de couverture'

Dev pas costaud, attention aux notations. Je ne mets pas ma version, je n'avais pas fais assez attention aux notations... Je ne le mettais que dans la 246'

Dév peu costaud. Cf les versions des anciens.'

Dév costaud. Il faut être à l'aise avec les résultats employés, notamment la bijectivité de la transformée de Fourier sur la classe de Schwartz. De plus, le livre de Zuily et Queffelec est pas top... Bref, c'est du boulot mais c'est un chouette résultat et se recase bien, 10 leçons pour ma part. J'ai peut-être mal choisi et rédigé la preuve du TCL, je changerai cela à l'occasion.'

Dév pas costaud. Je n'ai jamais rédigé ce dév sur papier, cependant quand je le faisais je prenais le Berhuy p80 et faisais comme lui, puis le Francinou pour SLn(K) connexe (par arcs). Et si ca s'avérait court j'avais la section DOC (dense ouvert connexe) du carnet de voyage en algébrie. À mon sens, montrer qu'un ensemble de matrices est connexe est classique, on passe par un système de générateurs, on montre la connexité par arcs en reliant à $+/-Id$. On pourra le faire par exemple avec $SO_3(\mathcal{R})$.'

Leçon trop longue, il faudrait élaguer un peu je pense. Je fais toujours une feuille à part avec le plan, les réfs, des commentaires sur la leçon et comment faire la leçon. C'est assez personnel et très peu formel mais je partage au cas où ça soit utile.'