{
    Y \ar@{c->}[r] \ar[d] & J^r_{0,{\mathrm{imm}}}({\mathbb R}^d,M) \ar[d]^{g_*} \\
    B \ar@{c->}[r] & J^r_0({\mathbb R}^d,P)
    }$$

Applying Lemma \[lemma\_equivalence1\] to the diagram $$\xymatrix{
& J^r_{0,{\mathrm{imm}}}({\mathbb R}^d,f^{-1}(A)) \ar[r] \ar[d]^{j_*} & J^r_0({\mathbb R}^d,A) \ar[d] \\
Y \ar@{c->}[r] \ar[d] & J^r_{0,{\mathrm{imm}}}({\mathbb R}^d,M) \ar[r]^-{f_*} \ar[d]^{g_*} & J^r_0({\mathbb R}^d,N) \\
B \ar@{c->}[r] & J^r_0({\mathbb R}^d,P)
}$$ gives an equivalence of (ii) with the transversality of $$(gj)_*:J^r_{0,{\mathrm{imm}}}({\mathbb R}^d,f^{-1}(A))\longrightarrow J^r_0({\mathbb R}^d,P)$$ to $B$. By Lemma \[lemma\_equivalence2\] this is equivalent to (i).

Now that we know how $f$ controls the transversality of a map defined on the preimage $f^{-1}(A)$ of some submanifold, we would like to see that this transversality condition (any of the two equivalent conditions in Lemma \[lemma\_equivalence3\]) is generic. This is indeed the case. We first prove a more general result which at the same time happens to generalize the Thom Transversality Theorem.

This is an application of Lemma \[lemma\_general\_transversality\] from Section \[section\_general\_transversality\]. We have a map $$\alpha:C^\infty(M,N)\rightarrow C^\infty(Y,J^r(D,N))$$ sending $f$ to $f_*|_Y$. This map is continuous for the weak topology on the target and clearly ${\mathfrak X}=\{f\in C^\infty(M,N)\ |\ \alpha(f
{ 
     Y \ar@{c->}[r ] \ar[d ] & J^r_{0,{\mathrm{imm}}}({\mathbb R}^d, M) \ar[d]^{g _ * } \\ 
     B \ar@{c->}[r ] & J^r_0({\mathbb R}^d, P) 
     } $ $ 

 Applying Lemma   \[lemma\_equivalence1\ ] to the diagram $ $ \xymatrix { 
 & J^r_{0,{\mathrm{imm}}}({\mathbb R}^d, f^{-1}(A) ) \ar[r ] \ar[d]^{j _ * } & J^r_0({\mathbb R}^d, A) \ar[d ] \\ 
 Y \ar@{c->}[r ] \ar[d ] & J^r_{0,{\mathrm{imm}}}({\mathbb R}^d, M) \ar[r]^-{f _ * } \ar[d]^{g _ * } & J^r_0({\mathbb R}^d, N) \\ 
 B \ar@{c->}[r ] & J^r_0({\mathbb R}^d, P) 
 } $ $ gives an equivalence of (ii) with the transversality of $ $ (gj)_*:J^r_{0,{\mathrm{imm}}}({\mathbb R}^d, f^{-1}(A))\longrightarrow J^r_0({\mathbb R}^d, P)$$ to $ B$. By Lemma   \[lemma\_equivalence2\ ] this is equivalent to (iodine). 

 nowadays that we know how $ f$ controls the transversality of a map define on the preimage $ f^{-1}(A)$ of some submanifold, we would like to see that this transversality circumstance (any of the two equivalent conditions in Lemma   \[lemma\_equivalence3\ ]) is generic. This is indeed the case. We first testify a more general result which at the like time happens to generalize the Thom Transversality Theorem. 

 This is an application of Lemma   \[lemma\_general\_transversality\ ] from incision   \[section\_general\_transversality\ ]. We have a map $ $ \alpha: C^\infty(M, N)\rightarrow C^\infty(Y, J^r(D, N))$$ sending $ f$ to $ f_*|_Y$. This map is continuous for the weak regional anatomy on the target and clearly $ { \mathfrak X}=\{f\in C^\infty(M, N)\ |\ \alpha(f
{
    Y \ar@{c->}[r] \ar[d] & J^r_{0,{\mathrm{imm}}}({\oathbb R}^d,M) \ar[d]^{g_*} \\
    B \er@{c->}[r] & J^d_0({\mathbb F}^d,P)
    }$$

Applying Lemma \[lemma\_eqnivaoence1\] to the diagram $$\xymatrkx{
& J^r_{0,{\mathgm{imm}}}({\mathvb R}^v,f^{-1}(A)) \ar[r] \ar[d]^{j_*} & J^r_0({\mathbb R}^d,A) \ar[d] \\
N \ar@{c->}[x] \er[d] & J^r_{0,{\mathrm{imk}}}({\mathbb R}^d,K) \ar[r]^-{f_*} \ar[d]^{g_*} & J^s_0({\mxtkbb R}^d,N) \\
B \ar@{c->}[r] & J^r_0({\mathbb R}^d,P)
}$$ gives ag equivslfnce of (ii) witr tht twansbvrwality of $$(gj)_*:J^r_{0,{\mathrm{imm}}}({\mathbb R}^d,f^{-1}(A))\loigrightarrow J^r_0({\kathbb R}^d,P)$$ to $B$. By Lemma \[lelma\_eeuivalence2\] this is equivalent to (y).

Bow that we ynow how $f$ controls thg transversality of a map definea on che preimagg $r^{-1}(A)$ mf some subnanifjld, we would like to see thst this transvcrsalmty xondition (any of the vwo equivalent condijions in Lamja \[lemma\_equivalencw3\]) us geteriw. Thkw ir ihdxed the cwse. We first lrove a morw general result whocr at the same fime hwp[ens to generalize the Thom Transversalpty Fheorem.

This is an applixation of Lemma \[lemma\_ggneral\_tranfversality\] from Section \[section\_general\_transversalidy\]. We favt q map $$\qloha:C^\infty(M,N)\rightarrow C^\infty(Y,J^r(D,N))$$ sending $f$ tj $f_*|_U$. Nhis map is contikuous for the weak tlppjogy on the txrget chd clearly ${\mathfrak D}=\{f\in C^\igfty(M,B)\ |\ \alpha(f
{ Y \ar@{c->}[r] \ar[d] & J^r_{0,{\mathrm{imm}}}({\mathbb R}^d,M) B & J^r_0({\mathbb }$$ Applying Lemma & R}^d,f^{-1}(A)) \ar[r] \ar[d]^{j_*} J^r_0({\mathbb R}^d,A) \ar[d] Y \ar@{c->}[r] \ar[d] & J^r_{0,{\mathrm{imm}}}({\mathbb R}^d,M) \ar[d]^{g_*} & J^r_0({\mathbb R}^d,N) \\ B \ar@{c->}[r] & J^r_0({\mathbb R}^d,P) }$$ gives an of (ii) with the transversality of $$(gj)_*:J^r_{0,{\mathrm{imm}}}({\mathbb R}^d,f^{-1}(A))\longrightarrow J^r_0({\mathbb R}^d,P)$$ to $B$. By \[lemma\_equivalence2\] is to Now that we know how $f$ controls the transversality of a map defined on the preimage of some submanifold, we would like to see this transversality condition (any the two equivalent conditions in \[lemma\_equivalence3\]) generic. This indeed case. first prove a general result which at the same time happens to generalize the Thom Transversality Theorem. This is an of Lemma Section \[section\_general\_transversality\]. have map C^\infty(Y,J^r(D,N))$$ sending $f$ This map is continuous for the the target and clearly ${\mathfrak X}=\{f\in C^\infty(M,N)\ |\
{
    Y \ar@{c->}[r] \ar[d] & J^r_{0,{\mathrm{imm}}}({\mathbb r}^d,M) \ar[d]^{g_*} \\
    B \ar@{C->}[r] & J^r_0({\mAthBb R}^D,P)
    }$$

applYing lemma \[lemma\_equiVAlenCe1\] to the diagram $$\xymatrix{
& j^r_{0,{\matHrM{Imm}}}({\mAThBb R}^d,f^{-1}(a)) \ar[r] \ar[d]^{J_*} & j^r_0({\MAThbB R}^D,A) \Ar[d] \\
y \aR@{C->}[r] \Ar[d] & J^r_{0,{\MatHrm{imm}}}({\mAthbb R}^d,M) \ar[R]^-{f_*} \aR[d]^{G_*} & J^r_0({\mathbb R}^d,N) \\
b \Ar@{C->}[r] & J^r_0({\mathbb r}^d,P)
}$$ Gives an equivAleNce of (iI) wIth THe traNsvErsalIty of $$(gJ)_*:j^r_{0,{\mathRm{imm}}}({\mathBb r}^D,f^{-1}(A))\lonGRightarROW J^R_0({\matHbb R}^d,P)$$ to $B$. By Lemma \[lEMmA\_Equivalence2\] thiS is equIvALeNT To (i).

now That we know HoW $f$ conTRols the TRaNSVErsALity of a map defIned on the prEImaGe $f^{-1}(A)$ of SoMe sUBmanifOld, we WoULd lIke to see thaT thiS transverSality COnditioN (Any of thE two eqUivAleNt coNDiTiOns In lEmmA \[LeMma\_EQuiValence3\]) iS gEnEric. THis iS INDEed tHe cAse. WE firsT prove a more geNerAl reSUlt Which At the Same TiMe hapPens to GenerAlIze the Thom TransVersAlity TheoRem.

thIs iS aN applICation Of LEmmA \[lemma\_gEneral\_tRAnsVeRSALiTy\] from Section \[sectiOn\_GENeRal\_transVersalITy\]. we HAve a map $$\aLpHa:C^\InftY(m,n)\righTarrOW C^\Infty(Y,J^r(d,N))$$ sendINg $F$ tO $f_*|_Y$. This MaP is conTiNuoUs fOr the WEak tOpologY on the taRget aND clearly ${\mathfrAK X}=\{f\in C^\infty(M,N)\ |\ \ALpHA(F
{
    Y \ar@{c->}[r] \ar[d ] & J^r_{0 ,{\ma thr m{i mm }}}( {\ma thbb R}^d,M) \ a r[d] ^{g_*} \\
    B \ar@{c ->}[r ]&  J^r _ 0( {\mat hbb R}^ d ,P )    } $$ 

A pp l yi ng Le mma  \[lemm a\_equival enc e1 \] to the di a gr am $$\xyma tri x{
& J^r_{0, {\m athrm{ im m}} } ({\ma thb b R}^ d,f^{- 1 }(A))\ar[r] \a r[ d ]^{j_* }  & J^r_ 0 ( {\ math bb R}^d,A) \ar[d] \\ Y \ar@{c->}[r]  \ar[d ]&  J ^ r _{0 ,{\ mathrm{imm }} }({\m a thbb R} ^ d, M ) \ar [ r]^-{f_*} \ar [d]^{g_*} & J^r _0({\m at hbb R}^d,N ) \\B\ ar@ {c->}[r] &J^r_ 0({\mathb b R}^d , P)
}$$g ives an  equiv ale nce  of( ii )wit ht het ra nsv e rsa lity of$$ (g j)_*: J^r_ { 0 , { \mat hrm {imm }}}({ \mathbb R}^d, f^{ -1}( A ))\ longr ighta rrow  J ^r_0( {\math bb R} ^d ,P)$$ to $B$. B y Le mma \[lem ma\ _e qui va lence 2 \] thi s i s e quivale nt to ( i ).
N o w th at we know how $f$  c o n tr ols thetransv e rs al i ty of ama p d efin e d  on t he p r ei mage $f^ {-1}(A ) $of  some s ub manifo ld , w e w ouldl iketo see  that th is tr a nsversality co n dition (any o f  t h e  t w o eq uiv alent condi tion s  inLemm a  \ [le m ma\_e quiva le n ce 3 \]) is generic. Thi sis ind eed t he case. We f irst prove a more gen eral re s ult which at t he sa me time ha p pens togener alize th e Thom Tr a n sversali tyThe ore m.T hi s is an appli c a tion  o f Lemma  \[ lemma\_ gen era l\_ tra ns versality \] fromSe ct io n\[s ectio n \_genera l\ _tr an sve rsali t y\]. W e hav e ama p$ $\a lpha:C^ \ in f t y(M, N) \r ight arr ow  C^\i nfty ( Y,J ^r(D,N) )$$ sendi ng$ f$ t o$f _*|_Y$.  This map isco ntinuous f or  th e weak t opologyon the target and clear l y ${\ma thf rak X }=\{ f\in C^\i nft y(M,N) \ | \  \alph a(f
{
 _ _Y \ar@{c->}[r] \ar[d] &_J^r_{0,{\mathrm{imm}}}({\mathbb R}^d,M)_\ar[d]^{g_*}_\\
 __ B \ar@{c->}[r]_& J^r_0({\mathbb R}^d,P)
_   }$$

Applying_Lemma \[lemma\_equivalence1\] to the_diagram_$$\xymatrix{
& J^r_{0,{\mathrm{imm}}}({\mathbb R}^d,f^{-1}(A)) \ar[r] \ar[d]^{j_*} & J^r_0({\mathbb R}^d,A) \ar[d] \\
Y \ar@{c->}[r] \ar[d] & J^r_{0,{\mathrm{imm}}}({\mathbb_R}^d,M)_\ar[r]^-{f_*} \ar[d]^{g_*}_&_J^r_0({\mathbb_R}^d,N) \\
B \ar@{c->}[r] & J^r_0({\mathbb_R}^d,P)
}$$ gives an equivalence of_(ii) with_the transversality of $$(gj)_*:J^r_{0,{\mathrm{imm}}}({\mathbb R}^d,f^{-1}(A))\longrightarrow J^r_0({\mathbb R}^d,P)$$ to_$B$._By Lemma \[lemma\_equivalence2\] this_is equivalent to (i).

Now that we know how $f$_controls the transversality of a map_defined on the_preimage_$f^{-1}(A)$_of some submanifold, we_would like to see that this_transversality condition (any of the two_equivalent conditions in Lemma \[lemma\_equivalence3\]) is generic. This_is indeed the case. We first_prove a more general result_which at_the same time happens to_generalize the Thom_Transversality Theorem.

This_is an application_of Lemma \[lemma\_general\_transversality\] from Section \[section\_general\_transversality\]. We have_a map $$\alpha:C^\infty(M,N)\rightarrow_C^\infty(Y,J^r(D,N))$$ sending $f$ to $f_*|_Y$. This_map_is continuous for_the_weak_topology on_the target and_clearly_${\mathfrak X}=\{f\in_C^\infty(M,N)\_|\ \alpha(f