短语词组短语normal compact operator [数]正规紧算子normal polynomially compact operator [数]正规多项式紧算子 返回 compact normal operator