Question sur les groupes topologiques
Par MathOMan, dimanche 20 décembre 2009 à 14:23 - Maths pour matheux - Tags - RSS
Un groupe topologique est un ensemble G munie d'une structure de groupe et d'une topologie telles que la loi interne


Question
Existe-t-il deux groupes topologiques qui sont isomorphes comme groupes et homéomorphes comme espaces topologiques mais qui ne sont pas isomorphes comme groupes topologiques ?
Voici la réponse avec l'exemple de JLT.
Réponse
Oui. Preuve en trois étapes :
- Soient G et H des parties denses de
et
une bijection monotone. Alors f est un homéomorphisme.
On peut supposer f croissante. Nous allons montrer sa continité. Soient
et
.
Puisque H est dense dans
on a
. Donc il existe
De même il existe![y_1\in H\cap\,]f(x_0)-\epsilon,f(x_0)[\,.](http://www.mathoman.com/CACHE/tex_376f1c93cf07e957b1f90079791a921b.png)
A cause de la surjectivité de f on peut écrire
avec
. On pose
. Alors pour tout x dans G
ce qui montre que f est continue en
. La preuve de la continuité de la réciproque
est la même.
- Soient G et H des parties denses et dénombrables de
. Alors elles sont homéomorphes.
D'abord nous écrivons
Maintenant nous allons énumérer G et H d'une autre manière,
et
Le but est de faire de sorte que
est une bijection monotone (et donc automatiquement un homéomorphisme). On procède comme suit.
- k=0. On prend

- k=1. On prend
. Pour le choix de
regardons l'ordre de
et de
.
Si
alors on prend comme
un élément de H inférieur à
.
Si
alors on prend comme
un élément de H supérieur à
.
- k=2. On prend comme
le premier élément de
de la liste (**).
Pour choisir
regardons l'ordre de
.
Si
est inférieur à
et
on prend comme
un élément de G inférieur à
et
.
Si
est supérieur à
et
on prend comme
un élément de G supérieur à
et
.
Si
est entre
et
on prend comme
un élément de G entre
et
.
- k=3. On prend comme
le premier élément de
de la liste (*).
Pour le choix de
regardons l'ordre de
. Il y a 24 possible manières de ranger ces quatre nombres.
Si
on prend comme
un élément de H inférieur à 
Si
on prend comme
un élément de H entre
et
.
Et ainsi de suite.
- k=0. On prend
- Les groupes topologiques
et
répondent au problème.
D'après ce qu'on vient de voir, G et H sont homéomorphes comme espaces topologiques. Evidemment ils sont isomorphes comme groupes. Mais ils ne sont pas isomorphes comme groupes topologiques. En effet, supposons qu'il existe un isomorphisme de groupes topologiques
. Par un récurrence facile f(n)=nf(1) pour tout entier n, et puis f(r)=rf(1) pour tout rationel r. Alors par continuité
impossible dans
.




Commentaires
1. Le mercredi 9 décembre 2009 à 19:11, par JLT
2. Le jeudi 10 décembre 2009 à 14:13, par MathOMan
Ajouter un commentaire