1. [(i)] There exists a basis for V with respect to which the matrix representing A is diagonal and the matrix representing A* is irreducible tridiagonal.
2. [(ii)] There exists a basis for V with respect to which the matrix representing A* is diagonal and the matrix representing A is irreducible tridiagonal.
We call such a pair a Leonard pair on V. Refining this notion a bit, we introduce the concept of a Leonard system. We give a complete classification of Leonard systems. Integral to our proof is the following result. We show that for any Leonard pair A,A* on V, there exists a sequence of scalars β,γ,γ*,,* taken from such that both
where [r,s] means rs−sr. The sequence is uniquely determined by the Leonard pair if the dimension of V is at least 4. We conclude by showing how Leonard systems correspond to q-Racah and related polynomials from the Askey scheme. 相似文献