RELATIONS D EQUIVALENCE ET ACTIONS DE GROUPES

Documents pareils
Structures algébriques

Groupe symétrique. Chapitre II. 1 Définitions et généralités

Proposition. Si G est un groupe simple d ordre 60 alors G est isomorphe à A 5.

Résolution d équations non linéaires

De même, le périmètre P d un cercle de rayon 1 vaut P = 2π (par définition de π). Mais, on peut démontrer (difficilement!) que

Marc HINDRY. Introduction et présentation. page 2. 1 Le langage mathématique page 4. 2 Ensembles et applications page 8

Résumé du cours d algèbre 1, Sandra Rozensztajn. UMPA, ENS de Lyon, sandra.rozensztajn@ens-lyon.fr

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours

Théorème du point fixe - Théorème de l inversion locale

Capes Première épreuve

Calcul différentiel. Chapitre Différentiabilité

Le produit semi-direct

Premiers exercices d Algèbre. Anne-Marie Simon

Calcul matriciel. Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes.

Produit semi-direct. Table des matières. 1 Produit de sous-groupes 2. 2 Produit semi-direct de sous-groupes 3. 3 Produit semi-direct de groupes 4

Cours d Analyse. Fonctions de plusieurs variables

Cours arithmétique et groupes. Licence première année, premier semestre

Continuité en un point

3 Approximation de solutions d équations

Problème 1 : applications du plan affine

Un K-espace vectoriel est un ensemble non vide E muni : d une loi de composition interne, c est-à-dire d une application de E E dans E : E E E

Dérivées d ordres supérieurs. Application à l étude d extrema.

Université Paris-Dauphine DUMI2E 1ère année, Applications

CHAPITRE IV. L axiome du choix

FONCTIONS DE PLUSIEURS VARIABLES (Outils Mathématiques 4)

a et b étant deux nombres relatifs donnés, une fonction affine est une fonction qui a un nombre x associe le nombre ax + b

Optimisation des fonctions de plusieurs variables

La fonction exponentielle

VI. COMPLÉMENTS SUR LES MODULES, THÉORÈME CHINOIS, FACTEURS INVARIANTS SÉANCES DU 15, 16 ET 22 OCTOBRE

La Longue Marche à travers la théorie de Galois, Part Ib, 26-37

TIQUE DE FRANCE NILSYSTÈMES D ORDRE 2 ET PARALLÉLÉPIPÈDES

Du Premier au Second Degré

RAPHAËL ROUQUIER. 1. Introduction

Calcul Différentiel. I Fonctions différentiables 3

Feuille G1 RAPPEL SUR LES GROUPES

1 Première section: La construction générale

par Denis-Charles Cisinski & Georges Maltsiniotis

Notes du cours MTH1101N Calcul I Partie II: fonctions de plusieurs variables

Développements limités, équivalents et calculs de limites

Mathématiques appliquées à l'économie et à la Gestion

La Licence Mathématiques et Economie-MASS Université de Sciences Sociales de Toulouse 1

Introduction à l étude des Corps Finis

Calcul différentiel sur R n Première partie

Exercices - Fonctions de plusieurs variables : corrigé. Pour commencer

Chapitre VI Fonctions de plusieurs variables

Cours d Analyse 3 Fonctions de plusieurs variables

MAT 721: Algèbre non commutative. Chapitre I: Algèbres. 1.1 Définitions et exemples

Etude de fonctions: procédure et exemple

Axiomatique de N, construction de Z

Quelques tests de primalité

Première partie. Préliminaires : noyaux itérés. MPSI B 6 juin 2015

Continuité d une fonction de plusieurs variables

Cours de mathématiques

Formes quadratiques. 1 Formes quadratiques et formes polaires associées. Imen BHOURI. 1.1 Définitions

Contexte. Pour cela, elles doivent être très compliquées, c est-à-dire elles doivent être très différentes des fonctions simples,

Résolution de systèmes linéaires par des méthodes directes

Polynômes à plusieurs variables. Résultant

Développement décimal d un réel

Relation d ordre. Manipulation des relations d ordre. Lycée Pierre de Fermat 2012/2013 Feuille d exercices

Logique. Plan du chapitre

Notes du cours MTH1101 Calcul I Partie II: fonctions de plusieurs variables

Théorie et codage de l information

Développements limités. Notion de développement limité

La transformée de Fourier sur un groupe fini et quelques-unes de ses applications. Elise Raphael Semestre d automne

6 Equations du première ordre

Calcul fonctionnel holomorphe dans les algèbres de Banach

[ édité le 30 avril 2015 Enoncés 1

EXERCICE 4 (7 points ) (Commun à tous les candidats)

UNIVERSITE IBN ZOHR Faculté des sciences Agadir. Filière SMA & SMI. Semestre 1. Module : Algèbre 1

Mathématiques Algèbre et géométrie

Catalogue des connaissances de base en mathématiques dispensées dans les gymnases, lycées et collèges romands.

8.1 Généralités sur les fonctions de plusieurs variables réelles. f : R 2 R (x, y) 1 x 2 y 2

CCP PSI Mathématiques 1 : un corrigé

Cours 02 : Problème général de la programmation linéaire

Items étudiés dans le CHAPITRE N5. 7 et 9 p 129 D14 Déterminer par le calcul l'antécédent d'un nombre par une fonction linéaire

SUR CERTAINS SYSTEMES D EQUATIONS AVEC CONTRAINTES DANS UN GROUPE LIBRE (*)

Programme de la classe de première année MPSI

Fonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre

Limites finies en un point

Durée de L épreuve : 2 heures. Barème : Exercice n 4 : 1 ) 1 point 2 ) 2 points 3 ) 1 point

Exemple 4.4. Continuons l exemple précédent. Maintenant on travaille sur les quaternions et on a alors les décompositions

Commun à tous les candidats

I - PUISSANCE D UN POINT PAR RAPPORT A UN CERCLE CERCLES ORTHOGONAUX POLES ET POLAIRES

Chapitre 6. Fonction réelle d une variable réelle

Panorama de la cryptographie des courbes elliptiques

DOCM Solutions officielles = n 2 10.

Fonctions de plusieurs variables

Extrait du poly de Stage de Grésillon 1, août 2010

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable

Analyse fonctionnelle Théorie des représentations du groupe quantique compact libre O(n) Teodor Banica Résumé - On trouve, pour chaque n 2, la classe

Planche n o 22. Fonctions de plusieurs variables. Corrigé

NOMBRES COMPLEXES. Exercice 1 :

MATHEMATIQUES APPLIQUEES Equations aux dérivées partielles Cours et exercices corrigés

Chapitre 4: Dérivée d'une fonction et règles de calcul

Différentiabilité ; Fonctions de plusieurs variables réelles

Cours3. Applications continues et homéomorphismes. 1 Rappel sur les images réciproques

Fonctions de plusieurs variables. Sébastien Tordeux

Fonctions de plusieurs variables et applications pour l ingénieur

Capacité d un canal Second Théorème de Shannon. Théorie de l information 1/34

Cours d analyse numérique SMI-S4

Transcription:

Géométrie du plan et de l espace RELATIONS D EQUIVALENCE ET ACTIONS DE GROUPES 1. Rappels ensemblistes Les ensembles seront souvent notés X, Y,... On note f : X Y une application de X dans Y. On dit que X est le domaine de f ou ensemble de départ et que Y est l ensemble d arrivée. Le sous-ensemble f(x) Y est l image de f. Le graphe de f est le sous-ensemble de X Y : Graphe(f) = {(x, y) X Y : y = f(x)} Définition. On dit qu une application f : X Y est (i) surjective si f(x) = Y ; de manière équivalente, l équation f(x) = y admet au moins une solution pour tout y Y ; (ii) injective si x x f(x) f(x ) ; de manière équivalente, l équation f(x) = y admet au plus une solution pour y Y ; (iii) bijective si elle est surjective et injective ; de manière équivalente, l équation f(x) = y admet exactement une solution pour tout y Y. Axiome du choix Soit f : X Y surjective. Alors il existe g : Y X telle que pour tout y Y, f g(y) = y. 2. Relations d équivalence Définition. Une relation d équivalence R sur un ensemble X est une relation binaire (c est-à-dire une relation sur un couple d éléments) x R y (on utilisera aussi la notation x y) qui est (i) réflexive, c est-à-dire x X, x R x ; (ii) symétrique, c est-à-dire x R y y R x ; (iii) transitive, c est-à-dire x R y et y R z x R z ; Le graphe de la relation d équivalence est le sous-ensemble de X X suivant : Graphe(R) = {(x, y) X X : x R y} La classe d équivalence de x X est le sous-ensemble de X suivant : [x] = {y X : y R x} L ensemble quotient, noté X/R, est l ensemble des classes d équivalence. de sous- Définition. Une partition d un ensemble X est une famille (X i ) i I ensembles de X telle que

(i) i j, X i X j = (ii) X = i I X i. Proposition. (i) Soit (X i ) i I une partition de l ensemble X. Alors la relation x R y si et seulement si il existe i I tel que x, y X i est une relation d équivalence dont les classes d équivalence sont les X i. (ii) Réciproquement, si R est une relation d équivalence sur un ensemble X, ses classes d équivalence forment une partition de X ; (iii) On a donc une correspondence bijective entre relations d équivalence sur X et partitions de X. Définition. Soit R est une relation d équivalence sur un ensemble X. On rappelle que l ensemble quotient, noté X/R, est l ensemble des classes d équivalence. L application π : X X/R telle que π(x) = [x] est appelée application quotient. Proposition. (i) Soit f : X Y surjective. Alors la relation x R x si et seulement f(x) = f(x ) est une relation d équivalence dont les classes d équivalence sont les images réciproques f 1 (y) de f (appelées aussi fibres de f). (ii) Réciproquement, soit R est une relation d équivalence sur un ensemble X. Alors il existe un ensemble Y et une application f : X Y surjective telle que x R x si et seulement si f(x) = f(x ). On dit que f définit R. (iii). Si f 1 : X Y 1 et f 2 : X Y 2 sont des applications surjectives qui définissent la même relation d équivalence R, alors il existe une bijection g : Y 1 Y 2 telle que f 2 = g f 1. Remarque. Soit f : X Y surjective où X est un ensemble fini. Alors X = y Y f 1 (y) Proposition. Soit R une relation d équivalence sur un ensemble X et Z un ensemble. Les propriétés suivantes d une application f : X Z sont équivalentes : (i) x R y f(x) = f(y) ; (ii) Il existe f : X/R Z telle que f = f π, où π : X X/R est l application quotient. On dit alors que f est invariante par R ou que f se factorise à travers X/R et que f est l application induite par f. 2

3. Groupes Définition. Un groupe est un ensemble G muni d une opération G G G (g, h) gh telle que (i) (associativité) Pour tous g, h, k G, on a (gh)k = g(hk). (ii) (existence d un élément neutre) Il existe e G tel que pour tout g G on ait ge = eg = g. (iii) (existence d un inverse) Pour tout g G, il existe h G tel que gh = hg = e ; alors h est unique et est noté g 1. On dit que le groupe est commutatif (ou abélien) si pour tous g, h G, on a gh = hg. Il est fréquent de noter additivement l opération d un groupe commutatif : on écrit g +h au lieu de gh. L élément neutre est alors noté 0 au lieu de e ; l inverse de g est noté g et appelé opposé de g. Exemples de groupes commutatifs (R, +), (C, +), (R,.) Exemples de groupes non commutatifs Le groupe S 3 des permutations de {1, 2, 3} Le groupe GL(2, R) des matrices dans M 2 (R) inversibles. Définition. Soit G un groupe (noté multiplicativement). On dit que H G est un sous-groupe de G si (i) l élément neutre e de G appartient à H ; (ii) si h appartient à H, son inverse h 1 appartient aussi à H ; (iii) si g et h appartiennent à H, leur produit gh appartient aussi à H. Exemples de sous-groupes Z R est un sous-groupe de R. SL(2, R) def = {A M 2 (R) : det A = 1} GL(2, R) est un sous-groupe de GL(2, R). Définition. Soit G 1, G 2 deux groupes et une application f : G 1 G 2. On dit que f est un morphisme (de groupes) si pour tous x, y G 1, f(xy) = f(x)f(y). Proposition. Soit f : G 1 G 2 un morphisme de groupes. Alors (i) f(g 1 ) est un sous-groupe de G 2 ; (ii) Ker(f) def = f 1 (e 2 ), où e 2 est l élément neutre de G 2, est un sous-groupe de G 1 ; 3

(iii) pour tout g G 1 et tout h Ker(f), ghg 1 Ker(f). Définition. On dit qu un sous-groupe N G est normal (ou distingué) si pour tout g G et tout n N, gng 1 N. Remarques 1) Le noyau Ker(f) d un morphisme de groupes f : G 1 G 2 est donc un sousgroupe normal de G 1. 2) Si G est un groupe commutatif, tous ses sous-groupes sont normaux. 4. Actions de groupes Notation. Etant donné un ensemble X, on note S(X) (ou Bij(X)) l ensemble des applications bijectives σ : X X. C est un groupe pour la composition des applications. Définition 1. Soient G un groupe et X un ensemble. Une action du groupe G sur l ensemble X est un morphisme de groupes Φ : G S(X) Définition 2. Soient G un groupe et X un ensemble. Une action à gauche du groupe G sur l ensemble X est une application ϕ : G X X (g, x) gx telle que (i) Pour tout x X, on a ex = x. (ii) Pour tous g, h G et tout x X, on a g(hx) = (gh)x. On a une définition analogue pour une action à droite du groupe G sur l ensemble X. Proposition. Les définitions 1 et 2 sont équivalentes. La relation entre Φ : G S(X) et ϕ : G X X est Φ(g)(x) = ϕ(g, x). Définition. Soit Φ : G S(X) une action d un groupe G sur un ensemble X. On dit que l action est (i) fidèle si Φ est injective ; (ii) libre si gx = x g = e ; (iii) transitive si pour tous x, y X, il existe g G tel que y = gx. Proposition. Soit ϕ : G X X une action d un groupe G sur un ensemble X. Alors la relation x R y g G : y = gx 4

est une relation d équivalence sur X. Définition. Avec les notations de la proposition, on dit que R est la relation d équivalence orbitale de l action. On définit aussi (i) pour x X, la classe déquivalence [x] = Gx de x, aussi appelée orbite de x ; (ii) X/G (quelquefois noté G\X pour une action à gauche) comme l ensemble quotient X/R, c est-à-dire l ensemble des orbites. 5. Espaces homogènes et groupes-quotient Soit G un groupe. Etant donné un élément a G, on définit (i) la translation à gauche L a : G G x ax (ii) la translation à droite R a : G G x xa Proposition. Soit G un groupe et a, b G. Alors (i) L a et R b sont des bijections de G sur G ; (ii) L a L b = L ab, R a R b = R ba, L a R b = R b L a. Proposition. (i) La translation à gauche L : G S(G) qui à a G associe la translation à gauche L a est une action de G sur G ; (ii) Cette action est libre et transitive. Corollaire. Tout groupe est isomorphe à un sous-groupe du groupe des bijections d un ensemble. On voit en outre que si G est un groupe d ordre n fini, alors G est isomorphe à un sous-groupe du groupe symétrique S n. On a vu que l action de G sur G par translation à gauche est transitive : il y a une seule orbite. Ce n est plus le cas si on restreint cette action à un sous-groupe H de G : Définition. Soit H un sous-groupe d un groupe G. (i) On définit l espace homogène H\G comme l espace des orbites de l action de H sur G par translation à gauche ; 5

(ii) On définit de même l espace homogène G/H comme l espace des orbites de l action de H sur G par translation à droite. Les éléments de H\G, qui sont des orbites de l action de H sur G, sont notés Hx, où x G. On a Hx = Hy si et seulement si il existe h H tel que y = hx. Ces éléments Hx sont aussi appelés classes à gauche. Les classes à gauche forment une partition de G. Les éléments de G/H sont notés xh, où x G et appelés classes à droite. Ils forment eux-aussi une partition de G. Proposition (formule de Lagrange). Soit H un sous-groupe d un groupe fini G. On a l égalité G/H = H\G = G H où X est la cardinalité de X. La cardinalité G d un groupe fini G est appelée l ordre du groupe. La cardinalité de l espace homogène G/H (ou H\G) est appelée l indice du sous-groupe H et elle est notée [G : H]. Corollaire. L ordre de tout sous-groupe d un groupe fini divise l ordre du groupe. Théorème. Soit N un sous-groupe normal d un groupe G. Alors (i) G/N = N\G ; (ii) il existe sur G/N une structure de groupe telle que pour tout x, y G, (xn)(yn) = (xy)n. 6. Actions transitives On rappelle qu une action d un groupe G sur un ensemble X est dite transitive si il y a une seule orbite. Proposition. Soit H un sous-groupe d un groupe G. Alors (i) G agit par translation à gauche sur G/H ; (ii) cette action est transitive. Proposition. Soit ϕ : G X X une action d un groupe G sur un ensemble X. On fixe x X. Alors (i) l application ϕ x : G X qui envoie g sur gx a pour image l orbite [x] = Gx de x ; (ii) G(x) def = {g G : gx = x} est un sous-groupe de G ; (iii) l application ϕ x induit une bijection ϕ x : G/G(x) [x]. Definition. Avec les notations de la proposition ci-dessus, le sous-groupe G(x) s appelle sous-groupe d isotropie en x ou stabilisateur de x. 6

Proposition. Soit ϕ : G X X une action transitive d un groupe G sur un ensemble X. On fixe x X. Alors (i) l application ϕ x : G X qui envoie g sur gx induit une bijection ϕ x : G/G(x) X ; (ii) Cette bijection est équivariante : pour tous g, h G, on a. ϕ x (g(hg(x))) = g ϕ x (hg(x)) 7. Groupes et combinatoire On considère l action d un groupe fini G sur un ensemble fini X. Le nombre d éléments d une orbite [x] est donné par [x] = G G(x) (formule de Lagrange) où G(x) = {g G : gx = x}. Le nombre d orbites est donné par X/G = 1 Fix(g) G g G (formule de Burnside) où Fix(g) = {x X : gx = x}. 7