>>766
>有向点族とフィルターは違うよ

ありがとうございます。
勉強になります (^^

(google検索)
数学の収束について 有向点族と フィルターとの 違いは?
AI による概要
有向点族(net)とフィルター(filter)は、いずれも一般の位相空間で収束を定義する道具であり、可算(数えられる)な点列の概念を非可算な集合へ拡張した同等な手法です。有向点族は「順序付き集合からの写像(点列の一般化)」、フィルターは「集合の集まり(近傍系の一般化)」で、実質的に収束性において差異はありません。
有向点族とフィルターの主な違いと共通点
略す
いやすさ:
・有向点族は、点列(n→∞)と表記が似ているため直感的な計算に適しています。
・フィルターは、集合論的・構造的な議論(コンパクト性や極限の存在)に適しており、特にUltrafilter(超フィルター)を用いた議論で強力です。
実質的に「同じもの」を異なる視点(点列の拡張か、近傍の拡張か)で記述している概念と言えます。

https://mathlandscape.com/net/
ネット(有向点族)による位相空間論と点列との比較
数学の景色
https://mathlandscape.com › 解析学(大学) › 集合と位相
2025/09/23 — ネット(有向点族)は,一般の位相空間における収束を扱う概念ですが,同じような概念にフィルター (filter) というものがあります。これも収束を扱う概念です ...

位相空間におけるフィルターの概念を詳しく
数学の景色
https://mathlandscape.com › 解析学(大学) › 集合と位相
2025/09/15 — フィルターとネット(有向点族)は,どちらも収束の概念を扱うもので,相互に対応しています。その対応関係について述べましょう。ネット(有向点族)については ...

https://ja.wikipedia.org/wiki/%E4%BD%8D%E7%9B%B8%E7%A9%BA%E9%96%93
位相空間
一般の位相空間の場合は「任意の点列」ではなく「任意の有向点族」に対してこれと類似の性質が成り立つ事により連続性を定義する必要がある。
なぜなら点列の場合は添字集合が可算なので、点列の概念で連続性を捉え切るには位相空間の方にも何らかの可算性を要求する必要があり(列型空間を参照)、一般の位相空間の連続性の概念を適切に定義するには点列の概念では不足だからである。
なお、位相空間上ではフィルターの収束という、もう一つの収束概念を定式化できる事が知られているものの、収束する有向点族と収束するフィルターとにはある種の対応関係がある事が知られている。詳細は有向点族#フィルターとの関係を参照。