A la fin de mon article Hyperelliptic action integral, Annales de l'institut Fourier 49(1), p. 303–331, j'ose la conjecture suivante:

Une conjecture autour d'une singularité.
Soit D le disque unité du plan complexe et un recouvrement du disque épointé D*= D\{0} par des ouverts. Sur chaque ouvert soit une fonction holomorphe injective telle que sur toutes les intersections . Alors ces différentielles se recollent en une 1-forme méromorphe sur D.

Il est clair que la 1-forme est holomorphe sur D*. Si son résidu est nul, alors la conjecture découle facilement du grand théorème de Picard, cité ci-dessous. Mais si le résidu est non-nul, je ne sais pas la démontrer.
Toute preuve ou tout contre-exemple sont les bienvenus — à vrai dire les contre-exemples un peu moins car je crois (guidé par mon intuition géométrique des surfaces de Riemann) que cette conjecture est vraie...

En 1880 Charles Emile Picard (1856-1941) prouva le théorème suivant.

Grand théorème de Picard.
Une fonction holomorphe ayant une singularité essentielle prend, sur tout voisinage de cette singularité, tout nombre complexe une infinité de fois comme valeur, sauf peut-être un.

Exemple typique pour le théorème de Picard

La fonction définie par

est holomorphe sur et possède une singularité essentielle en . L'image de f épargne-t-il une valeur (Picard dit "sauf peut-être un")? Oui, et comme pour tout , cette valeur épargnée est forcément zéro; le théorème affirme alors que pour tout nombre complexe et pour tout il existe une infinité de nombres complexes tels que et .

Calcul direct avec cet exemple

Dans l'exemple ci-dessus on peut se debrouiller par un calcul direct sans invoquer le théorème de Picard. En effet, fixons un nombre complexe non-nul et un Il existe alors deux réels et tels que

Pour tout posons et Alors .
Ainsi on a on a

Par conséquence, en prenant assez grand, on voit que possède une infinité d'antécédents dans le disque épointé .

Un exemple moins évident

Notons P l'ensemble des nombres premiers et considérons la fonction définie par
 
On peut appliquer le théorème de Picard, car il y a une singularité essentielle à l'origine.
En revanche, il me semble impossible de faire un calcul explicite...

Mon billet récent sur la dimension maximale d'un sous-espace affine contenu dans l'ensemble des matrices non-inversibles m'a inspiré les réflexions suivantes, une sorte de version différentiable de ce résultat.

On note l'espace des matrices n x n à coefficients réels et le sous-ensemble des matrices inversibles. On sait que est un ouvert dans . En effet c'est l'image réciproque de l'ouvert par l'application continue déterminant

On peut même dire un peu plus : le déterminant étant polynômial en le complémentaire des matrices inversibles, c'est-à-dire l'ensemble des matrices de déterminant nul,

est une hypersurface algébrique. Géométriquement parlé est un fermé de qui ressemble localement à un hyperplan (c'est-à-dire à un sous-espace affine de dimension n²-1). Enfin, cela est vrai en presque tous les points, ceux où la différentielle du déterminant ne s'annulle pas (points réguliers). En revanche, en les points où la différentielle du déterminant est nulle (points singuliers), l'hypersurface ne ressemble plus à un sous-espace affine. Il peut y avoir un croisement comme par exemple

ou un rétrécissement comme par exemple

(Pour plus d'images de surfaces algébriques visitez le la galerie de Herwig Hauser.)

Il est évident que la différentielle du déterminant est nulle à l'origine. Donc notre hypersurface possède une singularité à l'origine. Le résultat suivant dit qu'il s'agit d'une singularité de type rétrécissement, car l'hypersurface de dimension n²-1 y perd quelques dimensions — il y reste juste assez de place pour n²-n dimensions...

Proposition :

Le nombre n²-n est la plus grande dimension possible d'une sous-variété différentiable F de telle que

Démonstration :

• L'ensemble des matrices dont la première ligne est nulle est un sous-espace vectoriel (et donc en particulier une sous-variété différentielle) de dimension n²-n. Evidemment il contient l'origine 0 et est contenu dans .


• Soit F une sous-variété de de dimension n²-n+1 et telle que . Nous allons prouver que F contient une matrice inversible.
  Au voisinage de l'origine la sous-variété F est décrite par un système de n-1 équations

  

  tel que les différentielles sont linéairement indépendantes à l'origine. On résoud ce système par le théorème des fonctions implicites, c'est-à-dire on peut isoler (théorétiquement) n-1 des coordonnées et les exprimer par les autres. On a ainsi, toujours au voisiange de l'origine, n²-n+1 coordonnées variables et n-1 coordonnées isolées (fonctions différentiables des coordonnées variables).
  Maintenant je peux poursuivre mon raisonnement de la preuve du cas affine : par des permutations de lignes et de colonnes je m'arrange à ce que les coordonnées isolées soient toutes au-dessus de la diagonale matricielle ; puis je prends les coordonnées sur la diagonale toutes égales à un nombre non-nul et proche de 0 et les autres coordonnées variables égales à 0. Ainsi j'obtiens une matrice inversible qui est dans F.

Tout étudiant apprend les formules

Soit p un entier positif. Montrer que, plus généralement, la somme des premiers n termes de la suite avec est un polynôme rationnel en n de degré p+1.

Je viens de recevoir le message suivant :

Je suis à la recherche de ce que serait l'équation d'une ovoïde ayant pour axe de symétrie l'axe des y. J'ai bien trouvé ceci :

a(1+ky)x² + by² = 1

Mais la figure associée semble avoir l'axe des x pour axe de symétrie. De plus, j'aimerais connaître l'incidence des divers coefficients sur le tracé de la courbe.
Pouvez-vous m'aider ?
Bien cordialement, Jean-Christian Dubau

Voici quelques éléments de réponse.

• D'abord pour changer les axes il vous suffit de changer dans votre équation les rôles de x et y. Mais votre équation est bien celle d'une courbe symétrique par rapport à l'axe des y ; en effet, l'équation reste inchangée si on remplace (x,y) par (-x,y).
   
• Le mieux pour connaître l'incidence des coefficients a, k et b est de les essayer, par exemple en entrant 2(1+3y)x² + 4y² = 1 sur WolphramAlpha. Vous pouvez aussi utiliser le logiciel gratuit Graphmatica ; attention, avec ce logiciel il faut entrer les multiplicatio ns et les exposants sous la forme a*(1+k*y)*x^2 + b*y^2 = 1.
   
• D'où tenez-vous cette équation ? A mon avis le terme 1+ky devrait être au numérateur, comme ceci

  ax²/(1+ky)+ by² = 1.

  Le signe de k (positif ou négatif) devrait influencer si votre œuf est large en bas ou en haut. Les valeurs positives de a et b vont faire un ovale plus haut ou plus large en général.
   
• Je vous propose l'équation sous une autre forme, 13x²=y(y-3)(y-4). (Si vous remplacez le x² par un simple x alors vous allez comprendre pourquoi on obtient un ovale par cette équation.) Jouez sur les nombres 13, 3 et 4 pour changer la forme de la courbe. Voici ce que ça donne avec Graphmatica :
   
  
• Vous trouverez d'autres equations ici.

Etant en voyage, je ne peux pas répondre plus longuement, mais peut-être certains de mes lecteurs pourront vous aider davantage.

C'est le moment de transmettre à mon père mes vœux d'anniversaire en forme d'une petite devinette.

Aujourd'hui, dimanche 5 juillet 2009, mon père fête son anniversaire. Il est né un dimanche dans une année bissextile. Quel âge a-t-il aujourd'hui ?

Pour résoudre cet exercice je conseille d'effectuer les calculs dans des groupes cycliques. En plus on peut utiliser le fait que j'ai plus de vingt-trois ans, que mon père aussi avait plus de vingt-trois ans lorsqu'il a pris la responsabilité de devenir mon père et, enfin, qu'il n'est pas centenaire...

En tout cas je te souhaite une bonne fête d'anniversaire, papa !

Il est rare qu'une simple question de la vie quotidienne devient un problème de mathématiques quasiment insurmontable... mais ça peut arriver ! Il y a une quarantaine d'années le mathématicien autrichien Leo Moser se posait, probablement lors d'un déménagement entrepris tout seul, la question suivante :

Quelle est la taille maximale d'un canapé que je dois déménager horizontalement le long d'un couloir lorsque celui-ci présente un angle doit ?

Supposons que la largeur du couloir vaut 1. Comme un demi-disque de radius 1 passe clairement par l'angle, la taille l'aire maximale est minorée par . Mais évidemment on peut faire mieux. L'anglais John Michael Hammersley proposa la solution ci-dessous en forme de combiné téléphonique, sans pourtant prouver que c'est la solution maximale (et effectivement Gerver a trouvé plus tard un sofa encore plus grand). En outre il démontre que la taille maximale est majorée par

On a donc un majorant et un minorant, mais quelle est la valeur exacte de la taille maximale ? Actuellement c'est toujours un problème ouvert. Pour monter des fonds de recherche pour bien attaquer ce problème important de mathématiques très appliquées, peut-être faudrait-il organiser une conférence inter-disciplinaire entre mathématiciens et la branche de scientifiques la plus concernée : les psycho-analystes !

Dans mon dernier billet sur l'enseignement des mathématiques je parlais du système américain et allemand des devoirs maison hébdomadaires. Je me félicite du succès de ce billet : en effet, les responsables de l'enseignement des maths en cycle préparatoire à l'école d'ingénieurs Estaca l'ont lu et ont décidé la mise en place de ce système à partir de la rentrée prochaine.

Aujourd'hui j'aimerais parler d'une autre idée pour rendre plus efficace le contrôle des acquis des étudiants : les questionnaires à choix multiples. Traditionnellement nous, les matheux, nous n'aimons pas les QCM. Nous considérons les mathématiques comme une sorte d'art où le chemin du raisonnement choisi et la grâce avec laquelle on danse sur ce chemin, c'est-à-dire le style de rédaction, sont aussi importants que le résultat à trouver. Et cela ne peut pas être évalué par un QCM. — C'est vrai. Or quand nous corrigeons les partiels en premier cycle nous faisons souvent l'expérience que très peu d'étudiants savent rédiger correctement une suite d'idées. Et la remarque suivante montre que ce phénomène perdure même dans les semestres supérieurs : L’utilisation des hypothèses données dans l’énoncé doit être signalée au moment opportun et non en vrac en début de question, afin de montrer l’articulation du raisonnement (extrait du rapport du jury de l'agrégation 2009).
Il y a donc un décalage entre nos attentes et les résultats. Et ce n'est pas étonnant car le système des TD actuel n'apprend une rédaction cohérente. Comme le professeur de TD ne peut pas contrôler l'écrit de chacun, les étudiants ne font que recopier une rédaction exemplaire au tableau — ce qui est déjà une bonne chose mais ne suffit point, ça serait comme si on voulait apprendre à jouer le violon en écoutant Gidon Kremer. On revient donc au problème déjà cité de l'efficacité des TD...

Alors à quoi bon d'évaluer les étudiants par des choses sur lesquelles ils n'ont pas eu l'occasion de s'entraîner ? J'ai donc décidé, pour ma part, de faire désormais l'évaluation en forme de QCM (dans les établissements qui n'ont pas mis en place un système de correction de devoirs maison). Mon premier tel examen 100% QCM peut être consulté ici.

Quelles sont les compétences mathématiques qu'on peut évaluer par un QCM ? A mon avis, un bon pourcentage des méthodes au programme d'un premier cycle en école d'ingénieur ou en tronc commun de L1 : dériver, intégrer, systèmes linéaires, équations différentielles linéaires, etc. D'après ce que j'ai vu c'est déjà suffisant pour trier les bons et les mauvais étudiants ;-)

Recherche de collaborateurs

Maintenant je viens avec une proposition concrète : qui a envie de participer à établir une base d'exercices en ligne en forme de QCM ? Qui est-ce qui a déjà de l'expérience en ce domaine (peut-être avec WIMS) et souhaite la partager ? L'idée serait la suivante.

• Une grande base de questions serait disponibles en ligne pour que les étudiants puissent s'entraîner chez eux.
• Une autre partie de questions serait reservée aux épreuves que les étudiants passent dans les salles d'ordinateur le jour de l'examen.
• Les résultats étant calculés automatiquement il n'y aura plus de travail de correction ni erreur d'évaluation possible.
• Une fois la base d'exercices créée et assez grande, on peut la rentabiliser et organiser des évaluations très fréquentes...
• Les exercices ne devraient pas forcément être interactives, originales ou d'une grande valeur pédagogique en e-learning (comme souvent dans WIMS), car ils serviraient uniquement à évaluer, l'enseignement en TD restant inchangé.

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 . 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 et

Notations
Dans un premier temps — dont nous nous contentons ici — le symbole signifie simplement qu'il existe une bijection entre les ensembles concernés; c'est clairement une relation d'équivalence.
Comme d'habitude dénote l'espace projectif réel de dimension n, c'est-à-dire l'ensemble des droites vectorielles dans . Fixons aussi les notations pour trois sous-ensembles importants de :

• la boule
  
• la sphère
  
• l'hémisphère nord
  

Le bord de la boule est la sphère . Chaque point x sur ce bord possède un antipode, à savoir le point —x.
Si on ``recolle'' par identification des antipodes sur son bord, alors on obtient un nouvel ensemble que nous notons Ca, c'est du handwaving. De manière ensembliste on pourra écrire




Questions

1. Expliquer par des mots de quelles formes sont la boule et son bord dans les cas n=1,2,3.
2. Démontrer que
   
3. Démontrer que
   
4. Démontrer que
   
5. Démontrer que
   

Cliquez pour lire la Solution.

Mon dernier billet où on parlait de racines multiples de polynômes m'a rappelé quelques souvenirs de notions que j'avais apprises pendant ma maîtrise.

Le résultant de deux polynômes

Considérons deux polynômes

Leur résultant R(P,Q) est le déterminant de la matrice de Sylvester, matrice carré d'ordre m+n dont on comprend la construction par l'exemple ci-dessous pour n=4 et m=3.

La proposition suivante est la raison d'être du résultant.

Proposition. On a R(P,Q)=0 si et seulement si P et Q possèdent un diviseur commun non-constant.

Le discriminant d'un polynôme

Dans le cas où Q est la dérivée de P le résultant porte un nom particulier : on appelle R(P,P') le discriminant de P. La proposition ci-dessus implique le corollaire ci-dessous.

Corollaire. Un polynôme complexe admet une racine multiple si et seulement si son discriminant est nul.

Testons au moins la véracité de ce corollaire sur les polynômes de second degré (que les profs de lycée appellent trinômes) !

On calcule alors le discriminant de P comme déterminant d'une matrice 3x3 (règle de Sarrus),

Nous retrouvons ainsi le fait, connu par tout lycéen en classe première S, que le polynôme de second degré aX²+bX+c possède une racine double si et seulement si b²-4ac=0.

Groupe fondamental du complémentaire du lieu discriminant

Maintenant revenons au niveau maîtrise (des nos jours master ou encore magistère...) pour poser les deux questions suivantes. Dans l'espace on appelle lieu discriminant le sous-ensemble formé des tels que le polynôme

possède une racine multiple.

1. Montrer que est connexe par arcs.
2. Quel est le groupe fondamental de  ? Le décrire par générateurs et relations.

Les réponses sont plutôt faciles ; pour la deuxième question, pas la peine de tout formaliser, le handwaving suffit car dans cet exemple le formalisme ne donne rien en valeur ajoutée...

Le fait que

est une des premières choses qu'un étudiant apprend lorsqu'il étudie les nombres réels. Voici une démonstration de cette égalité.

On pose

X = 0,99999...

Alors on a l'égalité

10X = 9,99999...

dont on soustrait la première,

9X = 9,00000...

D'où X = 1.

Convaincant, n'est-ce pas ? Pour beaucoup de gens il s'agit d'une preuve — mais en réalité ça reste une tricherie car on ômet de réfléchir sur un certain nombre détails (comme par exemple à la signification rigoureuse de 0,99999... ou du produit 10 × 0,99999.... C'est un peu comme en topologie où il faut aussi faire comprendre au débutant que le fait que les boules ouvertes sont des ouverts nécessite une preuve.)
Or qui a bien compris le cours sur les nombres réels n'a pas besoin d'une preuve car l'égalité 0,999999... = 1 est une conséquence immédiate des diverses définitions possibles du corps des réels.

Voici la manière dont j'expliquerai l'égalité 1=0,99999... à quelqu'un qui ne connais pas grand chose en maths :

Une bien meilleure méthode

On pose X = 0,99999... et on part de

0 < 0,9 < 0,99 < 0,999 < 0, 9999 < ... < X

donc par multiplication par -1 les inégalités changent de sens,

0 > - 0,9 > - 0,99 > - 0,999 > - 0,9999 > ... > - X.

En ajoutant 1 à chaque membre de ces inégalités, on obtient

1 > 1 - 0,9 > 1 - 0,99 > 1 - 0,999 > 1 - 0,9999 > ... > 1 - X.

Autrement dit,

Ainsi la différence 1-X est plus petite que tout nombre de la forme 0,000...0001. C'est-à-dire 1-X ne peut pas être strictement positif. D'autre part 1-X n'est pas strictement négatif car X est n'est pas plus grand que 1. Cela prouve que 1-X = 0 , ou encore que X = 1.   CQFD

Avec un tel raisonnement, je crois, le non-initié comprend mieux les idées mathématiques qu'avec une tricherie qui fait seulement appel à ses habitudes de calcul.

Brenoms

D'ailleurs au lieu d'écrire une infinité de chiffres après la virgule on peut aussi écrire une infinité de chiffres devant. On obtient alors ce qu'on appelle un brenom (verlan de nombre). On additionne les brenoms en commencant par la droite. Ca donne des résultats bizarres comme par exemple

Plus de détails sur les brenoms dans ce bel article.

Certainement vous avez déjà imaginé que vous jouez aux Time Bandits et que vous voyagez dans le temps ; et que vous avez en plus le droit d'amener des objets et votre savoir actuel avec vous...
Or si je prends mon téléphone portable avec moi et je voyage dans les années 1970 cet appareil ne me servira strictement à rien. Et si j'amène mon vélo (et sa pompe !) dans l'époque de l'Empire Romain (je me le suis déjà souvent imaginé) ça ferait un énorme tabac, certes ; mais après avoir roulé pendant un an sur les routes romaines j'aurais besoin de pièces de rechange et je n'en trouverais pas. Et Néro qui m'a donné une tonne d'or car je lui ai promis de faire construire des milliers de vélos pour son armée m'envoie aux lions du Circus Maximus car les ingénieurs de l'époque n'arrivent pas à réaliser des roulements à billes performants...

C'est pourquoi finalement le meilleur bagage à amener me semble des concepts intellectuels, universels et non liés à un environnement technique particulier. Par exemple, j'aimerais bien voyager au 17^e siècle et expliquer à Leibniz pourquoi il avait tort à croire que la série

convergait vers ½. En fait, il disait que cette série convergait à la fois vers 0 et vers 1, donc vers ½ et que c'était là une preuve de l'existence de dieu... Mais la bonne définition de la notion de limite, si fondamentale, n'a été trouvée que 150 ans plus tard par Weierstrass. La voici :

C'est sous cette forme que l'on enseigne la limite aux lycéens (ou au moins on le faisait il y a une vingtaine d'années). C'est donc une idée plutôt basique — mais il fallait la trouver !

Sondage de mes lecteurs : Qu'est-ce que vous aimeriez amener lors d'un voyage dans le temps ? Et à qui voudriez-vous présenter votre savoir ? Laissez vous guider par votre fantaisie de mathématicien ;-)