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

前回： ネットからはじめる位相空間論　第0回・モチベーション

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

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

はじめに

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

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

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

点列の限界

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

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

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

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

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

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

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

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

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

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

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

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

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

• $\alpha<\omega_1$なら$f(\alpha)=0$
• $\alpha=\omega_1$なら$f(\alpha)=1$

と定めます．

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

• $\alpha:\;$可算順序数のとき$\exists m_0\in\mathbb{N}\;s.t.\;\forall n\in\mathbb{N},\;m< n\Longrightarrow f(\alpha_n)=0=f(\alpha)$
• $\alpha:\;$非可算順序数（つまり$\omega_1$）のとき←$\{\alpha_n\}_{n\in\mathbb{N}}$は$\exists m_1\in\mathbb{N}\;s.t.\;\forall n\in\mathbb{N},m< n\Longrightarrow\alpha_n=\omega_1$なるものに限られる．
  このとき$\forall l\in\mathbb{N},\;m_1< l\Longrightarrow f(\alpha_l)=1=f(\alpha)$

なので$f$はsequentially continuous．

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

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

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

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

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

の3つを定めます．

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

有向集合の例：

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

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

良さそうですね．

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

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

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

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

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

シグマとの関連

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

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

いかがでしょうか？ここで 第0回の記事 を見てみましょう．少しでも理解がクリアになったら幸いです．また理解がクリアになりすぎて第0回の誤植などを見つけてしまったという場合はコメントで教えてください．

ただ上の証明方法はまだやっていないことを使っているあまりよろしくない証明です．次回それを埋め合わせた版の証明から位相空間との関連，あわよくばBanach空間の話をできればと思っております．

さいごに

点列の限界からネットの必要性をみて，有向集合・ネットとその収束の定義をし，第0回の伏線回収をやりました．
次回はネットと位相空間との関係，Banach空間（関数解析との関係）をやるつもりです．