1 groupes opérant,orpite et stabilisateur

[invite80487107]

slt tt le monde

resumé

définition: on dit qu'un groupe opère à gauche sur un ensemble E ssi
I-klksoi g dans G f(g): xdans E |--> f(g)(x)=gx dans E est bien une action définie
II-f(e)(x)=x pour tt x dans E ( e= élément neutre de G)
III- pour tt (s,t) dans G f(st)(x)=(st)x=s(tx)=f(s)(tx)= f(s)f(t)(x)

orbite(x) noté orb(x)={ y/ il existe g dans G, y=gx}
on dit que l'action est transitive ssi orb(x)=E

stabilisateur(x) noté stab(x)={ g dans G /g(x)=x pour tt x dans E}
stabilisateur(x) est toujours un sous groupe de G pour tt x dans E
-----

[invite80487107]

voila un exemple

on considère l'ensemble
E=S^n= { x= (x1,...,xn,x(n+1)) / ||x||= (x1)² + ...+(x(n+1))²=1}
soit G le groupe O(n+1)
1:montrer que G opère sur E
2:calculer stabilisateur de x, x=(1,0,...,0) noté stab(x0)
3: est ce que l'action est transitive??
en effet
pour monter que G opère sur E d'abord on a bien G un groupe
(sinon je sais pas quoi dire si G n'était pas un groupe) soit f l'application définie par
klksoi g dans G f(g): xdans E |--> f(g)(x)=gx dans E

il faut montrer que f(g) est définie pour tt g dansG ??
||f(g)(x) ||=||gx|| =< gx,gx > =<x, Trans(g).gx>
=< x, g^-1.gx>=<x,x>=1 donc on a bien f(g)(x) dans E
f(In+1)(x)=x
reste de montrer que pour tt s,t dans G on a (st)(x)=s(tx) pour tt x dans E

[invite80487107]

stab(x0)={g dans O(n+1) /gx=x }
on pose g comme matrice dans O(n+1) utilisant l'égalité gx=x et le faite stab(x0) est un sous groupe de G on obtient
stab(x0) groupe des matrices de O(n+1) tel que dans le premier ligne et premier colonne on a 1 et le reste des composantes de premier ligne et premier colonne nul
il aurra une sous matrice B dans O(n)
stab(x0)=O(n)

[invite80487107]

conclusion s^n = O(n+1)/O(n) = SO(n+1)/SO(n)

[A voir en vidéo sur Futura]

[invite770b3cad]

question 1:
" pour monter que G opère sur E d'abord on a bien G un groupe
(sinon je sais pas quoi dire si G n'était pas un groupe) "
pourquoi G doit étre un groupe ???


question 2:
" il faut montrer que f(g) est définie pour tt g dansG ??
||f(g)(x) ||=||gx|| =< gx,gx > =<x, Trans(g).gx>
=< x, g^-1.gx>=<x,x>=1 donc on a bien f(g)(x) dans E "
pourquoi vous avez < gx,gx > =<x, Trans(g).gx> ???


question 3:
" orb(x)={ y/ il existe g dans G, y=gx}
on dit que l'action est transitive ssi orb(x)=E "
pour une action transitive il suffit de verifier pour un seul élément x ou bien pour tt les éléments de E que stab(x)=E


question 4:
dans ce cas que peut on dire sur l'action transitive ou non ??


question 5:
pourquoi stab(x0)=O(n)

derniere question c'est la conclusion que je ne comprends pas

[invite80487107]

je crois puisqu'on parle de groupe opérant donc G doit étre un groupe

[invite80487107]

SVP répondez moi