ナンクル力学系

か分かった．というか，定義だったらしいw

ルベーグ積分30講（志賀浩二）の第11講測度空間より．

まず，集合列（増加列と減少列）の極限の定義は以下：

• 集合の増加列 に対し
  極限集合：
• 集合の減少列 に対し
  極限集合：

しかし，これを包括する集合列の極限の定義があって，それは以下：

• 集合列
  • 上極限集合：
  • 下極限集合：
  • のとき，集合列 は収束し
    
    と表す．

最初の二つの定義がすぐ上の定義に含まれていることはすぐに分かる．増加列に関しては

• 増加列だから，
  • 
    より
  • 
    より
• ゆえに

減少列についても同じ感じ（だと思うw

「ルベーグ積分30構」を読んでて、コンパクト性を用いる証明が出てきたので昔（一回だけ）読んだ「位相への30構」を部分的に復習した。（ここで30構シリーズ売り込んでるわけではないよw 読みやすいけどね。)

ちょっと気になったのが有限被覆性の定義の部分。

有限被覆性：可算開被覆 によって、 が

と蔽われているならば、この中からとった適当な有限個の によって、すでには蔽われている：

位相への30構(志賀浩二)、p123

と定義されてる。そしてこの後、平面は可算無限個の被覆が必要だから有限被覆性は成り立たないよ、というお話に続く。

そこで、「あれ？として平面自体をとれば、開集合なんだから有限被覆性成り立ってしまうんじゃないか？」という疑問にぶちあたる。

続きを読むと、どうやら

有限被覆性：“どんな”可算開被覆 “をとっても”、 が

と蔽われているならば、この中からとった適当な有限個の によって、すでには蔽われている：

※ “斜体部”を変更

ということっぽい。つまり、可算開被覆としてとれる集合のセット（集合族）すべてについて、そのセットから有限個の被覆を選ぶことが出来ることを保証されてなくてはいけない。それが有限被覆性。

こう書くと、ひとつ反例上げただけじゃ意味ないよね、ってのはすぐ分かる。

上のような変更を加えなくても定義の意味は同じだけど（だよね？）、「どんな〜でも」って書いてくれたほうが勘違いしなくて済んだと思う。なんか、数学やってると普通に出てくるあたりまえな話。ちょっと数学勉強した気分になったw

—

位相への30構は講義が結構独立してるので、部分的に復習するのは楽しい。