Manuscript IX-A@1 · IX-A.tex · section · 55aa6f6d

Definition

The admission domain and all directional descendants › Definition · lines 772–792

For a smooth direction $η \in E$ , write

D_{η} F (Ψ) = \frac{d}{d s}_{s = 0} F (Ψ + sη) .

For a finite ordered list $η = (η_{1}, \dots, η_{k})$ , put

D_{η} = D_{η_{1}} \dots D_{η_{k}} .

The empty list means the identity.

A first metric derivative is paired against a symmetric covariant metric variation and is therefore a contravariant tensor distribution.

Displayed formulas in this passage