Structure de groupe topologique sur l'hypersphère

Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
Nightmare
Membre Légendaire
Messages: 13817
Enregistré le: 19 Juil 2005, 17:30

Structure de groupe topologique sur l'hypersphère

par Nightmare » 21 Jan 2009, 19:20

Bonsoir :happy3:

Je viens de résoudre (non sans mal... ) un exercice qui consiste à montrer que l'hypersphère ne peut pas être munie d'une structure de groupe topologique.

En gros l'exercice est le suivant :

------------------------------------------
1) On montre que :

(conséquence du théorème de Künneth)

2) On en déduit que si l'on considère un générateur g du module de cohomologie de Rham de l'hypersphère de faisceaux de corps R associé à l'hypersphère, une application continue vérifie (apparemment, c'est ce qu'on appelle les degrés de l'application)

3) On montre que si l'on considère une multiplication continue sur l'hypersphère et un élément neutre, alors on a en même temps et ce qui est absurde

-------------------------------------------------

Bref, ma question est de savoir si on a pas une preuve plus simple pour montrer qu'on ne peut pas munir l'hypersphère de dimension paire d'une structure de groupe topologique, car tout ça me semble être compliqué pour rien :marteau:

Merci :happy3:



Nightmare
Membre Légendaire
Messages: 13817
Enregistré le: 19 Juil 2005, 17:30

par Nightmare » 21 Jan 2009, 19:22

J'ai écrit une bêtise pour le 2)

Ce n'est pas vrai pour tous les générateurs mais pour un en particulier.

Si l'on considère l'homomorphisme de faisceau alors convient.

skilveg
Membre Relatif
Messages: 462
Enregistré le: 21 Mai 2008, 21:29

par skilveg » 22 Jan 2009, 10:36

Il me semble que déterminer les pour lesquels peut être munie d'une structure de groupe topologique est un problème difficile, mais je n'en sais pas beaucoup plus.

Pour le cas de la dimension paire, est-ce qu'il n'y aurait pas un rapport avec le théorème de la boule chevelue?

Nightmare
Membre Légendaire
Messages: 13817
Enregistré le: 19 Juil 2005, 17:30

par Nightmare » 22 Jan 2009, 13:55

Salut skilveg :happy3:

Peut être ! Cependant je vois pas trop comment appliquer la boule chevelue ici ...

Pour ce qui est des cas n impair, je ne pensais pas que c'était si difficile, déjà, démontrer que peut être munie d'une structure de groupe topologique n'est pas trivial...

skilveg
Membre Relatif
Messages: 462
Enregistré le: 21 Mai 2008, 21:29

par skilveg » 22 Jan 2009, 15:45

Nightmare a écrit:démontrer que peut être munie d'une structure de groupe topologique n'est pas trivial...

Enfin ce n'est pas si dur, vu que c'est l'ensemble des quaternions de norme 1.

Edit: j'ai trouvé ça sur la toile, je ne l'ai pas lu mais ça va peut-être t'intéresser:
http://www.unizar.es/acz/05Publicaciones/Revistas/Revista62/p075.pdf

 

Retourner vers ✯✎ Supérieur

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 60 invités

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite