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).
Challenge 24 : Combien d’antécédents ?
Si f de R dans lui-même est continue, surjective et si tout réel possède au plus deux antécédents, alors f est une bijection !