Let denote a field and let denote a vector space over with finite positive dimension. We consider a pair of linear transformations and that satisfies the following conditions: (i) each of is diagonalizable; (ii) there exists an ordering of the eigenspaces of such that $A^* V_i \subseteq V_{i-1}+V_i+V_{i+1}0 \leq i \leq dV_{-1} = 0V_{d+1} = 0\lbrace V^i \rbrace{i=0}^{\delta}A^AV^_i \subseteq V^{i-1}+V^_i+V^{i+1}0 \leq i \leq \delta V^_{-1} = 0V^{\delta+1} = 0WVAW\subseteq WA^*W\subseteq WW \neq 0, W \neq V$. We call such a pair a {\it tridiagonal pair} on . It is known that and that for $0 \leq i \leq dV_i, V{d-i}, V^_i, V^{d-i}$ coincide; we denote this common value by . The sequence $\lbrace \rho_i\rbrace{i=0}^d$ is called the {\it shape} of the pair. In this paper we assume the shape is and obtain the following results. We describe six bases for ; one diagonalizes , another diagonalizes , and the other four underlie the split decompositions for . We give the action of and on each basis. For each ordered pair of bases among the six, we give the transition matrix. At the end we classify the tridiagonal pairs of shape in terms of a sequence of scalars called the parameter array.

生成讲解博客的中文版本

生成AI智能校验的中文版本