りきのblog

タルスキの不動点定理（証明メモ） この記事ではマッチング理論において, 最適マッチングを求めるのにしばしば応用されるタルスキの不動点定理の証明を行います. はじめに「有限束ならば完備束」であることを示し, 有限束でもタルスキの不動点定理を使えることを確認します. 次にタルスキの不動点定理を2種類証明します. …