 between open subsets of $D$. Then we have a diagram $$\xymatrix{
J^r_{{\mathrm{imm}}}(V,D) \ar[r]^{h_*} \ar[d]_{\cong}^{k_*} & J^r(V,P) \ar[d]_{\cong}^{k_*} & V[B] \ar@{d->}[l] \ar[d]_{\cong}^{k_*}\\
J^r_{{\mathrm{imm}}}(W,D) \ar[r]^{h_*} & J^r(W,P) & W[B] \ar@{d->}[l]
}$$ Now $j^r_x(k)$ in the top left corner is mapped by $k_*$ down to $j^r_y({\mathrm{id}})$. Hence we see that it is enough (equivalent) to check the transversality only at $j^r_y({\mathrm{id}})$’s for all $y\in D$ for which $h_*(j^r_y({\mathrm{id}}))=j^r_y(h)\in D[B]$. For such $y$ the same diagram shows that every $j^r_x(k)$ with target $y$ is mapped by $h_*$ to $D[B]$. Thus the whole fibre over $y$ of the target map $$J^r_{\mathrm{imm}}(D,D){\xrightarrow{\ \tau\ }} D$$ is mapped to $D[B]$. The target map $\tau$ has a section $$j^r({\mathrm{id}}):D\rightarrow J^r_{\mathrm{imm}}(D,D)$$ and so (i) is finally equivalent to the composite $$D{\xrightarrow{\ j^r({\mathrm{id}})\ }}J^r_{\mathrm{imm}}(D,D){\xrightarrow{\ h_*\ }}J^r(D,P)$$ being transverse to $D[B]$. This is (ii).

We say that a map $g:M\rightarrow P$ is transverse to a ${\mathrm{Diff}}({\mathbb R}^d,0)$-invariant submanifold $B\subseteq J^r_0({\mathbb R}^d,P)$, denoted $g\pitchfork B$, if $$g_*:J^r_{0,{\mathrm{imm}}}({\mathbb R}^d,M)\rightarrow J^r_0({\mathbb R}^d,P)$$
between open subsets of $ D$. Then we have a diagram $ $ \xymatrix { 
 J^r_{{\mathrm{imm}}}(V, D) \ar[r]^{h _ * } \ar[d]_{\cong}^{k _ * } & J^r(V, P) \ar[d]_{\cong}^{k _ * } & V[B ] \ar@{d->}[l ] \ar[d]_{\cong}^{k_*}\\ 
 J^r_{{\mathrm{imm}}}(W, D) \ar[r]^{h _ * } & J^r(W, P) & W[B ] \ar@{d->}[l ] 
 } $ $ Now $ j^r_x(k)$ in the top leftover recess is map by $ k_*$ down to $ j^r_y({\mathrm{id}})$. Hence we see that it is adequate (equivalent) to check the transversality only at $ j^r_y({\mathrm{id}})$ ’s for all $ y\in D$ for which $ h_*(j^r_y({\mathrm{id}}))=j^r_y(h)\in D[B]$. For such $ y$ the same diagram picture that every $ j^r_x(k)$ with target $ y$ is mapped by $ h_*$ to $ D[B]$. therefore the solid fibre over $ y$ of the aim map $ $ J^r_{\mathrm{imm}}(D, D){\xrightarrow{\ \tau\ } } D$$ is mapped to $ D[B]$. The target function $ \tau$ has a section $ $ j^r({\mathrm{id}}):D\rightarrow J^r_{\mathrm{imm}}(D, D)$$ and so (i) is finally equivalent to the composite $ $ D{\xrightarrow{\ j^r({\mathrm{id}})\ } } J^r_{\mathrm{imm}}(D, D){\xrightarrow{\ h_*\ } } J^r(D, P)$$ being transverse to $ D[B]$. This is (ii). 

 We say that a function $ g: M\rightarrow P$ is transverse to a $ { \mathrm{Diff}}({\mathbb R}^d,0)$-invariant submanifold $ B\subseteq J^r_0({\mathbb R}^d, P)$, denoted $ g\pitchfork B$, if $ $ g_*:J^r_{0,{\mathrm{imm}}}({\mathbb R}^d, M)\rightarrow J^r_0({\mathbb R}^d, P)$$
 behween open subsets of $D$. Uhen we have a dictram $$\xbmatrix{
N^r_{{\mathrm{kmm}}}(V,D) \ar[r]^{h_*} \ar[d]_{\cong}^{k_*} & J^r(V,P) \ar[v]_{\cont}^{k_*} & V[V] \ar@{d->}[l] \ar[d]_{\cong}^{k_*}\\
J^r_{{\mathro{imm}}}(W,D) \ar[g]^{h_*} & J^r(W,P) & W[B] \er@{d->}[l]
}$$ Now $j^r_x(k)$ in the top left dlrnex ms mapped by $k_*$ cown to $j^r_f({\mathrm{id}})$. Henca de see that it is enough (equivalent) tj check tje transversalyty pgly zn $m^r_y({\mathrm{id}})$’s for all $y\in D$ for wgich $h_*(j^g_y({\mathrm{id}}))=j^r_y(h)\in C[B]$. For such $y$ the same diahram shows that every $u^r_x(k)$ with tqrgee $y$ is mapped by $h_*$ to $D[B]$. Thus the wgole fibre over $y$ of the target map $$L^r_{\mathrm{imm}}(E,D){\zrihvtarrow{\ \tau\ }} D$$ if mapped to $D[B]$. The tdrget msp $\tau$ has a scctioi $$j^r({\nathrm{id}}):D\rightarrow J^c_{\mathrm{imm}}(D,D)$$ and so (y) is finanlv equivalent to the cimpositg $$D{\xrhghtxerod{\ j^d({\methdm{id}})\ }}J^g_{\mavhrm{imm}}(D,D){\xrjghtarrow{\ h_*\ }}J^r(D,P)$$ being transvetsq to $D[B]$. This ia (ii).

We swy that a map $g:M\rightarrow P$ is transvegse fo a ${\mathrm{Diff}}({\mathbb R}^e,0)$-invariant submanifolf $B\subsetqq J^r_0({\mathbb R}^d,P)$, denoted $g\pitchfork B$, if $$g_*:J^r_{0,{\mathrm{hmm}}}({\mavhcb X}^e,M)\rigfragrow J^r_0({\mathbb R}^d,P)$$
between open subsets of $D$. Then we diagram J^r_{{\mathrm{imm}}}(V,D) \ar[r]^{h_*} & J^r(V,P) \ar[d]_{\cong}^{k_*} \ar[r]^{h_*} J^r(W,P) & W[B] }$$ Now $j^r_x(k)$ the top left corner is mapped $k_*$ down to $j^r_y({\mathrm{id}})$. Hence we see that it is enough (equivalent) to the transversality only at $j^r_y({\mathrm{id}})$’s for all $y\in D$ for which $h_*(j^r_y({\mathrm{id}}))=j^r_y(h)\in D[B]$. such the diagram that every $j^r_x(k)$ with target $y$ is mapped by $h_*$ to $D[B]$. Thus the whole fibre $y$ of the target map $$J^r_{\mathrm{imm}}(D,D){\xrightarrow{\ \tau\ }} is mapped to $D[B]$. target map $\tau$ has a $$j^r({\mathrm{id}}):D\rightarrow and so is equivalent the composite $$D{\xrightarrow{\ }}J^r_{\mathrm{imm}}(D,D){\xrightarrow{\ h_*\ }}J^r(D,P)$$ being transverse to $D[B]$. This is (ii). We say that a map $g:M\rightarrow P$ transverse to R}^d,0)$-invariant submanifold J^r_0({\mathbb denoted B$, if $$g_*:J^r_{0,{\mathrm{imm}}}({\mathbb R}^d,P)$$
 between open subsets of $D$. Then We have a diaGram $$\xYmaTriX{
J^R_{{\matHrm{iMm}}}(V,D) \ar[r]^{h_*} \ar[d]_{\conG}^{K_*} & J^r(V,p) \ar[d]_{\cong}^{k_*} & V[B] \ar@{d->}[l] \ar[d]_{\cong}^{K_*}\\
J^r_{{\maThRM{imm}}}(w,d) \aR[r]^{h_*} & J^r(w,P) & W[B] \ar@{d->}[L]
}$$ noW $J^R_x(k)$ In ThE toP lEFt CorneR is Mapped bY $k_*$ down to $j^r_Y({\maThRm{id}})$. Hence we sEE tHat it is enoUgh (Equivalent) to CheCk the tRaNsvERsaliTy oNly at $J^r_y({\matHRm{id}})$’s fOr all $y\in D$ FoR Which $h_*(J^R_y({\mathrM{ID}}))=j^R_y(h)\iN D[B]$. For such $y$ the samE DiAGram shows that eVery $j^r_X(k)$ WItH TArgEt $y$ Is mapped by $H_*$ tO $D[B]$. ThUS the whoLE fIBRE ovER $y$ of the target Map $$J^r_{\mathrm{IMm}}(D,d){\xrighTaRroW{\ \Tau\ }} D$$ is MappeD tO $d[B]$. THe target map $\Tau$ hAs a sectioN $$j^r({\matHRm{id}}):D\riGHtarrow j^r_{\mathRm{iMm}}(D,d)$$ and SO (i) Is FinAlLY eqUIvAleNT to The compoSiTe $$d{\xrigHtarROW{\ J^R({\matHrm{Id}})\ }}J^r_{\MathrM{imm}}(D,D){\xrightaRroW{\ h_*\ }}J^r(d,p)$$ beIng trAnsveRse tO $D[b]$. This Is (ii).

We Say thAt A map $g:M\rightarroW P$ is TransversE to A ${\mAthRm{diff}}({\mAThbb R}^d,0)$-InvAriAnt submAnifold $b\SubSeTEQ j^r_0({\Mathbb R}^d,P)$, denoted $g\pItCHFoRk B$, if $$g_*:J^r_{0,{\Mathrm{IMm}}}({\MaTHbb R}^d,M)\riGhTarRow J^R_0({\MAthbb r}^d,P)$$
 between open subsets of $ D$. Then w e hav e a  di ag ram$$\x ymatrix{
J^r_{ { \mat hrm{imm}}}(V,D) \ar[r] ^{h_* }\ ar[d ] _{ \cong }^{k_*} &J ^ r(V ,P )\ar [d ] _{ \cong }^{ k_*} &V[B] \ar@{ d-> }[ l] \ar[d]_{\ c on g}^{k_*}\\ 
J^ r_{{\mathrm{ imm }}}(W, D)  \a r [r]^{ h_* } & J ^r(W,P )  & W[B ] \ar@{d- >} [ l]
}$$ Now $j^ r _ x( k)$in the top left c o rn e r is mapped by  $k_*$  d o wn t o $ j^r _y({\mathr m{ id}}) $ . Hence we s e e t h at it is enou gh (equival e nt)  to ch ec k t h e tran svers al i tyonly at $j^ r_y( {\mathrm{ id}})$ ’ s for a l l $y\in  D$ fo r w hic h $h _ *( j^ r_y ({ \ mat h rm {id } })) =j^r_y(h )\ in  D[B] $. F o r s uch$y$  the  same  diagram show s t hate ver y $j^ r_x(k )$ w it h tar get $y $ isma pped by $h_*$ t o $D [B]$. Thu s t he  wh ol e fib r e over  $y $ o f the t arget m a p $ $J ^ r _ {\ mathrm{imm}}(D,D){ \x r i gh tarrow{\  \tau\ }}  D $ $ is map pe d t o $D [ B ]$. T he t a rg et map $ \tau$h as  a  sectio n$$j^r( {\ mat hrm {id}} ) :D\r ightar row J^r_ {\mat h rm{imm}}(D,D)$ $  and so (i) i s  f i n al l y eq uiv alent to th e co m posi te $ $ D{ \xr i ghtar row{\  j ^ r( { \mathrm{id}})\ }}J^ r_ {\math rm{im m}}(D,D){\xri ghtarrow{\ h _ *\ }}J^r (D,P ) $$ being transver se to  $D[B]$. T h is is (i i).
We say t hat a map $ g:M\righ tar row  P$  is t ra nsverse to a$ { \mat hr m{Diff} }({ \mathbb  R} ^d, 0)$ -in va riant sub manifold  $ B\ su bs ete q J^r _ 0({\math bb  R} ^d ,P) $, de n oted $ g\pit chfo rk  B $ , i f $$g_* : J^ r _ {0,{ \m at hrm{ imm }} }({\m athb b  R} ^d,M)\r ightarrow  J^ r _0({ \m at hbb R}^ d,P)$$
 between_open subsets_of $D$. Then we_have a_diagram_$$\xymatrix{
J^r_{{\mathrm{imm}}}(V,D) \ar[r]^{h_*}_\ar[d]_{\cong}^{k_*}_& J^r(V,P) \ar[d]_{\cong}^{k_*}_& V[B] \ar@{d->}[l]_\ar[d]_{\cong}^{k_*}\\
J^r_{{\mathrm{imm}}}(W,D) \ar[r]^{h_*} & J^r(W,P)_& W[B] \ar@{d->}[l]
}$$_Now_$j^r_x(k)$ in the top left corner is mapped by $k_*$ down to $j^r_y({\mathrm{id}})$. Hence_we_see that_it_is_enough (equivalent) to check the_transversality only at $j^r_y({\mathrm{id}})$’s for_all $y\in_D$ for which $h_*(j^r_y({\mathrm{id}}))=j^r_y(h)\in D[B]$. For such $y$_the_same diagram shows_that every $j^r_x(k)$ with target $y$ is mapped by_$h_*$ to $D[B]$. Thus the whole_fibre over $y$_of_the_target map $$J^r_{\mathrm{imm}}(D,D){\xrightarrow{\ \tau\_}} D$$ is mapped to $D[B]$._The target map $\tau$ has a_section $$j^r({\mathrm{id}}):D\rightarrow J^r_{\mathrm{imm}}(D,D)$$ and so (i) is_finally equivalent to the composite $$D{\xrightarrow{\_j^r({\mathrm{id}})\ }}J^r_{\mathrm{imm}}(D,D){\xrightarrow{\ h_*\ }}J^r(D,P)$$ being_transverse to_$D[B]$. This is (ii).

We say_that a map_$g:M\rightarrow P$_is transverse to_a ${\mathrm{Diff}}({\mathbb R}^d,0)$-invariant submanifold $B\subseteq J^r_0({\mathbb_R}^d,P)$, denoted $g\pitchfork_B$, if $$g_*:J^r_{0,{\mathrm{imm}}}({\mathbb R}^d,M)\rightarrow J^r_0({\mathbb R}^d,P)$$