Klein Félix

En 1872, à Erlangen, Félix Klein propose de regarder les géométries autrement. Au lieu de les opposer, il demande quelles transformations laissent certaines propriétés inchangées. Déplacer ou tourner un triangle, par exemple, ne modifie ni ses longueurs ni ses angles. Ces propriétés conservées sont des invariants.

Cette idée relie géométrie et théorie des groupes. Elle fournit un cadre commun pour classer les géométries euclidienne et non euclidiennes. Le nom de Klein reste aussi associé à une étonnante surface fermée sans bord : la bouteille de Klein.

Felix Christian Klein (1849-1925) est un mathématicien allemand. Formé à l'université de Bonn sous la direction de Julius Plücker, spécialiste de géométrie projective, il soutient son doctorat en 1868. Il enseigne ensuite à Erlangen, Munich, Leipzig et Göttingen.

Son discours inaugural de 1872 expose le programme d'Erlangen. Pour un ensemble géométrique donné, on choisit un groupe de bijections, c'est-à-dire des transformations réversibles que l'on peut composer. La géométrie étudie alors les propriétés qui restent inchangées sous toutes ces transformations. Ces propriétés sont les invariants du groupe choisi. Changer de groupe change donc les propriétés pertinentes et permet de classer ou de comparer les géométries euclidienne et non euclidiennes dans un même cadre. Le programme de Klein fournit ainsi un cadre unificateur ; les travaux axiomatiques publiés par Hilbert en 1899 constituent un jalon distinct.

Klein contribue aussi aux fonctions elliptiques et automorphes. Il cofonde les Mathematische Annalen, devenues une référence en analyse complexe et en géométrie algébrique. Soucieux d'enseignement, il promeut le calcul différentiel et intégral au secondaire, préside la Commission internationale de l'enseignement des mathématiques et dirige notamment la thèse de Grace Chisholm Young. En 1882, il décrit la bouteille de Klein, surface fermée sans bord, qui n'a ni intérieur ni extérieur au sens habituel.

Prenons un triangle dont les sommets sont P(0, 0), Q(3, 0) et R(0, 4). Ses côtés mesurent 3, 4 et 5 unités. On lui applique une rotation d'un quart de tour dans le sens antihoraire, puis une translation de 6 unités vers la droite et de 1 unité vers le haut. La transformation, pour un point de coordonnées x et y, est $T(x,y)=(-y+6,x+1)T(x,y)=(-y+6,x+1)$.

1. Le sommet P devient P′(6, 1).
2. Le sommet Q devient Q′(6, 4).
3. Le sommet R devient R′(2, 1).
4. Les longueurs transformées valent P′Q′ = 3, P′R′ = 4 et Q′R′ = 5 unités.

Le triangle a changé de position, et ses côtés de direction dans la feuille, mais ses trois longueurs restent 3, 4 et 5 unités. Un contrôle direct confirme le côté oblique : $\sqrt{(6-2{)}^2+(4-1{)}^2}=5\backslash sqrt\{(6-2)^2+(4-1)^2\}=5$. Les distances sont donc invariantes sous cette transformation euclidienne, ce qui illustre le geste du programme d'Erlangen.

Pour comparer deux figures euclidiennes, on cherche une transformation qui fait coïncider leurs points. Si une rotation ou une translation suffit, les longueurs et les angles fournissent des contrôles observables.

Pour classer une question géométrique, on précise d'abord les transformations admises. Une propriété conservée par ce groupe devient pertinente ; une propriété qui varie doit être remplacée par un invariant adapté.

Pour aborder l'œuvre de Klein, le programme d'Erlangen éclaire son projet d'unification. La bouteille de Klein relève d'un autre pan de son héritage et sert à examiner une surface fermée sans bord.

Dans l'enseignement, son parcours montre aussi un engagement institutionnel : promotion du calcul différentiel et intégral au secondaire, présidence d'une commission internationale et soutien à l'ouverture universitaire aux femmes.

Félix Klein et le programme d'Erlangen. Klein est la personne ; le programme d'Erlangen est le texte qu'il présente en 1872. Une recherche biographique porte sur sa carrière et ses travaux, tandis qu'une recherche sur le programme porte sur la classification des géométries par leurs invariants.

Félix Klein et la bouteille de Klein. La bouteille est une surface décrite par Klein en 1882, non un résumé de son œuvre. Si la question concerne une surface fermée sans bord, c'est la bouteille qu'il faut étudier ; si elle concerne l'unification des géométries, c'est le programme d'Erlangen.

Géométrie projective et programme d'Erlangen. La première appartient à la formation reçue par Klein auprès de Julius Plücker. Le second fournit un cadre de comparaison entre différentes géométries. Le nom d'une géométrie particulière ne désigne donc pas le projet de classification lui-même.

Le mot « invariant » n'a de sens qu'après avoir fixé le groupe de transformations. Dans l'exemple du triangle, les coordonnées changent, alors que les distances restent identiques. Avec un autre groupe, il faut reprendre la vérification au lieu de conserver automatiquement la même liste d'invariants.

Une transformation du programme d'Erlangen est une bijection : elle doit être réversible. Une opération qui écrase plusieurs points sur un seul n'entre pas dans ce cadre précis. Le symptôme est l'impossibilité de retrouver le point de départ ; il faut alors choisir un autre cadre d'étude.

La bouteille de Klein abstraite est une surface fermée sans bord. Dans l'espace euclidien à trois dimensions, une représentation matérielle doit s'auto-intersecter. Cette intersection visible ne doit donc pas être prise pour un bord ni pour une propriété intrinsèque de la surface.

Les jalons historiques ne se confondent pas : le doctorat date de 1868, le programme d'Erlangen de 1872, la description de la bouteille de Klein de 1882 et l'axiomatisation par Hilbert de 1899. Les regrouper sous une seule date effacerait des résultats distincts.

Erlangen (programme d') — Pour approfondir la classification des géométries par les groupes de transformations et leurs invariants.

Le programme d'Erlangen — Pour replacer le discours de 1872 dans son projet d'unification géométrique.

bouteille de Klein — Pour examiner la surface fermée sans bord et la difficulté de sa représentation en trois dimensions.