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

楽しそうにやる位相空間 近傍と開基と可算公理

8199
3

どうも

こんにちは ごててんです 最近概念になりました
位相空間論の勉強に記事を書くことにしました Wikipedia, Mathpedia, 内田集合位相に頼りきった記事です!!! またこの記事は過去の自分に向けて書いています((

この記事の目標は「近傍, 開基, 第1可算公理, 第2可算公理を定義して簡単な性質を示す」ことです

具体的な前提知識 → 可算集合の定義, 距離化可能の定義, 位相空間の定義, 基礎的な解析の知識

(距離空間・距離化可能・位相空間の定義は↓の記事で)
距離化不可能な位相で入門(?)する距離空間

モチベ

位相空間は開集合で記述される幾何学チックな集合だと私は認識しているのですが 今回は可算無限という無限と呼ばれるものの中で最も人間が理解しやすいものの力を使って空間を分類します この可算無限で開集合の「量」を制限します

この記事でやりたいこと

第1可算公理, 第2可算公理, 可分空間を定義したのちに 以下の錬金レシピを示すことです

  • 第2可算公理 ⇒ 第1可算公理 + 可分
  • 距離化可能 + 可分 ⇒ 第2可算公理

近傍を定義するぞ

第1可算公理を定義する準備として近傍基本近傍系を定義します

近傍

(X,O)を位相空間, xXの点とするとき, 部分集合NXが点x近傍であるとは, 開集合OO があり xON となることである.

NOの立場は明確に違う

Nは開集合であると限りませんが, Oは開集合です.

ふわふわ~っと日本語にしましょう 点xをくるんと囲む曲線でNの中に描けるものが存在するという感じです

ユークリッド平面での例

ユークリッド平面の点(1,1)の近傍を考えます (0,0),(3,0),(0,3)を頂点とする三角形(境界を含む)は通常の距離位相で近傍となります (1,1)を中心とする半径12の円(境界を含まない)をとれば, これは開集合であり三角形に含まれるからです(下図).

こういう図を書いたの久しぶり こういう図を書いたの久しぶり

休憩(?)に簡単な命題を示しておきます

(X,O)を位相空間, xXの点とするとき,xを含むような開集合NOxの近傍となる.

明らか

xNN が成立.

さて 近傍でない例も見ておきましょう

ユークリッド平面での例 その2

ユークリッド平面の点(1,1)の近傍を考えます (0,0),(1,0),(1,1),(0,1)を頂点とする正方形(境界を含む)は通常の距離位相で近傍となりません!(要証明)(面倒なので証明略)

定規って便利 定規って便利

はい! ここで 直感的でないもの代表こと 離散位相さんにお越しいただきました さて離散位相ではすべての部分集合が開集合となるのでした したがって次の命題を得ます

Xを空でない集合, xX, AX とするとき, 次は同値.

  1. xA.
  2. Aは離散位相(X,2X)においてxの近傍となる.

(1)を仮定すると, Axを含み離散位相(X,2X)において開集合であるから命題1を用いればよい. (2)を仮定すると開集合N2Xがあり xNAであるから, とくにxAを得る.

するとどうでしょう 例2は通常の位相で考えれば近傍となりませんが 離散位相で考えれば近傍となることがわかりました! さすが離散位相ですね

さて近傍のイメージがつかめてきたと思います 次に基本近傍系を定義します よくわからないヤツです

基本近傍系

(X,O)を位相空間,BXの点xの近傍からなる集合とする. このときxの任意の近傍Nに対してNBがあり,NNとできれば Bは点x基本近傍系であるという.

ふわふわ~~っと日本語にすると どんな近傍をとってきてもそれより小さい近傍を必ずとってこれる便利セットが基本近傍系です なんだかイプシロンデルタを感じますね さて 次の命題を示しておきます これはガッツリ伏線です

(X,Od)を距離dが定める距離位相, またxXとするとき, 開集合の族{Bn(x)}n=1 を次で定めると, これは点xの基本近傍系となる.
Bn(x)={yX|d(x,y)<1n}.

証明の指針を書きます 書いてある証明を読むより指針を読んでそこから証明を完成させるほうが楽しいと思いますし(え)

全部画像にしたほうがわかりやすい気がしてきた 全部画像にしたほうがわかりやすい気がしてきた

位相というよりinfの話 読み飛ばしていいです

Nを点xの近傍とする. N=Xであるとき小さい開近傍を取れることは明らかであるのでNXとしてよい.

I=inf{d(x,y)|yXかつyN}>0となることを示す. I=0であるとすると, Xの元でNに含まれないような点の列{yn}n=1d(x,yn)<1n となるような列がとれる. Nxの近傍であることから, 開集合Oがあり xON とできる. さて, Oは開集合であるから属する点xϵ近傍Nϵ(x)={yX|d(x,y)<ϵ} (ϵ>0)がとれてNϵ(x)Oとできる. このとき, n0>1ϵとなる自然数n0をとるとd(x,yn0)<1n0<ϵであり, yn0N, とくにyn0O であることに反する. よって, I>0.

Iの定義よりyNとするとd(x,y)I. 対偶をとるとd(x,y)<I ならばyN,とできる. このときn>1Iとすれば yBn(x) としたとき d(x,y)<1n<IであるからyNを得る. したがって, Bn(x)N.

第1可算公理を定義するぞ

ようやく準備が終わりました 第1可算公理を定義します! ここから読むしんどさが5倍以上になります!!!!

第1可算公理

位相空間が任意の点において高々可算個の近傍からなる基本近傍系をもつとき, 第1可算公理を満たしているという.

よくわかりませんね!

わかりやすい性質として 第1可算公理を満たす位相空間において「点列連続ならば連続」が成立します これは実数列での「xに収束する任意の数列{xn}n=1においてf(xn)f(x) (n) となるなら, fxにおいて連続である」という性質に対応します

第1可算公理は近傍に対して可算個の近傍族を用意することで自然数によって添字付けられた点列を支配下にできます 可算という性質は数列のようなものと相性が良さそう!と考えると自然な定義に見えてきますね!見えてくるので 見えてきます 見えてきますよ

逆を言えば点列を扱うなら第1可算公理がないとどうしようもないのかもしれないです(急に自信なさげ)

命題3の系として次を得ます.

命題3

距離化可能な位相空間は第1可算公理を満たしている.

よって人間がパッと思いつくような空間では第1可算公理の恩恵を受けることができます

逆は成り立ちません それを紹介します

密着位相さんにもお越しいただきました

密着位相(X,{,X})は距離化不可能ですが 第1可算公理を満たします

第1可算公理を満たすことを示す

xXとするとき, xの近傍はXのみである. したがって, 任意の点において基本近傍系を{X}とすればよい.

開基を定義する

第2可算公理を定義するために(深入りしませんが)開基を定義します

開基は位相空間の前段階であり 開集合になれる才能を持った者たちのことです 考える理由の一つとして連続写像であることを示すのがラクになる(開基に属する集合すべてにおいて連続写像っぽい性質が成り立てばその開基によってできる位相空間で連続写像になっている)などのものがあります

さて 定義するだけしてしまいます

開基

(X,O)を位相空間とするとき, 部分集合BO開基であるとは任意のXの開集合がBの元の和集合でかけることである.(空集合も開基から0個の元をとったときの和集合として考える)

よくわからないので具体例を見ていきます

実数全体

実数全体に通常の位相を入れたとき 開区間の全体は開基になります

例えば R=i=(i1,i+1)

のように実数全体は開区間の和集合で表せます

位相空間であることの定義に 無限個の開集合の和集合も開集合である, というものがありました これに対応したものが開基であり この条件を無理矢理満たしてやろう!というのが開基の魂胆です

定義より 開基が存在すればその和集合をとりまくることで位相空間を復元できます!

さて 第2可算公理をば

次に第2可算公理を定義します!!!!!! ...疲れてきたので落ち着きます ハァーッ

第2可算公理

位相空間が高々可算個の開集合からなる開基をもつとき, 第2可算公理を満たしているという.

よくわかりませんね 具体例を見ていきましょう

当然ですが (X,O)を位相空間とするとき Oの濃度が高々可算であれば第2可算公理を満たします(OOの開基となるので) とくに密着位相は第2可算公理を満たします

ユークリッド空間Rnを通常の距離によって距離位相とするとこれは第2可算公理を満たします まじかよ。 証明します

ユークリッド空間Rnを通常の距離によって距離位相とすると, これは第2可算公理を満たす.

証明中に出てくるものを図にしました↓

頭が爆発する 頭が爆発する

有理数だいすき!

有理点Qnを中心とする半径が有理数のϵ-近傍全体の集合Qを考える. この集合の濃度は|Qn+1|=|Nn+1|=|N|であるので可算集合.

開基となることを示す. Oを開集合とするとき, Oの任意の元xに対して正の数ϵ(x)>0があり(見やすさの都合から添え字でなく関数の形で書いている)開近傍Nϵ(x)(x)={yX|d(x,y)<ϵ(x)}Oに含まれるようにとれる. 有理数の稠密性より開近傍Nϵ(x)(x)={yX|d(x,y)<ϵ(x)2}の中に有理点qxが取れる. さらに, 有理数の稠密性よりd(qx,x)<q<ϵ(x)2となる有理数qが存在し, qx中心とする半径qの開近傍をとるとこれはNϵ(x)(x)に含まれ, xを含み, とくにOに含まれる. この有理点qxを中心とする半径がqの開近傍をQxと書く. またこれはQの元である. このとき, O=xOQxであるので, 開集合をQの元の和集合で書くことができた.

信じられないぐらい状況把握が面倒な証明になってしまいました

さて 第2可算公理のうれしさを書きます
まず第2可算公理を満たす正規ハウスドルフ空間は距離化可能であるという事実があります(ウリゾーンの距離化定理) あまりに衝撃的です

後は命題の形で書いていきたいと思います(証明が少し重くて今後一切出ないので読み飛ばしてもいいです)

離散位相(X,2X)が第2可算公理を満たすことと, Xの濃度が高々可算であることは同値である.

日本語が多くなっちゃった

離散位相(X,2X)が第2可算公理を満たすとすると, 高々可算個の開集合からなる開基をもつ. xXとすれば, {x}は開集合であることから開基の元を可算個とってきて和集合でかけるはずであり, 空でない開基の元O1,,Onをとり {x}=O1Onとできる. するとO1O1On={x} よりO1={x}. よって, 開基は一元集合をすべて含む. (さらに, Xの部分集合はすべて一元集合の和で表せることから一元集合の全体が開基となることがわかる.) したがって, 開基の濃度が高々可算であることからXの濃度も高々可算である. Xの濃度が高々可算であるとすると, 開基として一元集合の全体をとることができる. これは高々可算の濃度をもつ.

(X,O)を第2可算公理を満たす位相空間とすると, Oの濃度は高々連続体濃度である.

まあそうなるよね

(X,O)を位相空間とするとき, その開基BOをとると, Bの濃度が高々可算であることからBの元の和集合によって表される元のパターンの濃度は|2B||2N|=|R|. したがって, |O||2B||R|よりわかる.

リンデレフ性

(X,O)を第2可算公理を満たす位相空間とするとき, VXに対して開集合族{Oλ}λΛがあり VλΛOλとなるなら, その開集合族から高々可算個の開集合を選んだ族{Oλn}n=1{Oλ}λΛがとれて, Vn=1Oλnとできる.

ボケのはさみどころがないよ~~~

VXに対して開集合族{Oλ}λΛVλΛOλとなるようにとる. するとOλに対して, 開基の部分集合Bλをとれて, Bλの元全体の和集合がOλとなるようにできる. このとき, 開基の部分集合 BΛ=λΛBλを考えることができ, 開基が高々可算個の開集合からなることより, BΛ={O1,O2,}とできる(自然数で添字付けることができる). さて, λΛBλ={O1,O2,}であるから各OnλnΛがありOnBλnとでき, nに対してOλnを対応させることができる. ここで, OnOλnが成立している. xVとすれば, λΛがあり xOλ. さらに, Bλの元OがありxOが成立. ここで, OBΛであるから自然数Nが存在して O=ON. したがって, xONOλNn=1Oλn.

さて これで第2可算公理のうれしさがいろいろわかりましたね!!! 私はここで証明をいろいろ考えてバテました(疲れた)

閉集合・閉包・稠密

やりたい部分までもう一息です!がんばりましょう!(これは記事を書いている自分に向けて書いています)
可分空間を定義する準備として閉集合・閉包・稠密を定義します

閉集合を深入りせずにスススーっと定義していきます

閉集合

(X,O)を位相空間とするとき, FX閉集合であるとは XFOとなることである.

開集合と閉集合は解析学において同時期に定義されるものでおなじみですね そのニュアンスです(投げ) ユークリッド空間における閉集合もその補集合が開集合になっているはずです(投げ)

さて閉包を定義します!!!!!!!

閉包

(X,O)を位相空間とするとき, 部分集合AXに対しその閉包AAを含む閉集合全体の共通部分と定義する.

閉包を定義しました また一般に閉包は閉集合になります(証明略)(証明しないの!?)
またAの閉包はAを含む最小の閉集合であり とくにA=Aが成立します

閉集合はこのままだと扱いが難しいので 次の有用な命題を示しておきます

閉集合の元を近傍で特徴づける

(X,O)を位相空間, AXを部分集合, xXとするとき, xAであることと任意のxの近傍がAと共通部分をもつことは同値である.

両方向から対偶をとります

xAとするなら XAは開集合であり, これはAとの共通部分を持たないxの開近傍. 対偶を取れば, 任意のxの近傍がAと共通部分をもてばxAとできる. 逆に, Aと共通部分をもたないxXの近傍Nをとる. すると, xNiAXNiが成立する. ここで, XNiは閉集合であるからAXNiであり, xA. これも対偶をとり命題を得る.

この命題により 元が閉包に含まれることがとても示しやすくなりました!!! これはこの後に定義する可分空間にまつわる命題を示す際の(この記事における)メインウェポンになります この記事を書いているときも技術的なラクさを実感しました(

 

この記事を読んでいる人が閉集合の定義を知らない確率を考えると稠密性から書いてよかったような気もしますが(?) 準備ができたので稠密性を定義します

稠密であるとは

(X,O)を位相空間とするとき, 部分集合AX稠密な部分集合であるとは, A=X となることである.

有理数の稠密性

最も有名な稠密の例を挙げます 有理数全体の集合は実数全体の集合の稠密な部分集合です といいますか この例の一般化が上の定義な気がします

この例からもわかるように Xのすべての点に対してAの元でいくらでも近づくことができる というニュアンスがあります

離散位相さん

離散位相では その集合自身のみが稠密な部分集合となります すべての点が離散していますから納得ですね

密着位相さん

密着位相では 空でない任意の部分集合が稠密な部分集合となります すべての点が密着していますから納得ですね

可分空間を定義するぞ~~~!

さて この記事の第3の主人公こと 可分空間を定義します

可分空間

位相空間が稠密で濃度が高々可算な部分集合をもつとき, 可分空間とよぶ

可分空間は「大きすぎない」位相空間になります そう Wikipedia にも Mathpedia にも書いてありました(おい)

可分空間の性質は次の見出しで...(うずうず)

ようやく本題

ここまで長かった... すでに6000文字打っています これは漢検1級の出題範囲となる漢字とほぼ同じ文字数です(謎)

可算公理の関係を調べていきましょう!!! まずはこれ!!!!!!!!!!!!!!!

第2可算公理 ⇒ 第1可算公理 + 可分

第2可算公理を満たす位相空間は第1可算公理を満たし, 可分空間である.

がんばるぞおおおおおお

(X,O)を第2可算公理を満たす位相空間とし, BOの開基で濃度が高々可算であるものとする(これが基本近傍系となることを示す). xXとして, その近傍Nをとるとき開集合OOがとれて xONとできる. すると, O=O1O2 (O1,O2,B)とかけ, 自然数nがあり xOn. したがって, Bの元の中で点xを含むようなものをすべて持ってきた集合はxの基本近傍系であり, これは濃度が高々可算な基本近傍系となる. よって第1可算公理を満たす.

B={O1,O2,}のように開基の元を自然数で添字付けておく(また, 空集合は除いておく). このとき点列{xn}n=1 を xnOnとなるようにとり, A={xn|nN} とする(これがA=Xとなることを示す). xXとして, その近傍Nをとるとき開集合OOがとれて xONとできる. するとOBの元による和集合であるから, 自然数mがありxOmNとできる. このとき, xmNであるから, xの任意の近傍はAと共通部分をもち, xAがわかった.

第1可算公理より真に強いことから第2可算公理のネーミングにも納得ですね

では次!!!!!

距離化可能 + 可分 ⇒ 第2可算公理

距離化可能可分空間第2可算公理を満たす.

いくぜえええええええ

(X,Od)を距離関数dで距離化できる可分空間とする. A=Xとなる高々可算な濃度をもつ集合AXをとり, A={x1,x2,} と自然数で添字付けておく. Nϵ(x)={yX|d(x,y)<ϵ}とかくとき, B={Nq(xm)|qQ,mN}は高々可算な濃度をもつ集合である. これが開基となることを示す. OOdとするとき xOとすれば近傍Nϵ(x)Oをとれる. またaAであることからxの開近傍Nϵ/2(x)Aと共通部分をもち, mNがありxmNϵ/2(x)(公開から長らくxmAと書いてましたが正しくはこっちでした)とできる. ここで, d(x,xm)<q<ϵ2を満たす有理数qをとるとxNq(xm). さらに, yNq(xm)とすれば d(x,y)d(x,xm)+d(xm,y)<ϵ より yNϵ(x)Oであり, Nq(xm)O. よって, すべての点xに対してBの元が定まり, それによってxに対応する元すべての和集合はOに含まれ, また含んでいる.

この命題から 距離空間において可分空間であることと第2可算公理を満たすことが同値であるとわかりました!!!

まとめ

この記事をまとめると以下のような感じです

結構示しましたね~~ 結構示しましたね~~

気軽に書き始めたのですがかなり長い記事になってしまいました((

ここまで読んでいただきありがとうございました!!!

見やすい / 面白いと思っていただけた方 グッドよろしくおねがいします~~~

それでは!

参考文献

投稿日:2021425
更新日:202453
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

ごててん
ごててん
309
62126
位相空間と環が好きです

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. どうも
  2. モチベ
  3. この記事でやりたいこと
  4. 近傍を定義するぞ
  5. 第1可算公理を定義するぞ
  6. 開基を定義する
  7. さて 第2可算公理をば
  8. 閉集合・閉包・稠密
  9. 可分空間を定義するぞ~~~!
  10. ようやく本題
  11. まとめ
  12. 参考文献