| ■47843 / inTopicNo.1) |
超フィルタの定義はこれでOK?
|
□投稿者/ EE 一般人(1回)-(2016/12/29(Thu) 23:38:13)
 | Ωを全体集合とする。
[定義1] F⊂2^ΩがΩ上のフィルタ ⇔(def) (i) Ω∈F,φ∈F, (ii) F∋a⊂b⊂Ω⇒b∈F, (iii) a,b∈F⇒a∩b∈F.
[定義2] F⊂2^ΩがΩ上の超フィルタ ⇔(def) (i) FはΩ上のフィルタ, (ii) a∈F ⇒ Ω＼a∈F.
どこか間違ってますでしょうか? 間違ってましたら訂正をお願い致します。
|
|