设K（t，s)是a≤t≤b，a≤s≤b上的可测函数，∫ab|K（t,s)|dt对[a，b]上几乎所有的S存在，且作为S的函数是本性有界的。令

设K(t，s)是a≤t≤b，a≤s≤b上的可测函数，∫_a^b|K(t,s)|dt对[a，b]上几乎所有的S存在，且作为S的函数是本性有界的。令

y=Tx:y(t)=∫_a^bK(t，s)x(s)dt

则T是L[a，b]到其自身的有界线性算子，且