ヒビルテ(2006-07-20)

λ. The Knaster-Tarski Theorem, Veronika Vaneková タルスキの不動点定理の短くて分かり易い解説。 「A set operator is finitary iff it is chain-continuous」という部分が分からなかった。 (追記) finitary と set-continuity set operator のこの finitary(有限特性) という性質の定義は class operator の set-continuous という性質の定義に似ている。 set oprator τ: 2X → 2X が finitary なのは、τ(A) = ∪{τ(B) | B⊆A, B finite} を満たすとき。 class operator τ が set-continuous なのは、τ(A) = ∪{τ(B) | B⊆A, B