有向点族(ゆうこうてんぞく、directed family of points)とは、点列を一般化した概念で、ムーア (Eliakim Hastings Moore) とスミス (H. L. Smith) により1922年に定義された[1]。有向点族はネット (net)、有向点列、 Moore-Smith 列などとも呼ばれる。
点列との違いは添え字にあり、点列が自然数という可算な全順序集合の元で添え字付けられるのに対し、有向点族はより一般的な順序集合である(可算または非可算な)有向集合の元で添え字付けられている。
有向点族の概念の利点として以下の2つがある:
点列にある「可算性」、「全順序性」という束縛がなくなる。点列の場合はこうした束縛ゆえに定理を証明する際に空間に可算性に関する何らかの仮定(第一可算公理など)を課さねばならなくなる事があるのに対し、有向点族ではそのような条件なしに同様の定理が証明できる場合がある。
複数の収束概念を統一的に扱う事ができる。例えば点列の収束、実数値関数の収束、リーマン積分におけるリーマン和等は有向点族の収束概念の特殊ケースとみなせる。
特に重要なのは、開集合、閉包、連続性などの位相構造に関する概念を有向点族の収束性で特徴づけられる事である。それに対し点列の場合はその添え字の可算性ゆえ、同様の特徴づけを行うには空間の方にも可算性に関する条件が必要となる(詳細は列型空間を参照)。
なお、添え字集合を有向集合にした事は、位相空間上の各点の近傍系が有向集合である(詳細後述)事と相性がよく、これも点列概念の不十分さを解消する上で一役買っている。
点列の極限で位相構造を特徴づけられない例としては、整列順序集合[0,ω1]に順序から定まる位相を入れた空間がある。ここで ω1は最小の非可算順序数である。実際この集合においてω1は明らかに[0,ω1)の閉包に属しているにもかかわらず、[0,ω1)内のいかなる点列もω1に収束しない。なぜなら ω1の非可算性と「可算集合の可算和はまた可算集合になる」という事実により、 [0,ω1)内の任意の点列に対し、点列に属する点のいずれよりも大きい順序数α<ω1が存在するので、 ω1の開近傍(α,ω1]には点列の点が存在しえないからである。
点列概念から可算性を取り除くもう一つの方法として、1937年にアンリ・カルタンによって生み出されたフィルターの概念が知られているが、実はフィルターの概念は収束という観点から見た場合には有向点族の概念と実質的に同値である事が知られている。 有向点族を定義する為、まず有向集合を定義する。詳細は有向集合の項目を参照。 定義(有向集合) 空でない集合 A とA 上の二項関係「≤ 」の組 (A, ≤) が有向集合(ゆうこうしゅうごう、directed set)であるとは、「≤ 」が反射的かつ推移的(つまり前順序)で、しかもA の任意の二元が上界を持つ事、すなわち任意の a, b ∈ A に対しあるc ∈ A が存在し a ≤ c かつ b ≤ c となる事をいう[2]。 有向点族とその収束の定義は点列とその収束性の定義を自然に有向集合の場合に拡張する事で得られる。 定義(有向点族) 位相空間X 上の有向点族とは、ある有向集合 Λ から X への写像のことである。これをしばしば (xλ)λ∈Λ あるいは簡単に (xλ) のように記して、Λ で添字付けられる有向点族などと呼ぶ。 定義(有向点族の収束) 位相空間X 上の有向点族(xλ)λ∈ΛがX 上の点x に収束するとは、x の任意の近傍U に対し、(xλ)λ∈ΛがU にほとんど含まれる事をいう。 ここで(xλ)λ∈ΛがX の部分集合Y にほとんど含まれる (eventually in) とは、あるλ∈Λが存在し、γ ≥ λを満たす全てのγ∈Λに対しxγ が Y に含まれる事を言う。 と表す。 有向点族の例として以下のものがある。特に3番目の開近傍系の例は有向点族の概念の根幹に関わる重要な例であり、後述する位相構造の特徴づけでも本質的な役割を果たす。 定義(部分有向点族) Γ、Λを有向集合とし、h : Γ→Λを以下の性質を満たす写像とするとき、(x h(γ))γ∈Γを(xλ)λ∈Λの部分有向点族(subnet)と呼ぶ。(単調性) 任意のγ, ξ ∈ Γに対し、γ ≤ ξ⇒h (γ) ≤ h (ξ)(共終(cofinal)性) 任意のλ ∈ Λに対し適当なγ ∈ Γ が存在し、λ ≤ h (γ) 部分有向点族の概念は点列の部分列の概念の自然な一般化になっており、実際点列(x n)nの部分列 ( x n k ) k {\displaystyle (x_{n_{k}})_{k}} を考えた場合、添字集合間の写像 k ↦ n k {\displaystyle k\mapsto n_{k}} は上の2条件を満たす。 しかし部分有向点族の定義は1つだけ点列の部分列の定義とは大きく異なる所があり、点列の部分列の場合は k ↦ n k {\displaystyle k\mapsto n_{k}} は必ず単射になるのに対し、部分有向点族の定義はh が単射である事を要求しない。これはもしh に単射性を要求すると病的な例(Tychonoff plank こうした差異が原因で、点列(x n)nを有向点族とみなした場合の部分有向点族は点列になっていない場合もあり得る。実際、(x h(γ))γ∈Γを(x n)nの部分有向点族とすると、h が単射でない事から同じx nが部分有向点族に複数回(場合によっては非可算無限回)登場するかもしれないし、Γも全順序ではないかもしれない。 概要でも記したように、有向点族の概念を用いる事で位相構造を特徴づける事ができる。ここでは閉包の特徴づけのみを説明するが、他の位相に関する概念、例えば閉集合、開集合、内点、外点、境界点も有向点族で特徴づけが可能である。 定理(有向点族による閉包の特徴づけ) A を位相空間X の任意の部分集合とする。このとき、点a がA の閉包に含まれる必要十分条件は以下の性質(1)が成り立つ事である:ある有向集合ΛとA 上のある有向点族(xλ)λ∈Λが存在し、(xλ)λ∈Λはa に収束する。 ...(1) これはU ∩ A に少なくとも一つ元が存在する事を意味するので、そのような元をx U とすると x U ∈ U ∩ A ⊂ A {\displaystyle x_{U}\in U\cap A\subset A} である事から ( x U ) U ∈ N a {\displaystyle (x_{U})_{U\in {\mathcal {N}}_{a}}} はA 上にある。しかも前節で述べたように ( x U ) U ∈ N a {\displaystyle (x_{U})_{U\in {\mathcal {N}}_{a}}} は有向点族でありしかもa に収束する。よって十分性が言えた。 逆にa に収束するA 上の有向点族(xλ)λ∈Λがあったとすれば、収束性の定義からa の任意の近傍U 内に有向点族の点xλが存在する。しかも仮定からxλ ∈ A でもあったので、これは(2)が成立する事を意味し、したがって a ∈ A ¯ {\displaystyle a\in {\bar {A}}} である。
定義
有向集合
有向点族とその極限
以下、a≥b を b≤aの単なる言い換えとして使用する(つまり上界は引き続き「<」記号の見た目が開いている側で定義されているものとする)。
(xλ)λ∈Λがa に収束している事を l i m x λ = a {\displaystyle \mathrm {lim} ~x_{\lambda }=a\,}
例
(点列) 自然数の全体に通常の大小関係で順序を入れたものは有向集合であるので、任意の点列は有向点族である。定義より明らかなように点列(xn)の点列としての収束性と有向点族としての収束性は一致する。
(実数値関数の極限) 同様に実変数関数の極限limx→∞ f(x)も、有向点族 ( f ( x ) ) x ∈ R {\displaystyle (f(x))_{x\in \mathbb {R} }} の極限ととらえる事ができる。
(開近傍系) 位相空間上の点 a を固定し、a の各近傍U からxUを任意に選ぶと、 ( x U ) U ∈ N a {\displaystyle (x_{U})_{U\in {\mathcal {N}}_{a}}} は有向点族となる。ここで N a {\displaystyle {\mathcal {N}}_{a}} はa の近傍系である。実際 N a {\displaystyle {\mathcal {N}}_{a}} 上の向きをU ≥ V ⇔ U ⊂ V により定めると N a {\displaystyle {\mathcal {N}}_{a}} が有向集合になる事を簡単に確かめる事ができる。なおこの例において、順序関係「≥」に関して大きなU を取ればとるほどxUはa の小さな近傍に属している事になる事からもわかるようにxU はa に収束する。
(リーマン和) リーマン積分の定義におけるリーマン和も有向点列の極限とみなせる。この例において考える有向集合は、積分区間の全ての分割が成す集合に包含関係が定める順序で向きを入れたものである。リーマン=スティルチェス積分においても同様のことを考えることができる。
部分有向点族
その他の定義
φ は有向集合 D で添字付けられる X 内の有向点族とし、A を X の部分集合とする。ここで、D の各元 α に対して、D の元 β で、β ≥ α で φ(β) が A に含まれるものが存在するならば、有向点族 φ は A に無限に含まれる (frequently in) という。
諸概念との関係
有向点族による位相構造の特徴づけ
一方、点列の概念を用いた場合は閉集合と開集合を点列で特徴づけられるには空間が可算性に関する条件を満たす必要があるし、閉包が点列で特徴づけられるにはさらに厳しい条件が必要となる。(詳細は列型空間を参照)。
上の定理は以下のように非常に簡単に示せる。まずよく知られているように a ∈ A ¯ {\displaystyle a\in {\bar {A}}} である事は以下と同値である:a の任意の近傍U に対し、 U ∩ A ≠ ∅ {\displaystyle U\cap A\neq \emptyset } ...(2)
Size:31 KB
出典: フリー百科事典『ウィキペディア(Wikipedia)』
担当:undef