93e7b84d5f0c1b52.tex
1: \begin{definition}($C^r$ deformations $f_t$. Notations $v_t$, $X_t$, $h_t$.)
2: Let $f:I \to I$ be an  $S$-unimodal 
3: Collet-Eckmann map.
4: For $r \ge 1$, a {\it $C^r$ one-parameter family} through $f$ is a 
5: $C^r$ map 
6: $$t \mapsto f_t\, , \, \, t \in [-\epsilon, \epsilon]
7: \, , 
8: $$
9: (taking the topology of $C^3$ endomorphisms 
10: of $I$ in the image),
11: with
12: $f_0=f$, and so that
13: each $f_t$ is $S$-unimodal. We use the notations: 
14: $$
15: c_{k,t}=f_t^k(c)\, , k \ge 1 \, , \, v_s:= \partial_t f_t|_{t=s}\, ,
16: v=v_0\, , \, c_k=c_{k,0}\, .
17: $$
18: 
19: 
20: A {\it $C^r$ deformation of $f$} is  a $C^r$ one-parameter family through $f$
21: so that, in addition, for each $|t|\le \epsilon$, there exists
22: a homeomorphism $h_t:I \to I$ with
23: \begin{equation}\label{starstar}
24: h_0(x)\equiv x\, , \mbox{ and }
25:  f_t \circ h_t = h_t \circ f_0\, ,\forall t \in [-\epsilon, \epsilon]\, ,
26: \end{equation}
27: and
28: \footnote{This is mostly a technical
29: assumption, see also the remark after Theorem ~ \ref{alphabded}.}
30: $v_s = X_s \circ f_s$ for each $|s|\le \epsilon$,
31: with $X_s : I \to \real$ a $C^2$ function.
32: (We write $X=X_0$.)
33: \end{definition}
34: