文献あり

ネットからはじめる位相空間論　第1回・ネット（有向点族）とその収束

836

予定より大幅に記事作成が遅れてしまう

久しぶりのネットです．
当初は毎週日曜日にネットの記事を作る予定でしたが，M1翌日から第1回，となってしまいました．漫才王者が決定する前にシリーズを完結させたかったのですが，のんびり記事を書き進めている内にノルム空間の $n$ 回双対 $(n = 2, 3, \dots)$ と「回帰性」について考えていたりコロナに罹ったりして寄り道をしてしまいました． $n$ 回双対は近々まとめてMathlogに投稿したいですね．
それにしても最近寒いですね．

記事訂正・更新

2022/12/24に更新しました．コメントで教えて頂いたアライグマさん，ありがとうございます！
ほかにも不備があるかもしれません．なにかありましたら教えてください．

はじめに

今回はついにネットを定義します．そして第0回に出てきた $\sum_{n} a_{n}$ をネットの観点から再考し，前回の伏線回収（？）をします．

目標：ネット（有向点族）を定義し，第0回のシグマをネットの観点から理解する

・・・と書きましたが，定義！例！終わり！みたいな流れでやっても面白くないし，それだとそもそもネットのありがたみが伝わらなくて「なんかごちゃごちゃ書いてあるけど結局点列でいいんじゃね？てことー」とヘライザー総統みたいに愚痴ってしまうのではと思います．

てことで，はじめに点列の限界とその打開案としてのネットを紹介し，その後に有向集合，ネットを定義し，最後にシグマの伏線回収をします．
点列の限界の時に順序位相の話絡みの話をします．なんなら「順序位相の話」の続きのようなことも書きます．この記事の前に「順序位相の話」を確認して頂くと，点列の限界の部分が読めると思いますし，そうなるように書いたつもりです（記号をそろえる，などしました）．

点列の限界

ある集合の位相を考えるときに点列から攻めると整合性がとれない位相空間の例を紹介します．
なお，「点列から攻めると整合性がとれない」の意味は，以下の距離空間での点列による開集合の特徴づけが閉集合にも適用できてしまうということです．

距離空間での点列による開/閉集合の特徴づけ

$(X, d) :$ 距離空間と部分集合 $A ⊊ X$ において
$A :$ 閉集合 $⟺$ 任意の $A$ の点列の極限が $A$ の点になる $\overset{言い換え}{⟺} \forall X ∖ A$ の点列で極限を $A$ に持つものはない
$A :$ 開集合 $\overset{by def}{⟺} X ∖ A :$ 閉集合 $\overset{上より}{⟺} X ∖ A$ の点列で極限を $A$ に持つものはない

反例は順序位相の話で書いた順序数の集合 $[0, ω_{1}]$ に順序位相を入れた空間です．

勘の鋭い読者に

この時点で「順序数の集合 $[0, ω_{1}]$ に順序位相を入れた空間は距離空間になるのか？」という質問が想定できますが，

「距離空間 $⟹$ 第一可算」
の対偶，つまり
「第一可算でない $⟹$ 距離空間でない」
$[0, ω_{1}]$ に順序位相を入れた空間は第一可算でない（事実）

$∴ [0, ω_{1}]$ に順序位相を入れた空間は距離空間になりません．
この下に書くことは「距離空間での点列を用いた性質が距離化可能とは限らない一般の位相空間ではネットを用いると成り立つ」例だと思って読んでもらえると良いのかなと思います．

因みに，順序数の集合 $[0, ω_{1})$ に順序位相を入れた空間も距離空間にならないとのことです．

ユークリッド空間での点列による開集合の特徴づけにあたるものとしてsequentially openなるものを考えましたが， $[0, ω_{1}]$ に順序位相を入れた位相空間において ${ω_{1}} \subset [0, ω_{1}]$ がsequentially openな閉集合なのでした．

ここまでが「順序位相の話」に書いたことで，「あー確かに点列に限界あるかもねー」となると思います．でもだからといって点列を全否定するのはいかがなものかと．
位相空間をじっくり習うまで我々は点列とそれなりにやってきたわけです．中高では勿論のこと（中には中学入試などでもっと前から数列に親しんできている方もいることでしょう），

大学入学当初は $ε - δ$ 論法を何度も共に鍛錬し
関数が連続であることの特徴づけでは（おそらく）はじめて極限交換の機会を与えてくれて
有界単調な数列は実数について教えてくれたり，区間が狭くなる数列は高校でやった漸化式が極限を持つことに対し気づきを与えたり

ほら，大学初年度の内容だけでもパッと思いつくだけでこんなに我々は点列と過ごしてきたのです．腐れ縁です．
それなのに突然点列の弱点を見つけてからガラッと態度を変えて，しまいには「やーめた」というのは筋が通っていない．点列との関係性を見直して付き合い方を変えるタイミングだと思うと前向きになれる感じがします．

点列とは何者だったのか，を前向きに考える

今朝久々に低燃費少女ハイジを見ました．そこでハイジが「低燃費ってなーに？」と甲高い声でいろいろな人に聞くのですがー
低燃費って文字通り燃費が低いことだなあと思いながらそれを見ていたんです．

話を点列に戻します．「点列ってなーに？」と思ったら，まず文字通りに理解．点列とは点の列です．初項はどれで，2項目はどれで，3項目はどれで・・・と点の列ができますが，これは自然数全体から点たちへの写像とも言うことができます．
例えば一般項が $a_{n} = \frac{1}{n}$ の数列 ${a_{n}}_{n \in N}$ は以下のような自然数から実数値への写像として扱えます：

$n$	$a_{n}$
1	1
2	$\frac{1}{2}$
3	$\frac{1}{3}$

点列の本質が写像であるならば，「自然数全体から点たちへの写像」を「自然数全体に限らない集合（有向集合）から点たちへの写像」に
収束にあたっては点列らしさ＝
『（ある）点の任意の近傍に対し，ある添え字が存在し，その添え字より「大きい」すべての添え字に対してその添え字を持つ点たちが近傍に入る』
を残しつつ
拡張するのは自然です．そしてこの方法で前述の順序数の集合 $[0, ω_{1}]$ に順序位相を入れた空間で出た点列の限界が打開できるのです．
$\begin{array}{rccc} i d : & [0, ω_{1}) & ⟶ & [0, ω_{1}] \\ α & ⟼ & α \end{array}$
を定めると，上の（点列と同様の記号で表すと） ${α}_{α \in [0, ω_{1})}$ は ${ω_{1}}$ に「収束」します．これについての詳細な説明は後のお楽しみ．
でもなんとなく点列の添え字を自然数全体より（濃度の意味で）「でかく」したらより多くの「収束」を考えられる気がしませんか？それがちゃんとやれる方法があって，それがネットなんだ，という風に思ってもらえればこの記事では大丈夫だと思います．

記事作成中にウエストランドM1優勝の知らせをTwitterで見ました．いいともで頑張っていたのが印象的なコンビが天下を取ったようで（生で見ていない），よかったなあと思いました．これから毒のある漫才が主流になっていくのでしょうか？

さてもう一つ，順序位相の話をします．連続関数の特徴づけです．
距離空間では以下の命題が成り立つのでした：

距離空間での点列による連続関数の特徴づけ

$(X, d_{X}), (Y, d_{Y}) :$ 距離空間， $f : X \to Y$ 写像， $a \in X$
$f$ が $a$ で連続 $⟺ \forall a$ に収束する $X$ の点列 ${a_{n}}_{n \in N}$ に対し $Y$ の点列 ${f (a_{n})}_{n \in N}$ が $f (a)$ に収束

で，やることは先ほど同様，命題2を点列版「関数が連続である」ことの定義(sequentially continuous)にして，連続だがsequentially continuousでない例を $[0, ω_{1}]$ に順序位相を入れた位相空間で与えます．
関数 $f : [0, ω_{1}] \to R$ を， $α \in [0, ω_{1}]$ が

$α < ω_{1}$ なら $f (α) = 0$
$α = ω_{1}$ なら $f (α) = 1$

と定めます．

（ $f$ が不連続）
$f^{- 1} ((0, 2)) = {ω_{1}}$ で， $(0, 2)$ は当然 $R$ の開集合なのに ${ω_{1}}$ は $[0, ω_{1}]$ で開集合でないので， $f$ は連続関数でない．
（ $f$ がsequentially continuous）
${α_{n}}_{n \in N} : α$ に収束する $[0, ω_{1}]$ の点列をとると

$α :$ 可算順序数のとき $\exists m_{0} \in N s . t . \forall n \in N, m < n ⟹ f (α_{n}) = 0 = f (α)$
$α :$ 非可算順序数（つまり $ω_{1}$ ）のとき← ${α_{n}}_{n \in N}$ は $\exists m_{1} \in N s . t . \forall n \in N, m < n ⟹ α_{n} = ω_{1}$ なるものに限られる．
このとき $\forall l \in N, m_{1} < l ⟹ f (α_{l}) = 1 = f (α)$

なので $f$ はsequentially continuous．

ところが，「点列」を「ネット」にしたverでは
写像が連続 $⟺$ 写像がsequentially('netly'と書いた方がより適切？ねっと～り) continuousが成り立つ．

この2つ目の話から何がわかるか？
位相空間の授業とかで写像の連続について習った後にいきって
「 $A$ から $B$ への位相空間間の写像 $f$ が連続というのは，任意の $A$ の点 $a$ に対し，極限が $a$ の $A$ の点列 ${a_{n}}_{n \in N}$ をとると $B$ の点列 ${f (a_{n})}_{n \in N}$ の極限が $f (a)$ になることだよ」
とか口走ってしまう人がいるわけですが，それは連続の定義に沿った説明ではないし，それがいえない場合もあるし（上に書いてあります）ダメダメなんですね．
2つ目の話から物事を定義通りにおさえる・条件もきちっとおさえることの大切さが学べるのではないでしょうか．

有向集合・ネット・ネットの収束

前節をまとめると，「自然数全体に限らない集合（有向集合）から点たちへの写像」に
収束にあたっては点列らしさ＝『（ある）点の任意の近傍に対し，ある添え字が存在し，その添え字より「大きい」すべての添え字に対してその添え字を持つ点たちが近傍に入る』
を残したものを前向きに考えたくて，その答えがネットであるということでした．今のところ，ネットの構成要因には有向集合とネット，そしてネットに対する収束があることが察せると思います．がしかし，点列に部分列があったようにネットにも部分ネットがあってー・・・など，他にもいろいろあります．ここでは

有向集合
ネット
ネットの収束

の3つを定めます．

有向集合

$Λ :$ 集合， $\leq: Λ$ 上の二項関係
$(Λ, \leq)$ が有向集合
$\overset{def}{⟺}$ 以下を満たすこと：
$(1) \leq$ が反射的： $\forall x \in Λ, x \leq x$
$(2) \leq$ が推移的： $\forall a, b, c \in Λ, a \leq b, b \leq c ⟹ a \leq c$
$(3) \leq$ が反対称的： $\forall p, q \in Λ, p \leq q, q \leq p ⟹ p = q$
$(4) \leq$ が有向的： $\forall α, β \in Λ, \exists γ \in Λ s . t . α \leq γ, β \leq γ$

☆ $(Λ, \leq)$ が $(1), (2)$ までを満たすとき $(Λ, \leq)$ は前順序集合という．
☆ $(Λ, \leq)$ が $(1), (2), (3)$ までを満たすとき $(Λ, \leq)$ は順序集合という．

有向集合の定義について

参考文献にあげたIvan Khatchatourianさん，（順序位相のはなしの時もお世話になった）Stijn Vermeerenさんの資料には有向集合の定義に反対称的つまり順序集合であることを求めていなかったが，今回はそれも定義に入れることにした（この記事での有向集合は"strong-有向集合"かもしれない）．
理由としては参考文献にあげた「泉本」と内田「集合と位相」での定義に従おうと思ったからだ．自分がちゃんと読もうと思っている2冊に追従しただけで，特に深い意味はない．
がしかし未だに反対称的を認めないべきか否かはもやもやしている．この記事の一番のモチベーションは関数解析でネットを扱う時のマニュアルを作りたいということだが，例えばRonald G. Douglas "Banach Algebra Techniques in Operator Theory"(p.3)やGert K. Pedersen "Analysis Now"(p.13)やGerald B. Folland "Real Analysis"(p.125)では反対称的であることを有向集合に求めていない．
とりあえず今は泉先生を信じて"strong-有向集合"でやってみて，今後支障が出たら融通を利かせることにする．

有向集合の例：

位相空間 $X$ の点 $x$ のすべての近傍の集合 $N$ に以下で定めた関係 $\leq$ を入れた $(N, \leq)$ は有向集合：
$U \leq V \overset{def}{⟺} U \supset V (U, V \in N)$
☆このとき $N$ は逆包含で向きづけられている( $N$ is directed by reverse inclusion)と言う．
$X :$ 集合， $A : X$ のすべての有限集合全体に（以下のように）包含で向きづけた＝関係 $\leq$ を入れた $(A, \leq)$ は有向集合：
$P \leq Q \overset{def}{⟺} P \subset Q (P, Q \in A)$

この2つ目だけ確かめてみましょう．
( $\leq$ が反射的)
$\forall B \in A, B \subset B$ より $B \leq B$ ．
( $\leq$ が推移的)
$\forall C, D, E \in A, C \leq D, D \leq E$ とする．
このとき $C \subset D, D \subset E$ から $C \subset E$ で，これより $C \leq E$ ．
( $\leq$ が反対称的)
$\forall F, G \in A, F \leq G, G \leq F$ とする．
このとき $F \subset G, G \subset F$ から $F = G$
( $\leq$ が有向的)
$\forall H, I \in A,$
$H \cup I \overset{有限集合どうしの和集合も有限集合}{\in} A$ で $H \subset H \cup I, I \subset H \cup I$ なので $H \leq H \cup I, I \leq H \cup I$

良さそうですね．

ネット（有向点族）

有向集合 $Λ$ から集合 $X$ への写像をネット（有向点族）という．

有向集合を定義域というか添え字にした写像がネットです．

ネットの例：
$X :$ 集合， $A :$ 包含で向きづけられた $X$ のすべての有限集合全体
$f : X \to [0, \infty]$ 　勝手な関数　と $A \in A$ に対し
$z_{A} := \sum_{x \in A} f (x)$ を定めて， $A$ から $[0, \infty]$ へのネット
$\begin{array}{rccc} {z_{A}}_{A \in A} : & A & ⟶ & [0, \infty] \\ A & ⟼ & z_{A} \end{array}$
を得る．
このとき
$\forall A_{1}, A_{2} \in A, A_{1} \leq A_{2} ⟹ z_{A_{1}} \leq z_{A_{2}}$
が成り立ちます．

第0回では「関数の和の定義」が出てきました：

$\sum_{x \in X}^{} f (x) \overset{def}{=} sup {\sum_{x \in F} f (x); F \subset X, # (F) < \infty}$

これに近いものが出てきましたね．伏線回収までもうすぐです．

ネットの収束

$X :$ 位相空間　のネット ${x_{λ}}_{λ \in Λ}$ （ $Λ :$ 有向集合）が点 $x \in X$ に収束
$\overset{def}{⟺}$ 任意の $x$ の近傍 $U$ に対し
$\exists λ_{0} \in Λ s . t . \forall λ \in Λ, λ_{0} \leq λ ⟹ x_{λ} \in U$ ・・・(結局)

☆上のネット ${x_{λ}}_{λ \in Λ}$ が（結局）を満たすとき， $U$ でネット ${x_{λ}}_{λ \in Λ}$ はeventuallyであるという．
つまり， $X :$ 位相空間　のネット ${x_{λ}}_{λ \in Λ}$ が点 $x \in X$ に収束するとは，任意の $x$ の近傍 $U$ でネット ${x_{λ}}_{λ \in Λ}$ がeventuallyであることと言い換えられる．

シグマとの関連

最後に，ネットからはじめる位相空間論　第0回の伏線回数をします．
Follandの演習問題にこんなものがありました：

Folland 4章演習問題35番（改）

$X :$ 集合， $A :$ 包含で向きづけられた $X$ のすべての有限集合全体（ $2^{X}$ で稠密）
$f : X \to [0, \infty]$ 　勝手な関数　と $A \in A$ に対し
$z_{A} := \sum_{x \in A} f (x)$ を定めて， $A$ から $[0, \infty]$ へのネット
$\begin{array}{rccc} {z_{A}}_{A \in A} : & A & ⟶ & [0, \infty] \\ A & ⟼ & z_{A} \end{array}$
を得る．
また（M1王者にあやかって） $W L := {x \in X; f (x) \neq 0}$ とする．
このとき $(i) ⟹ (i i)$ を示せ：
$(i) W L$ が可算集合（このとき全単射 $g : N \to W L$ が得られる）で $\sum_{n \in N} f (g (n)) < \infty$
$(i i)$ ネット ${z_{A}}_{A \in A}$ が収束

☆このときネット ${z_{A}}_{A \in A}$ は（ $(i)$ の書き方を使って書くと） $\sum_{n \in N} f (g (n))$ に収束するということになる．

これを解いて終わりにしましょう．

$(i i) \overset{by def}{⟺} {z_{A}}_{A \in A}$ の収束先を $z \in R$ とすると，任意の $z$ の近傍 $U$ で
ネット ${z_{A}}_{A \in A}$ がeventually＝ $\exists A_{0} \in A s . t . \forall A \in A, A_{0} \leq A (つまり A_{0} \subset A) ⟹ z_{A} = \sum_{x \in A} f (x) \in U$

まず， ${z_{A}}_{A \in A}$ は，有界単調数列の収束とのアナロジーからも想像しやすいように，（値が有限であれば） $sup_{A \in A} z_{A}$ に収束．これをここだけの記号で $z^{'}$ と書く．
実際， $z^{'}$ の近傍 $U$ をとる．このとき近傍として $(z^{'} - ε, z^{'} + ε)$ をとっても一般性を保つ(但し $η > 0$ )．
$\forall η > 0$ に対して上限の特徴づけから $\exists A_{0} \in A s . t . z_{A_{0}} \in (z^{'} - η, z^{'}]$ ．特に $η = ε$ として $z_{A_{0}} \in (z^{'} - ε, z^{'} + ε)$ ・・・♡

さて $\forall A \in A, A_{0} \leq A$ に対して
$\forall A_{1}, A_{2} \in A, A_{1} \leq A_{2} ⟹ z_{A_{1}} \leq z_{A_{2}}$ （ちょっと前に書いた一般論）
とあわせて $(z^{'} - ε \overset{♡}{<}) z_{A_{0}} \leq z_{A} \overset{by def}{\leq} z^{'} < z^{'} + ε$
以上より $z_{A} \in (z^{'} - ε, z^{'} + ε)$
そして実はこのときネットの極限は一意的（後々扱う）より ${z_{A}}_{A \in A}$ のアルトシタラ極限は $sup_{A \in A} z_{A}$

以下， $sup_{A \in A} z_{A} < \infty$ ・・・★を確かめる．

$\forall A \in A$ に対して
$F_{A} := A \cap W L$ とすると $z_{A} = z_{F_{A}}$ となる．
つまり★の確認のためには
任意の $W L$ の元 $F$ について $sup_{F} z_{F} < \infty$ が成り立つこと
を確かめればよい．これを以下確かめる．

仮定よりある全単射 $g : N \to W L$ が得られる．
各 $N \in N$ に対し $B (N) := g ({1, 2, \dots, N})$ とすると $W L$ の有限集合 $F$ は何かしらの $B (N)$ に含まれて
$\sum_{x \in F} f (x) ≦ \sum_{n = 1}^{N} f (g (n)) ≦ sup_{F \in A} z_{F}$
$\sum_{n = 1}^{N} f (g (n)) \overset{三角不等式}{≦} \sum_{n \in N} f (g (n)) \overset{仮定}{<} \infty$ より安心して $N$ の上限をとれてこのとき
$\sum_{x \in F} f (x) ≦ \sum_{n \in N} f (g (n)) ≦ sup_{F \in A} z_{F}$
$F$ の上限をとって $sup_{F \in A} z_{F} = \sum_{n \in N} f (g (n)) \overset{仮定}{<} \infty$