Bonjour,
Pourriez vous m'expliquer un passage d'une démonstration de construction matricielle du corps que j'ai trouvée dans un livre et que j'ai (en partie) retrouvée sur wikipédia ? Voici le lien de la démo sur wikipédia :
"http://fr.wikipedia.org/wiki/Construction_des_nombres_complexes#Construction_matricielle"
Il y a un gros point que je ne comprends pas en fait.
Dans mon livre, il est dit à la fin de la démo :
"l'application -> I étant un morphisme injectif d'anneaux de dans C, le corps est isomorphe à un sous-corps de C. Il suffit alors d'identifier tout réel avec la matrice scalaire I et de poser i = J pour avoir un corps répondant au problème."
Voilà, pourriez-vous en gros m'expliquer tout le dernier paragraphe auquel je n'ai saisi que très peu de choses ?
D'avance merci pour votre aide.
Bonjour.
Je pense ne pas me tromper en disant que l'on cherche un corps contenant et un élément dont le carré vaut -1 ...
J est une matrice dont le carré est l'opposé de l'identité. (d'où l'intérêt de lui faire jouer le rôle de i, l'unité imaginaire)
Bon, c'est d'un usage courant en algèbre, et dans d'autres branches des mathématiques, lorsqu'on dispose d'une injection d'un ensemble vers un ensemble qui respecte les structures algébriques des deux ensembles, on identifie avec son image dans par l'injection. Une fois cette identification faite, on a que est inclus dans .
C'est ce qui se passe ici, on dispose d'un morphisme d'anneaux injectifs de dans , on sait donc que l'image de par ce morphisme est un sous-corps de isomorphe à (l'isomorphisme, c'est justement ce morphisme injectif, quand on restreint son espace d'arrivée à l'image, il devient bijectif), ainsi une fois qu'on identifie un élément de avec son image dans , on a bien .
De plus, dans tel qu'on l'a construit, on dispose d'une matrice telle que . Or, par l'identification qu'on a faite entre et son image, n'est rien d'autre que . On a donc un élément tel que . On s'empresse alors de renommer par .
je dois avouer que je n'ai pas bien compris.
Déjà je ne comprends pas pourquoi l'application ->I est un "morphisme injectif d'anneaux de dans C (et non ).
De plus, J2= - I et non Id comme vous l'avez écrit non ?
De plus, J2= - I et non Id comme vous l'avez écrit non ?
J'ai noté pour la matrice identité, sur ton lien, il note .
De plus, lors de la construction, on appelle provisoirement cet ensemble , mais il s'agit bien de .
Déjà je ne comprends pas pourquoi l'application ->I est un "morphisme injectif d'anneaux de R dans C
Il n'y a pas grand chose à comprendre, il faut le prouver, tu dois vérifier que c'est un morphisme d'anneaux, et ensuite qu'il est injectif.
Sais-tu ce qu'est un morphisme d'anneaux (et ce qu'est qu'un anneau et un corps) ?
En fait, j'arrive à comprendre pourquoi ce sont des anneaux (encore que pour C on n'a pas prouvé que X soit distributive par rapport à + non ?), mais il y a deux zones d'ombre :
1. Pourquoi est-ce injectif et non bijectif ?
2. Je ne saisi pas bien l'idée qu'un "morphisme est une application entre deux ensembles munis d'une même espèce de structure algébrique, qui respecte cette structure": pourquoi et C ont-ils une même structure, et qu'est-ce que ça veut dire "respecter cette structure" ?
Voilà à peu près ce que je ne comprends pas pour l'instant (sinon je sais ce qu'est un corps et un anneau).
ça fait bcp de questions et je te remercie pour ton attention !
Au fait, j'ai une question qui n'a absolument rien à voir avec ce topic :
pourquoi si u est un endomorphisme, et U = MatB(u) avec B base canonique de Kn
alors u2= -Id => U2= -I
En fait, je connais cette propriété fondamentale, mais je me demandais comment la démontrer...
encore que pour C on n'a pas prouvé que X soit distributive par rapport à + non ?
Non, mais ça ne présente aucune difficulté, tu peux le vérifier si tu le souhaites.
pourquoi R et C ont-ils une même structure
est un anneau, et même un corps, c'est un fait, ça vient de la construction des réels.
(l'ensemble qu'on est en train de construire), est lui aussi un corps.
et qu'est-ce que ça veut dire "respecter cette structure" ?
Un morphisme d'anneaux (ou de corps), c'est une application , où et sont deux anneaux (je note leurs LCI et pour chacun), et qui vérifie , pour tout , et . C'est ce qu'on entend par "respecter les structures algébriques".
On montre donc que défini par pour tout est un morphisme injectif. Il n'est pas surjectif, car l'image de est l'ensemble des matrices de la forme , avec , or il y a des matrices dans qui ne sont pas de cette forme, par exemple .
On a en fait que l'image de est un sous-corps de (c'est une propriété des morphismes, mais on peut le redémontrer directement dans ce cas particulier), et si on regarde comme un morphisme de corps de dans (on restreint l'ensemble d'arrivée à l'image), on obtient un morphisme bijectif, c'est ce qu'on appelle un isomorphisme.
Quand on a un isomorphisme entre deux structures algébriques (ici deux corps), on peut les identifier via cet isomorphisme, en fait, on ne fait juste que changer le nom des éléments, sans toucher aux LCI.
On a donc que est isomorphe à , ce qui permet de considérer comme une sous-corps de .
Pour ta dernière question, ça vient juste du fait qu'on a un isomorphisme entre (ensemble des endomorphisme de E) et , l'isomorphisme étant l'application qui a un endomorphisme associe sa matrice dans une base fixée.
j'ai bien pris le temps de lire tout ce que tu as écrit et devine quoi...j'ai compris !
je peux désormais construire en fermant les yeux !
je tiens vraiment à te remercier pour tout ce que tu m'as appris ! merci encore !
En relisant ce que j'ai écrit, j'ai commis une erreur, dans la définition de morphisme d'anneaux, la dernière condition est , celle que j'avais écrit n'a aucun sens bien sur ...
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :