Le théorème CISM
Toute application continue et injective sur un intervalle de R, à valeurs dans R, se doit d'être strictement monotone. Deux preuves et quelques applications.
Challenge 68 : stricte décroissance et composition
Challenge 68 du blog Math-OS - Une sombre histoire de stricte décroissance et de composition des applications.
Injectivité & Surjectivité : méthodes
Comment montrer en pratique qu'une application est (ou n'est pas) injective / surjective ? Cet article regroupe, en plus des rappels indispensables, divers exemples illustrant les principaux mécanismes de preuve associés à ces questions.
Challenge 40 : continuité et injectivité font-elles toujours bon ménage ?
Challenge n° 40 de Math-OS - Continuité et injectivité font-elles toujours bon ménage ?