Transformation de Fourier et groupe fini

Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
Julien8
Membre Naturel
Messages: 39
Enregistré le: 03 Nov 2012, 01:38

Transformation de Fourier et groupe fini

par Julien8 » 19 Oct 2014, 23:51

Bonjour à tous, je suis bloqué sur un exercice sur les transformations de Fourier et les reps de groupes..

Voici l'énoncé :

Soit G un gp fini et l'ensemble des classes d'équivalences de ses représentations irréductibles complexes (de dim finie donc).
Pour chaque on choisit une représentation dans la classe i.

On définit le coefficient de Fourier de par :




Et voici la question qui me pose problème :

Si (le caractère de la représentation ), montrer que :

si
si


Une indication me dit de me servir d'une base orthonormée de pour écrire éléments de la matrice et ensuite d'utiliser les relations d'orthogonalité de Schur..
Mais honnetement cela ne m'aide pas..


Je vous remercie d'avoir lu et aussi de tenter de m'aider. :)



mathelot

par mathelot » 20 Oct 2014, 03:20

bonjour,

les constituent la TFD (transformée de Fourier discrète) de f.

Comment fais tu si G n'est pas cyclique (ex: groupe de Klein) ?

il faudrait que les soient des racines x-ième de l'unité (complexes de module 1)
pour faire les calculs ?

f(g) est à valeurs dans quel espace ? C,un groupe d'endomorphismes vectoriels ?

Julien8
Membre Naturel
Messages: 39
Enregistré le: 03 Nov 2012, 01:38

par Julien8 » 20 Oct 2014, 10:08

Et bien f est une fonction de R(G) c'est à dire que c'est une fonction de G dans .

Si G est cyclique les sont des racines de l'unité..

Avatar de l’utilisateur
Ben314
Le Ben
Messages: 21709
Enregistré le: 11 Nov 2009, 21:53

par Ben314 » 20 Oct 2014, 11:53

Salut,
Je comprend pas super bien tes notations, mais je vais essayer de les utiliser...

Si est le caractère de la représentation alors est une fonction centrale, c'est à dire .
Comme, pour tout fixé, l'application est une bijection de dans (c'est même un isomorphisme), on a :


Cela signifie que commute avec tout les donc avec tout les éléments de la sous-algèbre unitaire de engendré (en temps que s.e.v.) par les .

Or le fait que la représentation est irréductible implique que .
Donc commute avec tout endomorphisme de ce qui signifie que

Pour déterminer la valeur de il suffit alors d'évaluer la trace de et c'est là que tu utilise les relations d'orthogonalité de Schur.

En espérant ne pas avoir écrit trop de c...
Qui n'entend qu'un son n'entend qu'une sonnerie. Signé : Sonfucius

mathelot

par mathelot » 21 Oct 2014, 08:45

je comprend la logique et les calculs mais pas les notations, faute de connaissances de cette
partie des maths:

Qu'est ce que les ?

est ce que le fil a à voir avec ce qu'on appelle "représentation linéaire des groupes finis" ?

merci.

Avatar de l’utilisateur
Ben314
Le Ben
Messages: 21709
Enregistré le: 11 Nov 2009, 21:53

par Ben314 » 21 Oct 2014, 09:31

Les Vj sont, dans le cas général, des espaces vectoriels quelconques.
Dans le cas présent, ce sont des espaces vectoriels de dimension finies sur le corps des nombres complexes.
Tu peut trouver une petite introduction des notions par exemple.
Qui n'entend qu'un son n'entend qu'une sonnerie. Signé : Sonfucius

 

Retourner vers ✯✎ Supérieur

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 55 invités

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite