beagle a écrit:Bonjour hdci,
ce que nous avons du mal à comprendre c'est pourquoi quelle que soit la forme spirale ou je sais pas quoi avec des boucles qui dans un rectangle ABCD va de B vers D (l'autre courbe devra aller de A vers C),
lorsque l'on nous dit que la courbe est continue, on le raccorde aux segments du rectangle
c'est quoi qui géne pour dire que A est dans une partie et C est dans l'autre partie?
que au milieu de la courbe de chaque coté tu sois paumé, on s'en fiche, tu isoles par la continuité A et C lorsque du continu va de D à B.
Bonjour beagle,
Le truc c'est que "c'est évident" mais "pas du tout facile à démontrer".
Prenons un exemple bien plus simple : soit une fonction continue
telle que
et
.
Prenons
: il est "évident" qu'il existe un x tel que
: en effet, la fonction coupe le carré en deux parties formant deux composantes connexes et la droite horizontale rencontre forcément le tracé.
Mais formellement, la démonstration nécessite le théorème des valeurs intermédiaires. Et ledit théorème ne se démontre pas par "ptain mais ça se voit" : on raisonne par l'absurde, on considère la borne inférieure des
qui n'ont pas d'antécédents etc.
Pouvons-nous facilement généraliser à deux chemins continus quelconques, l'un partant du bord inférieur et allant au bord supérieur, l'autre allant de gauche à droite ?
Le problème, c'est qu'un tel chemin continu est en fait une application de
dans
et là les images ne sont plus des réels mais des couples (ou des coordonnées). On ne peut pas reproduire le raisonnement par l'absurde du TVI, car la notion d'ordre sur
ne va pas bien fonctionner... Et je ne parle même pas du fait que le second chemin n'est pas une droite horizontale, mais également une application de
dans
Donc oui, "ptain mais ça se voit" et on le constate tous les jours avec les spaghettis formés par les câbles électriques, mais "ptain comment ça se montre formellement"...
Il n'y a que 10 types de personne au monde : ceux qui comprennent le binaire et ceux qui ne le comprennent pas.