바나흐 공간
복소수 바나흐 공간 formula_24 위의 콤팩트 작용소 formula_30의 경우, 다음이 성립한다.