159 -- Formes linéaires et dualité en dimension finie. Exemples et applications. : Différence entre versions
m (Remplacement de texte — « Category:Leçons de maths pour l'informatique » par « Category:Leçon de maths pour l'option D ») |
|||
Ligne 9 : | Ligne 9 : | ||
[[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:159_2013-2014.pdf | Plan scanné de l'année 2013-2014]] | [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:159_2013-2014.pdf | Plan scanné de l'année 2013-2014]] | ||
+ | |||
+ | [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:159_2014-2015.pdf | Plan scanné de l'année 2014-2015]] | ||
Version du 5 septembre 2015 à 18:20
Plans
Plan détaillé de l'année 2012-2013
Plan détaillé de l'année 2012-2013
Plan scanné de l'année 2012-2013
Plan scanné de l'année 2013-2014
Plan scanné de l'année 2014-2015
Développements
- Isomorphisme entre M n(K) et son dual
- Endomorphismes cycliques, invariants de similitude et réduction de Frobenius
- Développements possibles [Proposés par Ivan et Vincent, 2011-2012] :
- Hahn-Banach géométrique en dimension finie - référence : Géométrie de Tauvel, (ATTENTION, Tauvel a fait des coquilles dans la démo).
- Un Isomorphisme entre et son dual et application - Référence : Aubonnet, Les Grands classiques de mathématiques..., Algèbre et Géométrie - Application pour montrer que tout hyperplan de matrice contient une matrice inversible et que les seules formes linéaires sur les matrices qui vérifient sont de la forme . Vrai quelque soit le corps .
- Développements possibles [Propositions de 2010-2011] :
- Hahn-Banach en dimension finie,
- Invariant de similitudes - Référence : Gourdon (preuve par dualité) mais après ?
- Le théorème des extrema liés.
- cf la leçon sous-variétés: le lieu des matrices dont les colonnes sont normées qui maximise le déterminant est le groupe spécial orthogonal. De mémoire on utilise l'identification de avec son dual via la trace, et on applique le théorème des extréma liés, from GT Calcul différentiel. Au début je l'aimais bien et finalement je l'ai abandonné.
Autres possibilités, plus discutables (Tristan Vaccon) : théorème de Burnside sur les sous-groupes d'exposants finis... (Alessandri), la preuve repose sur l'étude de formes linéaires ; sous-espaces de de dimension finie stables par translation (Leichtnam+ Objectif Agreg, de mémoire), il y a des considérations importantes de dualité.
Autres possibiliés (Pierre M.) : L'enveloppe convexe du groupe orthogonal est la boule unité euclidienne (oraux X-ENS algèbre 1), qui se fait par Han-Banach. Et l'étude des applications linéaires ayant un hyperplan fixe (dilatations et transvections) avec le Perrin.