Utilisateur : Jimbo
Développements
Développement : Théorème des fonctions implicites
La démonstration repose sur un théorème du point fixe à paramètre qui est admis pour rester dans les 15 min.
Références :
Dérivation, Intégration - Wagschal
On pourra éventuellement étudier le cas $n=2$ dans le cas $ K = \mathbf{R} $ : il y a 2 composantes connexes qui correspondent aux 2 composantes connexes d'un cône en dimension 3. Le développement est corrigé page 69 du livre Algèbre et Géométrie.
Références :
Algèbre et géométrie - Fresnel, Matignon
Ce résultat est la généralisation du résultat bien connu sur les endomorphismes symétriques (ou hermitiens) en dimension finie. On peut en trouver la démonstration page 469 du livre de Claude Wagschal ou page 69 du livre de Daniel Li.
Références :
Topologie et analyse fonctionelle - Wagschal
Cours d'analyse fonctionnelle - Daniel Li
Développement : Construction de fonctions dérivables dont la dérivée est discontinue sur un ensemble prescrit
La fonction solution est construite comme une série de fonctions. La réciproque de la proposition est vraie : si $f$ est dérivable et $f'$ est discontinue exactement sur un ensemble $A$, alors $A$ est une réunion dénombrable de fermés d'intérieur vide. L'énoncé et le corrigé de ce développement peuvent se trouver page 99 du livre Analyse mathématique.
Références :
Analyse mathématique - Choimet, Queffelec
Développement : Chemin continu de projecteurs
On trouvera le corrigé dans le FGN page 240 tome algèbre 2.
Références :
Oraux X-ENS Algèbre 2 - Francinou, Gianella, Nicolas
On trouvera le corrigé page 217 du Gourdon analyse (chapitre séries numériques)
Références :
Analyse - Gourdon
Développement : Parties relativement compactes de Lp(Rn)
Pour tenir dans les 15 min, on se contentera du sens réciproque dans l'énoncé (le sens le plus dur). On trouvera une preuve à la page 349 du livre de Claude Wagschal.
Références :
Dérivation, Intégration - Wagschal
On trouvera l'énoncé et sa preuve page 350 du livre de Pascal Boyer
Références :
Petit compagnon des nombres et de leurs applications - Boyer
Développement : Sous-espaces totalement isotropes maximals
On trouvera le corrigé de cette proposition à la page 238 du Gourdon Algèbre
Références :
Algèbre - Gourdon