386eecf9ab4273d1.tex
1: \begin{definition}\label{Df-4.4-1}
2: A {\bf primary renormalization map} over $\R^N$
3: is a linear map
4: \(
5: \PRIMAP : 
6: \DP_{\BLT} \bigl(\R^N \backslash \{0\}\bigr)
7: \to
8: \DP_{\BLT} (\R^N)
9: \)
10: that satisfies properties $(p_0)$, $(p_1)$ and $(p_3)$ of Theorem \ref{Lemma-C.4-NN}.
11: The primary renormalization map $\PRIMAP$ is called {\bf $O(N)$--equivariant} iff in addition it satisfies 
12: $\PRIMAP (\Lambda^* \hspace{1pt} \MUDZ)$ $=$ $\Lambda^* \hspace{1pt} \PRIMAP' (\MUDZ)$ for all $\Lambda \in O(N)$.
13: Thus, by Theorem \ref{Lemma-C.4-NN}
14: the map $\PRIMAP^{\MHYP}$ is an $O(N)$--equivariant primary renormalization map if $\MHYP \subset \R^N$ is a sphere centered at the origin. 
15: \end{definition}
16: