Champ (mathématiques)

Modèle:Voir homonymes Un champ est une application qui associe aux points d'un objet, généralement multidimensionnel, des valeurs scalaires, vectorielles ou tensorielles.

Histoire

Le mot polysémique issu du latin campus donnant le français camp et champ a eu un usage d'abord militaire, par le « champ de bataille » et le terrain servant à l'exercice, dès le Modèle:S-.

Un début de polysémie identique arrive à la même époque pour l'activité agricole « terrain » et « champ ». Après les arpenteurs et les géographes décrivant les fonds marins et fluviaux pour une navigation plus sûre après le milieu du Modèle:S-, les cartographes (comme Cassini et Haxo en France dans le Génie militaire) se soucient de la représentation sur un Modèle:Page h' des pentes naturelles des terrains. Les contours topologiques des montagnes et vallées sont projetés sur un plan, dans une première époque en exprimant les lignes de plus forte déclivité avec des cotes (susceptibilité d'avoir un fort impact de la gravité terrestre sur les choses naturelles ou édifiées à cet endroit), puis par des courbes de niveau exprimant une altitude constante. Une carte comporte alors plus que l'expression de la qualité du terrain, de plat à pentuModèle:Note.

Par extension le terme « champ » s'est appliqué à la science optique par le « champ de vision » au milieu du Modèle:S- puis à la physique en général. Il s'est appliqué à la science de l'électricité et du magnétisme avec le « champ électrique », le « champ magnétique » puis le « champ électro-magnétique » qui sont utilisés au passage du Modèle:S- au Modèle:S-, et enfin le « champ électrostatique » et le « champ tournant ». En mathématique associée à la physique le champ scalaire apparaît au milieu du Modèle:S-. Dans les domaines des sciences du langage et de la personne les « champs sémantiques » et autres sont apparus après le milieu du Modèle:S-.

Vision physique et vision mathématique des champs

La notion de champ est d'origine physique, et elle sert à décrire des quantités variant en fonction de leur point de définition : champ de température, champ de densité, champ de vitesse, champ de forces, champ de pression, champ de gravitation, champ électrique, champ magnétique.

Comme la physique s'intéresse à des phénomènes d'observation, un des fondements de l'étude des champs en physique est la notion suivante de symétrie : quel que soit le choix du système de coordonnées qu'on choisit pour faire une description analytique, les phénomènes physiques ne changent pas.

Cette notion permet aux mécaniciens et aux physiciens de faire une différence entre vecteurs et pseudo-vecteurs. Les seconds changent de sens avec l'orientation de l'espace, et du point de vue mathématique, une vision simple consiste à définir les pseudo-vecteurs comme un couple formé d'un vecteur et d'un signe, + ou -, avec une relation d'équivalence $(v,+)\equiv (-v,-)$, le signe étant caractéristique de l'orientation de l'espace. Une vision plus savante dira qu'un pseudovecteur est une densité, c'est-à-dire un tenseur d'une espèce particulière.

Plus généralement, que ce soit en mécanique classique ou relativiste, on a besoin de prendre des coordonnées curvilignes. La notion de covariance d'un champ exprime précisément que la physique est indépendante du choix de coordonnées. Il sera donc implicite pour un physicien qu'un champ est covariant.

Mais les mathématiciens décomposent ces notions, et en particulier ils ne posent pas d'entrée de jeu qu'un champ satisfait des propriétés de symétrie et, en particulier, de covariance. En revanche, ils vont prendre de multiples précautions pour décrire un champ dans le cas non scalaire, c'est-à-dire vectoriel ou tensoriel, dans le but de construire des notions intrinsèques, c'est-à-dire indépendantes du choix de coordonnées.

Ainsi, si $𝒪$ est un ouvert de l'espace ${ℝ}^n$, un champ scalaire est une application de $𝒪$ dans $ℝ$, et un champ vectoriel ou champ de vecteurs est une application de $𝒪$ dans ${ℝ}^p$. Enfin un champ de tenseurs est une application de $𝒪$ dans l'espace vectoriel des applications $k$-linéaires de $V\times \dots \times V\times V^{*}\times \dots \times V^{*}$ dans $ℝ$. Dans cette dernière définition, $V$ est un espace de dimension $p$, $V^{*}$ est son dual, il y a j facteurs $V$ et $k-j$ facteurs $V^{*}$, avec bien sûr $0\le j\le k$.

Il existe des versions complexes de cet ensemble de définitions : il suffit de remplacer $ℝ$ par $ℂ$ dans les ensembles d'arrivée.

Champ scalaire

Il n'y a guère de difficulté à concevoir un champ scalaire, à partir d'un exemple physique : la température dans une cuisine. Il fait chaud à côté des radiateurs en hiver, et à côté des appareils de cuisson, quand ils fonctionnent. Il fait chaud aussi près d'une casserole chaude, ou d'une cafetière qui vient d'être remplie. Mais il fait froid dans les assiettes où on vient de poser deux boules de glace. En revanche, il fait chaud derrière le frigo. N'oublions pas que s'il y a des gens, l'air chauffe au contact de leur peau, et de leur vêtement, sauf par un jour de canicule.

La température est bien un nombre qui varie en fonction du lieu et du temps.

Champ de vecteurs tangents sur une surface

L'exemple physique le plus simple d'un champ de vecteurs tangent est celui d'un champ de vitesses : si des particules se déplacent sur une surface qui n'est pas plane, leurs vitesses sont tangentes à la surface. En supposant ces particules si fines et si nombreuses qu'on puisse les représenter par un modèle continu, leurs vitesses moyennes dans de très petits volumes donnent une bonne idée de ce que serait un champ de vecteurs tangent à la surface.

Avant de développer la notion de champ sur une variété abstraite, il faut étudier un cas concret : un champ de vecteurs tangent sur une surface $S$ plongée dans ${ℝ}^3$. Localement, elle peut être paramétrée par trois fonctions continûment différentiables $x(u,v),y(u,v),z(u,v)$, avec $(u,v)$ dans un ouvert $𝒪$ de ${ℝ}^2$.

Notons pour simplifier

$r(u,v)=\left(\begin{array}{c}x(u,v)\\ y(u,v)\\ z(u,v)\end{array}\right)$.

Les $r(u,v)$ forment donc un champ de vecteurs à 3 composantes sur $𝒪$.

Le plan tangent en $x_0=x(u_0,v_0),y_0=y(u_0,v_0),z_0=z(u_0,v_0)$ est engendré par les vecteurs

$\frac{\partial r}{\partial u}(u_0,v_0)=\left(\begin{array}{c}\frac{\partial x}{\partial u}(u_0,v_0)\\ \frac{\partial y}{\partial u}(u_0,v_0)\\ \frac{\partial z}{\partial u}(u_0,v_0)\end{array}\right)\text{ et }\frac{\partial r}{\partial v}(u_0,v_0)=\left(\begin{array}{c}\frac{\partial x}{\partial v}(u_0,v_0)\\ \frac{\partial y}{\partial v}(u_0,v_0)\\ \frac{\partial z}{\partial v}(u_0,v_0)\end{array}\right).$

si ces deux vecteurs sont indépendants. On fait cette hypothèse systématiquement. Cette condition porte sur la nature de la description par les fonctions $x,y,z$ de $u$ et $v$.

Par conséquent, un vecteur tangent en $x_0,y_0,z_0$ à la surface est une combinaison linéaire de la forme

$a(u_0,v_0)\frac{\partial r}{\partial u}(u_0,v_0)+b(u_0,v_0)\frac{\partial r}{\partial v}(u_0,v_0).$

Les coordonnées locales d'un champ tangent à la surface $S$ sont donc un couple de deux nombres $a(u,v)$ et $b(u,v)$.

Si localement, $S$ admet un autre paramétrage $\xi (\sigma ,\tau ),\eta (\sigma ,\tau ),\zeta (\sigma ,\tau )$, avec $(\sigma ,\tau )$ dans un ouvert $\mathrm{\Omega }$, on note ρ le champ de vecteurs de coordonnées ξ, η, ζ.

Un champ de vecteur tangent aura pour coordonnées $\alpha (\sigma ,\tau )$ et $\beta (\sigma ,\tau )$ dans ce choix de coordonnées locales.

Supposons, de plus, que l'image $r(𝒪)$ par $r$ de $𝒪$ recoupe l'image $\rho (\mathrm{\Omega })$ par $\rho$ de $\mathrm{\Omega }$. Il est alors légitime de se demander comment sont reliées les coordonnées $a,b$ et les coordonnées $\alpha ,\beta$.

On montre, au moyen du théorème des fonctions implicites que l'identité

$r(u,v)=\rho (\sigma ,\tau )$

avec les conditions

$\partial r/\partial u\text{ et }\partial r/\partial v$ sont des vecteurs indépendants

et

$\partial \rho /\partial \sigma \text{ et }\partial \rho /\partial \tau$ sont des vecteurs indépendants

implique l'existence locale d'un difféomorphisme entre $(\sigma ,\tau )$ et $(u,v)$.

Plus précisément, pour tout choix de $({\sigma }_0,{\tau }_0)$ et $(u_0,v_0)$ satisfaisant la relation $r(u_0,v_0)=\rho ({\sigma }_0,{\tau }_0)$, on peut trouver deux voisinages ouverts respectifs de $(u_0,v_0)$ et $({\sigma }_0,{\tau }_0)$, ${𝒪}_1\subset 𝒪$ et ${\mathrm{\Omega }}_1\subset \mathrm{\Omega }$, et deux applications continûment différentiables $\varphi$ de ${\mathrm{\Omega }}_1$ dans ${𝒪}_1\subset 𝒪$ et $\psi$ de ${𝒪}_1$ dans ${\mathrm{\Omega }}_1$ tels que la relation

$(u,v)\in {𝒪}_1,(\sigma ,\tau )\in {\mathrm{\Omega }}_1,r(u,v)=\rho (\sigma ,\tau )$

implique

$(u,v)=\varphi (\sigma ,\tau ),(\sigma ,\tau )=\psi (u,v).$

Si un champ tangent a pour coordonnées $(a,b)$ dans ${𝒪}_1$ et $(\alpha ,\beta )$ dans ${\mathrm{\Omega }}_1$, alors on peut écrire l'identité

$a(u,v)\frac{\partial \sigma }{\partial u}+b(u,v)\frac{\partial \tau }{\partial v}=\alpha (\sigma ,\tau )\frac{\partial \rho }{\partial \sigma }+\beta (\sigma ,\tau )\frac{\partial \rho }{\partial \tau }.$

On différentie la relation $r(\varphi (\sigma ,\tau ))=\rho (\sigma ,\tau )$ par rapport à $\sigma$ et $\tau$, et on obtient, grâce au théorème de dérivation des fonctions composées :

$\frac{\partial \rho }{\partial \sigma }=\frac{\partial r}{\partial u}\frac{\partial {\varphi }_1}{\partial \sigma }+\frac{\partial r}{\partial v}\frac{\partial {\varphi }_2}{\partial \sigma },\frac{\partial \rho }{\partial \tau }=\frac{\partial r}{\partial u}\frac{\partial {\varphi }_1}{\partial \tau }+\frac{\partial r}{\partial v}\frac{\partial {\varphi }_2}{\partial \tau },$

et si on substitue ces identités dans la relation donnant les deux représentations du champ de vecteurs, on trouve

$a(\varphi (\sigma ,\tau ))=\alpha (\sigma ,\tau )\frac{\partial {\varphi }_1}{\partial \sigma }(\sigma ,\tau )+\beta (\sigma ,\tau )\frac{\partial {\varphi }_1}{\partial \tau }(\sigma ,\tau ),$

$b(\varphi (\sigma ,\tau ))=\alpha (\sigma ,\tau )\frac{\partial {\varphi }_2}{\partial \sigma }(\sigma ,\tau )+\beta (\sigma ,\tau )\frac{\partial {\varphi }_2}{\partial \tau }(\sigma ,\tau ).$

On a simplement utilisé le fait que $\partial r/\partial u$ et $\partial r/\partial v$ forment une base.

Une autre manière de noter la relation entre $(a,b)$ et $(\alpha ,\beta )$ consiste à utiliser la matrice jacobienne

$D\varphi =\left(\begin{array}{cc}\frac{\partial {\varphi }_1}{\partial \sigma }& \frac{\partial {\varphi }_1}{\partial \tau }\\ \frac{\partial {\varphi }_2}{\partial \sigma }& \frac{\partial {\varphi }_2}{\partial \tau }\end{array}\right).$

Avec cette notation, il vient

$\left(\begin{array}{c}a\\ b\end{array}\right)(\varphi (\sigma ,\tau ))=D\varphi (\sigma ,\tau )\left(\begin{array}{c}\alpha \\ \beta \end{array}\right)(\sigma ,\tau )$.

On peut noter un peu différemment ce qui précède. Si on remplace $(u,v)$ par $x_1,x_2$ et $\sigma ,\tau$ par ${\xi }_1,{\xi }_2$, et de même $a,b$ par $a_1,a_2$ et $\alpha ,\beta$ par ${\alpha }_1,{\alpha }_2$, alors la formule du changement de carte ci-dessus devient

$a_i={\alpha }_j\frac{\partial x_i}{\partial {\xi }_j},$

avec la convention de sommation des indices répétés ; on somme dans la formule ci-dessus, par rapport à $j$.

Le point de vue des physiciens est que la relation ci-dessus caractérise un champ de vecteurs tangents sur la surface $S$. Le point de vue des mathématiciens est un peu différents : il consiste à voir la surface $S$ et la collection de ses plans tangents en chaque point comme un nouvel objet : le fibré tangent à $S$. Bien sûr, cela revient au même, il faut seulement être conscient de cette terminologie en lisant la littérature.

Champ de vecteurs cotangents sur une surface

On considère encore la surface $S$ du paragraphe précédent, mais au lieu de définir un champ de vecteurs tangents, on définit un champ de formes linéaires, agissant sur les vecteurs tangents. En d'autres termes, pour chaque $(u,v)$ dans $𝒪$, on définit une paire $(l(u,v),m(u,v))$ de nombres réels, et on définit l'action de cette forme linéaire par

$(a,b)\mapsto la+mb,$

pour tout champ de vecteurs tangent de coordonnées $a,b$.

Comme précédemment, on peut se poser la question d'un changement de coordonnées locales. Supposons que dans les coordonnées $(\sigma ,\tau )$, le même champ de formes linéaires ait les coordonnées $\lambda (\sigma ,\tau ),\mu (\sigma ,\tau )$. On doit alors avoir

$(la+mb)(\varphi (\sigma ,\tau ))=(\lambda \alpha +\mu \beta )(\sigma ,\tau ),$

pour tout champ tangent.

On suppose que $(a,b)$ et $(\alpha ,\beta )$ sont liés par la relation

$\left(\begin{array}{c}a\\ b\end{array}\right)\circ \varphi =D\varphi \left(\begin{array}{c}\alpha \\ \beta \end{array}\right)$.

Un calcul élémentaire fournit alors

$(\lambda \mu )=(lm)D\varphi .$

On constate que le changement de coordonnées pour les formes linéaires « va dans le sens contraire » du changement de coordonnées pour les vecteurs.

Les champs de formes linéaires sont aussi appelés, en particulier par les physiciens « vecteurs covariants », puisque le changement de variable va dans le même sens que la transformation $\varphi$ : $\varphi$ va des coordonnées grecques aux coordonnées latines, et le champ de formes linéaires en coordonnées latines s'exprime en fonction des coordonnées grecques et de la matrice jacobienne de $\varphi$. En revanche, les coordonnées grecques d'un champ de vecteurs s'expriment en fonction des coordonnées latines de celui-ci et de la matrice jacobienne de $\varphi$.

Si on adopte des notations indexée, avec $x_i$ et ${\xi }_j$ comme au paragraphe précédent, et en remplaçant respectivement $(lm)$ par $l^1,l^2$ et $(\lambda \mu )$ par ${\lambda }^1,{\lambda }^2$, la formule de changement de coordonnées devient

${\lambda }^i=l^j\frac{\partial x_j}{\partial {\xi }_i}$,

avec la convention de sommation des indices répétés.

Remarquons que la physique fournit une abondance de champs qui doivent être considérés comme cotangents. L'exemple le plus connu est le champ électrique, puisque, du point de vue dimensionnel, c'est une différence de potentiel par unité de longueur. De plus, il a les propriétés qu'on attend dans cette situation : c'est un vecteur qu'on peut intégrer agréablement le long d'une courbe de l'espace, en en prenant le produit scalaire avec le vecteur tangent. Cette propriété est caractéristique d'une forme différentielle de degré 1. Elle sera vérifiée pour tout champ dérivant d'un potentiel scalaire.

Les mathématiciens construisent un nouvel objet : on attache tous les espaces vectoriels de formes linéaires cotangentes à la surface $S$ et on obtient ce qu'on appelle le fibré cotangent à $S$.

Champ de tenseurs sur une surface

Maintenant qu'on a compris ce qu'est un champ de vecteurs et un champ de covecteurs sur une surface $S$, on peut définir un champ de tenseurs sur cette même surface, en considérant plusieurs exemples.

On commence par un cas très utile : un champ de tenseurs qui permet de décrire l'élément d'aire. On définit en chaque point de $S$ une forme bilinéaire alternée $L(u,v)$ par son action sur les paires de vecteurs tangents. Il suffit pour cela de connaître l'action de $L$ sur les deux vecteurs $\partial r/\partial u$ et $\partial r/\partial v$ :

$L(\partial r/\partial u,\partial r/\partial v)=\ell$,

$\ell$ étant une fonction de $u$ et $v$. À ce moment-là, si $X_j$ désigne un champ de vecteurs tangent, pour $j=1,2$ avec pour coordonnées $a_j$ et $b_j$, on aura

$(L(X_1,X_2))(u,v)=((a_1{b}_2-a_2{b}_1)\ell )(u,v).$

La formule de changement de carte se déduit au moyen du raisonnement du paragraphe précédent : si en coordonnées grecques, la même forme bilinéaire est définie par

$\mathrm{\Lambda }(\partial \rho /\partial \sigma ,\partial \rho /\partial \tau )=\lambda ,$

alors

$\lambda =(\det \varphi )\ell ,$

la vérification étant immédiate.

On peut alors définir une mesure signée sur $S$ en posant, pour $A$ une partie mesurable de $S$ que la mesure de $A$ est donnée par

$\underset{A}{\int }\ell (u,v)\mathrm{d}u\mathrm{d}v,$

pourvu que $A$ soit entièrement contenu dans un ouvert admettant la paramétrisation par $r(u,v)$. Si ce n'est pas le cas, on découpe $A$ en une réunion disjointe d'ensembles mesurables, chacun d'eux étant contenu dans l'image d'une représentation paramétrique. Les détails de ce découpage importent peu, en vertu des formules de changement de variable.

On remarque que si tous les changements de carte, c'est-à-dire les $\varphi$ ont des matrices de déterminant positif, et si les $\ell$ sont tous positifs, la mesure ainsi définie est positive.

On passe maintenant à un autre cas pratique : des tenseurs symétriques contravariants et des tenseurs symétriques covariants.

Un tenseur symétrique covariant $g$ est connu par son action sur les vecteurs de base :

$\begin{array}{cc}g(\partial r/\partial u,\partial r/\partial u)& =g_{11},\\ g(\partial r/\partial u,\partial r/\partial v)& =g_{12}=g_{21},\\ g(\partial r/\partial v,\partial r/\partial v)& =g_{22},\end{array}$

les $g_{ij}$ étant des fonctions de $u$ et $v$.

Le changement de carte respecte les principes précédents : si le même tenseur covariant a des coordonnées ${\gamma }_{ij}$ dans les coordonnées latines, et on trouve

$\left(\begin{array}{cc}{\gamma }_{11}& {\gamma }_{12}\\ {\gamma }_{21}& {\gamma }_{22}\end{array}\right)=D\varphi \left(\begin{array}{cc}{g}_{11}& g_{12}\\ g_{21}& g_{22}\end{array}\right)D{\varphi }^{𝖳}.$

Ici le signe $𝖳$ en exposant désigne la transposition.

En particulier, si la matrice des coefficients de $g$ est définie positive, il en est de même de la matrice des coefficients de $\gamma$.

Prenons comme tenseur covariant celui qu'induit la topologie euclidienne, c'est-à-dire :

$g_{11}={\left|\frac{\partial r}{\partial u}\right|}^2,g_{12}=g_{21}=\frac{\partial r}{\partial u}\cdot \frac{\partial r}{\partial v},g_{22}={\left|\frac{\partial r}{\partial v}\right|}^2.$

Dans ce cas, la longueur d'un vecteur tangent, dont on connaît les coordonnées locales $a$ et $b$ est donnée par $g_{11}{a}^2+2g_{12}ab+g_{22}{b}^2$.

On peut aussi définir un tenseur symétrique contravariant, qui servira à mesurer la longueur des vecteurs cotangents. On remarque qu'il est possible de transformer un vecteur tangent en vecteur cotangent à l'aide du tenseur métrique covariant. Il suffit de poser $(lm)=(ab)g$, et on vérifie facilement que les changements de variable se font dans le sens covariant.

Il serait commode dans ce cas que la longueur de $(lm)$ mesurée à l'aide du tenseur métrique contravariant soit égale à la mesure de $(ab)$ par le tenseur métrique covariant, et cela revient à écrire

$(lm)G\left(\begin{array}{c}l\\ m\end{array}\right)=(ab)g\left(\begin{array}{c}a\\ b\end{array}\right),$

et comme cette relation doit avoir lieu pour tout choix de vecteur tangent de coordonnées $a,b$, cela revient à demander l'identité matricielle $gGg=g$, qui revient à imposer que la matrice du tenseur $G$ soit l'inverse de la matrice du tenseur $g$.

Une fois $G$ ainsi défini, on vérifie immédiatement que le changement de carte est donné par

$G=D{\varphi }^{𝖳}\mathrm{\Gamma }D\varphi .$

L'élément de volume peut être, lui aussi, déduit du contexte euclidien. Il suffit de poser

$\ell =|\frac{\partial r}{\partial u}\times \frac{\partial r}{\partial v}|,$

en notant $\times$ le produit vectoriel ordinaire.

On peut définir un tenseur de n'importe quelle variance sur la surface $S$. Par exemple un tenseur deux fois covariant et une fois contravariant sur $S$ sera en chaque point de $S$ une application trilinéaire du produit de l'espace tangent par deux copies de l'espace cotangent dans $ℝ$. Notons la base de l'espace tangent $r_1=\partial r/\partial u,r_2=\partial r/\partial v$ et définissons une base de l'espace cotangent par $r_i(r^j)={\delta }_{ij}$.

À ce moment-là, un tenseur $T$ une fois contravariant et deux fois covariant est défini par son action sur tout triplet $r_i,r^j,r^k$, donc par le tableau de nombres

$T_k^{ij}=T(r_k,r^i,r^j)$

et la formule du changement de cartes peut être écrite

${\mathrm{\Theta }}_k^{ij}=T_l^{mn}\frac{\partial x_m}{\partial {\xi }_i}\frac{\partial x_n}{\partial {\xi }_j}\frac{\partial {\xi }_k}{\partial x_l},$

en utilisant la convention de sommation des indices répétés, c'est-à-dire en sommant dans le deuxième membre par rapport à $l,m$ et $n$.

Champs sur des variétés

La définition de champs sur des variétés est une généralisation des définitions et des calculs précédents.

La plupart des variétés différentielles dont on se sert en pratique peuvent être plongées dans un espace de dimension finie (Théorème de plongement de Whitney), mais on peut se représenter une variété abstraite comme suit : elle est formée de morceaux ouverts de l'espace ${ℝ}^n$, avec des lois de recollement. Plus précisément, on se donne des ouverts $U_i$ de ${ℝ}^n$, et pour toute paire $i,j$ d'indices distincts des applications lisses ${\varphi }_{ij}$ allant d'un ouvert $V_{i}j$ de $U_i$ dans un ouvert $V_{ji}$ de $U_j$, sous les conditions suivantes :

1. ${\varphi }_{ji}\circ {\varphi }_{ij}$ est l'application identité de $V_{ij}$ ;
2. ${\varphi }_{ki}\circ {\varphi }_{jk}\circ {\varphi }_{ij}$ est l'application identité sur son ensemble de définition pour tout triplet d'indices distincts $i,j$ et $k$.

On définit alors une relation d'équivalence sur la réunion disjointe des $U_j$ en posant

$x\equiv y$

si $x=y$ ou si $x$ et $y$ appartiennent respectivement a $V_{ij}$ et $V_{ji}$ et l'on a la relation $y-{\varphi }_{ij}(x)$.

En d'autres termes, les $U_i$ sont des morceaux de caoutchouc, on doit coller la languette $V_{ij}$ sur la languette $V_{ji}$ en appliquant chaque point $x$ sur un point $y={\varphi }_{ij}(x)$. Bien sûr il faut que tout ceci reste compatible là où il y a collage de trois languettes ensemble (ou plus), et cela est assuré par la deuxième relation.

La réflexivité et la symétrie de cette relation sont immédiate ; pour la transitivité, il faut remarquer que si $y={\varphi }_{ij}(x)$ et $z={\varphi }_{jk}(y)$, alors la deuxième condition sur les ${\varphi }_{ij}$ implique que $x={\varphi }_{ki}(z)$.

La variété abstraite est alors simplement le quotient de la réunion disjointe des $U_j$ par cette relation d'équivalence.

Pour passer au fibré tangent, et donc définir des champs tangents, on peut se contenter de considérer la réunion disjointe des $U_j\times {ℝ}^n$ et la relation d'équivalence $(x,v)\sim (y,w)$ s'il y a égalité ordinaire ou si $x$ est dans $V_{ij}$, $y$ dans $V_{ji}$, $y={\varphi }_{ij}(x),w=D{\varphi }_{ij}(x)v$. C'est une relation symétrique et réflexive. On obtient la transitivité en différentiant la relation ${\varphi }_{ik}\circ {\varphi }_{kj}\circ {\varphi }_{ij}=I$.

Pour passer au fibré cotangent, on part aussi de la somme disjointe des $U_j\times {ℝ}^n$, mais cette fois-ci la relation d'équivalence entre $(x,l)$ et $(y,m)$, avec $l$ et $m$ des formes linéaires, impose $m=lD{\varphi }_{ij}$.

On laisse au lecteur le soin d'imaginer ce qui se passera avec un tenseur de n'importe quel ordre, c'est-à-dire une forme $k$-linéaire, $j$ fois contravariante et $k-j$ fois covariante, ou de se reporter à l'article tenseur.