Les commentaires du billet un exercice de topologie sur le blog de PB soulevait quelques questions intéressantes. Une parmi elles possède la réponse suivante :

Dans une variété topologique connexe on peut relier tout couple de points distincts par un chemin injectif.

Remarquons que ce résultat ne vaut plus sur des espaces non-séparés comme la droite avec un point dédoublé (une variété topologique est séparée par définition).

Démonstration :

Rappellons d'abord que sur une variété topologique les notions connexe et connexe par arcs sont équivalentes.
Quelques notations : B(r) désigne la boule ouverte de rayon r et de centre 0 dans pour la norme euclidienne. Pour noter la boule fermée, on mettra une barre dessus.

Soit M une variété topologique de dimension n et x un point de M. Notons E le sous-ensemble de M constitué de x et de tous les points qu'on peut relier injectivement à x. Notre but est de prouver que E=M. Vu que M est connexe et que E est non-vide, il suffit de montrer que E est ouvert et fermé.

• Ouvert : Soit y un point arbitraire dans E. Dans l'atlas de la variété M il existe une carte .
  
  
  • Si alors car dans une boule on peut toujours relier injectivement deux points distincts par un segment.
  
  
  • Dans l'autre cas où x n'est pas dans U nous posons r=1/2 et nous allons prouver que On sait déjà qu'il existe un chemin injectif tel que et . L'ensemble est compact, et comme M est séparé, on déduit qu'il est fermé (voir aussi remarque 2 en bas).
    
    Par continuité l'image réciproque est fermé dans [0,1] et possède donc un plus petit élément . On a l'inégalité car
    
    Le point ne peut pas être contenu dans la boule ouverte , sinon le serait également pour assez petit, contrairement à la définition de . Donc est sur le bord de la boule . Par construction on peut relier injectivement à tout point de sans rencontrer . En juxtaposant ces deux chemins, on relie donc injectivement x à n'importe quel point de Donc est un voisinage ouvert de y contenu dans E.

    



• Fermé : Nous devons prouver que le complémentaire de E est ouvert. Soit donc y un point arbitraire dans M\E, autrement dit y est un point qui ne peut pas être relié injectivement à x. On prend une carte . Alors on sait déjà que x ne peut pas être dans U. De deux choses l'une :
  
  
  • Soit l'ouvert U est une partie de M\E — dans ce cas on a terminé.
  
  
  • Soit U n'est pas inclu dans M\E — dans ce cas il existe un point z dans l'intersection . Pour on a . Il existe un chemin injectif allant de x à z. L'ensemble

    

    est compact car c'est l'intersection d'un compact et d'un fermé. (Pour voir que est fermé on utilise, comme en haut, le fait que M est séparé.)
    Parmi tous les points du compact il existe un ayant norme minimale. Nous notons w ce point et son correspondant sur la variété (toujours via la carte ). Clairement . D'une part on a la restriction de à et d'autre part le chemin correspondant au segment [w,0] ; en juxtaposant ces deux chemins injectifs on obtient un chemin de x à y qui, par construction, est injectif. Contradiction, ce cas ne peut pas avoir lieu.

    

Remarque 1 :

L'idée de la preuve est de se ramener à l'intuition que nous avons de notre espace usuel. Quand une trajectoire passe de l'extérieur d'une boule à l'intérieur d'une boule, elle doit forcément traverser le bord de la boule, elle coule comme une rivière. Or cela n'est plus vrai dans les espaces non-séparés comme la droite à deux origines dédoublées, 0' et 0''. Quand je fais un chemin de 0' à 0'' alors je rentre directement dans l'intérieur de la boule [-1,1]'' sans passer par -1 ou par 1. Le chemin apparait miraculeusement de nul part, il jaillit comme une source...

Il est donc intéressant de voir où la preuve ne fonctionne plus dans cet exemple. Evidemment c'est au moment où on utilise le fait qu'un compact d'un espace séparé est toujours fermé. Sur la droite dédoublée l'ensemble [-1,1]'' est compact mais il n'est pas fermé, car son complémentaire n'est pas ouvert.

Remarque 2 :

On est tenté de dire que est fermé comme image réciproque d'un fermé par une application continue. Mais cela serait faux ! En effet, est seulement définie sur U et pas sur toute la variété M. On peut donc dire que est un fermé de l'espace U (pour la topologie induite par M), mais de là on ne peut pas conclûre directement qu'il s'agit d'un fermé de M. C'est pourquoi nous devons faire ce détour :

compact dans B(1),
donc compact dans U,
donc compact dans M,
donc fermé dans M (séparé).

Lorsque j'ai travaillé avec Gérald Calderon sur le film Origine Océan nous avons consacré une petite scène à un être unicellulaire nommé LUCA (Last Universal Common Ancestor), notre dernier ancêtre commun universel dont sont issues l'ensemble des espèces.

On peut se poser la question amusante s'il existe un LUMA (Last Universal Math Ancestor) — et pour répondre à cette question on peut s'aider d'une base de données de l'université américaine NDSU.

Il s'agit d'un arbre généalogique qui permet d'associer à chaque docteur en mathématiques du monde entier son directeur de thèse. Ainsi j'ai découvert que si je remonte six générations, je trouve parmi mes aïeux l'illustre Hermann von Helmholtz. Mais mon cousin Detlev qui a soutenu sa thèse en 2001 fait encore mieux : il est un descendant scientifique de Hilbert et donc du prince des maths Carl Friedrich Gauß !

Voilà, après une plutôt longue pause (exactement un mois) je suis de retour sur le blog et je commence doucement avec un petit exercice de géométrie plane ;-)

Soit D une droite dans le plan euclidien et n un entier positif. Montrer qu'il existe un point P₀ en dehors de la droite D et des points P₁,...,P_n sur D tels que la distance entre tous deux de ces n+1 points est un entier strictement positif.

En complément de mon billet sur une génération dyslexique en maths voici quelques statistiques. Une analyse avec des idées sur ce qu'on peut encore sauver et sur les conséquences dans l'enseignement supérieur sera donné dans un billet ultérieur. En attendant j'invite mes lecteurs à lire l'article concernant la baisse de niveau sur le blog Mathéphysique.

L'échantillon est constitué des 54 élèves de deux classes de terminale ES d'un même lycée en 2007/2008. Les questions portent sur le calcul élémentaire et ont été posées dans un devoir sur table. L'utilisation de la calculatrice était permise.

Le taux de réussite au bac de ces deux classes était de 55% environ. Si on extrapole avec le taux de réussite au premier exercice ci-dessous, cela signifie qu'au moins 40% des 54 candidats ont obtenu le bac sans savoir interpréter correctement un prix tel qu'il est affiché dans un supermarché.

En publiant ces exemples anonymes, je ne veux pas me moquer des élèves. Nous avons tous fait des erreurs lorsque nous étions élèves, et continuons à en faire — nobody is perfect! Le problème réside dans la fréquence des erreurs (faire des erreurs doit rester l'exception et ne pas devenir la règle) et le type des erreurs (ce ne sont pas de simples erreurs de concentration).

CALCUL D'UN PRIX — 8 élèves ont réussi, taux de réussite: 15%

CALCUL DE POURCENTAGE — 24 élèves ont réussi, taux de réussite: 44%

TROUVER UNE EQUATION DE DROITE — 11 élèves ont réussi, taux de réussite: 20%

EQUATION DE PREMIER DEGRE — 5 élèves ont réussi, taux de réussite: 9%

SIMPLIFIER UNE FRACTION — 2 élèves ont réussi, taux de réussite: négligeable

Autres exemples

• calcul de prix
• calcul de prix
• calcul de prix
• simplification d'une fraction
• simplification d'une fraction
• simplification d'une fraction
• simplification d'une fraction

Remarque:
Les questions étaient regroupées comme premier exercice d'un DST. La barême était indiqué et assurait 1 point par question (sur 20 points dans le devoir complet). Dans "taux de réussite" on a compté les bonnes réponses; l'absence de réponse comptait comme une fausse réponse.

Chers lecteurs fidèles, ça fait un bon moment que je n'ai plus écrit de billet sur ce blog, faute de temps. Mais je vais pouvoir reprendre la cadence habituelle dans quelques mois, je l'espère. En attendant j'aimerais inverser les rôles et vous demander d'écrire quelques lignes sur une question précise que je n'arrive pas à comprendre.

Comme tout le monde le sait on serre une vis en la tournant dans le sens des aiguilles d'une montre (pour être plus précis il faut rajouter : lorsqu'on aperçoit la vis du côté du tourne-vis). Ce sens d'orientation, appelé filetage droit ou hélice droite, est devenu le standard international (parce que la majorité des humains sont des droitiers et ont plus de force dans leur main droite pour visser une vis à filetage droit qu'une vis gauche). Il y a quelques exceptions pourtant où l'on utilise une l'hélice inverse. La seule situation où j'en rencontre dans la vie de tous les jours est celle de la pédale gauche de mon vélo. Les constructeurs de vélo ont compris qu'il faut mettre un filetage gauche sur l'axe de la pédale gauche (et un filetage droit pour la pédale droite) afin d'empêcher que la pédale ne se desserre de la manivelle au fil du temps. Voici ma question :

Je ne comprends pas pourquoi ça fonctionne. Qui peut me l'expliquer ? En fait, si on bloque la pédale sur son axe et si on continue de pédaler, alors elle se défait ; en effet, le mouvement relatif de la pédale à la manivelle est contre le sens des aiguilles d'une montre pour la pédale droite, et dans le sens des aiguilles d'une montre pour la pédale gauche. Donc, selon moi, les billes du roulement mécanique exercent une force de frottement qui desserre la pédale au lieu de la serrer.

Pas de vis droit et gauche sur les axes des pédales de ma bicyclette... (cliquez pour aggrandir)

Un ami vient de me signaler une autre vis gauche, celle du raccordement à une bouteille de gaz. Mais je ne comprends pas pourquoi on fait ainsi. Qui peut l'expliquer ?

Ci-dessus la solution pour l'exercice sur le lien entre groupe de rotation et espace projectif.

Réponses aux questions

1. est l'intervalle fermé [-1,1] et son bord est constitué des deux extrémités. est un disque et son bord est un cercle. est une ``vraie'' boule et son bord est une ``vraie'' sphère.
   


2. Les deux applications suivantes sont bijectives car inverses l'une de l'autre.
   
   
   
   
   
   Illustration: si on projette l'hémisphère nord sur l'hyper-plan équatorial, on obtient la boule d'unité dans cet hyper-plan.
   
   
   
   Notons que dans le graphique l'axe des abscisses représente l'espace . Il est instructif de comprendre ce dessin déjà pour les plus basses dimensions:
   
   
   
   
   • Si n=1 alors on est dans le plan euclidien . Le demi-cercle supérieur (en rouge) se projette bijectivement sur le segment (en bleu).
     
   
   
   • Si n=2 alors on est dans l'espace plan euclidien et est une ``vraie'' sphère dont le dessin montre une coupe. L'hémisphère nord (en rouge) se projette bijectivement sur le disque (en bleu).
     
   
   
   
   


3. Chaque droite coupe la sphère en deux antipodes: et où est arbitraire dans .
   Au moins un des deux points est dans l'hémisphère nord:
   
   
   
   De cette observation on déduit que l'application
   
   est surjective; en plus, elle est injective en dehors de l'équateur, et deux antipodes sur l'équateur sont envoyés sur une même image. Plus précisément
   
   
   
   Par conséquence est en bijection avec l'ensemble obtenu à partir de par identification des antipodes sur l'équateur. Or d'après la question précédente nous savons que et l'équateur n'est rien d'autre que le bord de . Par conséquence .
   
   
4. Le résultat précédent implique en particulier que .
   Or =[-1,1] et par conséquence est simplement l'intervalle [-1,1] où on a recollé -1 et 1.
   Ainsi est en bijection avec le cercle . Nous obtenons . Illustration:
   
   
   
   D'autre part est le groupe des rotations du plan euclidien orienté . Comme chaque rotation est déterminée de manière unique par son angle compris dans il est évident que est en bijection avec le cercle .
   Conclusion: .
   


5. Pour la suite voir le fichier pdf.

Quand on dit que quelqu'un a une bonne vision dans l'espace, c'est pour exprimer que cette personne est capable de restituer à partir des informations d'un dessin 2-dimensionnel (par exemple sur une feuille de papier ou à l'écran de votre ordinateur) la position d'un objet dans l'espace 3-dimensionnel.

Ce qui est facile pour certains peut être difficile pour d'autres. Cette vision dans l'espace n'est pas innée à tout le monde, c'est une capacité qu'on peut entraîner ; et dans certaines professions elle est indispensable, par exemple en architecture.

Quand on passe d'une configuration à 3 dimensions vers un dessin à 2 dimensions, forcément on perd certaines informations. Ainsi le dessin d'un cube transparent ci-haut admet deux "vues" possibles qu'on a representées avec deux cubes opaques.
Tandis que la première de ces deux possiblilités ne semble pas poser beaucoup de problèmes, la deuxième n'est pas évidente pour tous. C'est pourquoi ci-dessous je la reprends en ajoutant deux hommes, l'un portant le cube, l'autre se promenant dessus. Cela clarifie la perspective.

Exercice
Vous pouvez maintenant faire un exercice : cachez les deux cubes à droite, fixez le cube à gauche et essayez de passer d'une perspective à l'autre ! C'est un bon entraînement...

Souvent on utilise aussi des traits en pointillets pour distinguer les bords invisibles des bords visibles:

Un autre exercice
Voici un autre exercice basé sur le même concept mais qui exige plus d'imagination.

On peut voir de deux manières la silhouette de la danseuse ci-dessus:

• La fille nous montre son dos. Alors sa tête est légèrement inclinée vers sa droite et c'est sa jambe droite qui est levée.
• Nous voyons le visage de la fille. Alors sa tête est légèrement inclinée vers sa gauche et c'est sa jambe gauche qui est levée.

Essayez de passer d'une vue à l'autre ! C'est beaucoup plus dur qu'avec les cubes. Et ça devient encore plus difficile, si elle tourne.

• Soit elle tourne sur sa jambe gauche. Un oiseau au-dessus d'elle la verrait alors tourner dans le sens des aiguilles d'une montre.
• Soit elle tourne sur sa jambe droite. Un oiseau au-dessus d'elle la verrait alors tourner contre le sens des aiguilles d'une montre.

Quant à moi, je vois spontanément la première possibilité. Mais quelques fois j'arrive à adopter la deuxième vue, et seulement si je fais un effort. Et j'y reste bloqué, c'est-à-dire immédiatement après je ne peux plus revoir la première vue.

Il est aussi intéressant de tenir compte de l'ombre de la jambe soulevée. Comme on ne voit qu'une silhouette de la danseuse on déduit que l'éclairage est placé derrière la fille ; donc quand l'ombre du pied soulevé appraît en bas de l'image cela signifie que ce pied est plus loin du spectateur que pendant la phase où l'ombre est hors du cadre. Le seul sens possible est alors le deuxième !

Paradoxes
Lorsqu'on essaie de coder un objet 3D dans un dessin 2D, on peut perdre de l'information, mais on peut aussi créer des informations contradictoires, c'est-à-dire on peut faire des représentations pour lesquels il n'existe pas d'objet dans l'espace à 3 dimensions l'ayant pour image — ce qu'a fait l'artiste Maurits Cornelis Escher avec son escalier impossible

ou le mathématicien Roger Penrose avec son fameux triangle impossible (aussi tripoutre ou tribarre).

Je collectionne constamment des exercices de maths intéressants et accéssibles aux élèves niveau prépa ou licence. On en trouve beaucoup dans les livres, sur internet, sur les vieilles feuilles d'exercices de ses propres professeurs... et quelques fois en invente soi-même ! Voici une question intéressante qui m'est venue le week-end dernier. La solution que j'ai trouvée ne nécessite pas de grand théorème, il faut seulement bien maîtriser ses connaissances élémentaires en algèbre linéaire :

Quel est le plus grand entier k tel que tout sous-espace affine de codimension k dans l'espace des matrices n x n contient une matrice inversible ?

Rappel : la codimension d'un sous-espace est la différence entre la dimension de l'espace ambiant et la dimension du sous-espace. Autrement dit, c'est le nombre d'équations nécessaires pour décrire le sous-espace (car chaque équation enlève un degré de liberté). Par exemple, dans l'espace habituel à trois dimensions la codimension d'une droite est 2, celle d'un plan est 1.

Vous croyez déjà tout savoir sur la multiplication ? Vous allez être surpris ! Voici trois méthodes pour multiplier deux nombres entiers.

• Multiplication posée du bon élève.




 

• Méthode du cancre.
 




Mode d'emploi : A gauche on prend toujours la moitié en arrondissant, s'il le faut, vers le bas ; à droite on prend toujours le double. Puis on supprime les lignes (en noir) dont le nombre gauche est pair et à droite on additionne les lignes restantes (en rouge).
 
 

• Méthode de Karatsuba (publiée en 1962).
On sépare chaque facteur en deux parties

puis on effectue les multiplications suivantes :



Le résultat est ensuite

Remarque
L'idée de tout ça c'est de se ramener à des opérations élémentaires (opérations entre deux nombres entre 0 et 9). Sur un ordinateur le choix d'un bon algorithme peut accélerer considérablement le temps de calcul — quelques jours pour des facteurs constitués de plusieurs milliards de chiffres ! Le calcul avec de très grands nombres n'est pas une question purement théorique mais a beaucoup d'applications, notamment en théorie de cryptage.
 
Questions

1. Pourquoi la méthode du cancre fonctionne-t-elle ? Les deux facteurs jouent des rôles différents; lequel choisir pour quel rôle ?
2. Utilisez la méthode de Karatsuba pour calculer 3116 x 1014. Pourquoi cette méthode fonctionne-t-elle ?
3. Avec la méthode classique (multiplication posée du bon élève), combien de multiplications élémentaires sont nécessaires pour calculer le produit de deux nombres à n chiffres ?
4. En réitérant la méthode de Karatsuba on obtient un algorithme. Combien de multiplications élémentaires sont alors nécessaires pour calculer le produit de deux nombres à n chiffres ? Comparer avec l'algorithme classique.

Réponses
Cliquez pour afficher les solutions en format pdf.

Et pour finir une vidéo présentant une méthode qui produit une belle calligraphie — elle s'appelle donc la multiplication chinoise !

L'idée de base de la multiplications chinoise est le fait suivant : un ensemble de n droites parallèles coupe un autre ensemble de m droites parallèles en nxm points.

Dernièrement nous avons parlé de groupes cycliques et du groupe de rotation SO(3). Aujourd'hui nous allons revisiter ces deux notions pour explorer une jolie propriété en mathématiques.

Voici une petite vidéo où je tourne mon bol de café au lait. Plus précisément je lui fais deux tours complets. On remarquera qu'après le premier tour mon bras est tourdu, mais après le deuxième tour mon bras revient à sa comfortable position du début.

MathOMan tord son bras... et le remet à sa place!

Explication (par handwaving en prose)

Il reste à voir qu'on n'a pas déjà g=0, autrement dit qu'il est impossible d'avoir le bras en place déjà après le premier tour. Une manière simple de comprendre que g , ou encore h, n'est pas homotope au lacet constant est de voir h comme un lacet dans l'espace projectif de dimension 3. Il correspond alors à la rotation d'une droite dans l'espace de dimension 4, d'angle 180° autour d'un axe perpendiculaire. La droite revient sur elle-même, mais on ne peut pas rétrécir ce mouvement.

Voilà, si on formalise ces raisonnements un peu plus, on démontre que le groupe fondamental de SO(3) (ou plus généralement d'un espace projectif de dimension au moins 3) est le groupe cyclique à deux éléments Z/2Z.

Les physiciens adorent ce genre de propriétés mathématiques et invoquent même le groupe de Spin, revêtement universel de SO(3). Mais pour expliquer ces applications en physique théorique, il faudra un autre bloggeur — peut-être un PhysOMan?

On m'a recommandé à ce sujet le livre Spinors & Space-Time de Roger Penrose et Wolfgang Rindler mais mes maigres pré-recquis en physique m'ont découragé de l'acquérir ;-)

Hier soir j'étais chez mon ami artiste-développeur Eric Wenger. Il m'a présenté la nouvelle version de l'un des logiciels dont il est le créateur. Il s'agit d'ArtMatic Voyager avec lequel on peut créer des paysages infinis avec plantes, et beaucoup d'autres choses sans utiliser de bases de données préfabriquées...
Les projections des objets en trois dimensions sur un plan font donc partie du quotidien d'Eric. Voici un bel exercice de géométrie dans l'espace:

Décrire analytiquement le contour d'un tore de rayons r et R en fonction de l'angle entre le plan du tore et la droite entre le centre du tore et l'oeil.

Le contour possède une seule partie connexe lorsque est petit. Lorsque augmente une deuxième partie connexe apparaît à l'intérieur; elle est d'abord singulière, puis lisse. Mais qu'est-ce que ça donne analytiquement? Des ellipses?

Différentes positions d'un tore dans l'espace