E..1 Lipschitz条件を仮定する場合

比較的多くのテキストに載っている。 たとえば明治大学の学生の場合は、 オンラインで高橋[1] が読める。

以下では、関数解析を学ぶと紹介されることの多い、 縮小写像に関する不動点定理を用いる証明を紹介する。