「ネットからはじめる位相空間論」とは!?
これから「ネットからはじめる位相空間論」というシリーズをやります.
関数解析を学ぶ上で必要なネット(有向点族)の事項についてまとめる自分用の記事です.位相空間を学んだことのある方なら問題なく読み進められるように作っていきます.12月までに一通り完成させることを目指していて,よくまとまり次第本にしたいと思っています.ヤバそうな点とかあったらコメントで教えて下さい.
では,第回スタートです!
訂正
12/19に訂正しました.有向集合をネットと書いていました(なんてこと・・・!ネットについてよくわかっていなかった証拠ですね).
他にも誤植・不備等あるかもしれません.何かありましたらコメントしてください.
はじめに
皆さんは添え字を気にしたことがありますか?
添え字というのはの「」とかのことです.添え字はいろいろな書き方があって,と書かれる場合もありますが,実はこれはより「広い」意味合いになってしまいます.「第0回・モチベーション」では,この2つの違いを紹介します.
「0の非可算和は0か?」
今年の春,私はとあるオンラインセミナーにてルベーグ積分を紹介していました.
発表の詳細は
数学からはじめる実解析入門(リンクの動画は練習用のものでかなり誤植があるので,概要欄にある補足資料だけを見て下さい)
を見て頂きたいのですが,
そこでリーマン積分できないがルベーグ積分できる関数の例としてディリクレ関数を扱いました.
ディリクレ関数
関数で,有理数上で,無理数上でを返すと定められたものをディリクレ関数という.
ざっくり言うと,
- ディリクレ関数のルベーグ積分は「面積」の線分を「有理数の『個数』=濃度」個足し合わせたものになる
- 実は「有理数の濃度」=「自然数の濃度」が成り立つ.
- (上と関連して)因みに,「自然数の濃度」を可算濃度と言い,と書かれる.可算濃度でない無限集合を非可算集合と言う.
つまり
ディリクレ関数のルベーグ積分
となることを話しました.上式の右から番目の式,言葉にすると『を自然数の濃度だけ足したものは』=「の可算和は」であることが,ディリクレ関数の積分計算の肝になっています.
そこで聴講者の方からこんな質問を頂きました.
「の非可算和はか?」
これを言われて当時の僕は戸惑いました.これを読んでいる皆さんの多くも戸惑うと思います.なぜなら,ここにととの違いが潜んでいるからです.
果たしての非可算和はなのでしょうか?
- を何回足してもではないか?
- いや,無限個足すと直観を超えた恐ろしいことが起こるのではなかろうか??
そんなもやもやした気持ちを抱えたまま,答えを考えてみましょう.
発表が終わってからの話に戻ります.
僕はまず教授たちにこの話を相談してみました.どなたも明確な答えは言ってくれませんでしたが(実はの非可算和を考えたことがなかった?),
- 級数の一般化で考える
- 測度論に関係がある
- 「フィルター」というものを使うと答えがわかる
というヒントを頂きました.
仕方がないのでネット上のフォーラムにて質問してみました.すると流石ネットですね,答えがわかりました.「の非可算和は」でした.
解説
まず,集合(非可算濃度含む)に対し関数を定めた時を以下のように定義します:
これは,の時に級数の定義そのものになるので,教授のアドバイス通り定義2は級数の一般化であることがわかります.
次に,が非可算濃度での場合について考えます.このとき
となり,結局の非可算和の値もであることがわかりました.
注意
吉田「ルベーグ積分入門」では,可算・非可算問わず,無限集合の個数測度での値はとされているが,Folland「Real Analysis Modern Techniques and Their Applications」にある命題では非可算濃度の集合での関数のシグマの値がとしており,可算濃度の時もになるとは主張していない.本当であれば議論すべきであるが,今回は,可算濃度であっても無限集合を個数測度で測るとであることを認めた.
との違い
定義2で関数として,を考えると
を得ます.
特にの時,ととの間に全単射があるので添え字集合としてではなくを採用して☆の和を考えられますが,このときは級数です.
まとめると,は非可算集合上の関数の和も考えうるという意味でより広い意味合いを持っているのです.
この広い意味合いのあるは一般に無限集合上での点列の収束を考える時に大活躍します.具体的には,☆☆の式に登場するたち,数式で書くと下記の集合
は有向集合と呼ばれる集合になり,それがネットの意味である関数に「収束」していたらと表されます.
これを次回扱います.
また,教授からのコメントにあった「フィルター」なるものはネットの兄弟みたいなものなのですが,ネットを中心に位相空間を扱う予定でもあります.
ついでに 測度論との関連
また,定義2は(教授の助言通り)測度論とも関係あります.恒等的にを返す関数の個数測度での積分と解釈できるのです.
個数測度は,文字通り「個数の測度」です.具体的には次のように定められます:
個数測度
全空間に対し,その部分集合族としてを取り(実は-加法族になっている),関数を用いて,関数を
(但し)
と定めると,組は測度になる.
特にの時は個数測度と言う
が有限集合のときは日常的な個数の感覚と合うものになります.例えば,.有限集合での要素の個数の考え方に,空集合では,無限集合の場合はを返すという条件をつけたものが測度になる,それを個数測度と呼ぶということです.
以下,の非可算和が,測度空間での関数の個数測度での積分であることを確かめます.当然,は非負可測関数になっているのでルベーグ積分が考えられます.
【一般論】非負可測関数のルベーグ積分
:測度空間として関数の積分を以下で定める:
ここで上記の非負単関数は,全体集合の分割(が測度となる,全体集合の部分集合族)とを用いて
と表せるものとする.
のでの積分はこの時,
となり,が無限集合の時,上の積分の値はで,
となります.そうでない時,は有限集合で
と書くことができます.これは上の☆の式そのものではないでしょうか.
まとめ
は非可算集合上の関数の和も考えうるという意味でより広い意味合いを持っています.
ネットは無限集合上で点列を扱う際に有効です.ネット関連の位相空間の話題も扱う予定です.