ヴィタリ集合のソースを表示

[[数学]]において、'''ヴィタリ集合'''（ヴィタリしゅうごう、{{Lang-en-short|Vitali set}}）とは[[ジュゼッペ・ヴィタリ]]({{harvs|txt|authorlink=Giuseppe Vitali|first=Giuseppe |last=Vitali|year=1905}})によって作られたルベーグ非可測な実数集合の基本的な例である<ref>{{cite journal|last=Vitali|first=Giuseppe|authorlink=:en:Giuseppe Vitali|year=1905|title= Sul problema della misura dei gruppi di punti di una retta|journal=Bologna, Tip. Gamberini e Parmeggiani}}</ref>。'''ヴィタリの定理'''はそのような集合が存在することを保証する[[存在定理]]である。[[非可算集合|不可算個]]のヴィタリ集合が存在し、それらの存在は[[選択公理]]の仮定の下で示される。1970年に{{仮リンク|ロバート・ソロヴェイ|en|Robert Solovay}}は、[[到達不能基数]]の存在を仮定することにより、全ての実数の集合がルベーグ可測となるような（選択公理を除いた）[[ツェルメロ・フレンケル集合論]]のモデルを構築した<ref>{{Citation |last1=Solovay |first1=Robert M. |author1-link=:en:Robert M. Solovay |title=A model of set-theory in which every set of reals is Lebesgue measurable |jstor=1970696 |mr=0265151 |year=1970 |journal=[[Annals of Mathematics]] |series=Second Series |issn=0003-486X |volume=92 |pages=1–56 |doi=10.2307/1970696}}</ref>。

== 可測集合 ==
集合には '長さ' や '重さ' が定まるものがある。例えば、[[区間 (数学)|区間]] [0,&nbsp;1]は長さ1を持つと思われる。; もっと一般的に、区間[''a'',&nbsp;''b''] (''a''&nbsp;&le;&nbsp;''b'') は長さ ''b''&nbsp;−&nbsp;''a'' を持つと思われる。このような区間を一様な密度の金属棒と見ると、同じように重さも定義可能である。集合 [0,&nbsp;1]&nbsp;&cup;&nbsp;[2,&nbsp;3] は長さ1の二つの区間の合併であるので、この集合の全長は2と考える。重さで考えても同様に2と考えられる。ここで自然に次の問題が発生する: 実数直線の任意の部分集合 ''E'' に対して、必ず '重さ' や '全長'は得られるのか? 例えば、[0,&nbsp;1] 上の[[有理数]]集合はどんな重さになるであろうか。有理数集合は実数直線の中で[[稠密集合|稠密]]なので、非負の値が適切であろう。重さに最も近い一般化は[[シグマ加法性|σ-加法性]]を持つ[[ルベーグ測度]]である。この測度は [''a'',&nbsp;''b''] の長さに ''b''&nbsp;−&nbsp;''a'' を割り当て、可算集合である有理数全体の集合には 0 を割り当てる。ルベーグ測度が定められる集合をルベーグ可測集合と呼ぶ。しかし、ルベーグ測度の構成（[[カラテオドリの拡張定理]]を使う）自体からは非可測集合の存在は明らかに分かることではない。その問題に対する答えは[[選択公理]]を仮定するかどうかをも問うことになる。

== 構成と証明 ==
[[有理数体]] '''Q''' は[[実数体]] '''R''' の普通の加法についての[[部分群]]を成す。なので加法の[[商群]] '''R'''/'''Q''' (つまり、有理数分の差を持つ実数同士を集めた同値類による剰余群) は有理数集合の互いに交わらない"平行移動コピー"によって出来ている。この群の任意の元はある ''r''&nbsp;∈&nbsp;'''R''' についての '''Q'''&nbsp;+&nbsp;''r'' として書ける。

'''R'''/'''Q''' の元は '''R''' の分割の1ピースである。そのピースは不可算個あり、各ピースはそれぞれ '''R''' の中で稠密である。'''R'''/'''Q''' の元はどれも [0,&nbsp;1] と交わっており、[[選択公理]]によって [0,&nbsp;1] の部分集合で、'''R'''/'''Q''' の代表系になっているものが取れる。このようにして作られた集合がヴィタリ集合と呼ばれているものである。すなわち、ヴィタリ集合 ''V'' は [0,&nbsp;1] の部分集合で、各 ''r''&nbsp;∈&nbsp;'''R''' に対して ''v''&nbsp;−&nbsp;''r'' が有理数になるような一意的な ''v'' を要素に持つものである。ヴィタリ集合 ''V'' は不可算であり、 <math>u,v \in V, u \neq v</math>であれば ''v''&nbsp;−&nbsp;''u'' は必ず無理数である。

ヴィタリ集合は非可測である。これを示すために ''V'' が可測だったとして矛盾を導く。''q''<sub>1</sub>,&nbsp;''q''<sub>2</sub>,&nbsp;... を [−1,&nbsp;1] の有理数の数え上げとする(有理数集合は[[可算]]なのでこれは可能)。''V'' の構成から、平行移動による集合 <math>V_k=V+q_k=\{v+q_k : v \in V\}</math>, ''k''&nbsp;=&nbsp;1,&nbsp;2,&nbsp;... はそれぞれ互いに交わらない。さらに、<math>[0,1]\subseteqq\biguplus_k V_k\subseteqq[-1,2]</math> である。ここで、ルベーグ測度の[[シグマ加法性|σ-加法性]]を使うと:
:<math>1 \leqq \sum_{k=1}^\infty \lambda(V_k) \leqq 3.</math>
である。ルベーグ測度は平行移動について不変なので
<math>\lambda(V_k) = \lambda(V)</math>
である。ゆえに、
:<math>1 \leqq \sum_{k=1}^\infty \lambda(V) \leqq 3.</math>
であるが、これは不可能である。一つの定数の無限和は 0 であるか無限大に発散するので、いずれにせよ [1,&nbsp;3] の中には入らない。すなわち ''V'' は可測ではない。つまりルベーグ測度 &lambda; はいかなる値も λ(''V'') の値として定義できない{{Sfn|吉田|1965|pp=231f}}{{Sfn|吉田|2015|pp=341f}}。

== 脚注 ==
{{脚注ヘルプ}}
=== 出典 ===
{{reflist|2}}

==参考文献==
*{{Cite book|和書
|author=[[吉田洋一]]
|date=1965-01-20
|title=ルベグ積分入門
|series=新数学シリーズ 23
|publisher=培風館
|isbn=978-4-563-00323-4
|ref={{Harvid|吉田|1965}}
}}
**{{Cite book|和書
|author=[[吉田洋一]]
|date=2015-08-10
|title=ルベグ積分入門
|series=ちくま学芸文庫 ヨ13-2 Math & Science
|publisher=筑摩書房
|isbn=978-4-480-09685-2
|ref={{Harvid|吉田|2015}}
}}
* {{cite book|last=Herrlich|first=Horst|title=Axiom of Choice|url=https://archive.org/details/axiomchoicelectu00herr_278|url-access=limited|page=[https://archive.org/details/axiomchoicelectu00herr_278/page/n132 120]|publisher=Springer|year=2006|isbn=978-3-540-30989-5}}
* {{cite journal|last=Vitali|first=Giuseppe|year=1905|title= Sul problema della misura dei gruppi di punti di una retta|journal=Bologna, Tip. Gamberini e Parmeggiani}}

==関連項目==
{{Div col}}
*[[バナッハ＝タルスキーのパラドックス]]
*[[非可測集合]]
{{Div col end}}

== 外部リンク ==
*{{PDFlink|[https://fuchino.ddo.jp/papers/tohoku-ws06-talk.pdf 集合論から見た非可測集合]}}
*{{PDFlink|[http://watanabe-www.math.dis.titech.ac.jp/users/swatanab/hikasoku.pdf ルベーグ非可測集合の存在について]}}

{{デフォルトソート:ういたりしゆうこう}}
[[Category:数学のエポニム]]
[[Category:実数の集合]]
[[Category:数学に関する記事]]
[[Category:測度論]]