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.
En revanche, il me semble impossible de faire un calcul direct...

Actuellement je traverse la Corse à vélo, et aujourd'hui lors d'une montée raide je pensais à un problème de souplesse. Comme nous le savons les fonctions infiniment dérivables sont beaucoup plus souples que les fonctions analytiques. Par exemple on peut se poser la question suivante sur la donnée des dérivées successives en un point :

Existe-t-il une fonction f de classe telle que pour tout naturel n,

A chaque nombre naturel avec n² chiffres on peut associer le déterminant de la matrice nxn où on écrit ces chiffres ligne par ligne. Par exemple, si n=2 nous associons au nombre 2011 le déterminant

Exercice : Trouver, en fonction de n, la somme de tous les déterminants associés aux nombres entiers positifs à n² chiffres. (Le premier chiffre est supposé non-nul — par exemple pour n=2 il y a 9000 déterminants qui interviennent.)

Le cofacteur d'indice (j,k) d'une matrice carrée A est où désigne la matrice qu'on obtient en enlevant de A la k-ième ligne et la j-ième colonne. Autrement dit, si A est de format nxn alors est la matrice suivante de format (n-1)x(n-1)

La matrice des cofacteurs de A, s'appelle la comatrice de A, notée com(A). En résumé,

Petit exercice :  la fonction qui à une matrice associe sa comatrice est-elle un difféomorphisme du groupe linéaire sur lui-même ? Et de sur lui-même ?

Voici un exercice sur un énoncé de climatologie très théorique et inutile. Il est dédié à mon ami A. Wirth qui a quitté les maths pures pour consacrer son génie à des questions aussi appliquées que la météorologie et l'océanographie ;-)

Exercice : On assimile la terre à une boule parfaite et on suppose que la température sur la surface terrestre est une fonction continue. Montrer qu'il existe une infinité d'ensembles disjoints deux à deux {A,B} où A et B sont des points sur la surface terrestre tels que la température en A et B est la même et tels que la distance entre A et B est 1000 km.

Souvent les étudiants en première année ont une idée intuitive pour une preuve mais lorsqu'ils l'écrivent avec les termes de la logique mathématique leur rédaction est très maladroite, voire fausse ou illisible. Ces lignes leur sont destinées. Je vais montrer sur des exemples très simples ce qu'il faut faire et ce qu'il faut éviter.

Syntaxe d'une assertion

Une assertion (ou proposition) mathématique est une phrase contenant un verbe. Les verbes mathématiques sont par exemple

et leurs négations. Par exemple

7 + 1 = 8

est une assertion (qui est vraie), et

1 < 0

est une assertion (qui est fausse). Mais

7+1

n'est pas une assertion car elle ne contient pas de verbe, donc on ne peut pas se demander si elle est vraie ou fausse. Entre deux assertions équivalentes on n'écrit pas = mais le symbole . Ce symbole étant lui-même un verbe c'est donc un emboîtement d'assertions (pensez aux poupées russes).
Ecrire n'a aucun sens car [1,5] n'est pas une assertion (c'est un intervalle). En revanche, on peut écrire
Il ne suffit pas de mettre un verbe pour avoir une assertion, il faut aussi que la syntaxe soit correcte. Par exemple écrire et n'ont pas de sens. Mais et sont des assertions (qui sont vraies d'ailleurs).
Le langage mathématique suit les mêmes règles que notre langage habituel (phrase principale, phrase relative, conjonctions,...). Si quelqu'un vous disait

Nous ¤ camping # faisez ((à pluie sec

pouvez-vous dire qu'il dit la vérité ou non ? Non, vous ne pouvez pas ! Or c'est précisément ce que certains étudiants (de plus en plus nombreux) écrivent trop souvent sur leurs copies de mathématiques : des juxtapositions de symboles qui ne donnent aucun sens. Et donc nous, les correcteurs, ne pouvons pas donner de point pour ce charabia.
Les symboles ne sont que des raccourcis d'écriture. Vous devriez être capables de rédiger sans eux. Si la traduction en langage français de ce que vous écrivez à l'aide de symboles n'a pas de sens, alors il y a un problème.

Introduire les objets avant leur utilisation

Ne faites jamais apparaître un objet sans l'introduire. Par exemple n'écrivez pas

.

Peut-être votre enseignant au lycée vous a donné cette mauvaise habitude, mais la lettre S n'est pas universellement reconnue pour désigner l'ensemble de solutions d'une équation. Il faut donc faire précéder par une petite phrase comme : Notant S l'ensemble de solutions de l'équation x²-6x+5=0 on obtient... Mais cela est bien lourd. Ecrivez donc plus simplement

Exemples de bonne syntaxe

Les théorèmes 1, 2 et 3 ci-dessous sont des assertions. Les deux premiers sont équivalents ; et chacun d'entre eux implique le troisième.

Théorème 1.  Soit . Alors la fonction f définie par f(x)=ax pour tout réel x est strictement croissante sur si et seulement si a > 0.

Théorème 2.  Pour tout réel a la fonction f définie par f(x)=ax pour tout réel x est strictement croissante sur si et seulement si a > 0.

Théorème 3.  Si a > 0 est un réel alors la fonction f définie par f(x)=ax pour tout réel x est strictement croissante sur .

Exemples de mauvaise syntaxe

Les théorèmes 4 et 5 ci-dessous ne sont pas des assertions (syntaxe incorrecte) — donc impossible de dire s'ils sont vrais ou faux.
Le théorème 6 est une assertion très mal formulée. (Elle est vraie, réfléchissez-y !)

Théorème 4.  . Alors la fonction f définie par f(x)=ax pour tout réel x est strictement croissante sur si et seulement si a > 0.

Théorème 5.  Pour tout réel x la fonction f définie par f(x)=ax est strictement croissante sur si et seulement si a > 0.

Théorème 6.  Il existe tel que la fonction f définie par f(x)=ax pour tout réel x est strictement croissante sur si et seulement si a > 0.

La preuve du théorème 2 devrait commencer comme suit.

Preuve du théorème 2.  Soit a un réel. Blabla...

En revanche, écrire soit a un réel dans la preuve du théorème 1 serait très confus car le réel a est déjà donné par l'énoncé du théorème 1.

Mauvaise rédaction de la preuve

Preuve du théorème 2 (version débutant).  Soit a un réel.
Supposons a > 0. Il faut montrer que pour tous réels x, y tels que x < y on a f(x) < f(y). Or x < y et a > 0 entraînent ax < ay ou encore f(x) < f(y). Donc f est strictement croissante.
Réciproquement supposons que f est strictement croissante, c'est-à-dire pour tous réels x, y tels que x < y on a f(x) < f(y). On voit sur l'inégalité ax < ay que a doit être forcément positif, sinon l'inégalité devrait être dans l'autre sens.

Trois erreurs :

• On voit sur l'inégalité ax < ay .... Or les symboles x et y n'ont pas été introduits précédemment. Il fallait écrire soit x et y....
• La fin du raisonnement devrait être... n'est pas clair.
• Le débutant écrit il faut montrer que... puis il donne la définition d'une fonction strictement croissante. Or redonner une définition tellement basique c'est presqu'un insulte vis-à-vis du correcteur ! Evitez de redonner des définitions que tout le monde connaît et n'écrivez pas ce que vous voulez démontrer si c'est déjà écrit clairement dans l'énoncé.
  En revanche, si ce que vous allez démontrer est une reformulation équivalente ou seulement une condition nécessaire du résultat voulu alors il est souhaitable que vous écrivez "je vais démontrer que...". Par exemple c'est une bonne idée d'écrire : Soit a > 0. Pour montrer que la fonction la fonction de l'énoncé est strictement croissante je vais prouver que sa dérivée est strictement positive.

Bonne rédaction

Preuve du théorème 2.  Soit a un réel.

Supposons a > 0. Soient x, y deux réels tels que x < y. Alors on a
f(x) = ax < ay = f(y). Cela prouve que f est strictement croissante.

Réciproquement supposons f strictement croissante. Alors l'inégalité 0 < 1 entraîne l'inégalité 0 = f(0) < f(1) = a.

Structure d'une preuve

Exemple de structure d'une preuve bien rédigée :

Enoncé.  Soient A et B des ensembles et f une application de A dans B. Montrer que si on a (H) alors f est injective.
Preuve.
Supposons (H). Soient x et y deux éléments de A tels que f(x) = f(y) ......
...... (je raisonne) ...... j'utilise la propriété (H) ...... (je raisonne) ...... j'obtiens x = y.
Cela prouve l'injectivité de f.

Autrement dit, vous introduisez deux éléments x et y qui vérifient l'égalité f(x) = f(y), puis vous gardez en tête (mais surtout sans l'écrire) que vous voulez arriver à l'égalité x = y. Sur le chemin du raisonnement vous devez, très probablement, utiliser la propriété (H).

Preuve alternative (par contraposition).
Supposons (H). Soient x et y deux éléments distincts de A ......... (je raisonne) ........
........ j'utilise la propriété (H) ........ (je raisonne) ........ je trouve que f(x) est différent de f(y). Cela prouve l'injectivité de f.

Autre conseil

Mon collègue et ami Laurent Kaczmarek a écrit des conseils de rédaction utiles concernant la notation des fonctions en analyse.

Je me rappelle qu'au début de mes études de mathématiques, parfois une simple question de formalisme pouvait me poser des problèmes. Par exemple, j'avais du mal à jongler entre différents points de vue d'une notion a priori simple comme celle d'application. Voici quelques lignes qui pourraient sembler bêtes aux initiés, mais comme les livres expliquent rarement ce genre de choses en détail elles peuvent être utiles à ceux qui y sont confrontés pour la première fois — et notamment aux élèves et étudiants d'aujourd'hui qui, lors de leur parcours scolaire, ne rencontrent plus assez de théorie des ensembles.

---

Considérons une application (synonyme de fonction) d'un ensemble X dans un ensemble Y.

(Désolé, la deuxième flèche devrait commencer par un pied mais mon plug-in LaTeX ne le permet pas.)

Si vous venez de passer le bac, vous avez déjà une notion intuitive de ce que c'est une application. Mais les mathématiciens possèdent plusieurs autres points de vue pour concevoir cet objet — et chacun a sa raison d'être.

1. Point de vue y en fonction de x.
   C'est le point de vue habituellement enseigné au collège et au lycée. On conçoit x comme variable et y comme l'image qui change en fonction de x.
   Le schéma mental est le suivant.

   

   L'ensemble de départ X est représenté horizontalement, l'ensemble d'arrivée Y est représenté verticalement. La donnée de l'application f revient à la donnée de son graphe constitué des couples (x,f(x)), où x parcourt X.
   En disant x parcourt X, on adopte donc bien l'idée que la variable est x.
    
2. Point de vue collection d'éléments de Y.
   On peut aussi écrire l'application f en forme de famille . On oublie donc de spécifier l'ensemble d'arrivée Y.
   En général, une famille dans Y n'est rien d'autre qu'une application
   

   

    
   où l'ensemble de départ J est appellé l'ensemble d'indices ; très souvent il n'a pas d'importance et peut être remplacé par un autre ensemble de même cardinal. Ce qui compte dans ce point de vue c'est simplement la collection des images de l'application.
   Dans certaines situations un bon choix de l'ensemble d'indices peut raccourcir les écritures. Par exemple, si est une base d'un K-espace vectoriel E, alors tout vecteur v de E se décompose comme combinaison linéaire

   

   où est une famille de scalaires presque tous nuls (c'est-à-dire l'application est nulle sauf en un nombre fini de points ; cela est nécessaire pour pouvoir prendre la somme). Mais si on conçoit la base non comme une famille de vecteurs mais comme un sous-ensemble B de l'espace E, alors on peut la prendre elle-même comme ensemble d'indices et écrire simplement

   

   
    
3. Point de vue les fibres en fonction de y.
   Pour chaque y dans Y on appelle fibre de f en y (ou ensemble de niveau y) l'ensemble de tous les antécédents de y, noté
    
   
   
   
    
   Connaître une application revient à connaître la collection de ses fibres. C'est donc y qu'on considére comme variable. On s'aide du schéma mental suivant.
    

   

   
   L'espace de départ est projeté sur l'espace d'arrivée. L'application est injective (resp. surjective resp. bijective) si et seulement si chaque fibre possède au plus (resp. au moins resp. précisément) un élément.
    
   

Une conséquence naturelle du point de vue des fibres est la factorisation canonique, que nous allons expliquer ci-dessus et dont la quintessence se résume ainsi :

L'ensemble des fibres non-vides d'une application est une partition de l'ensemble de départ et a le même cardinal que l'image de l'application.

Factorisation canonique

Nous nous proposons de montrer que toute application est la composée d'une surjection, d'une bijection et d'une injection. Soit donc f une application de X vers Y. On considère son image

et l'espace des fibres

Ainsi l'espace des fibres est le quotient de X par la relation d'équivalence  ~  qui est définie par  x ~ x'  si et seulement si f(x) = f(x'). Il est clair que et sont en bijection. Plus précisément il existe une surjection , une bijection et une injection tel que le diagramme suivant commute.

En effet, il suffit de prendre pour la projection canonique sur le quotient X/~, c'est-à-dire l'application qui à chaque x dans X associe la fibre de f en f(x) ; puis pour j l'injection naturelle, et enfin pour l'application qui envoie une fibre sur l'unique élément dans Y qui est son image par f. Il est alors évident que f est la composée

.

Un avant-goût de la suite

Concevoir une application comme la collection de ses fibres est très fréquent en topologie, géométrie algébriques et théorie des singularités. On fait varier un point dans l'espace d'arrivée pour observer, dans l'espace de départ, la manière dont varie la fibre au-dessus de ce point. Un exemple très basique est l'application

 
où a,b,c sont des réels fixés non tous nuls. La collection des fibres est constituée de plans parallèles. Il s'agit donc d'un feuilletage de l'espace par plans (comme un feuilleté). Les fibres se ressemblent toutes ; on a même ce qu'on appelle une fibration globalement triviale.

Plus généralement, si f est une fonction différentiable et si on fait varier le point dans l'espace d'arrivée sans toucher les valeurs critiques, alors localement les fibres se ressemblent toutes (fibration localement triviale). En revanche, si on passe par une valeur critique alors la nature des fibres peut changer. Par exemple si on traverse la valeur critique 0 de l'application

dans le sens décroissant, alors la fibre est d'abord un cercle, puis dégénère en un point et, enfin, devient vide — une catastrophe a lieu au sens de la théorie des catastrophes de René Thom.

Tout ça devient plus intéressant dans le complexe. Les fibres de

sont des surfaces réelles (courbes complexes ou surfaces de Riemann). Et au lieu de traverser la valeur critique 0, on peut la contourner avec un petit lacet dans le plan complexe et observer la déformation de cette surface le long du lacet. Evidemment à la fin on retrouve la même surface qu'au début du lacet, mais lors du trajet certaines caractéristiques se sont déplacés continûment et ont échangés leurs places... (monodromie).

Le mathématicien Steven Wolfram, l'inventeur et créateur du logiciel Mathematica, vient de lancer son nouveau moteur de recherche WolframAlpha. Cet outil en ligne pratique et amusant pour nous mathématiciens (et autres) est bien plus qu'une simple calculatrice.

Par exemple, on peut tracer en ligne des courbes comme celle de

On peut entrer des combinaisons de mots et d'expressions mathématiques, comme par exemple

integral log(sin(x))

ce qui donne une primitive de la fonction ainsi que des graphiques à variable complexe, etc. On peut également faire une recherche avec des mots seuls comme

Weierstrass function

En somme, un nouveau site que je viens déjà de mettre dans mes favoris et que je ne tarderai pas à explorer !

Le mathématicien Pierre Colmez, algébriste français éminent, a publié sur son site web une lettre ouverte adressée au directeur général de l’Ecole Polytechnique à Palaiseau. Il y explique ses raisons de ne plus prolonger son contrat d'enseignant dans cette institution prestigieuse. La première raison nomée est celle d'argent. Mr Colmez s'indigne que des collègues en mathématiques financières ou en économie sont embauchés au double respectivement triple de son salaire. La réponse qu'on lui donne ne m'étonne pas : C’est le prix du marché ; les mathématiciens n’ont qu’à organiser la pénurie s’ils veulent que l’on augmente leurs salaires.

Je ne savais pas que le salaire des enseignants à l'X est soumis au prix du marché. J'ai plusieurs amis d'études qui se sont convertis aux mathématiques financières, certains sont professeurs dans des universités en Allemagne, d'autres travaillent pour des banques. Mais ceux qui sont professeurs ne touchent pas plus que leurs collègues professeurs d'archéologie par exemple ; en revanche, ils arrondissent (avec des gros ronds !) leurs fins de mois avec des expertises et conseils pour toutes sortes d'institutions du monde financier... Leur poste de prof n'est donc pas leur principale source de revenu. Probablement la différence de salaire à l'X ne représente qu'un sur le revenu total d'un professeur en mathématiques financières, mais il est clair que pour Pierre Colmez c'est un grand ...

Dans le futur, est-ce les universités françaises vont-elles faire comme dans le privé, c'est-à-dire rémunérer leurs enseignants en fonction de l'offre et de la demande ? Comment négocier alors ce salaire ? Que feront alors les professeurs enseignant des matières sans "applications directes" comme par exemple la musicologie ?

L'Etat fait la loi. En particulier, il s'occupe du code de travail et devrait veiller à ce que le paiement des salires soit transparent et se fait à temps. Or bizarrement il paraît que l'Etat est un employeur moins scrupuleux que les entreprises privées en ce qui concerne la transparence des fiches de paie et la ponctualité du paiement.

Voici un exemple. Une école d'ingénieur privée où j'enseigne établit le bulletin de paye suivant. Il est clairement structuré en commençant avec le plus important, à savoir le mois concerné, le nombre d'heures travaillées (CM=cours magistral, TD=travaux dirigés) et la base unitaire (par heure) ; puis il y a le total brut suivi des diverses côtisations. Et à la fin du mois l'argent est sur le compte de l'intervenant.

Dans le privé : fiche de paie claire

Maintenant comparons avec la fiche de paye pour un travail équivalent (heures d'interrogation en classe prépa) à l'Education Nationale. Sous la dénomination mystérieuse Rappel années antérieures on trouve un montant total, mais sans aucune explication.

Dans la fonction publique : fiche de paie obscure

On y cherchera en vain tous les détails importants, comme le tarif de base (nombre d'heures-élèves) ou la période concernée ! En plus, la période serait du plus grand intérêt car, même si le bulletin porte la date du janvier 2010, il s'agit en fait du paiement pour des interventions qui ont commencé en septembre 2009... et oui, l'Etat est un mauvais payeur, il est très souvent en retard ! Parfois il attend même six mois avant de payer les intervenants non-fonctionnaires (et aussi ses fonctionnaires pour leurs heures supplémentaires) ; en fait, lorsqu'on donne des heures de colles dans établissement pour la première fois, il n'est pas rare d'attendre le mois de mai pour avoir le premier virement concernant les heures du septembre. L'intervenant doit donc avoir une très bonne foi... Toute vérification est impossible.

Il est difficilement compréhensible que, dans notre monde informatisé du 21^e siècle, l'Education Nationale n'arrive pas à éditer des fiches de paye propres et à payer à échéance pour des services effectués.

L'artiste suisse Felice Varini expose actuellement à la Galérie Xippas à Paris. Il aime jouer avec des illusions optiques dans l'espace, des sortes de trompe l'œil. Plus précisément, en termes mathématiques, il profite du fait que la projection de l'espace à trois dimensions sur un plan (espace à deux dimensions) n'est ni injective ni isométrique.

Par exemple une ellipse peut se transformer en cercle par cette projection. Les installations de Varini l'illustrent, il suffit de changer de perspective (ou comme dit Varini, se mettre hors point de vue). Les photos suivantes sont extraites du site web de l'artiste.

Felice Varini : Quatre cercles dansants

Hors point de vue

Et comme les cercles ne sont pas posés sur un support plane, il arrive bien souvent qu'ils consistent de plusieurs parties non-connexes. Dans l'exemple ci-dessus les dessins des cercles rentrent même à l'intérieur de la salle de séjour (sur la première photo la porte est ouverte). On constate également que l'épaisseur du trait doit varier en fonction de l'emplacement.
L'été dernier Varini a même encerclé tout un village dans les Alpes Suisses !

Felice Varini : Cercle et suite d'éclats (Vercorin, Suisse, été 2009)

Hors point de vue

Et pour finir, voici une autre illusion d'optique, cette fois fabriquée par un mathématicien, le japonais Kokichi Sugihara, de l’Institut pour les sciences mathématiques de Kawasaki. Quatre boules sous le seul effet de la gravation...