0
大学数学基礎解説
文献あり

順序位相の話

1358
1

はじめに

どうも,コロナに罹ったかそうです.
先日「圏論の地平線」の出版記念イベントに参加し,それについてMathlogでまとめようと思ったのですが,しばらく辛くて放置.そろそろ書きたいなと思っています.

ネット(有向点列)についてネット(Google)で調べていると,順序位相なるものに出会いました.よくよく見てみると位相空間の反例がいろいろ作れるなかなか良い奴であることもわかりました.
今回は順序位相について自分の理解の範囲内で書いてみます.

目標:順序位相とその使用例を見る

記事訂正

あやしい記述を見つけ,12/24に更新しました.
誤りを複数教えて頂いたK管さんに感謝します.ありがとうございます!コメントで教えて頂いたアライグマさんもありがとうございます!!
他にも誤りがあるかもしれません.もし何かあれば(わかりにくいなどでも)コメントで教えてください.

順序位相

順序位相

(X,<):全順序集合(但しX2元以上含むとする)

B1:={(a,b);a,bX}
Xに最小元a0があるなら】B2:={[a0,b);bX,a0<b}
Xに最大元b0があるなら】B3:={(a,b0];aX,a<b0}

このときB:=B1B2B3を開基とするX上の位相O<順序位相という.

Bを開基とするX上の位相」の意味は,
UO<をとると
xU,区間Bs.t.x区間U・・・☆
を満たす,ということです.

感覚的には,「同じ区間に入る=近いとする」という感じです.
まず,上記の(X,O<)が位相空間になっているか確かめます.

順序位相が位相の条件を満たす?

(O<)
(空集合には元がなくxUの部分があかんくても☆の命題が真となるので)定義よりOK.

 
以下,

  1. Xに最小元も最大元もないとき
  2. Xに最小元a0があるとき
  3. Xに最大元a0があるとき

の3パターンについて位相空間の定義条件が満たされるかを確かめれば十分で,2と3はほぼ同じやり方で証明できるので以下1と2の場合について確かめる.

(S1,S2O<S1S2O<)

xS1S2をとる.
まず,Xに最小元も最大元もないときを考える.☆より
(xS1から)a1,b1Xs.t.x(a1,b1)S1かつ
(xS2から)a2,b2Xs.t.x(a2,b2)S2だが,(a,b):=(a1,b1)(a2,b2)とするとa,bXx(a,b)S1S2成立.

次にXに最小元a0があるときは
(xS1から)b1Xs.t.x[a0,b1)S1かつ
(xS2から)b2Xs.t.x[a0,b2)S2だが,[a0,b):=[a0,b1)[a0,b2)とするとbXx[a0,b)S1S2成立.

S1S2O<

({Sλ}λΛO<λΛSλO<)
λΛ,Sλの場合だけ考えれば十分.
まず,Xに最小元も最大元もないときを考える.
xλΛSλをとると,あるλΛxSλで,これより
aλ,bλXs.t.x(aλ,bλ)Sλ成立.

次にXに最小元a0があるときは
xλΛSλをとると,あるλΛxSλで,これより
bλXs.t.x[a0,bλ)Sλ成立.

λΛSλO<
以上より(X,O<)は位相空間になる.

大丈夫そうですね.

順序位相の使用例,の前にいったんお膳立て

sequentially open

X:位相空間 集合AXsequentially open
defXAの点列で極限をAに持つものがないとき.

「sequentially closedな集合の点列の収束先はsequentially closedな集合しかない」といった状況です.
特にXが距離空間のとき,sequentially openと開集合は同義です.これを抜き出した概念を作ります.

sequential

位相空間Xsequential
def
集合AXが開集合Aがsequentially open

このとき以下の命題が成り立つのですが,この反例に順序位相が登場します.

sequentialでない位相空間が存在する

ここでお膳立ては終わりではありません.反例に順序数の集合[0,ω1]に順序位相を入れた空間を使うのですが,[0,ω1]とは何かについて説明します.

まず[0,ω1)とは「すべての可算順序数を含む非可算集合」のことです.ω1とも書かれますが,今回は「集合」らしさを出すために[0,ω1)と書くことにします.
そして[0,ω1]とは「すべての可算順序数を含む非可算集合」に自身の順序数を入れた集合です.ω1+1とも書かれます.このとき上に書いた別の表し方と合わせてω1{ω1}と書かれることもあります.気分がわかりますね.以下でも[0,ω1)自体の順序数をω1と書くことにします.

!FORMULA[79][2003676113][0]のお気持ち図 [0,ω1]のお気持ち図

これだけ?もっと説明してほしい!?嫌ですね・・・順序数の説明.長くなりそうで.読む方も眠くなるでしょう.
ところがっ!なんとこいつが何者かの説明は頑張ればネットで探せば出てくるんです!ネットで探せば出てくるものは・・・割愛!

ω1とは, このStack Exchangeの投稿 でわかりやすく説明されている順序数です.
また こちらの資料 も参考になると思います.自分に合った理解をしてくださいね.

...上のリンクを踏んでいろいろ眺めましたね?納得できましたか?
もしよくわからなくても,次行ってみましょう.使用例を読みながらわかるようになることがあるかも.
丸投げ過ぎるので先程書いたことをまとめました.

[0,ω1):「すべての可算順序数を含む非可算集合」 その順序数=ω1
[0,ω1]:「すべての可算順序数を含む非可算集合」に自身の順序数を入れた集合 i.e. [0,ω1]=[0,ω1){ω1}

ω1の定義

ω1の定義・特徴づけには
(1)最小の非可算順序数
(2)可算順序数全体の集合
があります((1)(2)).
今回は大方(2)の見方でω1を扱うということです.

最後に,(半ばネタバレですが)これから[0,ω1)の点列の極限を考えたいのですが,点列から話を膨らませて,[0,ω1)の部分集合に対して「上限」を定めます.それを用いて[0,ω1)の点列の極限を定めます.

[0,ω1)の「上限」

A[0,ω1),#(A)0に対して
supA=defαAα

上記のsupAは順序数であることに注意!また,アライグマさんのご指摘にもありますがこれは「 (一般の) 順序集合における上限」と同じになりますが,ここではこれを事実として認めて深堀りはしないことにします.
定義4を用いて[0,ω1)上の点列の極限を定めます.

ここで唐突に以下の事実を認めます:

事実として認める

A[0,ω1),#(A)0に対して#(supA)0i.e.supA[0,ω1)

このとき
[0,ω1)の点列{an}nNをとってアルトシタラ極限をa[0,ω1)とするとasup{a1,a2,}
であることと命題2より,[0,ω1)の任意の点列の極限は(高々)可算濃度の順序数で[0,ω1)に入ることになります.「え,[0,ω1)の全ての項に自然数をナンバリングしたらどうなるの?」というツッコミが入りそうですが,ω1は最小の非可算順序数であって,[0,ω1)の(ある)数列の項全体の集合は(高々)可算濃度なので,大丈夫!
よっしゃ準備完了!「終わり,閉廷!」といった気分になるくらいここまでの内容はボリューミーですが,ここからがメインディッシュです.

順序位相の使用例

前に言ったように,[0,ω1]に順序位相を入れた位相空間はsequentialではない,つまり,sequentially openな閉集合が存在します.{ω1}です.

(順序位相で閉集合):
背理法で示す.{ω1}が開集合と仮定するとUBs.t.ω1U{ω1}が成り立つ.
[0,ω1]には最小元0と最大元ω1があるので,このときUは以下のいずれかの形をしている:

  1. U=[0,b)(b[0,ω1],0<b)
  2. U=(a,ω1](a[0,ω1],a<ω1)
  3. U=(a,b)(a,b(0,ω1))

1のときは0U,0{ω1}より不適.
2のときはω1が極限順序数,つまり0でも後続順序数でもないことからU{ω1}となり不適.
3のときはU{ω1}=で明らかに不適.
{ω1}は開集合ではない.
(sequentially open):
[0,ω1]{ω1}=強調[0,ω1)の点列{xn}nNをとります.このとき(アルトシタラ)極限limnxn{ω1}に入らないことを確かめます.
X:={x1,x2,}とすると,X[0,ω1)supX[0,ω1)limnxnsupXより{xn}nNのアルトシタラ極限がω1になることはありません.
以上より{ω1}はsequentially openです.

いずれにせよ,[0,ω1]{ω1}の点列で極限が{ω1}に含まれるものは無いことがわかりました.

他の順序位相の使用例

順序位相は少し触れただけで奥深さが垣間見れました.今後自分で遊んでみようと思い,他の使用例は自分で飲み込んでから書くことにします.
ここでは,読者の皆様が一から順序位相を調べるのは大変だと思うのでこの記事を書く際に自分が参考にしたサイトを紹介します.

順序位相の使用例は Wikipedia にいろいろ結果だけまとめてあったり,Stack Exchangeで調べて これとか こんなものとか 見つかったりします. Dan Maさんの記事 はいろいろ書いてあって勉強になると思います.

蛇足

私は中学3年生の時にカントル「超限集合論」を何故か買ったことがあり,今も家にありますが,ほとんど積読状態でして,超限順序数まわりに対し心残りがあるんですね.
今回の記事を書いているうちに,これは超限集合論読めよという何者かからの圧(?)ではないかとも思いました.
志学数学にて学生のうちに数学の古典=原著論文を2冊は読んでおけという記載がありますが,今年の春学期に授業でゲーデルの不完全性定理の原著論文を読んだ私としては今「超限集合論」を読めばゴール!って感じがするんですね.どうしよう,読もうかな・・・?

参考文献

投稿日:2022128
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

かそう
かそう
21
10822

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. 順序位相
  3. 順序位相の使用例,の前にいったんお膳立て
  4. 順序位相の使用例
  5. 他の順序位相の使用例
  6. 蛇足
  7. 参考文献