Challenge 38 : applications fortement surjectives
Challenge n° 38 de Math-OS - Des applications surjectives de R dans lui-même, ça court les rues ... mais des fortement surjectives ? Est-ce que ça existe ?
Analyse-Synthèse pour E = F ⊕ G
Qu'est-ce qu'une "somme directe" ? Dans quel cas dit-on que deux sous-espaces vectoriels sont "supplémentaires" ? Et comment prouve-t-on cela ? Réponses détaillées dans cet article.
Challenge 37 : une inégalité absolument trigonométrique
Challenge n° 37 de Math-OS - Une inégalité trigonométrique avec quelques valeurs absolues ... saurez-vous en venir à bout ?
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.
Challenge 36 : Ecarts bornés … ou pas !
Challenge n° 36 de Math-OS - Lorsqu'on itère une fonction, quel est l'impact sur la suite obtenue si l'on prend la partie entière à chaque pas ?
Challenge 35 : une formule sommatoire … harmonique !
Challenge n° 35 de Math-OS - Une formule sommatoire pas commode faisant intervenir les nombres harmoniques. Preuve directe ou récurrence ?
Challenge 34 : Une question d’équipotence
Challenge n° 34 de Math-OS - L'ensemble des applications de R dans R est équipotent à celui des suites réelles (c'est-à-dire en bijection avec lui).
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.
Challenge 33 : Une formule de récurrence du premier ordre pour les nombres de Fibonacci ?!
Challenge n° 33 de Math-OS - Formule de récurrence du premier ordre pour la suite de Fibonacci.
Challenge 32 : Familles minimales de parties séparatrices
Challenge n° 32 de Math-OS - Familles minimales de parties séparatrices