3784c529479c20f3.tex
1: \begin{definition}
2: 	Let $f \colon A^* \to A^*$ be a morphism. 
3: 	The {\em incidence matrix} of $f$ is the matrix $\mathsf{Mat}_f\in\N^{A\times A}$ defined, for all $a,b\in A$, by
4: 	\[
5: 		{(\mathsf{Mat}_f)}_{a,b} = |f(b)|_a.
6: 	\]
7: 	For every sub-alphabet $B$ of $A$, we let 
8: 	\[
9: 		(\mathsf{Mat}_f)_B
10: 	\] 
11: 	denote the sub-matrix of $\mathsf{Mat}_f$ obtained from $\mathsf{Mat}_f$ 
12: 	by selecting rows and columns corresponding to letters in $B$. 
13: 	The eigenvalues and the spectrum of $\mathsf{Mat}_f$ are called respectively the {\em eigenvalues} 
14: 	and the {\em spectrum} of $f$ which is denoted by $\multspec(f)$. Since $\mathsf{Mat}_f$ is non-negative, thanks to Theorem~\ref{the:pf} 
15: we can also define the {\em Perron eigenvalue} of $f$, which is $\rho(\mathsf{Mat}_f)$.
16: \end{definition}
17: