20/08/09 08:24:38.11 QmjvhqAQ.net
>>140
つづき
参考(>>37より)
”２つの無限列s1,s2∈R^Nについて
一致する項の番号の集合が
Nの補有限部分集合（つまりNにおける有限集合の補集合)
ならば同値、というだけのことだろう
（これが、フレシェ・フィルタを用いた同値関係の再定義）”
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
超フィルター
超フィルター（ちょうフィルター、英: 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) を含むことが同値。
URLﾘﾝｸ(ja.wikipedia.org)
超準解析
URLﾘﾝｸ(mathoverflow.net)
Probabilities in a riddle involving axiom of choice Denis氏 Dec 9 '13
(引用終り)
以上