既约多项式：设 f(x)是次数大于 0 的多项 式，除了常数、常数与本身乘积以外， 不能再被域 F 上其他多项式除尽，则 f(x) 为 F 域上的既约多项式

1 The eigenvalue distribution function For an N × N matrix AN , the eigenvalue distribution function 1 (e.d.f.) F AN (x) is defined as F AN (x) = Number of eigenvalues of AN ≤ x . (1) N As defined, the e.d.f. is right continuous and possibly atomic i.e. with step discontinuities at discrete points. In practical terms, the derivative of (1), referred to as the (eigenvalue) level density, is simply the