}_{\epsilon}$ is not diffeomorphic to $\mathcal{F}$ since it has at least one noncompact leaf. So $\mathcal{F}$ is not rigid.

### The Inverse Function Theorem of Nash and Moser {#subsection_inv_funct_teorema}

The proof of Theorem \[Theorem\_foliations\] uses the Nash-Moser Inverse Function Theorem developed by Hamilton [@Ham]. In this subsection we explain this result.

#### Tame Fréchet manifolds {#tame-fréchet-manifolds.unnumbered}

First, we recall some terminology developed in [@Ham].\
$\bullet$ A Fréchet space $F$ endowed with an increasing family of norms $\{\|\cdot\|_n\}_{n\geq 0}$ generating its topology is called a **graded Fréchet space**.\
$\bullet$ A family $\{S_t:F\to F\}_{t>1}$ of linear operators are called **smoothing operators** of degree $d$, if there exist constants $C_{n,m}>0$ such that for all $n,m\geq
0$ and $\sigma\in F$ the following inequalities hold: $$\|S_t\sigma\|_{n+m}\leq t^{m+d}C_{n,m}\|\sigma\|_{n},\ \ \|S_t\sigma-\sigma\|_{n}\leq t^{d-m}C_{n,m}\|\sigma\|_{n+m}.$$ $\bullet$ A graded Fréchet space that admits smoothing operators is called a **tame Fréchet space**.

Let $({{F}},\{\|\cdot\|_n\}_{n\geq 0})$ and $({{E}},\{\|\cdot\|_n\}_{n\geq 0})$ be two graded Fréchet spaces.\
$\bullet$ A liner map $$A:{F}{\longrightarrow}{E},$$ is called **tame linear** of degree $r$ and base $b$ if it satisfies $$\|A\sigma\|_n\leq C_n \|\sigma\|_{n+r},\ \ \forall\ \sigma\in F,$$ for all $n\geq b$, with constants $C_n>0$ depending only on $n$.\
$\bullet$ A continuous map $P:U\to {E}$, where $U\subset {F}$ is an open set, is called **tame** of degree $r$ and base $b$, if each point
} _ { \epsilon}$ is not diffeomorphic to $ \mathcal{F}$ since it has at least one noncompact leaf. So $ \mathcal{F}$ is not rigid. 

 # # # The Inverse Function Theorem of Nash and Moser { # subsection_inv_funct_teorema } 

 The proof of Theorem \[Theorem\_foliations\ ] use the Nash - Moser Inverse Function Theorem modernize by Hamilton [ @Ham ]. In this subsection we explain this result. 

 # # # # Tame Fréchet manifolds { # tame-fréchet-manifolds.unnumbered } 

 foremost, we recall some terminology developed in [ @Ham].\ 
 $ \bullet$ A Fréchet space $ F$ endow with an increasing family of norm $ \{\|\cdot\|_n\}_{n\geq 0}$ generating its topology is call a * * graded Fréchet space**.\ 
 $ \bullet$ A family $ \{S_t: F\to F\}_{t>1}$ of analogue operators are called * * smoothing operators * * of degree $ d$, if there exist constants $ C_{n, m}>0 $ such that for all $ n, m\geq 
 0 $ and $ \sigma\in F$ the following inequality hold: $ $ \|S_t\sigma\|_{n+m}\leq t^{m+d}C_{n, m}\|\sigma\|_{n},\ \ \|S_t\sigma-\sigma\|_{n}\leq t^{d - m}C_{n, m}\|\sigma\|_{n+m}.$$ $ \bullet$ A graded Fréchet space that admit smoothing operators is call a * * meek Fréchet space * *. 

 Let $ ({ { F}},\{\|\cdot\|_n\}_{n\geq 0})$ and $ ({ { E}},\{\|\cdot\|_n\}_{n\geq 0})$ be two graded Fréchet spaces.\ 
 $ \bullet$ A liner map $ $ A:{F}{\longrightarrow}{E},$$ is called * * meek linear * * of degree $ r$ and base $ b$ if it satisfies $ $ \|A\sigma\|_n\leq C_n \|\sigma\|_{n+r},\ \ \forall\ \sigma\in F,$$ for all $ n\geq b$, with constants $ C_n>0 $ depending merely on $ n$.\ 
 $ \bullet$ A continuous map $ P: U\to { E}$, where $ U\subset { F}$ is an open set, is called * * tame * * of degree $ r$ and base $ b$, if each point
}_{\epsllon}$ is not diffeomorphig to $\mathcal{F}$ siuxe it ias at meast ond noncompact leaf. So $\mathcal{H}$ is not eigid.

### The Inverse Funcgion Theogem of Nawh aid Moser {#subsectmkn_inv_fuket_teodcma}

Thz 'roof of Theorek \[Theorem\_fmliations\] uses tfe Nash-Moser Inverse Function Theorem develolef by Hamilton [@Ram]. Pn thia subsection we explain this resulf.

#### Tame Hréchet manifoldx {#tame-fréchet-manifolds.unnumheref}

First, we recall slme terminooogy eeveloped in [@Ham].\
$\bullet$ A Fréchet spzce $F$ endowed with an increasine famnly of normw $\{\|\xdoh\|_t\}_{n\geq 0}$ genecating its topologn is canled a **braded Fréchet xpare**.\
$\buolet$ A family $\{S_t:F\to F\}_{v>1}$ of linear operatorf are calneb **smoothing operators** od degtee $d$, if gyerd esixt constwnta $C_{n,m}>0$ such that for aol $n,m\geq
0$ and $\sigma\im S$ the followinf ineqtajities hold: $$\|S_t\sigma\|_{n+m}\leq t^{m+d}C_{n,m}\|\sigma\|_{n},\ \ \|V_t\sjgma-\sigma\|_{n}\leq t^{d-m}C_{n,m}\|\signa\|_{n+m}.$$ $\bullet$ A graded Vréchet spwce that admits smoothing operators is called a **tdme Fcécfet siace**.

Uwt $({{F}},\{\|\cdot\|_n\}_{n\geq 0})$ and $({{E}},\{\|\cdot\|_n\}_{n\geq 0})$ be two graded Frésgeu siaces.\
$\bullet$ A lincr map $$A:{F}{\longrightsrgoe}{G},$$ is called **taoe linzzr** of degree $r$ and bwse $b$ is it watisfies $$\|A\sibma\|_n\leq C_n \|\sigma\|_{n+r},\ \ \forall\ \wigma\in F,$$ fog alo $n\geq b$, with conscants $C_n>0$ depznding only on $n$.\
$\bullet$ A continuour mal $P:U\to {E}$, whfre $U\subssg {F}$ is an open sdt, ps cdlled **tame** of degree $r$ and base $b$, ih eack point
}_{\epsilon}$ is not diffeomorphic to $\mathcal{F}$ since at one noncompact So $\mathcal{F}$ is Function of Nash and {#subsection_inv_funct_teorema} The proof Theorem \[Theorem\_foliations\] uses the Nash-Moser Inverse Theorem developed by Hamilton [@Ham]. In this subsection we explain this result. #### Fréchet manifolds {#tame-fréchet-manifolds.unnumbered} First, we recall some terminology developed in [@Ham].\ $\bullet$ A space endowed an family of norms $\{\|\cdot\|_n\}_{n\geq 0}$ generating its topology is called a **graded Fréchet space**.\ $\bullet$ A $\{S_t:F\to F\}_{t>1}$ of linear operators are called **smoothing of degree $d$, if exist constants $C_{n,m}>0$ such that all 0$ and F$ following hold: $$\|S_t\sigma\|_{n+m}\leq t^{m+d}C_{n,m}\|\sigma\|_{n},\ \|S_t\sigma-\sigma\|_{n}\leq t^{d-m}C_{n,m}\|\sigma\|_{n+m}.$$ $\bullet$ A graded Fréchet space that admits smoothing operators is called a **tame Fréchet space**. $({{F}},\{\|\cdot\|_n\}_{n\geq 0})$ 0})$ be graded spaces.\ A liner map called **tame linear** of degree $r$ if it satisfies $$\|A\sigma\|_n\leq C_n \|\sigma\|_{n+r},\ \ \forall\ F,$$ for $n\geq b$, with constants $C_n>0$ depending on $n$.\ $\bullet$ A continuous map $P:U\to {E}$, $U\subset {F}$ is an open set, is called **tame** of degree $r$ and base $b$, point
}_{\epsilon}$ is not diffeomorphic To $\mathcal{F}$ Since It hAs aT lEast One nOncompact leaf. SO $\MathCal{F}$ is not rigid.

### The InverSe FunCtIOn ThEOrEm of NAsh and MOSeR {#SUbsEcTiOn_iNv_FUnCt_teoRemA}

The proOf of TheoreM \[ThEoRem\_foliationS\] UsEs the Nash-MOseR Inverse FuncTioN TheorEm DevELoped By HAmiltOn [@Ham]. IN This suBsection wE eXPlain tHIs resulT.

#### tAmE FréChet manifolds {#tame-FRéCHet-manifolds.unNumberEd}

fIrST, We rEcaLl some termInOlogy DEvelopeD In [@hAM].\
$\BulLEt$ A Fréchet spaCe $F$ endowed wITh aN increAsIng FAmily oF normS $\{\|\cDOt\|_n\}_{N\geq 0}$ generatIng iTs topologY is calLEd a **gradED FrécheT space**.\
$\BulLet$ a famILy $\{s_t:f\to f\}_{t>1}$ OF liNEaR opERatOrs are caLlEd **SmootHing OPERAtorS** of DegrEe $d$, if There exist conStaNts $C_{N,M}>0$ suCh thaT for aLl $n,m\GeQ
0$ and $\sIgma\in f$ the fOlLowing inequalitIes hOld: $$\|S_t\sigmA\|_{n+m}\LeQ t^{m+D}C_{N,m}\|\sigMA\|_{n},\ \ \|S_t\siGma-\SigMa\|_{n}\leq t^{D-m}C_{n,m}\|\siGMa\|_{n+M}.$$ $\bULLEt$ a graded Fréchet spacE tHAT aDmits smoOthing OPeRaTOrs is calLeD a **tAme FRÉChet sPace**.

lEt $({{f}},\{\|\cdot\|_n\}_{n\gEq 0})$ and $({{E}},\{\|\CDoT\|_n\}_{N\geq 0})$ be tWo Graded frÉchEt sPaces.\
$\BUlleT$ A lineR map $$A:{F}{\loNgrigHTarrow}{E},$$ is calleD **Tame linear** of dEGrEE $R$ aND basE $b$ iF it satisfieS $$\|A\siGMa\|_n\lEq C_n \|\SIgMa\|_{n+R},\ \ \ForalL\ \sigmA\iN f,$$ fOR all $n\geq b$, with constaNtS $C_n>0$ depEndinG only on $n$.\
$\bulleT$ A continuoUS MAp $P:U\to {E}$, wHere $u\SuBSet {F}$ is an open seT, is caLled **tame** of DEgree $r$ anD base $B$, if each pOint
}_{\epsilon}$ is not diffe omorphic t o $\m ath cal {F }$ s ince  it has at lea s t on e noncompact leaf. So$\mat hc a l{F} $  i s not  rigid. 
# # #  Th eIn ver se Fu nctio n T heoremof Nash an d M os er {#subsect i on _inv_funct _te orema}

Thepro of ofTh eor e m \[T heo rem\_ foliat i ons\]uses theNa s h-Mose r  Invers e Fu ncti on Theorem develo p ed by Hamilton [@ Ham].In th i s  su bse ction we e xp laint his res u lt . ### #  Tame Fréchet  manifolds{ #ta me-fré ch et- m anifol ds.un nu m ber ed}

First,  werecall so me ter m inology develop ed in[@H am] .\
$ \ bu ll et$  A Fré c he t s p ace  $F$ end ow ed  with  ani n c r easi ngfami ly of  norms $\{\|\ cdo t\|_ n \}_ {n\ge q 0}$  gen er ating  its t opolo gy  is called a ** grad ed Fréche t s pa ce* *. \
$\b u llet$A f ami ly $\{S _t:F\to F\} _{ t > 1 }$  of linear operato rs a re  called**smoo t hi ng operator s* * o f de g r ee $d $, i f  t here exi st con s ta nt s $C_{n ,m }>0$ s uc h t hat  fora ll $ n,m\ge q
0$ and  $\si g ma\in F$ the f o llowing inequ a li t i es hold : $ $\|S_t\sigm a\|_ { n+m} \leq t^ {m+ d }C_{n ,m}\| \s i gm a \|_{n},\ \ \|S_t\si gm a-\sig ma\|_ {n}\leq t^{d- m}C_{n,m}\ | \ s igma\|_{ n+m} . $$ $\bullet$ A gr adedFréchet sp a ce thatadmit s smooth ing opera t o rs is ca lle d a  ** tam e Fr échet space** . 
Let  $ ({{F}}, \{\ |\cdot\ |_n \}_ {n\ geq  0 })$ and $ ({{E}},\ {\ |\ cd ot \|_ n\}_{ n \geq 0}) $betw o g raded Fréche t spa ces. \$\ b ull et$ A l i ne r map$$ A: {F}{ \lo ng right arro w }{E },$$ is  called * *ta m e li ne ar ** of d egree $r$ and  b ase $b$ if  i t s atisfi e s  $$\|A\s igma\|_n\leq C_n \|\sig m a\|_{n+ r}, \ \ \ fora ll\ \sigm a\i n F,$$  fo r  all $ n\geqb$, w it h c o n stant s $C _n> 0$  depending o nly  on $ n$ .\
$ \bullet $ A continuous map $P: U\to {E}$, wh ere  $U\ s u bs et{ F} $  is  a n  op e n  set, is called  **tame**of de gree $r$ a n d b as e $b$,if each  poin t 
}_{\epsilon}$ is_not diffeomorphic_to $\mathcal{F}$ since it_has at_least_one noncompact_leaf._So $\mathcal{F}$ is_not rigid.

### The_Inverse Function Theorem of_Nash and Moser_{#subsection_inv_funct_teorema}

The_proof of Theorem \[Theorem\_foliations\] uses the Nash-Moser Inverse Function Theorem developed by Hamilton [@Ham]._In_this subsection_we_explain_this result.

#### Tame Fréchet manifolds_{#tame-fréchet-manifolds.unnumbered}

First, we recall some terminology_developed in_[@Ham].\
$\bullet$ A Fréchet space $F$ endowed with an_increasing_family of norms_$\{\|\cdot\|_n\}_{n\geq 0}$ generating its topology is called a **graded_Fréchet space**.\
$\bullet$ A family $\{S_t:F\to F\}_{t>1}$_of linear operators_are_called_**smoothing operators** of degree_$d$, if there exist constants $C_{n,m}>0$_such that for all $n,m\geq
0$ and_$\sigma\in F$ the following inequalities hold: $$\|S_t\sigma\|_{n+m}\leq_t^{m+d}C_{n,m}\|\sigma\|_{n},\ \ \|S_t\sigma-\sigma\|_{n}\leq t^{d-m}C_{n,m}\|\sigma\|_{n+m}.$$ $\bullet$ A_graded Fréchet space that admits_smoothing operators_is called a **tame Fréchet_space**.

Let $({{F}},\{\|\cdot\|_n\}_{n\geq 0})$_and $({{E}},\{\|\cdot\|_n\}_{n\geq_0})$ be two_graded Fréchet spaces.\
$\bullet$ A liner map_$$A:{F}{\longrightarrow}{E},$$ is called_**tame linear** of degree $r$ and_base_$b$ if it_satisfies_$$\|A\sigma\|_n\leq_C_n \|\sigma\|_{n+r},\_\ \forall\ \sigma\in_F,$$_for all_$n\geq_b$, with constants $C_n>0$ depending only_on_$n$.\
$\bullet$ A continuous map $P:U\to {E}$, where_$U\subset {F}$ is an_open_set, is called **tame**_of degree $r$ and base_$b$, if each point