Continuité, théorème des valeurs intermédiaires et théorème de Weierstrass
Pourquoi une fonction continue sur un segment ne peut-elle ni sauter par-dessus une valeur, ni s'échapper vers l'infini, ni frôler son maximum sans jamais l'atteindre — alors qu'elle le peut sur un intervalle ouvert ?
Le théorème des valeurs intermédiaires est utilisé sans preuve pendant des siècles : il paraît évident qu'une courbe tracée sans lever le crayon coupe l'axe si elle change de signe. Bolzano publie en 1817 un mémoire dont le titre annonce le programme : donner une preuve PUREMENT ANALYTIQUE, sans recours au dessin. Il découvre alors qu'il lui manque une chose : une définition rigoureuse des réels. La preuve complète devra attendre Dedekind, en 1872. Le TVI est donc le théorème qui a forcé la construction de .
Pourquoi la définition en - plutôt que « on peut tracer la courbe sans lever le crayon » ? Parce que cette dernière est indémontrable et surtout fausse comme critère : la fonction valant prolongée par est continue en alors que sa courbe oscille infiniment près de l'origine, et la fonction de Weierstrass est continue partout sans être dérivable nulle part — aucun crayon ne peut la tracer. L'intuition graphique échoue précisément là où l'analyse devient intéressante.
Images Mentales & Modèles d'Intuition (3)
Un contrat de précision : le client exige une tolérance sur la sortie ; l'ingénieur doit répondre par une tolérance sur l'entrée. La fonction est continue si l'ingénieur peut toujours répondre.
Ce qu'elle capture :
L'image ne distingue pas continuité et continuité UNIFORME. Si l'ingénieur doit fournir un valable pour tous les points de la machine à la fois, l'exigence est bien plus forte. C'est la différence que le théorème de Heine résoudra en L2, grâce à la compacité.
Le TVI est une chasse par dichotomie : on sait que la racine est dans un intervalle, on regarde le milieu, et l'on garde la moitié où le changement de signe persiste.
Ce qu'elle capture :
L'image suggère l'unicité de la racine. Le TVI n'en donne aucune : change de signe et possède une infinité de zéros. L'unicité exige une hypothèse supplémentaire de stricte monotonie.
Weierstrass est un piège : la fonction ne peut ni monter à l'infini (elle est bornée), ni s'approcher de son maximum sans le toucher (elle l'atteint), parce que le segment ne lui laisse aucune issue.
Ce qu'elle capture :
L'image ne dit pas OÙ le maximum est atteint, ni combien de fois. Le théorème est purement existentiel : il ne fournit aucun algorithme, contrairement au TVI.
Les Pièges Conceptuels Classiques
Correction :
Correction :
Correction :
Correction :
Glossaire des Notations Mathématiques
fonctions continues sur I
espace vectoriel, stable par produit et par composition
delta dépendant de epsilon et du point
notation à conserver au brouillon : si $\delta$ ne dépend pas de $a$, la continuité est uniforme