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

Viser la cible !… ou : « Comment démontrer une implication ? »

Pour établir une implication en mathématiques, le secret est de "viser la cible". Cet article explique de quoi il s'agit et comment procéder. Le tout s'appuie sur des exemples gradués, extraits de situations rencontrées dans les deux premières années d'enseignement supérieur scientifique.

Continuer la lectureViser la cible !… ou : « Comment démontrer une implication ? »