Domaine fondamental
Un article de Wikipédia, l'encyclopédie libre.
 |
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
|
En géométrie, un domaine fondamental pour l'action d'un groupe sur un ensemble E est une région de E dont les images par l'action du groupe forment une partition de E[1]. C'est donc un domaine contenant exactement un point par orbite du groupe.
Soit G un groupe, E un ensemble sur lequel G agit. On note g(x) l'image d'un point x de E par l'action de l'élément g∈G. Un sous-ensemble F de E est appelé domaine fondamental pour l'action du groupe si
,
,
[modifier] Notes et références
- (en) S. V. Duzhin et B. D. Chebotarevsky, Transformation Groups For Beginners, ISBN 978-0-8218-3643-9, p. 152
