Espace vectoriel par transfert de structure
Bonjour,
Dans le lemme ci-dessous, dont la démonstration ne pose pas de problème, je ne comprends pas ce que signifie la dernière phrase.
Par exemple pour $\forall (x,y,\lambda)\in F\times F\times \mathbb K, x+y=\varphi(\varphi^{-1}(x)+\varphi^{-1}(y))$, comment traduire cela sous forme de diagramme commutatif ?
Dans le lemme ci-dessous, dont la démonstration ne pose pas de problème, je ne comprends pas ce que signifie la dernière phrase.
Par exemple pour $\forall (x,y,\lambda)\in F\times F\times \mathbb K, x+y=\varphi(\varphi^{-1}(x)+\varphi^{-1}(y))$, comment traduire cela sous forme de diagramme commutatif ?
Réponses
-
$$\xymatrix{
E\times E \ar[d]^{+_E} \ar[r]_{\varphi\times \varphi} & G\times G \ar[d]^{+_G} \\
E \ar[r]_{\varphi} & G
}$$
Je te laisse faire l'autre diagramme. -
$\xymatrix{ E\times E \ar[d]^{+} \ar[r]^{\varphi\times\varphi} & G\times G \ar[d]^{+} \\
E \ar[r]^\varphi & G}$
pour la première par exemple
edit: grillé par GBZM -
Merci, voilà pour l'autre :
$\xymatrix{
\mathbb K\times E \ar[d]^{._E} \ar[r]_{\Phi} & \mathbb K\times G \ar[d]^{._G} \\
E \ar[r]_{\varphi} & G
}$
avec $\Phi:(\lambda,x)\in\mathbb K\times E\mapsto (\lambda,\varphi(x))\in\mathbb K\times G$
Par contre, question naïve, ça sert à quoi ? -
Plutôt que $\Phi$, j'écrirais $\mathrm{Id}_{\mathbb K}\times \varphi$ dans le diagramme. C'est plus dans l'esprit de faire figurer toute l'information dans le diagramme.
Ça sert à faire joli. Plus sérieusement, il arrive qu'un diagramme commutatif soit plus lisible qu'un paquet de formules. Ça arrive d'autant plus qu'on a l'habitude des diagrammes commutatifs. -
Merci !
-
Il y a une discipline olympique qui s'appelle diagram chasing.
-
Ça sert aussi à généraliser l'idée; dans des contextes où les éléments n'ont pas beaucoup de sens. Mais aussi ce que GBZM a dit : c'est beaucoup plus clair avec les diagrammes (quand on a l'habitude)
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 69 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 314 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres