Netto Eugen

Imaginez un segment et une surface carrée. En 1878, Cantor avait établi qu’il est possible d’associer chaque point du segment à un point du carré, sans répétition ni oubli.

Eugen Netto a montré en 1877 que cette association ne peut pas rester continue. Concrètement, si deux points du segment sont très proches, une application continue devrait envoyer leurs images vers des points qui restent proches dans le carré. Pour couvrir toute la surface avec un trajet continu, il faudrait alors repasser par des points déjà atteints ou replier le trajet ; la correspondance perdrait sa propriété de bijection. Une bijection peut donc faire correspondre exactement les points de deux espaces tout en ne préservant pas leurs voisinages au sens topologique.

Eugen Netto (1848-1919) est un mathématicien allemand, principalement associé à la théorie des groupes et à l’analyse. Ses travaux s’inscrivent aussi dans la compréhension topologique des espaces de dimension supérieure.

Une bijection est une application qui associe chaque élément d’un ensemble à un élément d’un autre ensemble, de sorte que chaque élément d’arrivée possède exactement un antécédent. L’intervalle unité, noté I, est l’ensemble des nombres réels compris entre 0 et 1, extrémités incluses. Son carré, noté I², est l’ensemble des couples (x, y) dont chacune des deux coordonnées appartient à I.

Cantor avait établi en 1878 l’existence d’une bijection entre I et I². Netto a démontré en 1877 qu’aucune de ces bijections ne peut être continue, c’est-à-dire qu’elle ne peut préserver les voisinages au sens topologique. Le résultat distingue donc le nombre d’éléments d’un espace de sa structure topologique.

Considérons le cas historique d’une correspondance entre l’intervalle unité I et le carré I². Le but est de vérifier ce que l’on peut conclure d’une bijection et ce qui lui est interdit par la continuité.

Les données sont les suivantes : l’ensemble de départ est I, l’intervalle des réels de 0 à 1. L’ensemble d’arrivée est I², le carré de côté 1. Cantor établit l’existence d’une bijection en 1878. Netto établit l’impossibilité de la continuité en 1877.

Première étape : sur papier, inscrivez dans une première colonne les deux contrôles de la bijection : chaque point de I reçoit un point de I², et chaque point de I² reçoit une correspondance unique.
Deuxième étape : dans une seconde colonne, ajoutez le contrôle supplémentaire : les voisinages sont-ils préservés au sens topologique par l’application ? Imaginez alors deux points très proches sur I : leurs images devraient rester proches dans I² ; mais pour parcourir toute la surface sans répéter un point, le trajet devrait se replier ou repasser par une zone déjà atteinte.
Troisième étape : confrontez les deux colonnes au résultat de Netto : la première propriété est possible, mais la seconde ne peut pas l’être ici.

Le contrôle consiste à séparer les deux propriétés : l’absence de doublon ou d’oubli est compatible avec la bijection, tandis que la préservation des voisinages au sens topologique est précisément ce que la continuité ne peut pas assurer ici.

En histoire des mathématiques, ce résultat sert à repérer la différence entre une correspondance d’ensembles et une correspondance respectant la forme topologique. On vérifie d’abord si chaque élément est atteint une seule fois, puis on examine la continuité.

Pour étudier la taille d’ensembles, on peut donc utiliser une bijection entre I et I². Pour étudier les voisinages ou la dimension, il faut en revanche conserver la structure topologique et ne pas s’arrêter au seul comptage des points.

Une bijection n’est pas nécessairement continue. Dans le cas de I et I², la bijection garantit une correspondance parfaite entre les points, mais le résultat de Netto montre qu’aucune correspondance de ce type ne préserve aussi les voisinages au sens topologique. Le critère qui tranche est donc la continuité, et non l’existence d’un antécédent unique.

La dimension ne se confond pas non plus avec le nombre de points. I et I² peuvent être mis en bijection, alors que l’intervalle est de dimension 1 et le carré de dimension 2. Le cas historique sépare ainsi cardinalité et structure géométrique.

Le piège principal consiste à transformer « il existe une bijection » en « il existe une bijection continue ». La première affirmation concerne seulement les correspondances entre éléments ; la seconde ajoute une contrainte topologique, impossible entre I et I² d’après Netto.

Il faut aussi conserver les ensembles annoncés. Le résultat porte sur l’intervalle unité et son carré, avec leurs structures usuelles ; il ne permet pas de conclure, sans autre hypothèse, pour n’importe quels ensembles ou n’importe quelles notions de continuité.

La [bijection](/articles/glossaire-bijection) fournit le vocabulaire précis pour séparer correspondance univoque et continuité : cette lecture aide à comprendre exactement ce que le résultat de Netto ajoute à l’existence établie par Cantor.

Le parcours consacré à [Cantor Georg](/articles/glossaire-cantor-georg) replace l’existence d’une bijection entre l’intervalle unité et son carré dans son contexte historique, avant la restriction démontrée par Netto.