Un joli exercice de géométrie

Voici le dessin d'une route. Elle passe tout droit en plein désert, on la voit disparaître à l'horizon.
Au bord de la route il y a des poteaux, tous les quinze mètres. Le dessinateur n'en a représenté que les deux premiers. On ne tient pas compte de la courbure de la terre, c'est-à-dire la terre est supposée plate.

Question: Comment peut-on trouver, par construction sur ce dessin, les emplacements des poteaux suivants?

Réponse: Cliquez ici pour la solution.

Remarque: Peut-être plus de bacheliers L que de bacheliers S savent résoudre cet exercice!

Pour savoir pour quel la série est convergente, on fait une comparaison avec une intégrale, c'est-à-dire on démontre (par exemple par un dessin) l'encadrement suivant, valable pour tout entier n > 1,

Par intégration il en résulte que

En faisant tendre n vers l'infini on conclût que la série converge si et diverge vers l'infini si

Question de colle :

Soit une série convergente. Est-il vrai que est également convergente ?

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.

Dans ma vie musique et mathématiques tiennent une place à peu près égale. Les deux me passionnent, me procurent du plaisir, m'étonnent toujours et font que je reste un éternel élève. Quand je dis aux gens que je partage mon temps entre musique et maths, ça ne les surprend pas ; les mathématiques et la musique seraient liées, disent-ils. Mais en quoi consiste ce lien ? Généralement on me donnne trois types de réponses :

1. La musique et les maths sont abstraites.
2. Les deux utilisent des systèmes de notation illisibles pour le commun mortel.
3. On y fait des calculs.

A mon avis tous ces points restent un peu à la superficie.

1. Oui, les maths sont abstraites car elles sont construites sur un système d'axiomes qui n'est pas imposé par l'observation de la nature (comme les lois physiques) mais par un choix arbitraire soumis seulement à la logique ; et la musique est abstraite car elle ne dit rien de concret (comme une pièce de théâtre) et car on ne peut pas la toucher (comme une sculpture).
2. Oui, les deux font recours à des systèmes d'écriture qu'il faut apprendre. Mais dans les deux cas la fixation par l'écrit n'est qu'un moyen et pas la finalité ; le théorème de Pythagore existe sans qu'un géomètre grec le trace dans le sable, et la musique existe pour être écoutée et non pour être lue. De plus, pas toutes les musiques sont écrites ; le solfège était inventé pour la musique classique européenne et ne se transpose pas forcément aux musiques d'autres cultures qui fonctionnent par transmission orale ou à la musique électronique de nos jours.
3. Oui, dans les deux on peut être amené à faire des calculs. Mais encore les calculs ou la combinatoire ne constituent pas la finalité, ni dans la musique sérielle ou dodécaphonique, ni dans une triple-fugue de Bach, ni chez Bartók quand il place le climax d'un mouvement au moment qui correspond au nombre d'or.

Toutes ces réponses oublient un point essentiel qui, à mon avis, caractérise à la fois les sciences mathématiques et l'art de la musique :

La polyvalence des objets, ou le changement de référence

Une grande partie du travail d'un mathématicien consiste à considérer un même objet mais sous plusieurs angles différents, puis de traduire les observations d'un point de vue à l'autre. Ce qui est étonnant c'est qu'on peut en tirer, de ce pur travail de traduction, des conclusions intéressantes ! Et la même chose est vraie en musique ; une même mélodie, un même rythme, une même harmonie peuvent être ça ou ça. Ca l'air assez flou, je vais m'expliquer sur des exemples simples.

Ca mais aussi ça — les maths comme la science des différents points de vue

Mon prof de physique avait l'habitude de se moquer des matheux qui, selon lui, ramènent tout énoncé à des affirmations triviales du genre 0 = 0. Il est vrai que les maths construisent un monde à partir de très peu. L'essentiel se fait en traduisant des différents points de vues. Proposons nous par exemple de prouver l'affirmation suivante.

Proposition sur l'orthocentre. Les hauteurs d'un triangle sont concourantes, c'est-à-dire se coupent en un point commun.

Les hauteurs se coupent en un point

Preuve. Soit ABC un triangle. Rappellons que, par définition, la hauteur issue de A est la droite passant par A et perpendiculaire à la droite (BC). Il ne faut pas la confondre avec la médiatrice sur [BC] qui, par définition, est perpendiculaire à [BC] et passe par le milieu de [BC].
Il est facile de voir que les trois médiatrices du triangle sont concourantes. En effet, la médiatrice sur [AC] est l'ensemble des points équidistants à A et C ; et de manière analogue c'est vrai pour les deux autres médiatrices. Donc le point d'intersection des médiatrices sur [AC] et [BC] est équidistant à A et C et à B et C, donc il est aussi équidistant à A et B. Par conséquence il se trouve sur la médiatrice sur [AB].
En fait, l'intersection des trois médiatrices est le centre du cercle circonscrit au triangle.

Les médiatrices se coupent au centre du cercle circonscrit

Maintenant revenons au problème de l'intersection des hauteurs. Nous construisons un nouveau triangle A'B'C' comme indiqué dans le dessin suivant.

Les hauteurs du petit triangle ABC sont les médiatrices du grand triangle A'B'C'

Les droites (AB) et (CA') sont parallèles ; de même (AC) et (BA'). Donc ABA'C est un parallélogramme, d'où l'égalité AB=CA'. De même on montre AB=B'C. Il en resulte que B'C=CA' ou encore que C est le milieu de [A'B']. Par conséquence la hauteur issue de C dans le triangle ABC coïncide avec la médiatrice sur [A'B'] du triangle A'B'C'. On peut faire le même raisonnement sur les deux autres hauteurs. Dire que les les hauteurs de ABC sont concourantes revient donc à dire que les médiatrices de A'B'C' sont concourantes — et nous savons que cette dernière affirmation est vraie, q.e.d.

Résumé. Les trois hauteurs d'un triangle sont aussi les médiatrices d'un autre triangle. L'essentiel de la preuve consiste en la traduction d'un point de vue dans l'autre. L'objet mathématique, ici une droite, peut être est ça, mais aussi ça. C'est de la pure ambivalence, et le mathématicien en est le traducteur !

Un autre exemple est celui du problème des fourmis sur une tige qui semble compliqué au premier abord, mais est finalement trivial si on change de référentiel.

Ca mais aussi ça — la musique comme l'art de l'ambivalence

Un exemple basique concerne le rythme. Beaucoup de compositeurs (notamment Brahms) utilisent le fait que le nombre six est 3+3 mais aussi 2+2+2. Pour ceux qui connaissent le solfège (et le calcul des fractions), cela se traduit par l'égalité 6/8=3/4. Par conséquence on peut très bien faire la contrebande de quelques mesures 3/4 dans un morceau 6/8, sans gêner le groove général de la musique (au contraire ça en rajoute). Je crois que l'exemple le plus connu est la chanson I like to be in America de la West Side Story de Leonard Bernstein.

Un autre exemple vient de l'harmonie. Comme nous venons parler de triangles en maths, parlons de triades (accord de trois notes) en musique. Prenons par exemple l'intervalle La-Do. Cette petite tierce peut faire partie de la triade La-Do-Mi (La-mineur) aussi bien que de la triade Fa-La-Do (Fa-majeur). C'est donc ça, mais aussi ça ! Une astuce des compositeurs est d'utiliser cette ambivalence au début d'une musique comme moyen de laisser l'auditeur dans le flou. Il ne sait pas si ça va aller vers mineur ou majeur ! Gustav Mahler le fait de manière géniale dans son fameux Adagietto (4^e mouvement de la cinquième symphonie). En plus, il nous trompe encore à l'arrivée avec une appogiature, c'est-à-dire il nous fait entendre simultanément les deux tonalités La-mineur et Fa-majeur, seulement la harpe et le pizzicato de la basse confirment avec la fondamentale qu'on est bien dans Fa.

Gustav Mahler : Adagietto de la 5ème symphonie

Pendant deux mesures l'auditeur craint d'être dans La-mineur, et quand il s'affirme finalement Fa-majeur, quelle satisfaction ! Vous pouvez l'écouter ci-dessous. Evidemment ce n'est qu'un exemple très basique et on en trouve beaucoup d'autres plus recherchés dans la littérature musicale (notamment les modulations ou l'enharmonie qui sont en analogie avec l'exemple des triangles cité en haut).

Ecouter cette musique ici.

Un dernier point commun entre maths et musique : c'est beau et ça ne sert à rien (enfin l'utilité n'est pas leur but premier). Mais une grande différence : les maths sont seulement belles pour ceux qui les font, tandis que la musique peut-être appréciée passivement.

D'ailleurs il y a des gens, plus formés que moi, qui réfléchissent aux liens structurels entre maths et musique et qui publient des recherches sérieuses sur ce sujet. De temps en temps je vais dans leur séminaire MaMuPhi à l'Ircam. Je me rappelle en particulier d'un exposé donné par le mathématicien et pianiste de jazz Guerino Mazzola ; il faisait le lien entre théorie des faisceaux et structure musicale. Je connais les faisceaux, je connais la musique, mais apparemment pas assez profondément pour avoir compris ces liens... Finalement, dans les deux domaines je ne suis qu'un working mathematician ou working composer qui ne se soucie pas trop des fondements souterrains ;-)

Citation de Paul Erdös (1913-1996)

Why are numbers beautiful? It's like asking why is Beethoven's Ninth Symphony beautiful. If you don't see why, someone can't tell you. I know numbers are beautiful. If they aren't beautiful, nothing is.

Tout le monde connaît les petites devinettes qu'on se pose lors (ou à la place) d'un dessert après un déjeuner frugal au restaurant universitaire. Voici une jolie devinette géométrique :

Sans lever la main, relier tous les neuf points suivants par quatre lignes droites.

°             °             °



°             °             °



°             °             °

Ce n'est pas si évident. La solution à voir dans le vidéo ci-dessous montre que nos habitudes nous empêchent de dépasser certaines limites...

MathOMan relie 9 points avec 4 droites

Souriante la petite Bin prend sa revanche et me lance le défi géométrique suivant :

Sans lever le stylo, tracer un cercle et son centre (pas plus).

Voici la vidéo où elle montre sa solution rusée à ce petit problème très troublant pour un spécialiste de la connexité.

Bin trace une cercle et son centre

Hier Pierre Lecomte a posé dans son blog un exercice sur des angles et la cotangente qui m'a inspiré la généralisation complexe suivante.

Notons

Question:
Déterminer les fibres de l'application définie par

Réponse:
Soit H est l'hyperplan de C³ d'équation u+v+w=1 et D_k, k=1,2,3, les droites

Notons D'₁=D₁\{(1,0,0)}, D'₂=D₂\{(0,1,0)}, D'₃=D₃\{(0,0,1)} les droites épointées. Alors l'image de f est

Les fibres de f en les points (1,0,0),(0,1,0) et (0,0,1) sont une union dénombrable de plans complexes (desquels on a enlevé des points isolés), tandis que la fibre en tout point de est discrète. Plus précisément, la restriction de f à est un revêtement au-dessus .

Preuve:
D'abord nous remarquons que la formule d'addition

peut s’écrire aussi comme Cela signifie que pour tout on a

Par conséquence l'image de f est contenue dans l'hyperplan H.
Soit maintenant .

• Premier cas: Alors et par conséquence et on a .
• Second cas: Supposons par l'absurde que la première coordonnée de est égale à 1. Ainsi et . Alors Par conséquence , c'est-à-dire . C'est une contradiction, car la cotangente est une application de sur

On vient de prouver que l'image de f ne contient pas la droite épointée D'₁, et par permutation des coordonnées elle ne contient ni D'₂ ni D'₃. Les seuls points de l'image de f ayant une coordonnée 0 ou 1 sont les trois points (1,0,0), (0,1,0) et (0,0,1). On vient aussi de voir que la fibre en (1,0,0) est

De même on obtient les fibres en (0,1,0) et (0,0,1) par permutation des coordonnées.

Montrons maintenant que la restriction de f réalise un revêtement au-dessus Notons arccot la fonction réciproque de la cotangente. C'est une fonction analytique multivaluée sur , primitive de s=-dz/(1+z²). On remarque que le résidu de s en i (resp. -i) vaut i/2 (resp. -i/2). Donc un petit tour dans le sens positif autour de +i (resp. -i) ajoute (resp. ) à la détermination de arccot.
Soit (u,v,w) dans H tels que u>0, v>0 et w>0. En résolvant l'équation on trouve:

Cette formule (*) se prolonge analytiquement sur tout Pour voir cela il suffit de vérifier que les valeurs des racines évitent les points ±i où arccot n'est pas défini. Supposons par l'absurde que (vw/u)^½=±i. Alors vw/u=-1. Avec l'égalité u+v+w=1 cela implique v=1 ou w=1. Donc (u,v,w)=(0,1,0) ou (0,0,1), points qui ne sont pas dans Le prolongement analytique est donc possible, on obtient bien un revêtement, ce qui termine la preuve.

Si u fait un petit tour autour de 0 alors la détermination de la racine change de + en -. Vu que pour tout réel x on a on obtient alors l'autre solution

Regardons le cas particulier où on prolonge (*) d'un point (u,v,w) dans H avec u>0, v>0, w>0 vers un point (u',v',w') dans H avec u'<0, v'<0, w'>0. Essentiellement il y a à choisir entre deux types de chemins:

• Dans le plan de la variable u on fait un petit demi-tour (sens positif) autour de l'origine et dans le plan des v on fait la même chose. (Le point w reste proche de 1.) Le prolongement de (*) le long de ce chemin aboutit à
  (I)    
• La variable u fait un petit demi-tour autour de l'origine et v fait la même chose mais dans le sens opposé. Le prolongement de (*) le long de ce chemin aboutit à
  (II)    

Evidemment ces deux formules n'ont pas besoin de prolongement analytique pour être démontrées. Si la formule (I) donne un triplet de somme alors la formule (II) donne un triplet de somme

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.

Matthias Wandel est le fils d'un éleveur de vaches allemand qui a émigré au Canada en 1980 avec sa famille. Il construit des choses fabuleuses en bois (notamment la calculatrice binaire en bois), mais il programme également des jeux en ligne, comme par exemple The Eyeballing Game.


On peut y entraîner sa vision approximative en géométrie plane. Les huit épreuves proposées sont les suivantes.

• Ajuster un sommet pour obtenir un parallelogramme,
• trouver le milieu entre deux points,
• trouver la bissectrice d'un angle,
• placer le centre d'un triangle (centre du cercle inscrit, l'intersection des bissectrices),
• trouver le centre d'un cercle,
• former un angle droit,
• placer l'intersection de trois droites concourantes.

En principe, ce sont toutes des constructions géométriques qu'un élève de collège peut réaliser à la règle et au compas. Or ici il ne s'agit pas d'ancrer votre compas sur votre écran d'ordinateur LCD et y percer des trous, mais d'essaier de trouver à l'oeil nu le point demandé. Vous devez jouer trois tours pour obtenir un score final; vous allez voir que vous vous améliorez à chaque tour. Pensez à enfoncer la souris, puis à la relacher à l'endroit souhaité (vous ne pouvez plus corriger après).

Le score est mesuré en écarts (pixels) entre votre résultat et le vrai — donc plus bas mieux c'est. Mon score total des trois tours était de 5,05 (ma meilleure réponse était de 0,2). C'est un résultat très moyen... pas terrible pour un mathématicien! Ma seule excuse: je suis myope et astighmate ;-)

Apparemment la question sur un pavage de rectangles posée ici il y a quelques jours est stimulante. Après la solution par produit tensoriel, voici une autre qui repose sur une activité habituellement réservée aux enfants: le coloriage. (Les matheux ne sont que de grands enfants !) Merci à David Caisson qui m'a envoyé cette solution extraite du livre Solving Mathematical Problems de Terence Tao.

L'idée de T. Tao est aussi simple que belle: on colore en vert tous les rectangles ayant un côté horizontal entier, et en rouge tous les autres rectangles. Un argument topologique de connexité nous assure alors que dans le grand rectangle on peut relier les deux côtés verticaux par un chemin vert ou les deux côtés horizontaux par un chemin rouge. (Pour ceux qui ne connaissent pas encore la notion de connéxité : c'est une sorte de théorème des valeurs intermédiaires qui dit que deux lignes reliant les côtés opposés se coupent forcément). Or un chemin vert consiste en la juxtaposition de rectangles verts, donc sa longueur horizontale est entière; et de manière analogue pour un chemin rouge.

Vous pouvez lire la solution complète ici.

Cette "solution" m'a laissé perplexe car sur les trois premières pages l'auteur n'avance pas beaucoup, puis au tout dernier paragraphe il évoque, sans les traiter, quelques obstacles qui pourraient éventuellement se poser. Et avec un peu d'esprit critique on trouve que la démonstration est fausse! Voici un contre-exemple.

 

 
La largeur est 4 et la hauteur est 3,5. Pourtant il n'y a pas de chaîne verte mais seulement une chaîne rouge dont on ne peut rien déduire sur la hauteur (car elle possède des décalages) ni sur la largeur (car les rectangles rouges n'ont pas de largeurs entières).

Mais Terence Tao ne serait pas Terence Tao, porteur de la Médaille Fields 2006 (sorte de prix Nobel pour mathématiciens), si l'idée de sa preuve était entièrement fausse ! En effet, après une petite recherche sur internet, je me rends sur son blog personnel et j'y trouve une liste d'errata où il corrige, entre autres, cette preuve. Voici l'amélioration qu'il apporte:

On colore les rectangles comme avant, mais seulement leurs intérieurs. Ensuite on colore en vert les côtés verticaux ouverts, et le reste en rouge.

Maintenant mon contre-exemple ne résiste plus! On peut relier les deux côtés verticaux par un chemin vert.


 
Pourquoi cette démonstration améliorée fonctionne-elle ? Et bien, lorsqu'on parcourt un chemin vert disons, alors chaque fois qu'on quitte un rectangle vert pour passer dans un autre, ça se fait sur un segment vertical dont l'abscisse est un entier.

Voilà donc une jolie solution purement topologique, sans analyse. Je ne pense pas qu'elle s'adapte aux dimensions supérieures.

Récemment j'ai regardé, comme tout bloggeur qui se respecte, les statistiques de ce blog MathOMan. J'étais curieux de savoir de quels pays viennent mes visiteurs et via quelles pages web intermédiaires ou grâce à quels mots clé ils arrivent sur mon site.

Pour les non-initiés : un mot-clé (en anglais keyword) est un mot ou une combinaison de mots que vous rentrez dans un moteur de recherche.

La majorité des visiteurs de ce blog viennent de la France, du Canada et des pays francophones d'Afrique. En regardant de plus près dans Network Location j'ai pu constater que le Ministère de l'éducation nationale rend visite à MathOMan presque tous les jours ouvrés de la semaine. Je suppose qu'il s'agit là d'une procédure standard visée à vérifier que les enseignants n'écrivent pas trop de bêtises sur leurs blogs.

Les mots clés les plus fréquemment cherchés par les internautes arrivés sur MathOMan concernent les mathématiques élémentaires, comme par exemple :

• comment trouver le centre d'un cercle
• comment calculer un pourcentage
• calculer une circonférence
• algebre pour les nuls

Pour que ces gens ne restent plus sur leur faim ici, je vais ouvrir prochainement une nouvelle catégorie de billets intitulée Les Maths pour les Nuls !

Evidemment il y a actuellement beaucoup de recherches du mot clé "sujet de bac mathématiques". D'autres mots clé sont très amusants, pour diverses raisons, soit par leur combinaisons insolites, soit par le côté existentiel (comme le no.4 ci-dessous), soit par l'impossibilité de trouver une réponse à cette question (comme le no.5) :

1. blog ennuyeux
2. comment etre elégante en classe
3. pourquoi pas de belle fille en math spé
4. faire des math ou pas
5. comment trouver le centre d'un cercle juste avec un compas
6. comment faire un piege a oiseau qui marche
7. piege a oiseaux sans piege
8. thèse doctorat reggae
9. ils ne comprennent rien il n'apprennent jamais
10. combien en fraction le nombre de gens qui parlent existent ?
11. comment resoudre une equation du premier degre sans pi
12. jean dieudonné: quelle distance a-t-il parcouru ?
13. apprendre beaucoup en peu de temps
14. bien gerer son bac avec humour
15. komen reusir le bac san travailé
16. avec quelle musique faire des maths ?
17. comment etre un bon eleve dans la classe
18. comment calculer comment sa nous prend pour passer avec un pourcentage
19. insecte laid qui ressemble a une fourmi transparent
20. je veux qu'on me calcule cet exercice
21. comment faire une opération de transformation un homme en une femme
22. peut on réapprendre les maths à quarante ans
23. qui fait les math à ma place
24. demontrer de fausses égalités mathématiques
25. elle est ferme
26. image filles sur canapé
27. colloque proust contrepeterie
28. les étudiants ne savent plus faire une équation
29. exercice pour avoir le prix nobel en maths
30. apres combien de temps un chien oublie son maitre
31. comment tracer une droites concourantes
32. apprendre la corégraphie de nobody's perfect
33. je suis aller au collège cette année, un jour, malheureusement, nous avons un problème dans le français le plus de mes leçons que nous ne comprenons pas ce que je dois faire des contrôles
34. combien de temp deux chien son coller après avoir fait l'amour
35. comment trouver le mot je t'aime en math
36. comment être une fille amusante
37. comment aimer son mari
38. maths et masturbation
39. extrait x les petit nin avec femme
40. femme qui fait l'amour avec un chien
41. anssienne metode de multiplication
42. alain conne salaire
43. les 3 connes streaming
44. comment écrire (a+b)² sous la forme d'un produit de deux facteurs
45. franque du bosque
46. ou faire virifier c'est fiche de paye

Je lance un défi aux lecteurs de ce blog : trouvez les réponses les plus insolite à ces questions !

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