L1 Maths Discrètes, semaine du 12/04/10

Lire une preuve (à rendre avant la fin de la séance par message électronique à l'enseignant de la classe).

1. Ouvrez le cours d'algèbre linéaire de Rafaël Danchin, Relisez-le jusqu'à la proposition 0.0.2.
2. Reconsultez la définition d'élément neutre donnée par Wikipedia. Formalisez cette définition. Quelle est la différence avec la définition de Danchin et pourquoi sont-elles néanmoins équivalentes?
3. Danchin nous affirme que "l'élément neutre, lorsqu'il existe, est unique". Formalisez cet énoncé puis convertissez sa preuve en liste de tactiques.
4. Formalisez l'énoncé 0.0.2 de Danchin.
5. Rassemblez les définitions nécessaires à cet énoncé et à sa preuve.
6. Convertissez cette preuve en liste de tactiques.
7. Ouvrez maintenant le cours de Bernard Ycart et convertissez la preuve de son théorème 6 en liste de tactiques.
8. Consultez sur Wikipedia la preuve "par la borne supérieure" du TVI et convertissez-la en liste de tactiques.
9. Cherchez sur internet la preuve du théorème de votre choix et essayer de convertir sa preuve en liste de tactiques.
   
   
   
   
   
   
   
   
   André Hirschowitz
   
   
   Last modified: 04/2010