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 ?
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
Challenge 31 : Majoration d’une somme de carrés parfaits
Challenge n° 31 de Math-OS - Majoration d'une somme de carrés parfaits