Nécessaire ou suffisant ?

Les textes mathématiques regorgent d'expressions du type "la condition est nécessaire" ou bien "la condition est suffisante" ou encore "la condition est nécessaire et suffisante". Il faut essayer de clarifier le sens de ces tournures et d'éviter qu'elles ne paraissent obscures ! C'est exactement le but de cet article.

Continuer la lectureNécessaire ou suffisant ?

Le théorème de Cantor-Bernstein-Schröder

Le théorème de Cantor-Bernstein-Schröder affirme que l'existence d'une injection de A vers B et d'une injection de B vers A entraînent l'équipotence des ensembles A et B. On donne, dans cet article, une preuve classique et détaillée de ce résultat, ainsi que des exemples d'application.

Continuer la lectureLe théorème de Cantor-Bernstein-Schröder