Bonjour Crevett

C'est l'ensemble des classes d'équivalence pour la relation d'équivalence :

Kaiser

Ah oui quand même...je l'aurais pas deviné merci beaucoup!

Mais je t'en prie !

Re-bonsoir!
Maintenant que j'ai un peu avancé dans mon DM, je re-bugue...
J'ai (G,*) un groupe fini qui opère sur l'ensemble X.
Pour tout g dans D, N(g)={xX, g.x=x}.
Pour tout x dans S, H_x={gG, g.x=x}.
C={(g,x)GxX, g.x=x}.
Et il faut que je montre que Card(C)=Card(H_x)      
(avec xE sous le ).
Si vous aviez des pistes pour moi...
Merci d'avance!

Ah et si ça peut servir à quelquechose, on a aussi introduit l'ensemble des orbites de X sous l'action de G (i.e. l'ensemble des classes d'équivalence telles que: cl(x)={g.xG, g G}).

Mmm j'ai quelques idées, mais juste une question: si je prouve que la réunion de sous-parties de C est égale à C, et que leur intersection est vide, est-ce que je peux en déduire que le cardinal de C est égal à la somme des cardinaux de chacune de ces sous-parties?

Salut,

oui tu peux en déduire cela.

vous faite ca en sup ?? c'est plutot du hors programe de spé ca normalement ^^

Ksilver >>
Peut être dans un dm pour étendre déborder un peu sur le programme: rien de bien méchant très certainement.

Crevett >> Si un jour t'as rien à faire (oui bon je sais que c'est assez dur d'en trouver ) tu pourrais nous montrer tout la partie du dm concernant l'action de groupe sur l'ensemble: ça m'intéresse.

Alors là je remonte un trèèès vieux sujet mais je viens tout juste de lire ce message...et comme entre temps j'avais scanné mon dm je te le poste (je sais pas si ça t'intéresse toujours)...Bon finalement il était pas bien méchant effectivement^^

Merci beaucoup Crevett, je t'en suis très reconnaissant et je m'y intéresse toujours autant.