Fonction de Conway en base 13
La fonction de Conway en base 13, créée par le mathématicien britannique John H. Conway, est un contre-exemple extrême à la réciproque du théorème des valeurs intermédiaires. En effet, bien que cette fonction réelle f soit discontinue en tout point, elle vérifie la propriété des valeurs intermédiaires, c'est-à-dire que pour tous réels a, b et r tels que f(a) < r < f(b), il existe c entre a et b tel que f(c) = r. En réalité, la fonction vérifie une propriété bien plus forte que les deux précédentes : l'image par f de tout intervalle non trivial est R.
Définition
Idée
La fonction de Conway en base 13 a été créée dans l'idée de définir une fonction simple à construire et par laquelle l'image de tout intervalle non trivial serait la droite réelle. Cela implique qu'elle est discontinue en tout point.
Définition
Considérons le développement « tridécimal » d'un nombre réel x, c'est-à-dire en base 13, avec les symboles 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, A, B, C (Conway utilise les symboles +, - et • à la place de A, B et C).
On peut montrer que la partie fractionnaire de x admet un développement tridécimal propre, c'est-à-dire ne se terminant pas par une suite infinie de "C". On ne considère que cette forme du développement de x.
Dans un premier temps, on définit la fonction f pour x dans [0, 1[ comme suit :
- Si à partir d'un certain rang, le développement tridécimal de x s'écrit avec toutes les décimales dans , alors (en notation décimale usuelle, c'est-à-dire en base dix).
- Si à partir d'un certain rang, le développement tridécimal x s'écrit avec toutes les décimales dans , alors
- Si aucun des deux cas n'est vérifié, alors f(x) = 0.
On étend ensuite la définition pour tout réel par périodicité :
On a ainsi par exemple :
Propriétés
La fonction f est définie de sorte qu'elle vérifie la propriété des valeurs intermédiaires tout en n'étant continue nulle part[1]. En effet, sur tout intervalle fermé [a,b], f prend non seulement toutes les valeurs comprises entre f(a) et f(b) mais même, si a < b, toutes les valeurs réelles.
Pour le prouver, soient un réel quelconque et une valeur « de départ » .
Alors c peut être modifié de sorte que la queue de sa représentation tridécimale soit égale à avec si r > 0 et si r < 0. On obtient ainsi un nombre c' tel que f(c') = r. En choisissant bien le lieu de la modification (suffisamment loin dans l'écriture), on peut toujours faire en sorte que c' appartienne encore à ]a, b[.
Ainsi, f vérifie une propriété plus forte que celle des valeurs intermédiaires. De plus, elle n'est continue nulle part car si elle était continue en un point, elle serait bornée sur un voisinage de ce point, ce qui n'est pas le cas.
Références
- ↑ (en) Greg Oman, « The converse of the intermediate value theorem: from Conway to Cantor to cosets and beyond », Missouri Journal of Mathematical Sciences, vol. 26, no 2, , p. 134-150 (lire en ligne
[PDF]).
Article connexe
- Fonction de Darboux
Portail de l'analyse