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.

Les photos de mon précédent billet sur l'estimation de la circonférence m'ont fait penser à un autre pari que vous pouvez très probablement gagner. Posez à vos amis la question suivante :

On dispose de deux verres, l'un contient de la bière et l'autre la même quantité de vin. On prend une culliérée de bière et on la met dans le vin ; puis on refait l'inverse, c'est-à-dire on prend une culliérée de ce mélange vin-bière et on le remet dans le verre contenant la bière. Maintenant la bière est polluée par un peu de vin et, dans l'autre verre, le vin est pollué par un peu de bière. Où est-ce que la pollution est plus forte, dans le verre à bière ou dans le verre à vin ?

Dans ma cuisine je trouve ce récipient de sel cylindrique. Qu'est-ce qui est plus long, sa hauteur ou sa circonférence ?

Comparons ! La hauteur est bien inférieure à l'écart que je peux faire entre mon pouce et mes doigts ; en revanche, je n'arrive pas à joindre mes doigts autour du périmètre. Donc, à ma grande surpise, la circonférence de ce cylindre est bien plus grande que sa hauteur.

Nous avons tous appris à l'école que pour calculer la circonférérence d'un cercle on multiplie son diamètre par ce fameux nombre qui vaut approximativement 22/7. Et comme 22/7 est bien plus grand que 3, la circonférérence est supérieure à trois fois le diamètre. Si l'on garde cela à l'esprit, alors notre mesure ci-dessus n'est plus si surprenante !

La plupart des personnes se trompent avec ce type d'estimation et diront que la hauteur est plus grande. Le soir au bar, vous pouvez parier une bière avec vos amis en posant la même question sur la hauteur et le périmètre d'un verre de bière. Puis vous utilisez par exemple une serviette pour comparer les deux longueurs comme ci-dessous. C'est sûr que vous allez gagner !

La hauteur est...	...inférieure à la circonférence.	Mathoman gagne une bière !

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 !

Je collectionne constamment des exercices de maths intéressants et accéssibles aux élèves niveau prépa ou licence. On en trouve beaucoup dans les livres, sur internet, sur les vieilles feuilles d'exercices de ses propres professeurs... et quelques fois en invente soi-même ! Voici une question intéressante qui m'est venue le week-end dernier. La solution que j'ai trouvée ne nécessite pas de grand théorème, il faut seulement bien maîtriser ses connaissances élémentaires en algèbre linéaire :

Quel est le plus grand entier k tel que tout sous-espace affine de codimension k dans l'espace des matrices n x n contient une matrice inversible ?

Rappel : la codimension d'un sous-espace est la différence entre la dimension de l'espace ambiant et la dimension du sous-espace. Autrement dit, c'est le nombre d'équations nécessaires pour décrire le sous-espace (car chaque équation enlève un degré de liberté). Par exemple, dans l'espace habituel à trois dimensions la codimension d'une droite est 2, celle d'un plan est 1.

Le Musée de l'histoire de la science à Oxford possède une collection de tableaux noirs qu'on a oublié d'effacer. Comme par exemple celui-ci d'Albert Einstein :

Je suis touché par l'écriture un peu infantil de ce grand génie. Malheureusement je ne comprends pas grande chose de ce qu'il a noté... Et pourquoi d'une ligne à l'autre la fraction change-t-elle en  ? Peut-être un physicien peut nous éclairer !