有向点族

有向点族（ゆうこうてんぞく、directed family of points）とは、点列を一般化した概念で、ムーア (Eliakim Hastings Moore) とスミス (H. L. Smith) により1922年に定義された。有向点族はネット (net)、有向点列、 Moore-Smith 列などとも呼ばれる。

点列との違いは添え字にあり、点列が自然数という可算な全順序集合の元で添え字付けられるのに対し、有向点族はより一般的な順序集合である（可算または非可算な）有向集合の元で添え字付けられている。

有向点族の概念の利点として以下の２つがある：

• 点列にある「可算性」、「全順序性」という束縛がなくなる。点列の場合はこうした束縛ゆえに定理を証明する際に空間に可算性に関する何らかの仮定（第一可算公理など）を課さねばならなくなる事があるのに対し、有向点族ではそのような条件なしに同様の定理が証明できる場合がある。
• 複数の収束概念を統一的に扱う事ができる。例えば点列の収束、実数値関数の収束、リーマン積分におけるリーマン和等は有向点族の収束概念の特殊ケースとみなせる。

特に重要なのは、開集合、閉包、連続性などの位相構造に関する概念を有向点族の収束性で特徴づけられる事である。それに対し点列の場合はその添え字の可算性ゆえ、同様の特徴づけを行うには空間の方にも可算性に関する条件が必要となる（詳細は列型空間を参照）。

なお、添え字集合を有向集合にした事は、位相空間上の各点の近傍系が有向集合である（詳細後述）事と相性がよく、これも点列概念の不十分さを解消する上で一役買っている。

点列の極限で位相構造を特徴づけられない例としては、整列順序集合[0,ω₁]に順序から定まる位相を入れた空間がある。ここで ω₁は最小の非可算順序数である。実際この集合においてω₁は明らかに[0,ω₁)の閉包に属しているにも関わらず、[0,ω₁)内のいかなる点列もω₁に収束しない。なぜなら ω₁の非可算性と「可算集合の可算和はまた可算集合になる」という事実により、 [0,ω₁)内の任意の点列に対し、点列に属する点のいずれよりも大きい順序数α<ω₁が存在するので、 ω₁の開近傍(α,ω₁]には点列の点が存在しえないからである。

点列概念から可算性を取り除くもう一つの方法として、1937年にアンリ・カルタンによって生み出されたフィルターの概念が知られているが、実はフィルターの概念は収束という観点から見た場合には有向点族の概念と実質的に同値である事が知られている。

定義

有向集合

有向点族を定義する為、まず有向集合を定義する。詳細は有向集合の項目を参照。

定義（有向集合）
空でない集合 A とA 上の二項関係「≤ 」の組 (A, ≤) が有向集合（ゆうこうしゅうごう、directed set）であるとは、「≤ 」が反射的かつ推移的（つまり前順序）で、しかもA の任意の二元が上界を持つ事、すなわち任意の a, b ∈ A に対しあるc ∈ A が存在し a ≤ c かつ b ≤ c となる事をいう。

有向点族とその極限

有向点族とその収束の定義は点列とその収束性の定義を自然に有向集合の場合に拡張する事で得られる。

定義（有向点族）
位相空間X 上の有向点族とは、ある有向集合 Λ から X への写像のことである。これをしばしば (xλ)λ∈Λ あるいは簡単に (xλ) のように記して、Λ で添字付けられる有向点族などと呼ぶ。

以下、有向集合Λ 上の順序関係を「≥ 」と表す。

定義（有向点族の収束）
位相空間X 上の有向点族(xλ)λ∈ΛがX 上の点x に収束するとは、x の任意の近傍U に対し、(xλ)λ∈ΛがU にほとんど含まれる事をいう。 ここで(xλ)λ∈ΛがX の部分集合Y にほとんど含まれる (eventually in) とは、あるλ∈Λが存在し、γ ≥ λを満たす全てのγ∈Λに対しxγ が Y に含まれる事を言う。

(x_λ)_λ∈Λがa に収束している事を

[math]\mathrm{lim}~x_{\lambda}=a \,[/math]

と表す。

例

有向点族の例として以下のものがある。特に３番目の開近傍系の例は有向点族の概念の根幹に関わる重要な例であり、後述する位相構造の特徴づけでも本質的な役割を果たす。

• (点列) 自然数の全体に通常の大小関係で順序を入れたものは有向集合であるので、任意の点列は有向点族である。定義より明らかなように点列(x_n)の点列としての収束性と有向点族としての収束性は一致する。
• (実数値関数の極限) 同様に実変数関数の極限lim_x→∞ f(x)も、有向点族[math](f(x))_{x\in\mathbb{R}}[/math]の極限ととらえる事ができる。
• (開近傍系) 位相空間上の点 a を固定し、a の各近傍U からx_Uを任意に選ぶと、[math](x_U)_{U\in \mathcal{N}_a}[/math]は有向点族となる。ここで[math]\mathcal{N}_a[/math] はa の近傍系である。実際[math]\mathcal{N}_a[/math]上の順序をU ≥ V ⇔ U ⊂ V により定めると[math]\mathcal{N}_a[/math]が有向集合になる事を簡単に確かめる事ができる。なおこの例において、順序関係「≥」に関して大きなU を取ればとるほどx_Uはa の小さな近傍に属している事になる事からもわかるようにx_U はa 収束する。
• (リーマン和) リーマン積分の定義におけるリーマン和も有向点列の極限とみなせる。この例において考える有向集合は、積分区間の全ての分割が成す集合に包含関係が定める半順序で向きを入れたものである。リーマン-スティルチェス積分においても同様のことを考えることができる。

部分有向点族

定義（部分有向点族）
Γ、Λを有向集合とし、h : Γ→Λを以下の性質を満たす写像とするとき、(x h(γ))γ∈Γを(xλ)λ∈Λの部分有向点族(subnet)と呼ぶ。 (単調性) 任意のγ, ξ ∈ Γに対し、γ ≤ ξ⇒h (γ) ≤ h (ξ) (共終(cofinal)性) 任意のλ ∈ Λに対し適当なγ ∈ Γ が存在し、λ ≤ h (γ)

部分有向点族の概念は点列の部分列の概念の自然な一般化になっており、実際点列(x _n)_nの部分列[math](x_{n_k})_k[/math]を考えた場合、添字集合間の写像[math]k \mapsto n_k [/math]は上の２条件を満たす。

しかし部分有向点族の定義は１つだけ点列の部分列の定義とは大きく異なる所があり、点列の部分列の場合は[math]k \mapsto n_k [/math]は必ず単射になるのに対し、部分有向点族の定義はh が単射である事を要求しない。これはもしh に単射性を要求すると病的な例（Tychonoff plank）のせいでいくつかの当然と思われる定理が成り立たなくなってしまうからである。（なお、h が単射である場合の部分有向点族を特に共終部分有向点族と呼ぶ。）

こうした差異が原因で、点列(x _n)_nを有向点族とみなした場合の部分有向点族は点列になっていない場合もあり得る。実際、(x _h(γ))_γ∈Γを(x _n)_nの部分有向点族とすると、h が単射でない事から同じx _nが部分有向点族に複数回（場合によっては非可算無限回）登場するかもしれないし、Γも全順序ではないかもしれない。

その他の定義

• φ は有向集合 D で添字付けられる X 内の有向点族とし、A を X の部分集合とする。ここで、D の各元 α に対して、D の元 β で、β ≥ α で φ(β) が A に含まれるものが存在するならば、有向点族 φ は A に無限に含まれる (frequently in) という。

諸概念との関係

有向点族による位相構造の特徴づけ

概要でも記したように、有向点族の概念を用いる事で位相構造を特徴づける事ができる。ここでは閉包の特徴づけのみを説明するが、他の位相に関する概念、例えば閉集合、開集合、内点、外点、境界点も有向点族で特徴づけが可能である。

定理（有向点族による閉包の特徴づけ）
A を位相空間X の任意の部分集合とする。このとき、点a がA の閉包に含まれる必要十分条件は以下の性質(1)が成り立つ事である： ある有向集合ΛとA 上のある有向点族(xλ)λ∈Λが存在し、(xλ)λ∈Λはa に収束する。 ...(1)

一方、点列の概念を用いた場合は閉集合と開集合を点列で特徴づけられるには空間が可算性に関する条件を満たす必要があるし、閉包が点列で特徴づけられるにはさらに厳しい条件が必要となる。（詳細は列型空間を参照）。

上の定理は以下のように非常に簡単に示せる。 まずよく知られているように[math]a\in \bar{A}[/math]である事は以下と同値である：

a の任意の近傍U に対し、[math]U\cap A\neq \emptyset[/math] ...(2)

これはU ∩ A に少なくとも一つ元が存在する事を意味するので、そのような元をx _U とすると [math]x_U\in U\cap A \subset A[/math]である事から[math](x_U)_{U\in \mathcal{N}_a}[/math] はA 上にある。しかも前節で述べたように [math](x_U)_{U\in \mathcal{N}_a}[/math]は有向点族でありしかもa に収束する。よって十分性が言えた。

逆にa に収束するA 上の有向点族(x_λ)_λ∈Λがあったとすれば、収束性の定義からa の任意の近傍U 内に有向点族の点x_λが存在する。しかも仮定からx_λ ∈ A でもあったので、これは(2)が成立する事を意味し、したがって[math]a\in \bar{A}[/math]である。こうして必要性も言えた。

有向点族による連続性の特徴づけ

連続性の概念も有向点族の概念を用いて以下のように特徴づける事ができる：

定理（有向点族による連続性の特徴づけ）
位相空間X から位相空間Y への関数f が連続である必要十分条件は以下が成立する事である：任意のa ∈ X と任意の有向集合Λと任意の有向点族(xλ)λ∈Λに対し、 [math]\mathrm{lim} x_\lambda = a \Rightarrow \mathrm{lim} f(x_\lambda) = f(a) \,[/math]

ハウスドルフ性とコンパクト性の特長づけ

有向点族の概念を用いると、位相空間上の以下の性質も特徴づける事が出来る：

定理(ハウスドルフ性とコンパクト性の特徴づけ)
位相空間X がハウスドルフである必要十分条件は、X 上の任意の有向点族の極限は存在するならば唯一つである事である。 位相空間X がコンパクトである必要十分条件は、X 上の任意の有向点族が収束する部分有向点族を持つ事である。

なお、後者の事実の結論部分は点列コンパクトの概念における点列を有向点族に置き換えたものである。

点列の場合も上記２つの事実と似たような事が成立したが、（空間X に仮定を置かない限り）点列の場合は必要性しか言えなかった。

コーシー列との関係

距離空間あるいは一様空間においては、コーシー列とほぼ同様にしてコーシーネットを定義ことができる。この概念はコーシー空間にまで一般化することができる。

普遍有向点族

有向点族に関する諸概念は基本的に点列に関する概念を焼きなおしたものであるが、以下で述べる普遍性の概念は、有向点族に固有のものである。

定義（普遍有向点族）
位相空間X 上の有向点族(xλ)λ∈Λが普遍 (universal、完全とも)であるとは、X の任意の部分集合 A に対し、(xλ)λ∈Λが A にほとんど含まれるかもしくは A の X における補集合にほとんど含まれる事をいう。

普遍性の概念は点列ではなく有向点族の概念に基づいている事が重要であり、普遍性を満たす点列は自明なもの（＝有限個を除いて常に同じ点を指す点列）のみである事が知られている。

任意の有向点族は普遍な部分有向点族を必ず持つ事が知られている：

定理（普遍部分有向点族の存在性）
X を位相空間とする。このときX 上の任意の有向点族(xλ)λ∈Λに対し、ある部分有向点族(x h(γ))γ∈Γが存在し、(x h(γ))γ∈Γは普遍である。

上記の定理の証明にはフィルターの概念を用いる為、証明は後の章に譲る。

なお上記の定理は部分有向点族の定義でh が単射でないものを許容した事を本質的に利用しており、もしh として単射なもののみを許す事にすると上記の定理は成り立たない。たとえば(x_λ)_λ∈Λが点列である場合、部分有向点族(x _h(γ))_γ∈Γとしてh が単射になるものを考えると、必然的に部分列(x _h(γ))_γ∈Γ自身が点列である事になるが、この場合部分列(x _h(γ))_γ∈Γが普遍になるのは(x_λ)_λ∈Λ自身が（前述の意味で）自明な点列であった場合に限る。

以下の定理は定義から明らかである：

定理
普遍有向点族の部分有向点族は普遍有向点族である。

以上２つの定理から、有向点族は必ず普遍有向点族を部分有向点族として、その普遍有向点族のさらに部分有向点族を取るとまた普遍有向点族になる。

コンパクト性への応用

普遍有向点族の概念を用いると、コンパクト性はさらに簡単に特徴づける事ができる：

定理(コンパクト性の普遍有向点族による特徴づけ)
位相空間X がコンパクトである必要十分条件は、X 上の任意の普遍有向点族が収束する事である。

なお、上述したコンパクト性の普遍有向点列による特徴づけを用いると、チコノフの定理（＝コンパクト空間の直積はコンパクト）がほぼ自明に従う。証明は以下のとおりである。まず複数の位相空間の直積

[math]Y=\prod_{\alpha}X_{\alpha}[/math]

上の有向点族がY の点y に収束する必要十分条件は明らかに有向点族の各X_αへの斜影がy のX_αへの斜影へ収束する事である。

よって

全てのX_αがコンパクト⇒任意のαに対し、X_α上の普遍有向点族は収束する⇒直積Y 上の普遍有向点族は収束する⇒Y はコンパクト。

すなわちチコノフの定理が言えた。

フィルターとの関係

有向点族が定義されたもともとの動機は「点列に関わる諸定理から可算性に関する条件を外す」というものであったが、同じ動機からフィルターという概念も生まれている。有向点族の概念とフィルターの概念は異なる研究者により同時期に独立に提案されたものであるが、実は収束性という観点から見たときには両者は実質的に差異がないものだという事実が知られている。

（以下、この節の記述はフィルターの基本的な知識を要求する。フィルターの項目も参照）。

以下の２つの定理はこの事実を定式化したものである。最初の定理は有向点族の収束はフィルターの収束によって捉えられる事を示している：

定理
X を位相空間とする。このときX 上の有向点族にX 上のフィルター基を対応させる関数Ｉで次の性質を満たすものが存在する：任意のa ∈ X と任意の有向集合Λと任意の有向点族(xλ)λ∈Λに対し、 (xλ)λ∈Λがa に収束する⇔Ｉ((xλ)λ∈Λ)がa に収束する。

上の定理におけるＩは以下のように定義できる：

[math]I((x_{\lambda})_{\lambda\in\Lambda})= \{\lambda^+ \mid \lambda \in \Lambda\}[/math]

ここで

[math]\lambda^+ = \{\gamma\in\Lambda \mid \gamma \ge \lambda \}[/math]。

Ｉ((x_λ)_λ∈Λ)がフィルター基の定義を満たす事は簡単に示す事ができる。

次の定理は逆にフィルターの収束は有向点族の収束によって捉えられる事を示している：

定理
X を位相空間とする。このときX 上のフィルター基にX 上の有向点族を対応させる関数Ｊで次の性質を満たすものが存在する：任意のa ∈ X と任意のフィルター基[math]\mathcal{B}[/math]に対し、 [math]\mathcal{B}[/math]がa に収束する⇔[math]J(\mathcal{B})[/math]がa に収束する。

ただしＩとＪは逆関数の関係にあるわけではなく、[math]I(J(\mathcal{B}))=\mathcal{B}[/math]は常に成り立つがＪ（Ｉ（(x_λ)_λ∈Λ））＝(x_λ)_λ∈Λとは限らない。

Ｊの定義は若干複雑である。 まずフィルター基[math]\mathcal{B}[/math]に対し、集合[math]\Lambda_{\mathcal{B}}[/math]を

[math]\Lambda_{\mathcal{B}}=\{(A,x) \mid A \in \mathcal{B},~x\in A \}[/math]

により定義し、[math]\Lambda_{\mathcal{B}}[/math]に順序関係

[math](A,x) \ge (B,y) \Leftrightarrow A \subset B[/math]

を入れると、[math]\Lambda_{\mathcal{B}}[/math]は有向集合とみなせる。

そこで

[math](A,x)\in\Lambda_{\mathcal{B}}\mapsto x\in X[/math]

を考えると、これは[math]\Lambda_{\mathcal{B}}[/math]を添字集合とする有向点族とみなせるので、この有向点族を[math]J(\mathcal{B})[/math]とする。

普遍部分有向点族の存在性定理の証明の概略

この定理の証明では上で作った関数ＩとＪ（を少し改変したもの）を用いる。

(x_λ)_λ∈Λを位相空間X 上の任意の有向点族とし、

[math]\mathcal{B}=I((x_{\lambda})_{\lambda\in\Lambda})[/math]

とし、[math]\mathcal{M}[/math]を[math]\mathcal{B}[/math]より細かい極大フィルターとする。（このような[math]\mathcal{M}[/math]の存在性はツォルンの補題より容易に示せる。）

さらに添え字集合Γを

[math]\Gamma = \{ (A,\lambda) \in \mathcal{M}\times \Lambda \mid x_{\lambda} \in A\}[/math]

により定義し包含関係の逆順序とΛの順序の直積順序を入れ、h を

[math]\gamma=(A,\lambda)\in\Gamma\mapsto \lambda\in \Lambda[/math]

により定義すると有向点族(x_h(γ))_γ∈Γが(x_λ)_λ∈Λの部分有向点族となる事が簡単に確かめられる。しかも[math]\mathcal{M}[/math]の極大性からこの有向点族の普遍性が従う。　

参考文献

• E. H. Moore and H. L. Smith (1922). A General Theory of Limits. American Journal of Mathematics 44 (2), 102–121.
• CONVERGENCE、Pete L. Clark著