Caractere d'un groupe topologique compact

Caractere d'un groupe topologique compact

Caractère d'un groupe topologique compact

Dans l'étude des représentations d'un groupe topologique compact, les caractères sont des fonctions centrales (id est constantes sur les classes de conjugaison) associées aux représentations et permettant de caractériser les classes d'équivalence des représentations irréductibles de dimension finie. En particulier, on démontre qu'il existe un nombre au plus dénombrable de classes d'équivalence de représentations irréductibles d'un groupe compact. Par ailleurs, la décomposition d'une représentation en somme orthogonale de représentations irréductibles se comprend en termes de décomposition en séries du caractère associé dans l'algèbre hilbertienne associée au groupe.

Sommaire

Définition

G désigne un groupe topologique compact. Une représentation complexe de G de dimension finie est une application continue \rho:G\rightarrow GL(V). On appelle caractère associé à ρ l'application χρ définie par :

\forall s\in G, \, \chi_{\rho}(s)=Tr\left[\rho(s)\right].

où Tr désigne la trace. On parle simplement de caractère ou de caractère irréductible pour désigner le caractère associé à une représentation ou une représentation irréductible.

Deux représentations \rho_1:G\rightarrow GL(V_1) et \rho_2:G\rightarrow GL(V_2) sont équivalentes s'il existe un isomorphisme linéaire T:V_1\rightarrow V_2 tel que pour tout s\in G on a : \rho_2(s)\circ T=T\circ \rho_1(s). De manière évidente, les caractères associés à des représentations équivalentes sont égaux.

Pour un groupe compact, toute représentation est équivalente à une représentation unitaire. Certains auteurs ne parlent donc dans ce cadre que de représentations unitaires.

Sommes et produits tensoriels

Article détaillé : Construction de représentations.

Le caractère associé à une représentation unitaire est égal au conjugué du caractère associé à sa représentation duale :

\chi_{\rho}=\overline{\chi_{\rho^*}}.

Le caractère associé à la somme directe de deux représentations unitaires est égal à la somme des caractères qui leur sont associées :

\chi_{\rho_1\oplus\rho_2}=\chi_{\rho_1}+\chi_{\rho_2}.

Le caractère associé au produit tensoriel de deux représentations unitaires est égal au produit des caractères qui leur sont associées :

\chi_{\rho_1\otimes\rho_2}=\chi_{\rho_1}.\chi_{\rho_2}.

Propriétés élémentaires

  • Un caractère est une fonction continue de carré intégrable contre la mesure de Haar.

La composition d'applications continues est continue. Le caractère associé à une représentation de dimension finie ρ est la composée de la trace et de ρ, donc est continu. De plus, pour tout opérateur A sur un espace vectoriel complexe de dimension finie n, on dispose de l'inégalité |Tr(A)|\leq n.\|A\|. En supposant la représentation unitaire, le caractère est une fonction continue bornée, a fortiori de carré intégrable, car λ est une mesure finie.

En effet, pour tous s et t dans G, on a :

\chi_{\rho}(sts^{-1})=Tr\left[\rho(sts^{-1})\right]=Tr\left[\rho(s)\rho(t)\rho(s)^{-1})\right]=Tr\left[\rho(t)\right]=\chi_{\rho}(t).
  • Pour deux représentations irréductibles non équivalentes ρ et σ, les caractères associés sont orthogonaux au sens où \int_G\chi_{\rho}(t).\overline{\chi_{\sigma}(t)}.d\lambda(t).

Soient \rho:G\rightarrow GL(V) et \rho:G\rightarrow GL(V) deux représentations de G de dimensions finies respectives m et n et non équivalentes. Pour toute application linéaire S:W\rightarrow V, on pose :

 <S>=\int_G\rho(t)\circ S\circ \sigma(t)^{-1}d\lambda(t)

On vérifie sans difficulté :

\forall s\in G, \, \rho(s)\circ <S>=<S>\circ \sigma(s).

Comme ρ et σ ne sont pas équivalentes, < S > n'est pas un isomorphisme linéaire. Par le lemme de Schur, < S > est nul. Quitte à choisir des bases arbitraires, on peut supposer V=\mathbf{R}^m et W=\mathbf{R}^n et on note \rho(t)=\left[\rho_{ij}(t)\right] et \sigma(t)^{-1}=\left[\sigma_{ij}(t)\right]. La nullité de < S > s'écrit :

\forall i=1,...,m ; \forall j=1,...,n; \, \sum_{k=1}^m\sum_{l=1}^n\int_G\rho_{ik}(t).S_{kl}.\sigma_{lj}(t).d\lambda(t)=0.

D'où :

\forall i,k=1,...,m; \forall j,l=1,...,n; \, \int_G\rho_{ik}(t).\sigma_{lj}(t).d\lambda(t)=0.

En particulier, un calcul donne :

0=\sum_{i=1}^m\sum_{j=1}^n \int_G\rho_{ii}(t).\sigma_{jj}(t).d\lambda(t)=\int_G\left[\sum_{i=1}^m\rho_{ii}(t)\right].\left[\sum_{j=1}^n\sigma_{jj}(t)\right].d\lambda(t)=\int_G\chi_{\rho}(t).\overline{\chi_{\sigma}(t)}.d\lambda(t).

Algèbre hilbertienne de G

Article détaillé : Algèbre hilbertienne d'un groupe topologique compact.

Si G est un groupe compact, de mesure de Haar λ, l'espace de Banach L2(G) peut être muni du produit de convolution défini par :

\forall f,g\in L^2(G),\, f*g(s)=\int_Gf(t).g(s^{-1}t).d\lambda(t)

L2(G) est une algèbre de Banach. Son centre est le sous-espace fermé des fonctions centrales mesurables sur G de carré mesurable.

Les caractères forment une base hilbertienne du centre de l'algèbre L2(G).

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Caract%C3%A8re d%27un groupe topologique compact ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Caractere d'un groupe topologique compact de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • Caractère D'un Groupe Topologique Compact — Dans l étude des représentations d un groupe topologique compact, les caractères sont des fonctions centrales (id est constantes sur les classes de conjugaison) associées aux représentations et permettant de caractériser les classes d équivalence …   Wikipédia en Français

  • Caractère d'un groupe topologique compact — Dans l étude des représentations d un groupe topologique compact, les caractères sont des fonctions centrales (id est constantes sur les classes de conjugaison) associées aux représentations et permettant de caractériser les classes d équivalence …   Wikipédia en Français

  • Groupe Topologique Compact — Un groupe topologique compact ou groupe compact est un groupe topologique G tel que l espace topologique sous jacent soit compact. Les groupes compacts sont des groupes unimodulaires, dont la compacité simplifie l étude. Ces groupes comprennent… …   Wikipédia en Français

  • Groupe topologique compact — Un groupe topologique compact ou groupe compact est un groupe topologique G tel que l espace topologique sous jacent soit compact. Les groupes compacts sont des groupes unimodulaires, dont la compacité simplifie l étude. Ces groupes comprennent… …   Wikipédia en Français

  • compact — compact, e [ kɔ̃pakt ] adj. et n. m. • 1377; lat. compactus « amassé », de compingere 1 ♦ Qui est formé de parties serrées, dont les éléments constitutifs sont très cohérents. ⇒ dense, serré. Bloc, pâté d immeubles compact. Foule compacte. Poudre …   Encyclopédie Universelle

  • Caractere (mathematiques) — Caractère (mathématiques) Pour les articles homonymes, voir Caractère. En mathématiques, un caractère est une notion associée à la théorie des groupes. Un caractère sur un groupe G, est un morphisme de G dans le groupe multiplicatif (C*,•) du… …   Wikipédia en Français

  • Caractère (Mathématiques) — Pour les articles homonymes, voir Caractère. En mathématiques, un caractère est une notion associée à la théorie des groupes. Un caractère sur un groupe G, est un morphisme de G dans le groupe multiplicatif (C*,•) du corps des nombres complexes.… …   Wikipédia en Français

  • Groupe compact — En mathématiques, et plus particulièrement en analyse harmonique abstraite, un groupe compact est un groupe topologique dont l espace topologique sous jacent est compact. Les groupes compacts sont des groupes unimodulaires, dont la compacité… …   Wikipédia en Français

  • Caractère (mathématiques) — Pour les articles homonymes, voir Caractère. En mathématiques, un caractère est une notion associée à la théorie des groupes. Un caractère sur un groupe G, est un morphisme de G dans le groupe multiplicatif (C*,•) du corps des nombres complexes.… …   Wikipédia en Français

  • Groupe fondamental — Pour les articles homonymes, voir Groupe de Poincaré. En mathématiques, et plus spécifiquement en topologie algébrique, le groupe fondamental, ou groupe de Poincaré, est un invariant topologique. Le groupe fondamental d un espace topologique… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”