Pensez à lire la Charte avant de poster !

$\newcommand{\K}{\mathbf K}$


Les-Mathematiques.net - Cours de mathématiques supérieures
 Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
325 personne(s) sur le site en ce moment
E. Cartan
A lire
Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
 
 
 
 
 

Isomorphisme de foncteurs

Envoyé par Bonux73 
Isomorphisme de foncteurs
02 mai 2021, 22:07
Bonjour,
j'aimerais, si possible, des indices pour résoudre cet exercice.
J'ai réussi la première partie de la question qui est immédiate et j'essaye de prouver la deuxième partie par l'absurde mais je ne sais pas trop dans quel sens chercher ma contradiction.



Modifié 3 fois. Dernière modification le 02/05/2021 22:56 par AD.


Re: Isomorphisme de foncteurs
02 mai 2021, 22:21
Je ne sais pas si c'est utile mais :


Re: Isomorphisme de foncteurs
02 mai 2021, 22:46
Que se passe-t-il quand on prend un seul élément $E$ de $\mathcal C$ et qu'on écrit la relation exprimant l'isomorphisme naturel (éventuel) entre $E$ et $E^{\perp}$? existe-t-il $f:E\to E^{\perp}$ inversible et tel que pour tout $g\in GL(E)$, $f \circ \left (g^{-1} \right )^{\perp} = g \circ f$ (edit: la relation est en fait: $ \left (g^{\perp} \right )^{-1} \circ = f \circ g$ )?



Modifié 1 fois. Dernière modification le 02/05/2021 23:22 par Foys.
Re: Isomorphisme de foncteurs
02 mai 2021, 23:08
Il me semble que ce que vous avez écrit est faux, il faudrait remplacer f par f^(-1) je crois.
Si c'est le cas je vois comment arriver au résultat dont vous faites références.



Modifié 1 fois. Dernière modification le 02/05/2021 23:21 par Bonux73.
Re: Isomorphisme de foncteurs
02 mai 2021, 23:18
Citation
Bonux73
Il me semble que ce que vous avez écrit est faux, il faudrait remplacer f par f^(-1) je crois.

Quelle est la définition d'une transformation naturelle?
Re: Isomorphisme de foncteurs
02 mai 2021, 23:20
Ah oui la bonne relation est: $\left (g^{\perp} \right)^{-1} \circ f = f \circ g$ (sinon on a une transformation naturelle de $G$ vers $F=id$).
Cela ne va pas changer grand chose à la solution en fait.
Re: Isomorphisme de foncteurs
02 mai 2021, 23:37
Je suis d'accord avec cette relation. On montre que pour tout automorphisme g, g^{-1} et g* sont conjugués ce qui semble clairement faux si on y repense avec des matrices. En effet toute matrice est semblable à sa transposée et donc nous aurions prouvé que toute matrice est semblable à son inverse ce qui est clairement faux. Je pense que vous approuverez.
Merci beaucoup, bonne soirée.
Re: Isomorphisme de foncteurs
02 mai 2021, 23:42
Citation
Bonux73
En effet toute matrice est semblable à sa transposée et donc nous aurions prouvé que toute matrice est semblable à son inverse ce qui est clairement faux.
Ce qui est acceptable (en termes de niveau de détail de la rédaction du message) va dépendre du destinataire du message. Le "clairement" mérite une petite explication (un jury de concours l'exigerait).

Il se trouve par exemple que dans tout corps on peut exhiber des matrices carrées qui n'ont pas la même trace que leur inverse (lesquelles?).



Modifié 1 fois. Dernière modification le 02/05/2021 23:44 par Foys.
Re: Isomorphisme de foncteurs
02 mai 2021, 23:59
Je suis d'accord pour plus d'explications. Le raisonnement que j'avais était basé sur les valeurs propres.
Je parle de chose que je ne connais pas mais il me semble que si K est un corps, il est plongé dans un corps plus grand qui est algébriquement clos. On peut trigonaliser dans ce corps, on s'aperçoit alors que les valeurs propres de notre matrice (inversible) sont les inverses des valeurs propres de son inverses et donc dire que toute matrice inversible est semblable à son inverse signifierait que toute matrice ne peut posséder que le neutre multiplicatif du corps comme valeur propre ce qui est absurde.

Pour une matrice carré qui n'a pas même trace que son inverse il suffit de prendre une matrice diagonale dont les coefficients diagonaux ne sont pas involutifs ?



Modifié 2 fois. Dernière modification le 03/05/2021 00:09 par Bonux73.
Re: Isomorphisme de foncteurs
03 mai 2021, 00:39
Oui cela marche et en fait on peut s'en inspirer pour construire une telle matrice dans le corps de base.
Re: Isomorphisme de foncteurs
03 mai 2021, 00:40
Seul le corps $\mathbf F_2$ pose problème en fait, sinon on regarde le déterminant et cela règle la question.
Re: Isomorphisme de foncteurs
03 mai 2021, 00:45
Parfait merci beaucoup. (J'aurais mis ma main à couper qu'il existait un corps pile comme il fallait pour que ce que je raconte soit faux et j'avais bien raison).



Modifié 1 fois. Dernière modification le 03/05/2021 04:02 par AD.
Re: Isomorphisme de foncteurs
03 mai 2021, 00:46
L'énoncé est vrai dans $\mathbf F_2$ mais comme les outils expéditifs ne marchent plus il faut ruser (un peu...).
Re: Isomorphisme de foncteurs
03 mai 2021, 10:07
La raison pour laquelle ça se complique sur $\mathbf F_2$ est que l'énoncé est vrai, mais faux si on se restreint à la dimension $1$: deux $\mathbf F_2$-espaces vectoriels de dimension $1$ quelconques sont canoniquement isomorphes.

(c'est un énoncé un peu idiot quand on voit ce qu'il y a dessous, mais qui a des conséquences amusantes donc ne crachons pas dessus grinning smiley )

Du coup sur $\mathbf F_2$ il faut forcément réfléchir un petit peu plus, puisqu'il faut travailler en dimensions $\geq 2$.

"Mathematics, rightly viewed, possesses not only truth, but supreme beauty"-Russell
Re: Isomorphisme de foncteurs
03 mai 2021, 11:25
Oui je suis d'accord Matimax, si la matrice n'est pas de taille 1 on devrait s'en sortir en faisant apparaitre des valeurs propre qui sont dans la clôture algébrique et qui n'y sont pas involutives, c'est assez amusant de voir que ce cas est le seul qui résiste à cette démo. Je pense cependant qu'il doit être assez courant que F2 pose problème pour la même raison.

Je viens de réfléchir à ce que vous m'aviez suggéré, à savoir utiliser la trace, et c'est en fait une très bonne idée car cela me permet de ne pas utiliser le fait qu'une matrice carrée est semblable à sa transposée ce qui me semble non trivial dans le cas général (peut être y a-t il un raccourci lorsque la matrice considérée est inversible ?)



Modifié 2 fois. Dernière modification le 03/05/2021 12:12 par AD.
Re: Isomorphisme de foncteurs
03 mai 2021, 11:30
Oui par exemple c'est une manière de faire. Tu peux prendre une matrice compagnon d'un polynôme gentil pour n'avoir aucun calcul à faire.

Pour ta question, je ne pense pas que ce soit plus simple lorsque la matrice est inversible - enfin je n'ai jamais vu de telle preuve, ce qui n'exclut pas qu'il y en ait une.

"Mathematics, rightly viewed, possesses not only truth, but supreme beauty"-Russell
Re: Isomorphisme de foncteurs
03 mai 2021, 11:39
D'accord, merci.
Seuls les utilisateurs enregistrés peuvent poster des messages dans ce forum.

Cliquer ici pour vous connecter

Liste des forums - Statistiques du forum

Total
Discussions: 151 317, Messages: 1 537 834, Utilisateurs: 28 260.
Notre dernier utilisateur inscrit Nemoris.


Ce forum
Discussions: 2 612, Messages: 53 242.

 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page