Math 'O Man : le Blog des Maths

précision mathématique


Précision mathématique chez les tambours suisses

Petite pause musicale — ou plutôt machinale car ces petits bonhommes Duracell ont la précision d'une horloge suisse! Une coordination parfaite au niveau local et global.





Voici, à titre de comparaison, la batucada brésilienne Batala dans laquelle je jouais pendant quelques années la caixa (caisse claire). Ce n'est pas la même précision, mais on s'amuse quand-même ;-)

Pourquoi ne pas lire aussi :


Qui peut m'expliquer ce jeu?

J'ai besoin de votre aide. Cette fois ce n'est pas pour résoudre un problème mathématique que je pose, mais plutôt le contraire. Il y a dix mois, Fafa m'a offert pour mon anniversaire cette sorte de puzzle tridimensionnel en bois.
 
jeu mathématique jeu mathématique
Pièces en cube
Pièces du jeu décomposées

Le problème c'est que ce jeu est vendu sans règles écrites et que le jour de mon anniversaire, elle avait déjà oublié les explications du vendeur. Et comme ça ne s'est pas passé dans un magasin mais dans un marché de Noël, impossible de le retrouver... Alors que faut-il faire avec ces pièces en bois? Si quelqu'un le sait, s'il vous plaît, manifestez-vous!

Hand waving et dessins en mathématiques

Les chercheurs en mathématiques appellent hand waving une manière d'expliquer une idée oralement et avec les mains, sans faire appel à un formalisme poussé. Dans certaines situations, cette démarche est justifiée et peut être très efficace.

Si on veut être méchant on pourrait dire que, pour expliquer sa nouvelle découverte un mathématicien a besoin de
  • ses mains et 15 minutes s'il s'adresse à un collègue dans la cafétéria de son centre de recherche,
  • cinq transparents et 60 minutes s'il l'expose dans un séminaire,
  • vingt pages qui demandent trois jours de lecture, s'il la publie dans une revue scientifique.
Le problème est que les mathématiques demandent la précision totale, et celle-ci nécessite un formalisme exacte et sans ambiguïté. Oralement, en faisant des dessins avec les mains dans l'air ou sur un brouillon, on peut toujours guider son interlocuteur et l'empêcher de mal comprendre. Mais ce n'est pas le cas en communication écrite où l'auteur est obligé de traduire ses idées en un formalisme que le lecteur devra ensuite retraduire en idées!
Beaucoup d'énergie est perdue dans ces efforts de traduction et re-traduction. Pour minimiser ces efforts le lecteur doit s'entraîner à maîtriser le formalisme et l'auteur, de son côté, doit inventer un formalisme facile à lire et avec des notations intuitives --- et, si possible, ajouter des dessins à son texte!

Malheureusement, dans beaucoup de manuels universitaires, il n'y a pas assez de dessins. Peut-être c'est dû à la paresse des auteurs qui rédigent en LaTeX où il est beaucoup plus rapide d'écrire cinq lignes de formules que de faire un dessin avec PSTricks...

Moi, personnellement, lorsque j'étais étudiant j'adorais les livres de Klaus Jänich, parus dans la série Undergraduate Texts in Mathematics chez Springer, très bien écrits et agrementés de nombreux dessins; en particulier son livre sur la topologie et son livre sur les fonctions holomorphes m'ont beaucoup aidé.
C'est cette démarche, avec beaucoup d'illustrations, que nous avons adoptée pour la rédaction de notre livre Mathématiques L1 pour la première année en université ou en classe prépa.

La devinette des fourmis sur la tige

Il y a dix ans, pour sortir un peu des maths pûres, je travaillais pendant quelques semaines dans la forêt guyanaise sur le tournage d'un film documentaire scientifique sur les fourmis. Le monde des insectes sociaux (fourmis, abeilles, guêpes, termites) est fascinant, pas seulement du point de vue de la biologie, mais aussi du point de vue mathématique. A part les questions de génétique (forcément liées à la combinatoire et aux probabilités), il y a aussi beaucoup de théorie de jeux dans le comportment de ces "automates vivants", ainsi que de la théorie des graphes et même des algorithmes de fourmis.

A tous ceux qui veulent en savoir davantage je recommande vivement (comme cadeau de Noël?) le livre de vulgarisation scientifique Voyage chez fourmis de Bert Hölldobler et Edward O. Wilson ainsi que Le gène égoïste de Richard Dawkins.

Lors du tournage du film j'avais le temps d'observer un peu les fourmis et de calculer certaines distances qu'elles parcourent périodiquement. Voici un joli petit problème sur les fourmis.

Devinette
Une colonie de 101 fourmis se trouve sur une fine tige de longueur 100cm. Chaque fourmi se déplace à la vitesse de 1cm par seconde dans un sens fixe, mais si deux fourmis se rencontrent elles changent de sens. Lorsqu'une fourmi arrive à l'un des deux bouts de la tige elle tombe.

problème mathématique déplacement des fourmis

Est-ce que toute la colonie va disparaître de la tige? Si oui, après combien de temps?

Réponse
A vous de chercher! Je la divulguerai prochainement...

En attendant, je vous invite à regarder un petit film amusant en Super8 que j'ai réalisé après le dernier jour du tournage officiel et auquel les auteurs du film sur les fourmis ont gracieusement participé en tant qu'acteurs.

Humour mathématique

Après le précédent billet, bien triste, il est le temps de rire un peu ! Voici quelques blagues et une contrepèterie de matheux pour retrouver notre sourire ;-)

Que répond une mathématicienne venant d'accoucher à qui l'on demande "Avez-vous eu un garçon ou une fille ?"
"Oui."

Logarithme et exponentielle sont au restaurant. Qui paie l'addition ?
C'est exponentielle, car logarithme népérien...

Quel est le comble du mathématicien ?
C'est de se faire piquer sa moitié par un tiers dans un car.

Combien de fois peut-on soustraire 5 de 23 et combien reste-t-il ?
Autant de fois que l'on veut et il reste 18 à chaque fois.

Qu'est-ce qu'un ours polaire ?
Un ours cartésien après un changement de coordonnées.

Qu'est-ce qui est jaune, normé et complet ?
Un espace de Bananach.

Pourquoi la vie est-elle complexe ?
Elle a des composantes réelles et imaginaires.

Qu'obtient-on en croisant un éléphant et une banane ?
|elephant| |banane| sin(theta)

Qu'est-ce qu'un homme complexe dit à une femme réelle ?
"Viens danser !"

What's purple and commutes ?
An abelian grape.

What's yellow and equivalent to the Axiom of Choice.
Zorn's Lemon.

Une contrepèterie : Mon prof de maths a montré Bézout.

Théorème : Tout entier positif est intéressant.

Preuve : Supposons le contraire. Alors l'ensemble des entiers positifs non-intéressants est non-vide. D'après l'axiome du bon ordre il possède un plus petit élément. Alors cet élément est drôlement intéressant — contradiction !

SO(3) e(s)t l'espace projectif à 3 dimensions

Quelques fois on garde un souvenir très complet d'une démonstration mathématique, et ce souvenir inclût également des accessoires absurdes et inutiles comme par exemple le numéro de la page du livre où on l'a apprise ou la couleur de la chemise du professeur qui l'a expliquée...

Ci-dessous j'explique, en forme d'exercice corrigé, pourquoi le groupe SO(3) de rotations dans l'espace peut être identifié à l'espace projectif réel \mathbb{P}^3. Et je me rappelle que c'était un collègue d'études qui m'a raconté cette preuve par la méthode de hand waving sous le soleil d'été dans une piscine plein air à Bonn!

Un bel énoncé géométrie et topologie
Le but de l'exercice est de montrer que \;SO(2)\:\simeq\: \mathbb{P}^1\;\; et \;\;SO(3)\:\simeq\:\mathbb{P}^3\,.

Notations
Dans un premier temps — dont nous nous contentons ici — le symbole \:\simeq\: signifie simplement qu'il existe une bijection entre les ensembles concernés; c'est clairement une relation d'équivalence.
Comme d'habitude \mathbb{P}^n dénote l'espace projectif réel de dimension n, c'est-à-dire l'ensemble des droites vectorielles dans \mathbb{R}^{n+1}. Fixons aussi les notations pour trois sous-ensembles importants de \mathbb{R}^{n+1}\::
  • la boule \;\mathbb{B}^{n+1}=\{x\in\mathbb{R}^{n+1} \:|\: x_1^2+\cdots+x_{n+1}^2\leq1\}\,,
    \:
  • la sphère \;\mathbb{S}^{n}=\{x\in\mathbb{R}^{n+1} \:|\: x_1^2+\cdots+x_{n+1}^2=1\}\,,
    \:
  • l'hémisphère nord \;\mathbb{S}^{n}_+=\{x\in\mathbb{S}^{n} \:|\: x_{n+1}^2\geq0\}\,.
    \:
Le bord de la boule \mathbb{B}^{n+1} est la sphère \mathbb{S}^n. Chaque point x sur ce bord possède un antipode, à savoir le point —x.
Si on ``recolle'' \mathbb{B}^{n+1} par identification des antipodes sur son bord, alors on obtient un nouvel ensemble que nous notons \mathbb{B}^{n+1}/\!\sim\,. Ca, c'est du handwaving. De manière ensembliste on pourra écrire

\;\;\;\;\;\mathbb{B}^{n+1}/\!\sim~\;\,=\;\,\left(\mathbb{B}^{n+1}\backslash\mathbb{S}^n\right)\:\dot{\bigcup}\:<br />\big\{\{x,-x\}\,|\,x\in\mathbb{S}^n\big\}\,.<br />


Questions
  1. Expliquer par des mots de quelles formes sont la boule \mathbb{B}^n et son bord \mathbb{S}^{n-1} dans les cas n=1,2,3.
  2. Démontrer que \;\mathbb{S}^n_+ \:\simeq\: \mathbb{B}^n\,.
    \,
  3. Démontrer que \;\mathbb{B}^n/\!\sim~\;\simeq\:\mathbb{P}^n\,.
    \,
  4. Démontrer que \;SO(2)~\simeq~\mathbb{P}^1\,.
    \,
  5. Démontrer que \;SO(3)~\simeq~\mathbb{P}^3\,.
    \,
Cliquez pour lire la Solution.