21f41fc68ed9e071.tex
1: \begin{definition}[$\pi$-approximations, {cf \cite[Definition 1.13]{DS4}}]\label{d:pi-approximations}
2: Let $L\in \sS\cup \sW$ and $\pi$ be an $m$-dimensional plane. If $T\res\bC_{32 r_L} (p_L, \pi)$ fulfills 
3: the assumptions of \cite[Theorem 1.4]{DS3} in the cylinder $\bC_{32 r_L} (p_L, \pi)$, then the resulting map $f: B_{8r_L} (p_L, \pi)  \to \Iq (\pi^\perp)$ given by \cite[Theorem 1.4]{DS3} is a {\em $\pi$-approximation of $T$ in $\bC_{8 r_L} (p_L, \pi)$}. 
4: The map $\hat{h}:B_{7r_L} (p_L, \pi) \to \pi^\perp$ given
5: %\footnote{{\color{red} Q: Maybe $\hat{h}$ should be $\hat{h}_L$?} {\color{blue} A: No, because $\hat{h}_L$ will be used when $\pi = \pi_L$, whereas the reference plane $\pi$ above might be different.}} 
6: by $\hat{h}:= (\etaa\circ f)* \varrho_{\ell (L)}$ will be called the {\em smoothed average of the $\pi$-approximation}, where we recall the notation $\etaa \circ f(x) := Q^{-1} \sum_{i=1}^Q f_i(x)$ for any $Q$-valued map $f = \sum_i \a{f_i}$. 
7: \end{definition}
8: