特定の条件下で自己写像が不動点を少なくとも1つ持つことを主張

一口に「不動点定理」と言ってもめちゃくちゃ種類がある ref

定理

全てのラムダ式Fについて、FX=_\beta Xとなるラムダ式Xが存在する

証明 ref p.138

W\equiv \lambda x.F(xx),X\equiv WWとすると、

X\equiv WW\equiv (\lambda x.F(xx))W=_\beta F(WW)\equiv FX

なんでこれが証明になるの #??

いろいろな不動点定理 ref

幾何学

代数幾何

束論

圏論

再帰理論

解析学

参考