現代数学の系譜 カントル 超限集合論他 3

153 名前： ultrafilter）または極大フィルター（きょくだいフィルター、英: maximal filter）とは順序集合上で定義されたフィルターの中で極大なものをいう。 冪集合上の超フィルター 基本性質 ・X が有限集合のとき U が自由な超フィルターだとすると Φ = Xc ∈ U より矛盾するので、有限集合上には単項フィルターしか存在しない。 ・無限集合 X の補有限部分集合全体 Pfin(X) := {A ⊆ X : |X ＼ A| <= ∞} は真のフィルターとなりフレシェ (仏: Frechet) フィルターと呼ばれる。超フィルターが自由なこととフレシェフィルターを含むことが同値。 ・無限集合 X の超フィルター全体 Ult(X) の濃度は、X の冪集合 P(P(X )) の濃度と等しくなる（これはフィルター全体や自由な超フィルター全体の濃度とも等しい）。 ・無限集合 X 無限基数 κ < |X| にたいし、X 上の集合族 Pκ(X) := {A ⊆ X : |X ＼ A| < κ} は真のフィルターとなり（特に κ = |X| のとき）一般化されたフレシェ (英: generalized Frechet) フィルターと呼ばれる。X 上の超フィルターが κ-一様なことと、Pκ(X) を含むことが同値。 https://ja.wikipedia.org/wiki/%E8%B6%85%E6%BA%96%E8%A7%A3%E6%9E%90 超準解析 https://mathoverflow.net/questions/151286/probabilities-in-a-riddle-involving-axiom-of-choice Probabilities in a riddle involving axiom of choice Denis氏 Dec 9 '13 (引用終り) 以上 [] [ここ壊れてます]

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef