Universalis

VARIÉTÉS DIFFÉRENTIABLES

Carte mentale
Élargissez votre recherche dans Universalis

Tenseurs

Formes de degré 1

L'espace vectoriel F des champs de vecteurs de classe C∞ sur V est naturellement muni d'une structure de module sur l'anneau C∞ des fonctions de classe C∞. Une forme ω de degré 1 est une application C∞-linéaire de F dans C∞, c'est-à-dire la donnée, pour tout champ X, d'une fonction ω(X) de classe C∞ de façon que l'on ait :

pour tout couple (X, Y) de champs de vecteurs et pour toute fonction f.

Par exemple, si ϕ est une fonction de classe C∞, la correspondance X ↦ X(ϕ ) est une forme de degré 1. Si V est un ouvert de En, pour tout champ X de fonctions coordonnées (X1, ..., Xn), on a :

c'est pourquoi cette forme de degré 1 est appelée la différentielle de ϕ et on la note dϕ.

Une forme de degré 1 définit en tout point m un élément du dual T(V)m* de l'espace tangent T(V)m. On peut construire un fibré vectoriel de base V dont les fibres sont les espaces duaux T(V)*m ; les formes de degré 1 sont alors les sections de classe C∞ de ce fibré.

Tenseurs de type (p, q)

Soit F* le C∞-module des formes de degré 1 ; une application C∞-multilinéaire τ de (F*)p × Fq dans C∞ est appelée un tenseur de type (p, q) ; c'est donc la donnée, pour toute famille (ω1, ..., ωq) de formes de degré 1 et pour toute famille (X1, ..., Xp) de champs de vecteurs, d'une fonction :

de telle façon que les deux conditions suivantes soient satisfaites :

1. Si l'on fixe les Xj et tous les ωi sauf ωi0, on obtient une correspondance :

telle que :

2. Si l'on fixe les ωi et tous les Xj sauf Xj0, on obtient une correspondance :

telle que :

Les tenseurs de type (0,1) s'identifient aux champs de vecteurs de classe C∞ et les tenseurs de type (1, 0) sont les formes de degré 1. On peut aussi définir les tenseurs de type (p, q) comme sections d'un fibré vectoriel de base V, dont les fibres sont les produits tensoriels :

Produit tensoriel

Si τ est un tenseur de type (p, q) et τ′ un tenseur de type (p′, q′), en associant au système :

la fonction :
on définit un tenseur de type (q + q′, p + p′) ; c'est le produit tensoriel de τ et de τ′, que l'on note τ ⊗ τ′.

Si V est un ouvert de En, les champs (e1, ..., en) définis par :

constituent une base du C∞-module des champs de vecteurs ; les différentielles :
des fonctions coordonnées constituent une base du C∞-module des formes de degré 1. Les tenseurs de la forme :
constituent une base du C∞-module des tenseurs de type (p, q) ; tout tenseur de type (p, q) est donc défini par ses np+q composantes dans cette base. Plus généralement, si (U, ϕ) est une carte d'une variété V, les champs (e1, ..., en) se transportent en des champs (que l'on notera encore e1, ..., en) qui constituent une base du C∞-module des champs de vecteurs sur ϕ(U) ; de même, les fonctions coordonnées de ϕ−1 : ϕ(U) où U ⊂ Rn ont des différentielles dx1, ..., dxn qui constituent une base du C∞-module des formes de degré 1 ; les tenseurs de la forme :
constituent une base du C∞-module des tenseurs de type (p, q).

La suite de cet article est accessible aux abonnés

  • Des contenus variés, complets et fiables
  • Accessible sur tous les écrans
  • Pas de publicité

Découvrez nos offres

Déjà abonné ? Se connecter

Écrit par

Classification

Pour citer cet article

Claude MORLET, « VARIÉTÉS DIFFÉRENTIABLES », Encyclopædia Universalis [en ligne], consulté le . URL :

Médias

Carte de la sphère S2

Carte de la sphère S2

Encyclopædia Universalis France

Carte de la sphère S2

Cartes de la sphère S2

Encyclopædia Universalis France

Cylindre et bande de Möbius

Cylindre et bande de Möbius

Encyclopædia Universalis France

Cylindre et bande de Möbius

Construction d'un cylindre et d'une bande de Möbius par recollement d'une bande de papier

Encyclopædia Universalis France

Courbe de longueur minimum

Courbe de longueur minimum

Encyclopædia Universalis France

Courbe de longueur minimum

Propriétés d'une courbe de longueur minimum

Encyclopædia Universalis France

Afficher les 7 médias de l'article VARIÉTÉS DIFFÉRENTIABLES

Autres références

  • CALCUL INFINITÉSIMAL - Calcul à plusieurs variables

    • Écrit par Georges GLAESER
    • 4 789 mots
    Les « images » et « noyaux » des applications différentiables satisfaisant aux énoncés précédents sont localement des morceaux de « variétés différentiables », qui devront être convenablement recollés pour aboutir à une théorie globale.

  • COSMOLOGIE

    • Écrit par Marc LACHIÈZE-REY
    • 8 184 mots
    • 6 médias
    ...propriétés structurales inhabituelles de cette géométrie. Les mathématiciens appellent variété, et plus particulièrement, dans le cas qui nous occupe, variété différentiable ou riemannienne, un tel espace généralisé. On peut dire que la variété espace-temps est aussi complexe (et donc riche en structures),...

  • DONALDSON SIMON KIRWAN (1957- )

    • Écrit par Bernard PIRE
    • 291 mots

    Mathématicien britannique, lauréat de la médaille Fields en 1986. Né le 20 août 1957 à Cambridge (Grande-Bretagne), Simon Kirwan Donaldson fait ses études supérieures au Pembroke College de Cambridge et au Worcester College d'Oxford où il soutient sa thèse de doctorat en 1983. Il occupe ensuite...

  • ESPACE, mathématique

    • Écrit par Jean-Marc SCHLENKER
    • 1 469 mots
    Ces considérations prennent une extension considérable en 1846 dans le mémoire d'habilitation de Bernhard Riemann.Riemann, loin de se restreindre à considérer des surfaces dans l'espace, introduit des objets de dimension quelconque (qu'on appelle aujourd'hui variétés différentielles...

  • FONCTIONS ANALYTIQUES - Fonctions de plusieurs variables complexes

    • Écrit par André MARTINEAU, Henri SKODA
    • 7 346 mots
    ...variété algébrique (contrairement au cas de la dimension 1) et n'est donc pas plongeable dans un espace projectif comme sous-variété régulière. Parmi les variétés analytiques compactes, les variétés algébriques ont des propriétés très particulières : elles sont kahlériennes. Cela a permis de faire progresser...
  • Afficher les 18 références

Voir aussi

Abonnez-vous à Universalis pour 1 euro

Rejoignez-nous

Inscrivez-vous à notre newsletter