関数 f がルベーグ可積分であるための必要十分条件は何か。

バナッハの不動点定理において、写像が不動点を持つために必要な条件はどれか。