測度論の非可測集合って何？

質問

実数の定理でしょうか？　興味がかきたてられます。
stomachmanさん、ぜひ回答をお願いします。
（全然急ぎでなくて結構です）
もちろんstomachmanさん以外の方も、回答をお待ちしています。

回答No.1

stomachman · ベストアンサー

逆指名は反則じゃないんですかぁ？　専門家もいらっしゃるでしょうに...うう、自爆じゃあっ。
非可測集合とバナッハ-タルスキーの定理。どちらも実務の計算とは無縁のものです。純粋数学の中にだけ現れ、直接の応用はないと思ってください。ご専門の方、ご笑覧の上フォローおねがいします。

　長さ・面積・体積といった広がりを測る概念（測度）との関連で、無限というものの「曲者性」が現れた現象のひとつが非可測集合です。さて、非可測集合とは、という話は教科書を見ていただくとして（ルベーグ積分、測度論、ボレル集合、などをキーワードにして探してみてください）、ここではなるべくいいかげんな説明と、いかにへんてこであるかの例を示すだけで勘弁して戴こうと思います。（いや、勘弁して戴きます！とても易しくかつ正確に説明するなんてできないや。）

●実数の対(x,y)で表される２次元空間の話です。１辺１の正方形を考えます。面積は1ですね。
　この正方形の中の点(x,y)のうち、xもyも有理数であるような点だけを集めた集合を考えます。この集合の「面積」はゼロ。もうびっくり？　有理数は自然数と1:1対応が付きますから、たかが可算無限個しかない。実数は非可算無限個。これに比べたら無視できるってわけですね。
　今度は正三角形を考えます。各辺の中点を結んで小さい正三角形を描き、この真ん中の正三角形の部分を切り抜いて捨てます。そうすると小さい正三角形３つでできた図形（どこかの食料品店のマークのような）が残りますね。このそれぞれの正三角形について、真ん中の正三角形の部分を捨て、.....と無限回やります。これは「シェルピンスキーのガスケット」という集合なんですが、非可算無限個の点を含んでいる。そして面積は0です。（なんですと？）
　ところが、それどころか、「面積」というものを考えることすらできないような集合がある。これが「非可測集合」です。
　面積というのは集合Aから実数sへの関数 s = m(A) です。そして「面積」というからには、Aをいくつかに分割してそれぞれの面積を求め、合計したら、元のAの面積になって欲しいですよね。少なくとも、元のAの面積より大きくなるんじゃ話にならない。ところが、どんなに上手にmを作っても「話にならない」状況が起こってしまうことが知られています。そういうやっかいな集合Aを「非可測」と呼ぶ訳です。

●２次元平面の部分集合Aであって、次の(1)(2)が同時に成り立つものが存在する。
　　(1)２次元平面上の任意の場所に好きな大きさの円盤を描くと(どんなに小さい円盤でも)
　　　Aと円盤との共通点が必ず存在する。
　　(2)２次元平面上に任意の直線を描くと、この直線とAとは高々２点しか共通点がない。

このAは実は非可測集合の一例です。(1)から分かるように、Aは平面上あまねく広がっている。なのに、(2)からわかるようにすかすかなんです。幽霊みたいですね。

●非可測集合は非構成的です。つまり、具体的な作り方（アルゴリズム）を記述することが不可能なんです。（もっとも、アルゴリズムが記述できる集合は可算無限個しかありませんが...）

●でも、ニアミスするまで迫ってみましょう。今度は１次元（数直線上）の「長さ」の話です。
「実数を二つ持ってきて、x, yとします。「xとyは仲良しである」とは両者の差 x-y が有理数であるという意味だ、と決めましょう。すると実数全部を、仲良しグループに分類することができます。このようなグループは無限個できます。各グループのメンバーは皆互いに仲良しですし、他のグループのメンバーとは仲良しではありません。どんな実数もどれかのグループに入ります。
　次に、各グループから委員を１つづつ出して貰います。（ただし委員は０以上１未満であること、とします。）どの委員を２つ持ってきても、仲良しではない。委員全部を集めた委員会集合Aを作りますと、Aは非可測になります。」（どうして？というのはしんどいので勘弁してください。）

　なんだ作り方が書けるじゃないか、と思われるでしょ？でも「どうやって委員を選ぶのか」が書いてない。これが実は本質的なんです。「てきとーでいいじゃん？」と、グループひとつひとつについて委員を選んでいたのでは無限個の委員を選び終わることができません。「グループのうち、０以上１未満である数の中で最大のやつを選ぶ」というのは良いアイデアですが、残念ながらグループ内に「１未満の最大の数」は存在しないんですよ。でも何か方法がありそう？　実は、ないんです。「存在することは証明できるが、やり方は本質的に分からない。」ここがポイントです。

　数学の公理のひとつに、選択公理というものがあります。すなわち「選択公理：与えられた集合の中から、要素をひとつ選び出すことができる。」当たり前みたいな話でしょう？でもこの公理を使うと「（どうやってかは知らないけど）委員を選ぶことができる。そこで...」と論を進められます。そしてその結果、「非可測集合」や「バナッハ-タルスキーの定理」など、へんてこなものが出てくる。でも、選択公理を拒絶すると、数学のパワーがまるで弱くなる。証明できることがもの凄く少なくなってしまう。数学のかなりの部分（しかもおいしいミソの部分）は選択公理がないと成り立たないんです。（「選択公理なしでどこまで行けるか」という研究分野があるからこそ、こういう事が分かったんです。）

●こういった話は、数学基礎論（「基礎的な数学」ではなく、数学の基礎となる前提に変なところはないか、などを研究する分野）です。「超限集合論」「選択公理」「連続体仮説」「不完全性定理」などなどについて、色々一般向けの解説書が出ていますが、著者ごとに説明の仕方（読者から見れば疑問のポイント）が違いますので、乱読をお勧めします。ちなみにStomachmanが数学基礎論と出会った最初の書物は「(島内剛一)数学の基礎」（既に絶版）でした。

●なお、可測集合（面積が定義できる集合）の中にも変なのはいます。
　１辺１の正方形の部分集合Aであって、面積は１であり、しかも、この集合Aに含まれるどの点(x,y)についても、「(x,y)を通り、しかも(x,y)以外ではAと交わらないような直線が少なくとも１本引ける。」そういう可測集合Aが存在する。
　つまり、Aはほとんど完全に正方形を埋め尽くしているというのに、A内のどの点からも、A自身に遮られずに外が見える、ってわけです。（わーい。こうなってくると、もうわかんないや。）

お礼

何回も読みましたが、素人の私に理解できるハズがありませんでした。以下はひとり言です。
stomachmanさん、気にしないでください。自分でコツコツ考えます。
１．有理数の点の集合には面積がないというのは、それが非連続だからだろうか？　点自体には面積は
　　ないのだから連続していなければ「広がり」をもちようがないのかな？
２．「シェルピンスキーのガスケット」の場合の三角形のくりぬき方では、無数の三角形の斜辺の線自体が
　　欠損することはないから、結局、網目のような線だけがのこり、面積はゼロだが残った線上の実数は
　　非可算無限個である、ということなのかな？
３．面積が非可測とは構成する点が連続なのか非連続なのか知る方法がないということなのかな？
　　「アルゴリズムを記述することが不可能」とはまさにそういうこと？
４．選択公理がないとは、たとえば「目の前に群集はいるのに、その中の誰か一人を呼んで舞台の上に
　　上げようと思っても、その呼び出し方が決められない（存在しない）」ということかな？
「連続」っていうことは本当に不思議なことですね。考え出すとやめられないです。これは、きっと
宇宙の神秘そのものかもしれません。けっして数学者の遊びの世界なんかじゃないと思うのですが。

補足

stomachmanさん、すばやい回答ありがとうございました。回答者を指名するのはルール違反なのでしょうね。ゴメンナサイ。回答していただいた内容を小生のつたない頭で、いっしょうけんめい理解しようとしているところです。

回答No.2

stomachman

独り言が聞こえちゃいましたので....
(1) 有理数の点の集合には面積がないのはばらばらだからです。その通り。「こういう面積0の集合を除けば、XXXが成り立つ」を「ほとんど至る所でXXXである」と言い、この言い方を発明したのがルベーグ先生。この言い回しのおかげでいろんな関数の積分が計算が出来るようになったんです。
(2) ガスケットを描く方法。有名なパスカルの三角形を描いてください。ただし、奇数を赤・偶数を黒で書きます。（Excelでもできます）
(3) 面積が非可測とは、要するに分割して、それぞれ測って寄せ集めると、もとより大きくなってしまう（加法性が成り立たない）ということです。ちょっと似たイメージのものに、人形などの絵が沢山描いてあるカードを３つに切って、並べ直すと、人形の数が変わる、というトリックがあります。
(3-2) アルゴリズムを記述すること：アルゴリズム（プログラム）も文字で書くので、必ず有限個の記号で表されます。これを２進数コードで表現すれば、じつは１個の自然数に過ぎない。つまり、全てのアルゴリズムを集めても可算無限個しかありません。また、そのどれも非可測集合を定義しないことが知られています。
(4) 「選択公理を使わない」とは、具体的に選び方が決められるという場合以外には選択をしてはならない（とにかく代表選手を集めた集合を構成できた、ということにしてはいけない）ということです。勿論有限集合が相手ならいつでも選択は可能です。

　数学は「無限」を研究する学問であると言われます。純粋数学者会議のスローガンは「純粋数学が永遠に発展し、かつ何の役にも立たないことを祈る」というもの。（ところがどんなに「実用には関係ない」と思われる理論も、ずっと後になってもの凄く役立ったりするのも面白いところです。）僅かな公理から、とても豊かな内容、直感に合わない結果を含む世界を作り上げることが醍醐味であり、哲学と芸術の狭間にあって、未知の宇宙を創造する、ある意味ではうらやましい活動です。どんなに科学技術が進んでも無くなることはないでしょう。
　アマチュアが数学の醍醐味や哲学性を味わうには、基礎論が一番だと思います（最先端は難しすぎるので）。
さあ、はまりましょう。さあ！

お礼

感謝！感謝！　感激です！　こんなに速くレスがもらえるなんて。ホント、ありがとうです。
ひとり言にまで答えてもらって、いいなあ、なんだか自分の世界がグーンと広がったみたいで
うれしいです。（ホントにネットはすばらしい！）
>　哲学と芸術の狭間にあって、未知の宇宙を創造する、ある意味ではうらやましい活動です。
そーですねー。前から思っていたのですけど、数学研究は「発見行為」ではなくて「創造行為」
ですよね。人間の純粋理性思考が新宇宙を創造するのですものね。
「真理は主観的・意思的に創造されるものである」これは私が作った格言です。
（また、いつかお相手してください）