Math 'O Man : le Blog des Maths

Hand waving et dessins en mathématiques



Par MathOMan, samedi 20 septembre 2008 à 20:15 - Maths pour tous - Tags - RSS

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.



Partagez-le sur Facebook Tweetez-le ! S'abonner à ce blog ? Envoyer cet article à un ami ? Le soumettre à Netvibes Ajoutez-le à Google Bookmarks

Commentaires


1. Le vendredi 3 octobre 2008 à 09:57, par Achim Wirth

"la précision totale": Il faut quand même dire que une "pécision totale" n'existe pas même en mathématiques.

2. Le vendredi 16 juillet 2010 à 17:06, par Hicham YAMOUL

Plus généralement que la technique de Hand waving, dans la plupart des explications en mathématiques, on fait appel au sens commun qui reflète l'intuition derière la verité qu'on veut éclaircir, or les mathématiques contemporaine offre un certain nombre de structures dont l'imagination fut le premier ingredient pour les concevoir, cette imagination consiste, en vue de résolution d'un problème, à combiner de façon adéquate diverses structures, l'imagination est alors un moyen pour concevoir les vérités mathématiques qui sont généralement de caractère abstrait, l'abstraction ici continue ce qu'a déjà commencé l'intuition, les dessins en mathématiques peuvent donc être des pas audacieux pour poursuivre le chemin vers plus d'abstraction et plus de généralisation.


Ajouter un commentaire

Pourquoi ne pas lire aussi :


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

Par Mathoman, samedi 6 septembre 2008 à 21:28 - Maths pour matheux - Tags

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.

7 commentaires

Torsion du bras - le groupe fondamental de SO(3)

Par Mathoman, vendredi 7 novembre 2008 à 15:25 - Maths pour matheux - Tags

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!



Bizarre... La tasse de café retrouve sa position initiale après le premier tour. Ca semble évident car une rotation par 360° revient à faire une rotation de 0°. Mon bras, en revanche, a besoin de deux tours, c'est-à-dire 720°, pour retrouver sa position initiale.

Le secret de tout ça réside dans le groupe fondamental de SO(3). Le groupe fondamental est constitué des lacets (chemins fermés) — plus précisément des classes d'homotopie de lacets, deux lacets étant dit homotopes si on peut déformer l'un dans l'autre de manière continue.

Le problème est donc de savoir si l'on peut passer continûment d'un lacet dans l'espace des rotations à un autre. C'est une question de topologie non-triviale. Il se trouve que, contrairement a ce que nous dit notre intuition, une rotation de 360° n'est pas équivalente à pas de rotation! C'est profondement incompréhensible à premier abord. Il faut une rotation de 720°.

Explication (par handwaving en prose)

Pour ce qui suit il faut avoir compris que SO(3) peut être vu comme la boule d'unité (de l'espace ambiant à trois dimensions) après identification des antipodes sur la sphère — voir le billet sur le groupe de rotation SO(3) pour les détails.
  • Choisissons deux antipodes P et Q sur la sphère et notons g le chemin qui va de P à Q en ligne droite. Or g est un lacet dans SO(3) à cause de l'identification des antipodes. Plus précisément, il s'agit des rotations atour de l'axe fixe (PQ) commençant avec l'angle -180° et finissant avec l'angle 180°. Ce lacet g représente donc précisément un tour de la tasse de café.
  • Soit h un demi-cercle sur la sphère, allant de P à Q. Il est clair qu'on peut déformer g continûment en h. En termes d'homotopie on a alors g=h.
  • Considérons le demi-cercle h' allant de Q à P qui complète h en un cercle entier. Maintenant vient le point crucial: le cercle entier h+h' est homotope au lacet constant, car on peut le "rétrécir en un point''.
  • D'autre part il est clair que, par identification des antipodes, h et h' sont deux lacets identiques dans SO(3). Nous obtenons ainsi 2g=2h=h+h'=0 dans le groupe fondamentale de SO(3).
Ainsi nous avons montré que 2g=0, c'est-à-dire un tour de 720° du bol de café se déforme continûment au tour nul, ce qui permet à mon bras de se remettre en place.

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

3 commentaires

Cercle, ellipse et suite d'éclats

Par Mathoman, samedi 15 mai 2010 à 11:20 - Maths et les arts - Tags

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. On peut réaliser cette illusion optique dans son propre appartement ; voici une vidéo avec un cube.

illusion optique en art
Felice Varini : Quatre cercles dansants

illusion optique en art
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 !

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

artiste d'illusion optique
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...

1 commentaires

Pourquoi je demande à tracer des courbes à la main

Par Mathoman, lundi 4 octobre 2010 à 10:10 - Enseigner les maths - Tags

Personnellement je pense que les calculatrices et TICE (Technologies de l'information et de la communication pour l'éducation) devraient être utilisées avec prudence dans les cours de mathématiques. La raison est simplement que ça va trop vite pour qu'un élève ou étudiant comprenne les nouvelles notions qu'il rencontre. C'est à nous, les enseignants, de choisir des exemples numériques où les calculs ne se compliquent pas trop et qui font dégager l'essentiel. Le danger des TICE c'est que souvent elles font primer la quantité sur la qualité. Or je pense qu'un élève qui trace lui-même sur sa feuille cinq paraboles bien choisis va comprendre plus de choses que s'il en voit vingt paraboles défiler sur un écran.

Le fait que beaucoup de bacheliers quittent l'école sans maîtriser les fondements en calcul a été (et est toujours) discuté amplement dans ce blog. Aujourd'hui je veux insister sur un autre point, la capacité de tracer à la main les courbes de fonction simples. Dans mes cours sur les fonctions trigonométriques j'insiste sur des dessins soignés des fonctions sinus, cosinus, tangente, arcsinus, arccosinus et arctangente dans une repère orthonormé. Je fais ces dessins au tableau et je passe dans les rangs pour vérifier si les étudiants les ont bien faits ; si ce n'est pas le cas je leur demande de les refaire chez eux.

Evidemment le dessin ne peut pas être aussi précis que celui qui sort d'un ordinateur. Mais en insistant sur deux choses on arrive quand même à un tracé correct :

  • Utiliser quelques valeurs particulières. Par exemple la courbe de la tangente passe par le point de coordonnées (\frac\pi4,\,1). Et afin de trouver pour l'abscisse la valeur approximative 0,8 un étudiant faible doit déjà réfléchir un peu...

  • La pente de la tangente à l'origine du sinus est sin'(0)=cos(0)=1. Placer des petits traits de pente 1 ou -1 aux points où le sinus s'annule est un bon réflexe qui permet d'augmenter sensiblement la précision du tracé de la courbe. En même temps cela rappelle la notion de la dérivée comme taux d'accroissement local...

D'ailleurs, j'ai un message à passer aux professeurs de math au collège et lycée : Travaillez moins ! Ne me comprenez pas mal ;-) Par cela je veux dire que les professeurs ne devraient plus faire le travail à la place de leurs élèves et donc ne plus fournir de repère prêt-à-utiliser sur la feuille d'énoncé. Déjà le choix d'une repère est un tâche intellectuelle importante à accomplir par l'élève : quelles échelles sur les deux axes sont adaptées à mon graphique ? quelle région veux-je représenter ?

Vu le nombre de bacheliers S qui ont du mal à dessiner correctement en moins d'une minute une parabole comme y=½(x-1)²+1 il serait souhaitable de revenir à ces concepts qui ont l'air vieux-jeu mais en réalité ne le sont pas car celui qui les a compris a compris bien plus que de faire un simple dessin.
Déjà au collège quand on trace la parabole standard y=x² à la main c'est l'occasion de comprendre plein de choses, comme par exemple que x<x² lorsque x est plus grand que 1, tandis que x>x² lorsque x est compris entre 0 et 1.

Le tracé d'une courbe doit si possible faire apparaître les propriétés essentielles, comme les intersections avec les axes, les pentes en ces intersections, les extréma, des éventuels asymptotes,...
Si l'on négligence ces choses-là ça donne des intersections fantaisistes entre la courbe de la fonction tangente et celle de sa réciproque, enseignées aux étudiants d'un établissement d'enseignement supérieur américain réputé d'être l'un des meilleurs du monde (rang 4 au classement de Shanghaï 2010) :

erreur dans le dessin
Cours filmé au MIT — Tracés complètement faux de tan et arctan !

Heureusement le reste de ce cours pris en vidéo semble de meilleure qualité.

Question pour mes étudiants : Cherchez l'erreur !

Cet enseignant a probablement vu trop d'images dans des repères à échelles distinctes sur l'abscisse et l'ordonnée, comme celle-ci au lieu de celle-là. C'est d'ailleurs la raison pour laquelle je demande toujours de tracer les fonctions trigonométriques dans un repère orthonormé.

3 commentaires

Maths tordues ou tortues ?

Par Mathoman, vendredi 17 octobre 2008 à 13:45 - Sujets hors sujet - Tags

Définition (selon Wikipédia) : Un Gömböc (mot hongrois) est un corps homogène tridimensionnel convexe comportant un unique point stable et un unique point instable d'équilibre. Posé n'importe comment, il revient toujours à la même position.

La question de trouver un tel corps fût posée par le mathématicien russe Vladimir Arnold et était résolue l'année dernière par deux mathématiciens hongrois. La vidéo suivante montre que certaines tortues ont une carapace qui ressemble à un Gömböc.

Et pour finir avec la même espèce animal voici un très beau dessin connexe (dessiné d'un seul trait) par un artiste de Vanuatu (république en Océanie), spécialisé en dessins de sable. Il part d'une simple grille de référence, donc avec un cahier d'école on devrait pouvoir y arriver... Tout le monde peut s'y entraîner durant des leçons ou séminaires ennuyeux (-;

aucun commentaire

Les mathématiques passives n'existent pas

Par Mathoman, jeudi 17 septembre 2009 à 15:17 - Maths pour tous - Tags

Le grand chercheur Alain Connes (géométrie non-commutative, médaille Fields) a donné un entretien très intéressant sur sa vie, la recherche et l'enseignement des mathématiques. Des extraits de cet entretien sont disponibles en streaming sur le site internet d'Arte.

Pour les visionner cliquez ici.

Une phrase m'a particulièrement marqué :

On ne peut pas comprendre les mathématiques sans les faire.
Je suis complètement d'accord. Les mathématiques passives n'existent pas. Il est possible d'apprendre la compréhension d'une langue étrangère en regardant suffisamment la télé dans cette langue ; on peut alors atteindre un degré pour suivre plus ou moins ce qui est dit sans maîtriser activement la langue.
Mais en mathématiques cela ne marche (malheureusement) pas. L'apprenti mathématicien peut aller dans tous les cours et écouter attentivement ce que dit son professeur, mais s'il ne se confronte pas régulièrement à des exercices il sera vite perdu et ne comprendra plus rien ;-)

4 commentaires

Forum Emploi Mathématiques

Par Mathoman, lundi 23 janvier 2012 à 09:41 - Maths et société - Tags

Il y a un peu plus d'un an je parlais ici pourquoi après le bac j'ai choisi d'étudier les mathématiques. Et quelques lecteurs ont apporté leurs propres témoignages. Pour la plupart c'était un choix de passion, pas de raison. En fait, les études de math, en particulier les deux premières années, demandent un tel effort pour comprendre ce nouveau langage qu'il est difficilement imaginable que quelqu'un le fasse juste pour obtenir un diplôme. (Diplôme qui, en France, peine à être valorisé en dehors des institutions universitaires ou de recherche. Dans d'autres pays comme l'Allemagne c'est bien différent.) En plus, le métier d'un mathématicien peut être difficilement expliqué à des non-mathématiciens ce qui fait que pour un bachelier ça reste plutôt mystérieux...
Mais les temps évoluent, les mathématiques se diversifient et envahissent de plus en plus d'autres branches de sciences et technologies. Par conséquence le monde de l'industrie s'ouvre de plus en plus aux diplômés en mathématiques et c'est pour cette raison que la SMAI organise 1er Forum Emploi Mathématiques qui se tiendra jeudi 26 janvier 2012 à Paris. Conseil à tous les étudiants en maths: inscrivez-vous!

aucun commentaire

Sujets et corrigés de bac

Par Mathoman, mardi 2 septembre 2008 à 22:40 - Apprendre les maths - Tags

Voici quelques sujets et corrigés de baccalauréat classés selon l’année et la série. Cette liste grandira avec le temps, donc n’hésitez pas à revenir pour la consulter. Sur la page “préparer son bac” vous trouverez quelques suggestions pour mieux réussir.

Annales bac mathématiques & corrections

Avril 2009 Pondichéry Série ES Sujet du bac ES mathématiques Corrigé
Juin 2008 France Série S Sujet du bac S mathématiques Corrigé
Juin 2008 Asie Série S Sujet du bac S mathématiques Corrigé
Juin 2006 France Série L Sujet du bac L mathématiques-informatique Corrigé

Si vous constatez une erreur, contactez-moi via le formulaire ci-dessous !

aucun commentaire

Peut-on relier deux points par un chemin injectif ?

Par Mathoman, lundi 8 juin 2009 à 15:00 - Maths pour matheux - Tags

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 \mathbb{R}^n 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 \varphi\;:\; (U,y) \rightarrow (B(1),0).

    • Si x\in U alors U\subset E 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 \varphi^{-1}(B(r))\subset E. On sait déjà qu'il existe un chemin injectif \lambda\::\:[0,1] \rightarrow M tel que \lambda(0)=x et \lambda(1)=y. L'ensemble \varphi^{-1}(\overline{B}(r)) 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 \lambda^{-1}(\varphi^{-1}(\overline{B}(r))) est fermé dans [0,1] et possède donc un plus petit élément t_0. On a l'inégalité t_0>0 car \lambda(0)=x\not\in U.

      Le point \varphi(\lambda(t_0)) ne peut pas être contenu dans la boule ouverte B(r), sinon \varphi(\lambda(t_0-\epsilon)) le serait également pour \epsilon>0 assez petit, contrairement à la définition de t_0. Donc \varphi(\lambda(t_0)) est sur le bord de la boule B(r). Par construction on peut relier injectivement \lambda(t_0) à tout point de \varphi^{-1}(B(r)) sans rencontrer \lambda([0,t_0[). En juxtaposant ces deux chemins, on relie donc injectivement x à n'importe quel point de \varphi^{-1}(B(r)). Donc \varphi^{-1}(B(r)) est un voisinage ouvert de y contenu dans E.

      Faire des dessins en maths, ça aide !


  • 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 \varphi\;:\; (U,y) \rightarrow (B(1),0). 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 U\cap E. Pour r=||\varphi(z)|| on a 0<r<1. Il existe un chemin injectif \lambda\::\:[0,1] \rightarrow M allant de x à z. L'ensemble
      K=\lambda([0,1])\cap\varphi^{-1}(\overline{B}(r))
      est compact car c'est l'intersection d'un compact et d'un fermé. (Pour voir que \varphi^{-1}(\overline{B}(r)) est fermé on utilise, comme en haut, le fait que M est séparé.)
      Parmi tous les points du compact \varphi(K) il existe un ayant norme minimale. Nous notons w ce point et \lambda(t_0) son correspondant sur la variété (toujours via la carte \varphi). Clairement \lambda(t_0)\neq y. D'une part on a la restriction de \lambda à [0,t_0] 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.

      Les illustrations en mathématiques, ça facilite la compréhension

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 \:]-\infty,-1[\,\cup\,]1,+\infty[\,\cup\,\{0'\}\: n'est pas ouvert.

Remarque 2 :

On est tenté de dire que \varphi^{-1}(\overline{B}(r)) est fermé comme image réciproque d'un fermé par une application continue. Mais cela serait faux ! En effet, \varphi est seulement définie sur U et pas sur toute la variété M. On peut donc dire que \varphi^{-1}(\overline{B}(r)) 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 :

\overline{B}(r) compact dans B(1),
donc \varphi^{-1}(\overline{B}(r)) compact dans U,
donc \varphi^{-1}(\overline{B}(r)) compact dans M,
donc \varphi^{-1}(\overline{B}(r)) fermé dans M (séparé).

3 commentaires

Lundi matin: petite leçon amusante de calcul

Par Mathoman, lundi 13 octobre 2008 à 11:09 - Humour - Tags

Pour nous reveiller commençons la semaine par une petite révision de calcul! Il s'agit d'un cours amusant et pas trop difficile. Il ne faut pas avoir la bosse de maths pour le réussir, juste un peu d'imagination. Tout le monde peut y participer, car on peut le faire avec le programme de mathématiques que nous avons tous appris à l'école. Voici donc ce petit cours de maths agrémenté de quelques exercices:

Leçon et questions: Maths pour les génies (cliquez)

C'est un document powerpoint — après l'avoir ouvert utilisez les flèches de votre clavier pour avancer.

aucun commentaire