 L65
 ---
abstract: 'We prove a generalization of Thom’s transversality theorem. It gives conditions under which the jet map $f_*|_Y:Y\subseteq J^r(D,M){\rightarrow}J^r(D,N)$ is generically (for $f:M{\rightarrow}N$) transverse to a submanifold $Z\subseteq J^r(D,N)$. We apply this to study transversality properties of a restriction of a fixed map $g:M{\rightarrow}P$ to the preimage $(j^sf)^{-1}(A)$ of a submanifold $A\subseteq J^s(M,N)$ in terms of transversality properties of the original map $f$. Our main result is that for a reasonable class of submanifolds $A$ and a generic map $f$ the restriction $g|_{(j^sf)^{-1}(A)}$ is also generic. We also present an example of $A$ where the theorem fails.'
address: |
    Department of Mathematics and Statistics\
    Masaryk University\
    Kotlářská 2\
    611 37 Brno\
    Czech Republic
author:
- Lukáš Vokřínek
title: 'A generalization of Thom’s transversality theorem'
---

[^1]

Introduction
============

We start by reminding that for smooth manifolds $M$ and $N$ the set $C^\infty(M,N)$ of smooth maps is endowed with two topologies called weak (compact-open) and strong (Whitney) topology. They agree when $M$ is compact. We say that a subset of a topological space is *residual* if it contains a countable intersection of open dense subsets. The Baire property for $C^\infty(M,N)$ then guarantees that it is automatically dense. This holds for both topologies but is almost exclusively used for the strong one. Clearly every residual subset of $C^\infty(M,N)$ for the strong topology is also residual for the weak topology. The following is our main theorem in which we denote by $J^r_{\mathrm{imm}}(D,M)$ the subspace of all jets of immersions.

\[theorem\_general\] Let $D$, $M$, $N$ be manifolds, $Y\subseteq J^r_{\mathrm{imm}}(D,M)$ and $
L65 
  --- 
 abstract:' We prove a generalization of Thom ’s transversality theorem. It gives conditions under which the k function $ f_*|_Y: Y\subseteq J^r(D, M){\rightarrow}J^r(D, N)$ is generically (for $ f: M{\rightarrow}N$) transverse to a submanifold $ Z\subseteq J^r(D, N)$. We apply this to study transversality place of a limitation of a fixed map $ g: M{\rightarrow}P$ to the preimage $ (j^sf)^{-1}(A)$ of a submanifold $ A\subseteq J^s(M, N)$ in condition of transversality properties of the original map $ f$. Our chief result is that for a reasonable course of submanifolds $ A$ and a generic map $ f$ the restriction $ g|_{(j^sf)^{-1}(A)}$ is also generic. We also portray an example of $ A$ where the theorem fails.' 
 address: | 
     Department of Mathematics and Statistics\ 
     Masaryk University\ 
     Kotlářská 2\ 
     611 37 Brno\ 
     Czech Republic 
 author: 
 - Lukáš Vokřínek 
 title:' A abstraction of Thom ’s transversality theorem' 
 --- 

 [ ^1 ] 

 Introduction 
 = = = = = = = = = = = = 

 We start by reminding that for smooth manifold paper $ M$ and $ N$ the set $ C^\infty(M, N)$ of smooth map is endowed with two topology called weak (compact - open) and strong (Whitney) regional anatomy. They agree when $ M$ is compact. We say that a subset of a topological space is * residual * if it contains a countable intersection of clear dense subsets. The Baire property for $ C^\infty(M, N)$ then guarantees that it is automatically dense. This holds for both topologies but is almost exclusively used for the strong one. intelligibly every residual subset of $ C^\infty(M, N)$ for the strong topology is besides residual for the fallible regional anatomy. The following is our main theorem in which we denote by $ J^r_{\mathrm{imm}}(D, M)$ the subspace of all jets of immersions. 

 \[theorem\_general\ ] Let $ D$, $ M$, $ N$ be manifolds, $ Y\subseteq J^r_{\mathrm{imm}}(D, M)$ and $
 L65
 ---
wbstract: 'We prove a genevalization of Thom’s traisversamity theurem. It gives conditions undxr wyich uke jet map $f_*|_Y:Y\subsetdq J^r(D,M){\rihhtarrow}H^r(D,N)$ us genericemly (for $f:M{\riggbarroc}N$) transverse to a submanixold $Z\subseteq J^f(D,U)$. We apply this to study transversalyty prolegties of a resjrictpog of a fixed map $g:M{\rightarrow}P$ to the lreimagt $(j^sf)^{-1}(A)$ of a submanofold $A\subseteq J^s(M,N)$ in tegms lf transversality oroperties if trw original mxp $f$. Our main result ia that for a reasonable class ow subkanifolds $Q$ qnd d generic mep $f$ tre restriction $g|_{(j^sf)^{-1}(A)}$ is alsp generic. We akso prwsent an example of $A$ where the theorem fails.'
addseas: |
    Department od Matvemadics qnd Stztmstjcs\
    Maaaryk Univsrsity\
    Kitlářská 2\
    611 37 Brno\
    Csvvh Republic
ahthor:
- Juháš Vokřínek
title: 'A generalization of Thom’s trznsversality theorem'
---

[^1]

Inteoduction
============

We start by teminding ehat for smooth manifolds $M$ and $N$ the set $C^\infty(M,T)$ of aooouh maps us endowed with two topologies called weak (compwdt-ppvn) and strong (Whibney) topology. They ahrrg when $M$ is coopact. Cs aay that a subset lf a tokologixal space is *tesidual* if it contains a ciuntable intvrsextion of open densz subsets. Thz Bairg proprrty for $C^\infty(M,N)$ then yuaranfees that ih is autojxtically dense. Tfis hmlds for both topologies btt is almist zxclusivdly osed fow the strojg onc. Clearly every resldual sgbset of $C^\lnfty(M,N)$ for the strong topology is also residoal fog the weah topplogy. The foljowing is our kain thzorem kn which wv denote uy $J^r_{\mathrm{iim}}(D,M)$ the subs[wce of all jxts of imiersuons.

\[rheorem\_edneral\] Let $D$, $M$, $N$ be manpfjlds, $Y\subseteq J^r_{\mathrk{imo}}(S,M)$ and $
L65 --- abstract: 'We prove a generalization transversality It gives under which the generically $f:M{\rightarrow}N$) transverse to submanifold $Z\subseteq J^r(D,N)$. apply this to study transversality properties a restriction of a fixed map $g:M{\rightarrow}P$ to the preimage $(j^sf)^{-1}(A)$ of a $A\subseteq J^s(M,N)$ in terms of transversality properties of the original map $f$. Our result that a class of submanifolds $A$ and a generic map $f$ the restriction $g|_{(j^sf)^{-1}(A)}$ is also generic. We present an example of $A$ where the theorem address: | Department of and Statistics\ Masaryk University\ Kotlářská 611 Brno\ Czech author: Lukáš title: 'A generalization Thom’s transversality theorem' --- [^1] Introduction ============ We start by reminding that for smooth manifolds $M$ and the set smooth maps endowed two called weak (compact-open) (Whitney) topology. They agree when $M$ say that a subset of a topological space *residual* if contains a countable intersection of open subsets. The Baire property for $C^\infty(M,N)$ then guarantees it is automatically dense. This holds for both topologies but is almost exclusively used for one. Clearly every residual of $C^\infty(M,N)$ for strong is residual the weak The following is our main theorem in which we denote by the subspace of all jets of immersions. \[theorem\_general\] Let $D$, be $Y\subseteq J^r_{\mathrm{imm}}(D,M)$ and
 L65
 ---
abstract: 'We prove a generaliZation of ThOm’s trAnsVerSaLity TheoRem. It gives condITionS under which the jet map $f_*|_Y:y\subsEtEQ J^r(D,m){\RiGhtarRow}J^r(D,N)$ IS gENEriCaLlY (foR $f:m{\RiGhtarRow}n$) transvErse to a subManIfOld $Z\subseteq j^R(D,n)$. We apply thIs tO study transvErsAlity pRoPerTIes of A reStricTion of A Fixed mAp $g:M{\rightArROw}P$ to tHE preimaGE $(J^sF)^{-1}(A)$ of A submanifold $A\subsETeQ j^s(M,N)$ in terms of tRansveRsALiTY ProPerTies of the oRiGinal MAp $f$. Our mAIn RESUlt IS that for a reasOnable class OF suBmanifOlDs $A$ ANd a genEric mAp $F$ The Restriction $G|_{(j^sf)^{-1}(a)}$ is also geNeric. WE Also preSEnt an exAmple oF $A$ wHerE the THeOrEm fAiLS.'
adDReSs: |
    DEParTment of MAtHeMaticS and sTATIstiCs\
    MAsarYk UniVersity\
    KotlářSká 2\
    611 37 brno\
    cZecH RepuBlic
aUthoR:
- LUkáš VOkříneK
titlE: 'A Generalization oF ThoM’s transveRsaLiTy tHeOrem'
---

[^1]

INTroducTioN
============

We Start by RemindiNG thAt FOR SmOoth manifolds $M$ and $N$ ThE SEt $c^\infty(M,N)$ Of smooTH mApS Is endoweD wIth Two tOPOlogiEs caLLeD weak (comPact-opEN) aNd Strong (WHiTney) toPoLogY. ThEy agrEE wheN $M$ is coMpact. We sAy thaT A subset of a topoLOgical space is *REsIDUaL* If it ConTains a countAble INterSectIOn Of oPEn denSe subSeTS. THE Baire property for $C^\iNfTy(M,N)$ thEn guaRantees that it Is automatiCALLy dense. THis hOLdS For both topologIes buT is almost eXClusivelY used For the stRong one. ClEARly every ResIduAl sUbsET Of $c^\infty(M,N)$ for thE STronG tOpology Is aLso resiDuaL foR thE weAk Topology. THe followInG iS oUr MaiN theoREm in whicH wE deNoTe bY $J^r_{\maTHrm{imm}}(d,M)$ the SubsPaCe OF alL jets of IMmERSionS.

\[tHeOrem\_GenErAl\] Let $d$, $M$, $N$ bE ManIfolds, $Y\Subseteq J^R_{\maTHrm{iMm}}(d,M)$ And $
 L65
 ---
abstract: 'We pr ove a gene raliz ati onof  Tho m’stransversality theo rem. It gives conditio ns un de r  whi c hthe j et map$ f_ * | _Y: Y\ su bse te q  J ^r(D, M){ \righta rrow}J^r(D ,N) $is generical l y(for $f:M{ \ri ghtarrow}N$)  tr ansver se  to a sub man ifold  $Z\su b seteqJ^r(D,N)$ .W e appl y  this t o st udytransversality pr o pe r ties of a rest rictio no fa fix edmap $g:M{\ ri ghtar r ow}P$ t o  t h e pre i mage $(j^sf)^ {-1}(A)$ of a s ubmani fo ld$ A\subs eteqJ^ s (M, N)$ in term s of  transver sality propert i es of t he ori gin almap$ f$ .Our  m a inr es ult isthat for  a  r eason able c l a ss o f s ubma nifol ds $A$ and agen eric map  $f$the r estr ic tion$g|_{( j^sf) ^{ -1}(A)}$ is als o ge neric. We  al so  pr es ent a n  examp leof$A$ whe re thet heo re m f ai ls.'
address: |
  D e pa rtment o f Math e ma ti c s and St at ist ics\    Ma sary k  U niversit y\
  Ko tl ářská 2 \    61 137Brn o\
  Cze ch Rep ublic
au thor: - Lukáš Vokřín e k
title: 'A g e ne r a li z atio n o f Thom’s tr ansv e rsal ityt he ore m '
--- 

[^1 ]In t roduction
========= == =

Westart  by reminding  that fors m o oth mani fold s  $ M $ and $N$ theset $ C^\infty(M , N)$ of s mooth  maps is  endowedw i th two t opo log ies  ca l l ed  weak (compac t - open )and str ong  (Whitn ey)  to pol ogy .They agre e when $ M$  i sco mpa ct. W e  say tha ta s ub set  of a topolo gical  spa ce  i s  *r esidual *  i f it c on ta insa c ou ntabl e in t ers ectionof open d ens e  sub se ts . The B aire property  f or $C^\inf ty (M, N)$ th e n  guarant ees that it is automati c ally de nse . Thi s ho lds for b oth  topol ogi e s butis alm ost e xc lus i v ely u s e dfor  t he strongo n e.Clear ly  eve ry resi dual subset of $C^ \ inf ty(M,N)$ forthe  str o n gtop o lo g y i sa lso r esidual for the  weak topo lo g y.  The follo w ing  i s our m ain the oremi n which  we denot e by $J^r _{ \mat h r m{i mm}}(D,M)$  the sub space ofa ll je t sof im mer sions. 
\[t heore m\_gen e ral \] Le t $D$,  $ M$, $N $ bema nifolds,  $Y\subseteq J^r_{\math rm{imm }}(D, M)$  and $
 L65
_---
abstract: 'We_prove a generalization of_Thom’s transversality_theorem._It gives_conditions_under which the_jet map $f_*|_Y:Y\subseteq_J^r(D,M){\rightarrow}J^r(D,N)$ is generically (for_$f:M{\rightarrow}N$) transverse to_a_submanifold $Z\subseteq J^r(D,N)$. We apply this to study transversality properties of a restriction of_a_fixed map_$g:M{\rightarrow}P$_to_the preimage $(j^sf)^{-1}(A)$ of a_submanifold $A\subseteq J^s(M,N)$ in terms_of transversality_properties of the original map $f$. Our main_result_is that for_a reasonable class of submanifolds $A$ and a generic_map $f$ the restriction $g|_{(j^sf)^{-1}(A)}$ is_also generic. We_also_present_an example of $A$_where the theorem fails.'
address: |
 _  Department of Mathematics and_Statistics\
    Masaryk University\
 _  Kotlářská 2\
  _ 611 37 Brno\
 _ _Czech Republic
author:
- Lukáš Vokřínek
title: 'A_generalization of Thom’s_transversality theorem'
---

[^1]

Introduction
============

We_start by reminding_that for smooth manifolds $M$ and_$N$ the set_$C^\infty(M,N)$ of smooth maps is endowed_with_two topologies called_weak_(compact-open)_and strong_(Whitney) topology. They_agree_when $M$_is_compact. We say that a subset_of_a topological space is *residual* if it_contains a countable intersection_of_open dense subsets. The_Baire property for $C^\infty(M,N)$ then_guarantees that it is automatically dense._This holds_for both_topologies but is almost exclusively used for the strong one. Clearly_every residual subset of $C^\infty(M,N)$ for_the strong topology is_also residual_for_the weak topology._The_following is_our main theorem in which we denote_by $J^r_{\mathrm{imm}}(D,M)$_the subspace of all jets of_immersions.

\[theorem\_general\] Let $D$, $M$,_$N$_be manifolds, $Y\subseteq J^r_{\mathrm{imm}}(D,M)$ and $