λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript XV-D@1 · XV-D.tex · definition · 967136eb

Definition: Extension lift

The null defect in the one source-complete module › Extension lifts and their null defects · lines 796–802

Back to manuscript

For an extension $T$ of $T^{\circ}$ , the extension lift is $F_{0}^{T} = Rec_{T} : P_{r}^{jet} \to D^{'} (U)$ . Its null defect is

d_{0}^{T} = F_{0}^{T} ∣_{H} : H ⟶ D^{'} (U) .

Displayed formulas in this passage

unlabeled · line 799
$d_{0}^{T} = F_{0}^{T} ∣_{H} : H ⟶ D^{'} (U) .$

Nearby in this section