ScalingStacks

1.2.4 [01LL]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

1.2.4

Une fois choisie une base de V→\overrightarrow{V} et une origine de VV, on dispose de coordonnées (x1,…,xn)(x_{1},\dots,x_{n}) qui permettent d’identifier VV à 𝐑n\mathbf{R}^{n} (où n=dim(V)n=\dim(V)). Pour distinguer les formes linéaires apparaissant dans le premier facteur Λp​V→∗\Lambda^{p}\overrightarrow{V}^{*} de celles apparaissant dans le second Λq​V→∗\Lambda^{q}\overrightarrow{V}^{*}, on convient de noter systématiquement les premières avec le préfixe d′\mathop{\mathrm{d^{\prime}}} et les secondes avec le préfixe d′′\mathop{\mathrm{d}^{\prime\prime}}. Une forme de type (p,q)(p,q) sur UU à coefficients dans ℱ\mathscr{F} s’écrit ainsi

ω\displaystyle\omega =∑|I|=p,|J|=qωI,J​(x)​d′⁡xI⊗d′′⁡xJ\displaystyle=\sum_{\mathopen{|}{I}\mathclose{|}=p,\,\mathopen{|}{J}\mathclose{|}=q}\omega_{I,J}(x)\mathop{\mathrm{d^{\prime}}}x_{I}\otimes\mathop{\mathrm{d}^{\prime\prime}}x_{J}
=∑|I|=p,|J|=qωI,J​(x)​d′⁡xi1∧⋯∧d′⁡xip⊗d′′⁡xj1∧⋯∧d′′⁡xjq,\displaystyle=\sum_{\mathopen{|}{I}\mathclose{|}=p,\,\mathopen{|}{J}\mathclose{|}=q}\omega_{I,J}(x)\,\mathop{\mathrm{d^{\prime}}}x_{i_{1}}\wedge\dots\wedge\mathop{\mathrm{d^{\prime}}}x_{i_{p}}\otimes\mathop{\mathrm{d}^{\prime\prime}}x_{j_{1}}\wedge\dots\wedge\mathop{\mathrm{d}^{\prime\prime}}x_{j_{q}},

où les ωI,J\omega_{I,J} appartiennent à ℱV​(U)\mathscr{F}_{V}(U), et où I=(i1,…,ip)I=(i_{1},\dots,i_{p}) et J=(j1,…,jq)J=(j_{1},\dots,j_{q}) parcourent respectivement les suites strictement croissantes d’entiers compris entre 11 et nn.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.