有向点族

有向点族（ゆうこうてんぞく、"directed family of points"）とは、点列を一般化した概念で、ムーア (Eliakim Hastings Moore) とスミス (H. L. Smith) により1922年に定義された。有向点族はネット ("net")、有向点列、 Moore-Smith 列などとも呼ばれる。
点列との違いは添え字にあり、点列が自然数という可算な全順序集合の元で添え字付けられるのに対し、有向点族はより一般的な順序集合である（可算または非可算な）有向集合の元で添え字付けられている。
有向点族の概念の利点として以下の２つがある：
特に重要なのは、開集合、閉包、連続性などの位相構造に関する概念を有向点族の収束性で特徴づけられる事である。それに対し点列の場合はその添え字の可算性ゆえ、同様の特徴づけを行うには空間の方にも可算性に関する条件が必要となる（詳細は列型空間を参照）。
なお、添え字集合を有向集合にした事は、位相空間上の各点の近傍系が有向集合である（詳細後述）事と相性がよく、これも点列概念の不十分さを解消する上で一役買っている。
点列の極限で位相構造を特徴づけられない例としては、整列順序集合[0,ω1]に順序から定まる位相を入れた空間がある。ここで ω1は最小の非可算順序数である。実際この集合においてω1は明らかに[0,ω1)の閉包に属しているにもかかわらず、[0,ω1)内のいかなる点列もω1に収束しない。なぜなら ω1の非可算性と「可算集合の可算和はまた可算集合になる」という事実により、 [0,ω1)内の任意の点列に対し、点列に属する点のいずれよりも大きい順序数α<ω1が存在するので、 ω1の開近傍(α,ω1]には点列の点が存在しえないからである。
点列概念から可算性を取り除くもう一つの方法として、1937年にアンリ・カルタンによって生み出されたフィルターの概念が知られているが、実はフィルターの概念は収束という観点から見た場合には有向点族の概念と実質的に同値である事が知られている。
定義.
有向集合.
有向点族を定義する為、まず有向集合を定義する。詳細は有向集合の項目を参照。
有向点族とその極限.
有向点族とその収束の定義は点列とその収束性の定義を自然に有向集合の場合に拡張する事で得られる。
以下、"a"≥"b" を "b"≤"a"の単なる言い換えとして使用する（つまり上界は引き続き「＜」記号の見た目が開いている側で定義されているものとする）。
("x"λ)λ∈Λが"a" に収束している事を
と表す。
例.
有向点族の例として以下のものがある。特に３番目の開近傍系の例は有向点族の概念の根幹に関わる重要な例であり、後述する位相構造の特徴づけでも本質的な役割を果たす。
部分有向点族.
部分有向点族の概念は点列の部分列の概念の自然な一般化になっており、実際点列("x" n)nの部分列formula_7を考えた場合、添字集合間の写像formula_8は上の２条件を満たす。
しかし部分有向点族の定義は１つだけ点列の部分列の定義とは大きく異なる所があり、点列の部分列の場合はformula_8は必ず単射になるのに対し、部分有向点族の定義は"h" が単射である事を要求しない。これはもし"h" に単射性を要求すると病的な例（Tychonoff plank）のせいでいくつかの当然と思われる定理が成り立たなくなってしまうからである。（なお、"h" が単射である場合の部分有向点族を特に共終部分有向点族と呼ぶ。）
こうした差異が原因で、点列("x" n)nを有向点族とみなした場合の部分有向点族は点列になっていない場合もあり得る。実際、("x" h(γ))γ∈Γを("x" n)nの部分有向点族とすると、"h" が単射でない事から同じ"x" nが部分有向点族に複数回（場合によっては非可算無限回）登場するかもしれないし、Γも全順序ではないかもしれない。
諸概念との関係.
有向点族による位相構造の特徴づけ.
概要でも記したように、有向点族の概念を用いる事で位相構造を特徴づける事ができる。ここでは閉包の特徴づけのみを説明するが、他の位相に関する概念、例えば閉集合、開集合、内点、外点、境界点も有向点族で特徴づけが可能である。
一方、点列の概念を用いた場合は閉集合と開集合を点列で特徴づけられるには空間が可算性に関する条件を満たす必要があるし、閉包が点列で特徴づけられるにはさらに厳しい条件が必要となる。（詳細は列型空間を参照）。
上の定理は以下のように非常に簡単に示せる。
まずよく知られているようにformula_10である事は以下と同値である：
これは"U" ∩ "A" に少なくとも一つ元が存在する事を意味するので、そのような元を"x" U とすると formula_12である事からformula_3 は"A" 上にある。しかも前節で述べたように formula_3は有向点族でありしかも"a" に収束する。よって十分性が言えた。
逆に"a" に収束する"A" 上の有向点族("x"λ)λ∈Λがあったとすれば、収束性の定義から"a" の任意の近傍"U" 内に有向点族の点"x"λが存在する。しかも仮定から"x"λ ∈ "A" でもあったので、これは(2)が成立する事を意味し、したがってformula_10である。こうして必要性も言えた。
有向点族による連続性の特徴づけ.
連続性の概念も有向点族の概念を用いて以下のように特徴づける事ができる：
ハウスドルフ性とコンパクト性の特徴づけ.
有向点族の概念を用いると、位相空間上の以下の性質も特徴づける事が出来る：
なお、後者の事実の結論部分は点列コンパクトの概念における点列を有向点族に置き換えたものである。
点列の場合も上記２つの事実と似たような事が成立したが、（空間"X" に仮定を置かない限り）点列の場合は必要性しか言えなかった。
コーシー列との関係.
距離空間あるいは一様空間においては、コーシー列とほぼ同様にしてコーシーネットを定義ことができる。この概念はコーシー空間にまで一般化することができる。
普遍有向点族.
有向点族に関する諸概念は基本的に点列に関する概念を焼きなおしたものであるが、以下で述べる普遍性の概念は、有向点族に固有のものである。
普遍性の概念は点列ではなく有向点族の概念に基づいている事が重要であり、普遍性を満たす点列は自明なもの（＝有限個を除いて常に同じ点を指す点列）のみである事が知られている。
任意の有向点族は普遍な部分有向点族を必ず持つ事が知られている：
上記の定理の証明にはフィルターの概念を用いる為、証明は後の章に譲る。
なお上記の定理は部分有向点族の定義で"h" が単射でないものを許容した事を本質的に利用しており、もし"h" として単射なもののみを許す事にすると上記の定理は成り立たない。反例として、("x"λ)λ∈Λが点列である場合を考える。この場合、部分有向点族("x" h(γ))γ∈Γ自身が部分列として必然的に点列になるが、この場合部分列("x" h(γ))γ∈Γが普遍になるのは、それ自身が（前述の意味で）自明な点列である場合に限られる。しかしその場合の"h" は単射でない。"h" を単射に限定すると、部分列は決して自明な点列にはならない（すなわち普遍な部分有向点族にならない）。
以下の定理は定義から明らかである：
以上２つの定理から、有向点族は必ず普遍有向点族を部分有向点族として、その普遍有向点族のさらに部分有向点族を取るとまた普遍有向点族になる。
コンパクト性への応用.
普遍有向点族の概念を用いると、コンパクト性はさらに簡単に特徴づける事ができる：
なお、上述したコンパクト性の普遍有向点列による特徴づけを用いると、チコノフの定理（＝コンパクト空間の直積はコンパクト）がほぼ自明に従う。証明は以下のとおりである。まず複数の位相空間の直積
上の有向点族が"Y" の点"y" に収束する必要十分条件は明らかに有向点族の各"X"αへの射影が"y" の"X"αへの射影へ収束する事である。
よって
すなわちチコノフの定理が言えた。
フィルターとの関係.
有向点族が定義されたもともとの動機は「点列に関わる諸定理から可算性に関する条件を外す」というものであったが、同じ動機からフィルターという概念も生まれている。有向点族の概念とフィルターの概念は異なる研究者により同時期に独立に提案されたものであるが、実は収束性という観点から見たときには両者は実質的に差異がないものだという事実が知られている。
（以下、この節の記述はフィルターの基本的な知識を要求する。フィルターの項目も参照）。
以下の２つの定理はこの事実を定式化したものである。最初の定理は有向点族の収束はフィルターの収束によって捉えられる事を示している：
上の定理におけるＩは以下のように定義できる：
Ｉ(("x"λ)λ∈Λ)がフィルター基の定義を満たす事は簡単に示す事ができる。
次の定理は逆にフィルターの収束は有向点族の収束によって捉えられる事を示している：
ただしＩとＪは逆関数の関係にあるわけではなく、formula_18は常に成り立つがＪ（Ｉ（("x"λ)λ∈Λ））＝("x"λ)λ∈Λとは限らない。
Ｊの定義は若干複雑である。
まずフィルター基formula_19に対し、集合formula_20を
により定義し、formula_20に順序関係
を入れると、formula_20は有向集合とみなせる。
そこで
を考えると、これはformula_20を添字集合とする有向点族とみなせるので、この有向点族をformula_27とする。
普遍部分有向点族の存在性定理の証明の概略.
この定理の証明では上で作った関数ＩとＪ（を少し改変したもの）を用いる。
("x"λ)λ∈Λを位相空間"X" 上の任意の有向点族とし、
とし、formula_29をformula_19より細かい極大フィルターとする。（このようなformula_29の存在性はツォルンの補題より容易に示せる。）
さらに添え字集合Γを
により定義し包含関係の逆順序とΛの順序の直積順序を入れ、"h" を
により定義すると有向点族("x"h(γ))γ∈Γが("x"λ)λ∈Λの部分有向点族となる事が簡単に確かめられる。しかもformula_29の極大性からこの有向点族の普遍性が従う。