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

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

326
0

「ネットからはじめる位相空間論」とは!?

これから「ネットからはじめる位相空間論」というシリーズをやります.
関数解析を学ぶ上で必要なネット(有向点族)の事項についてまとめる自分用の記事です.位相空間を学んだことのある方なら問題なく読み進められるように作っていきます.12月までに一通り完成させることを目指していて,よくまとまり次第本にしたいと思っています.ヤバそうな点とかあったらコメントで教えて下さい.
では,第0回スタートです!

訂正

12/19に訂正しました.有向集合をネットと書いていました(なんてこと・・・!ネットについてよくわかっていなかった証拠ですね).
他にも誤植・不備等あるかもしれません.何かありましたらコメントしてください.

はじめに

皆さんは添え字を気にしたことがありますか?
添え字というのはn=1anの「n」とかのことです.添え字はいろいろな書き方があって,nanと書かれる場合もありますが,実はこれはn=1anより「広い」意味合いになってしまいます.「第0回・モチベーション」では,この2つの違いを紹介します.

目標 n=1annanとの違いがわかるようになる

「0の非可算和は0か?」

今年の春,私はとあるオンラインセミナーにてルベーグ積分を紹介していました.
発表の詳細は 数学IIIからはじめる実解析入門(リンクの動画は練習用のものでかなり誤植があるので,概要欄にある補足資料だけを見て下さい) を見て頂きたいのですが,
そこでリーマン積分できないがルベーグ積分できる関数の例としてディリクレ関数を扱いました.

ディリクレ関数

関数R{0,1}で,有理数上で1,無理数上で0を返すと定められたものをディリクレ関数という.

ざっくり言うと,

  1. ディリクレ関数のルベーグ積分は「面積」0の線分を「有理数の『個数』=濃度」個足し合わせたものになる
  2. 実は「有理数の濃度」=「自然数の濃度」が成り立つ.
  3. (上と関連して)因みに,「自然数の濃度」を可算濃度と言い,0と書かれる.可算濃度でない無限集合を非可算集合と言う.

つまり
ディリクレ関数のルベーグ積分=1「有理数の濃度」個0=2n=10=0

となることを話しました.上式の右から1,2番目の式,言葉にすると『0を自然数の濃度だけ足したものは0』=「0の可算和は0」であることが,ディリクレ関数の積分計算の肝になっています.

そこで聴講者の方からこんな質問を頂きました.
0の非可算和は0か?」
これを言われて当時の僕は戸惑いました.これを読んでいる皆さんの多くも戸惑うと思います.なぜなら,ここにn=1annanとの違いが潜んでいるからです.
果たして0の非可算和は0なのでしょうか?

  • 0を何回足しても0ではないか?
  • いや,無限個足すと直観を超えた恐ろしいことが起こるのではなかろうか??

そんなもやもやした気持ちを抱えたまま,答えを考えてみましょう.

発表が終わってからの話に戻ります.
僕はまず教授たちにこの話を相談してみました.どなたも明確な答えは言ってくれませんでしたが(実は0の非可算和を考えたことがなかった?),

  • 級数の一般化で考える
  • 測度論に関係がある
  • 「フィルター」というものを使うと答えがわかる

というヒントを頂きました.

仕方がないのでネット上のフォーラムにて質問してみました.すると流石ネットですね,答えがわかりました.0の非可算和は0」でした.

解説

まず,集合(非可算濃度含む)Xに対し関数f:X[0,]を定めた時xXf(x)を以下のように定義します:

関数の和の定義

xXf(x)=defsup{xFf(x);FX,#(F)<}・・・☆

これは,#(X)=0の時に級数の定義そのものになるので,教授のアドバイス通り定義2は級数の一般化であることがわかります.

次に,Xが非可算濃度でf(x)=0(xX)の場合について考えます.このとき

xXf(x)=sup{xFf(x);FX,#(F)<}=sup{xF0;FX,#(F)<}=sup{0}=0
となり,結局0の非可算和の値も0であることがわかりました.

注意

吉田「ルベーグ積分入門」では,可算・非可算問わず,無限集合の個数測度での値はとされているが,Folland「Real Analysis Modern Techniques and Their Applications」にある命題1では非可算濃度の集合での関数のシグマの値がとしており,可算濃度の時もになるとは主張していない.本当であれば議論すべきであるが,今回は,可算濃度であっても無限集合を個数測度で測るとであることを認めた.

n=1annanの違い

定義2で関数f(x)として,an:X[0,]を考えると
nXan=sup{nFan;FX,#(F)<}・・・☆☆
を得ます.
特に#(X)=0の時,XNとの間に全単射があるので添え字集合としてXではなくNを採用して☆の和を考えられますが,このときnNan=n=1anは級数です.
まとめると,nanは非可算集合上の関数の和も考えうるという意味でn=1anより広い意味合いを持っているのです.
この広い意味合いのあるnanは一般に無限集合上での点列の収束を考える時に大活躍します.具体的には,☆☆の式に登場するFたち,数式で書くと下記の集合
F={FX;#(F)<}
有向集合と呼ばれる集合になり,それがネットの意味である関数gに「収束」していたらg=nXanと表されます.
これを次回扱います.
また,教授からのコメントにあった「フィルター」なるものはネットの兄弟みたいなものなのですが,ネットを中心に位相空間を扱う予定でもあります.

ついでに 測度論との関連

また,定義2は(教授の助言通り)測度論とも関係あります.恒等的に0を返す関数の個数測度での積分と解釈できるのです.

個数測度は,文字通り「個数の測度」です.具体的には次のように定められます:

個数測度

全空間Xに対し,その部分集合族として2Xを取り(実はσ-加法族になっている),関数f:X[0,]を用いて,関数μ:2X[0,]
μ(E)=defxEf(x)(但しμ()=0,μ(無限集合)=0
と定めると,組(2X,μ)は測度になる.
特にf(x)=1X(x)(xX)の時μ個数測度と言う

Xが有限集合のときは日常的な個数の感覚と合うものになります.例えば,μ({1,2,8,e,9,8,0})=μ({0,1,2,8,9,e})=6.有限集合での要素の個数の考え方に,空集合では0,無限集合の場合は0を返すという条件をつけたものが測度になる,それを個数測度と呼ぶということです.

以下,0の非可算和が,測度空間(X,2X,μ)での関数f:X[0,],f(x)=0(xX)の個数測度での積分であることを確かめます.当然,fは非負可測関数になっているのでルベーグ積分が考えられます.

【一般論】非負可測関数のルベーグ積分

(X.A,μ):測度空間として関数f:X[0,]の積分を以下で定める:
xXf(x)dμ(x)=defsup{xXh(x)dμ(x);hAを定義域とする非負単関数で,各点でhfとなるもの}

ここで上記の非負単関数h:X[0,]は,全体集合の分割{Aj}j=1,2,,mA(A,μ)が測度となる,全体集合の部分集合族)と{αj}j=1,2,,mCを用いて
h=j=1mαj1Aj
と表せるものとする.

hXでの積分はこの時,
Xhdμ=defj=1mαjμ(XAj)=j=1mαjxXAj1X(x)=j=1mxXAjf(x)=xX(A1A2Am)f(x)
となり,X(A1A2Am)が無限集合の時,上の積分の値はで,
xXf(x)dμ(x)=sup{}=
となります.そうでない時,X(A1A2Am)は有限集合で
xXf(x)dμ(x)=sup{xX(A1A2Am)f(x);X(A1A2Am)は有限集合}
と書くことができます.これは上の☆の式そのものではないでしょうか.

まとめ

nanは非可算集合上の関数の和も考えうるという意味でn=1anより広い意味合いを持っています.
ネットは無限集合上で点列を扱う際に有効です.ネット関連の位相空間の話題も扱う予定です.

参考文献

[1]
Gerald B. Folland, Real Analysis Modern Techniques and Their Applications, p.11
[2]
吉田伸生, ルベーグ積分入門, p.28,51
[3]
Ronald G. Douglas, Banach Algebra Techniques in Operator Theory, p.3
投稿日:20221030
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

かそう
かそう
21
9971

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 「ネットからはじめる位相空間論」とは!?
  2. はじめに
  3. 「0の非可算和は0か?」
  4. 解説
  5. n=1annanの違い
  6. ついでに 測度論との関連
  7. まとめ
  8. 参考文献