Produit extérieur et produit tensoriel
Bonjour
Je suis en train d'étudier tout seul la notion de produit extérieur, mais je n'arrive pas à comprendre la définition.
Si $\omega$ est une $k$-forme, $\eta$ est une $\ell$-forme, alors on définit le produit extérieur ($k+\ell$-forme) par :
$$\omega \wedge \eta = \frac{(k+\ell)!}{k! \ \ell!}Alt(\omega \otimes \eta),
$$ où $Alt(T)=\frac{1}{k!}\sum_{\sigma \in \mathfrak S_k} sgn(\sigma) . T\circ \sigma$.
Je ne vois pas comment expliciter le produit tensoriel (c'est peut-être cette notion que je n'arrive pas à comprendre, car à chaque fois que je cherche sur Google, il y a le mot foncteur qui apparaît, et je ne suis pas du tout un algébriste, donc je ne comprends plus rien. Et également, à certains endroits ils parlent de produit tensoriel entre des espaces tangents et des espaces cotangents que je ne comprends pas non plus).
Merci d'avance !
Je suis en train d'étudier tout seul la notion de produit extérieur, mais je n'arrive pas à comprendre la définition.
Si $\omega$ est une $k$-forme, $\eta$ est une $\ell$-forme, alors on définit le produit extérieur ($k+\ell$-forme) par :
$$\omega \wedge \eta = \frac{(k+\ell)!}{k! \ \ell!}Alt(\omega \otimes \eta),
$$ où $Alt(T)=\frac{1}{k!}\sum_{\sigma \in \mathfrak S_k} sgn(\sigma) . T\circ \sigma$.
Je ne vois pas comment expliciter le produit tensoriel (c'est peut-être cette notion que je n'arrive pas à comprendre, car à chaque fois que je cherche sur Google, il y a le mot foncteur qui apparaît, et je ne suis pas du tout un algébriste, donc je ne comprends plus rien. Et également, à certains endroits ils parlent de produit tensoriel entre des espaces tangents et des espaces cotangents que je ne comprends pas non plus).
Merci d'avance !
Réponses
-
Si $\omega$ et $\eta$ sont deux formes $k$ et $\ell$-linéaires respectivement, alors $\omega\otimes \eta (v_1,...,v_{k+\ell})=\omega(v_1,...,v_k)\eta(v_{k+1},...,v_{k+\ell})$ définit une forme $k+\ell$ linéaire. Tu peux prendre ça comme définition du produit tensoriel de deux formes (en globalisant la définition precedente).
Ca n'est pas une très bonne définition car elle est tres ad hoc (comme la définition que tu donnes du produit extérieur qui est "pire" car elle scinde un quotient), mais elle te permet déjà de te représenter comment fonctionne le produit tensoriel des formes.
En effet la bonne définition de produit tensoriel est très générale et redonne celle ci dans le cas des formes linéaires (plus précisement tu as un isomorphisme canonique $m-\text{Lin}(V, k)\otimes \ell-\text{Lin}(V, k)\simeq (m+\ell)-\text{Lin}(V, k)$ pour $V$ un espace vectoriel). -
Merci !
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 8 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
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 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
- 312 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
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres